Let R m be endowed with the Euclidean metric. The covering radius of a lattice Λ ⊂ R m is the least distance r such that, given any point of R m , the distance from that point to Λ is not more than r . Lattices can occur via the unit group of the ring of integers in an algebraic number field K , by applying a logarithmic embedding K ⁎ → R m . In this paper, we examine those lattices which arise from the cyclotomic number field Q ( ζ n ) , for a given positive integer n ≥ 5 such that n ≢ 2 ( mod 4 ) . We then provide improvements to a result of de Araujo in [3] , and conclude with an upper bound on the covering radius for this lattice in terms of n and the number of its distinct prime factors. In particular, we improve [3, Lemma 2] , and show that, asymptotically, it can be improved no further.

The workshop focused on various directions of arithmetic statistics in algebra and number theory. These include statistical problems for random polynomials and varieties, probabilistic Galois theory, and counting and distribution problems for algebraic functions, algebraic number fields, elliptic curves, L -functions, as well as arithmetic problems in non-abelian settings (eg, arithmetic statistics for algebraic groups).

Let $k_{0}$ be an algebraic number field of finite degree, $S_{0}$ be a finite set of primes and $L_{S_{0}}$ be the field obtained by adjoining to $k_{0}$ all primitive $q$-th roots of unity, where $q$ runs over all primes not belonging to $S_{0}$. We shall consider, for an odd prime $l$, the maximal unramified pro-$l$ abelian extension of $L_{S_{0}}$ and investigate the structure of this Galois group with certain cyclotomic action.

Abstract Extending results of Szalay, Bennett, Bugeaud and Mignotte in this paper, we prove finiteness results concerning perfect powers having two or three digits in their representation in a canonical number system of the equation order of an algebraic number field.

The Franke filtration is a finite filtration of the space of automorphic forms on a connected reductive linear algebraic group defined over an algebraic number field. The main feature of the filtration is that its quotients can be described in terms of parabolically induced representations using the main values of derivatives of Eisenstein series and the residues of these. The goal of this paper is to provide a complete explicit description of the Franke filtration of the space of automorphic forms on the symplectic group of rank two. The approach is different from the original approach of Franke, and takes into account the full cuspidal support of automorphic forms, that is, the cuspidal automorphic representation from which the Eisenstein series is built and the evaluation point at which it is evaluated. This considerably simplifies the exposition and makes it possible to obtain very explicit results and reveal the phenomena present in the filtration. The considered low rank case exhibits many of the properties and phenomena present in the cases of arbitrary rank. The explicit description of the Franke filtration in this case has important implications and applications in cohomology of congruence subgroups related to the Hilbert–Siegel modular forms of degree two, the Hilbert–Siegel modular variety of degree two and the corresponding Shimura variety.

Abstract Using trace formulas for Hecke operators, Eichler first provided a positive solution about basis problems of elliptic cusp forms by quadratic forms. J-L. Waldspurger established that elliptic cusp forms of arbitrary level are spanned by theta series by means of different and interesting ideas and methods. This result is given by Zagier’s analytic theorems, the Siegel main theorem of quadratic forms and the theory of Hecke operators. We intend to generalize Waldspurger’s results and determine theta series which span the space of Hilbert new forms over arbitrary totally real algebraic number fields following Waldspurger’s methods.

In the paper, we extend the ADC property to the representation of quadratic lattices by quadratic lattices, which we define as n -ADC-ness. We explore the relationship between n -ADC-ness, n -regularity, and n -universality for integral quadratic lattices. Also, for n\ge 2 , we give necessary and sufficient conditions for an integral quadratic lattice over arbitrary non-archimedean local fields to be n -ADC. Moreover, we show that over any algebraic number field F , an integral \mathcal{O}_{F} -lattice with rank n+1 is n -ADC if and only if it is \mathcal{O}_{F} -maximal of class number one.

Let [Formula: see text] denote the ring of algebraic integers of an algebraic number field [Formula: see text], where [Formula: see text] is a root of an irreducible polynomial [Formula: see text], [Formula: see text]. We say [Formula: see text] is monogenic if [Formula: see text] is a basis for [Formula: see text]. In this paper, we explicitly compute the discriminant of [Formula: see text] and give necessary and sufficient conditions involving only [Formula: see text] for [Formula: see text] to be monogenic. Moreover, we characterize all the primes dividing the index of the subgroup [Formula: see text] in [Formula: see text]. As an application, we also provide a class of monogenic polynomials having nonsquare-free discriminant and Galois group [Formula: see text], the symmetric group on n letters. In the end, we state a conjecture and show its implications.

Let [Formula: see text] be the cyclotomic [Formula: see text]-extension field of an algebraic number field [Formula: see text]. Moreover, we take a [Formula: see text]-extension [Formula: see text] over [Formula: see text]. In this paper, we study the behavior of the [Formula: see text]-part of the class number of intermediate fields of [Formula: see text], and the structure of the unramified Iwasawa module [Formula: see text] as a module over [Formula: see text]. We show that a formula on the [Formula: see text]-part of the class number of certain intermediate fields of [Formula: see text] holds under several assumptions (one of these assumptions is that [Formula: see text] is a finitely generated torsion [Formula: see text]-module). We also consider the structure of [Formula: see text] for the case that every prime lying above [Formula: see text] is unramified in [Formula: see text]. In particular, we give sufficient conditions and examples such that the above assumptions are satisfied.

Abstract We study four (families of) sets of algebraic integers of degree less than or equal to three. Apart from being simply defined, we show that they share two distinctive characteristics: almost uniformity and arithmetic independence. Here, “almost uniformity” means that the elements of a finite set are distributed lmost equidistantly in the unit interval, while “arithmetic independence” means that the number fields generated by the elements of a set do not have a mutual inclusion relation each other. Furthermore, we reveal to what extent the algebraic number fields generated by the elements of the four sets can cover quadratic or cubic fields.

Let R be a ring of algebraic integers of an algebraic number field F and let G ≤ GLn(R) be a finite group. In this paper we show that the R-span of G is just the matrix ring Mn(R) of the n X n-matrices over R if and only if G/Opi(G) is absolutely simple for all pi ∈ π, where π is the set of the positive prime divisors of |G| and Opi(G) is the largest normal pi-subgroup.

Algebraic lattices are those obtained from modules in the ring of integers of algebraic number fields through the canonical or twisted embeddings. In turn, well-rounded lattices are those with maximal cardinality of linearly independent vectors in its set of minimal vectors. Both classes of lattices have been applied for signal transmission in some channels, such as wiretap channels. Recently, some advances have been made in the search for well-rounded lattices that can be realized as algebraic lattices. Moreover, some works have been published studying algebraic lattices obtained from modules in cyclic number fields of odd prime degree $p$. In this work, we generalize some results of a recent work of Tran et al. and we provide new constructions of well-rounded algebraic lattices from a certain family of modules in the ring of integers of each of these fields when $p$ is ramified in its extension over the field of rational numbers.Comment: 11 pages

Abstract The condition number of a generator matrix of an ideal lattice derived from the ring of integers of an algebraic number field is an important quantity associated with the equivalence between two computational problems in lattice-based cryptography, the “Ring Learning With Errors (RLWE)” and the “Polynomial Learning With Errors (PLWE)”. In this work, we compute the condition number of a generator matrix of the ideal lattice from the whole ring of integers of any odd prime degree cyclic number field using canonical embedding.

It is shown that the multiplicative group of an algebraic number field is free modulo the group of units if the group of values of any non-Archimedean valuation of this field forms a free group.

For an arbitrary odd-degree polynomial 𝑓 over an arbitrary field of algebraic numbers K, the class of always quasiperiodic elements in K((𝑥)) of the form 𝑣+𝑤√𝑓/𝑢 , where 𝑣,𝑤, 𝑢 ∈ K[𝑥], in the hyperelliptic field K(𝑥)(√𝑓), has been determined. This class is characterized by certain relationships involving the polynomials 𝑢, 𝑣,𝑤, and 𝑓, as well as their degrees. The class is guaranteed to be nonempty if at least one quasiperiodic element exists in the hyperelliptic field.Furthermore, a specific subclass of always periodic elements has been identified within this broader class.

The product formula for the measure of representations of a quadratic form over the rational number field was found by Siegel, and were generalized by Fractman to the higher-dimensional case over totally real algebraic number fields. We prove product formulas for quadratic forms over arbitrary algebraic number fields and generalize formulas given by Siegel and Fractman to the case of arbitrary algebraic number fields.

Consider a curve $\mathcal C$ defined over an algebraic number field $k$. This work is concerned with the number of generalized Jacobians $J_{\mathfrak{m}}$ of $\mathcal C$ associated with moduli $\mathfrak{m}$ defined over $k$ such that a fixed class of finite order in the Jacobian $J$ of $\mathcal C$ is lifted to a torsion class in the generalized Jacobian $J_{\mathfrak{m}}$. On the one hand it is shown that there are infinitely many generalized Jacobians with the above property, and on the other hand, under some additional constraints on the support of $\mathfrak{m}$ or the structure of $J_{\mathfrak{m}}$, it is shown that the set of generalized Jacobians of this type is finite. In addition, it is proved that there are finitely many generalized Jacobians which have a lift of two given divisors to classes of finite orders in $J_{\mathfrak{m}}$. These results are applied to the problem of the periodicity of continued fractions in the field of formal power series $k((1/x))$ constructed for special elements of the function field $k(\widetilde{\mathcal{C}})$ of a hyperelliptic curve $\widetilde{\mathcal{C}}\colon y^2=f(x)$. In particular, it is shown that for each $n \in \mathbb N$ there is a finite number of monic polynomials $\omega(x) \in k[x]$ of degree at most $n$ such that the element $\omega(x) \sqrt{f(x)}$ has a periodic expansion in a continued fraction. Bibliography: 14 titles.

A characterization of half-factorial orders in algebraic number fields

This paper considers the construction of the fundamental function and Abelian differentials of the third kind on a plane algebraic curve over the field of complex numbers that has no singular points. The algorithm for constructing differentials of the third kind was described in Weierstrass’s lectures. The paper discusses its implementation in the Sage computer algebra system. The specifics of this algorithm, as well as the very concept of the differential of the third kind, implies the use of both rational numbers and algebraic numbers, even when the equation of a curve has integer coefficients. Sage has a built-in tool for computations in algebraic number fields, which allows the Weierstrass algorithm to be implemented almost literally. The simplest example of an elliptic curve shows that it requires too many resources, far beyond the capabilities of an office computer. A symmetrization of the method is proposed and implemented, which makes it possible to solve the problem while saving a significant amount of computational resources.

We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups. The first problem is Intersection Emptiness, which asks whether a finite number of given finitely generated semigroups have empty intersection. This problem was first studied by Markov in the 1940s. We show that Intersection Emptiness is PTIME decidable in the Heisenberg groups H_n(𝕂) over any algebraic number field 𝕂, as well as in direct products of Heisenberg groups. We also extend our decidability result to arbitrary finitely generated 2-step nilpotent groups. The second problem is Orbit Intersection, which asks whether the orbits of two matrices under multiplication by two semigroups intersect with each other. This problem was first studied by Babai et al. (1996), who showed its decidability within commutative matrix groups. We show that Orbit Intersection is decidable within the Heisenberg group H₃(ℚ).