On the maximum modulus of integers in Kummer extensions

J. Mello

DOI: https://doi.org/10.1007/s10474-020-01117-3

2021-02-06

Acta Mathematica Hungarica

Abstract:We study the extension of a result of Loxton [5] on representationof algebraic integers as sums of roots of unity to Kummer extensions.

mathematics

What problem does this paper attempt to address?

Modular invariants for real quadratic fields and Kloosterman sums

Nickolas Andersen,William Duke

DOI: https://doi.org/10.2140/ant.2020.14.1537

2024-10-17

Abstract:We investigate the asymptotic distribution of integrals of the $j$-function that are associated to ideal classes in a real quadratic field. To estimate the error term in our asymptotic formula, we prove a bound for sums of Kloosterman sums of half-integral weight that is uniform in every parameter. To establish this estimate we prove a variant of Kuznetsov's formula where the spectral data is restricted to half-integral weight forms in the Kohnen plus space, and we apply Young's hybrid subconvexity estimates for twisted modular $L$-functions.

Number Theory
Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Junhwa Choi,Yukako Kezuka,Yongxiong Li

DOI: https://doi.org/10.4310/ajm.2019.v23.n3.a2

2019-01-01

Asian Journal of Mathematics

Abstract:Let K = Q(root-q), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O = pp*, and there is a unique Z(2)-extension K-infinity of K which is unramified outside p. Let H be the Hilbert class field of K, and write H-infinity = HK infinity. Let M(H-infinity) be the maximal abelian 2-extension of H-infinity which is unramified outside the primes above p, and put X(H-infinity) = Gal(M(H-infinity)/H-infinity). We prove that X(H-infinity) is always a finitely generated Z(2)-module, by an elliptic analogue of Sinnott's cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J(infinity) of K-infinity with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell-Weil group E(J(infinity)) modulo torsion of certain elliptic curves E with complex multiplication by O.
An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

Mentzelos Melistas

2024-07-02

Abstract:Let $L$ be a number field and let $\ell$ be a prime number. Rasmussen and Tamagawa conjectured, in a precise sense, that abelian varieties whose field of definition of the $\ell$-power torsion is both a pro-$\ell$ extension of $L(\mu_\ell)$ and unramified away from $\ell$ are quite rare. In this paper, we formulate an analogue of the Rasmussen--Tamagawa conjecture for non-isotrivial abelian varieties defined over function fields. We provide a proof of our analogue in the case of elliptic curves. In higher dimensions, when the base field is a subfield of the complex numbers, we show that our conjecture is a consequence of the uniform geometric torsion conjecture. Finally, using a theorem of Bakker and Tsimerman we also prove our conjecture unconditionally for abelian varieties with real multiplication.

Number Theory
A note on images of Galois representations (with an application to a result of Litt)

Anna Cadoret,Ben Moonen

DOI: https://doi.org/10.48550/arXiv.1809.07018

2018-09-19

Algebraic Geometry

Abstract:Let $X$ be a variety (possibly non-complete or singular) over a finitely generated field $k$ of characteristic $0$. For a prime number $\ell$, let $\rho_\ell$ be the Galois representation on the first $\ell$-adic cohomology of $X$. We show that if $\ell$ varies the image of $\rho_\ell$ is of bounded index in the group of $\mathbb{Z}_\ell$-points of its Zariski closure. We use this to improve a recent result of Litt about arithmetic representations of geometric fundamental groups. Litt's result says that there exist constants $N = N(X,\ell)$ such that every arithmetic representation $\pi_1(X_{\bar{k}}) \to \mathrm{GL}_n(\mathbb{Z}_\ell)$ that is trivial modulo $\ell^N$ is unipotent. We show that these constants can in fact be chosen independently of $\ell$.
A note on extended genus fields of Kummer extensions of rational function fields

Martha Rzedowski-Calderón,Gabriel Villa-Salvador

2024-03-02

Abstract:We consider the generalization of the extended genus field of a prime degree cyclic Kummer extension of a rational function field obtained by R. Clement in 1992 to general Kummer extensions. We observe that the same approach of Clement works in general.

Number Theory
Kummer theory for function fields

Félix Baril Boudreau,Antonella Perucca

2024-07-15

Abstract:We develop Kummer theory for algebraic function fields in finitely many transcendental variables. We consider any finitely generated Kummer extension (possibly, over a cyclotomic extension) of an algebraic function field, and describe the structure of its Galois group. Our results show in a precise sense how the questions of computing the degrees of these extensions and of computing the group structures of their Galois groups reduce to the corresponding questions for the Kummer extensions of their constant fields.

Number Theory
On Power Sums and the Kummer Congruences

Samuel Goodman

2023-05-09

Abstract:In this paper, we investigate the stabilizers of certain multisets $\mod p^k$ with respect to their natural multiplicative action, completely describing them for a certain family of polynomials whenever $p$ is an odd prime. This elucidates an underlying structure on the level of elements that yields a new proof of the classical Kummer Congruences. Hence the Kummer Congruences can be viewed as a consequence of putting together this local information, the interactions between which are understood. This gives a new perspective in that all known approaches are based directly on global considerations, namely either through global sum identities or $p$-adic integrals.

Number Theory
A generalization of Kummer theory to Hopf-Galois extensions

Daniel Gil-Muñoz

DOI: https://doi.org/10.1016/j.jalgebra.2024.07.017

2024-07-25

Abstract:We introduce a condition for Hopf-Galois extensions that generalizes the notion of Kummer Galois extension. Namely, an $H$-Galois extension $L/K$ is $H$-Kummer if $L$ can be generated by adjoining to $K$ a finite set $S$ of eigenvectors for the action of the Hopf algebra $H$ on $L$. This extends the classical Kummer condition for the classical Galois structure. With this new perspective, we shall characterize a class of $H$-Kummer extensions $L/K$ as radical extensions that are linearly disjoint with the $n$-th cyclotomic extension of $K$. This result generalizes the description of Kummer Galois extensions as radical extensions of a field containing the $n$-th roots of the unity. The main tool is the construction of a product Hopf-Galois structure on the compositum of almost classically Galois extensions $L_1/K$, $L_2/K$ such that $L_1\cap M_2=L_2\cap M_1=K$, where $M_i$ is a field such that $L_iM_i=\widetilde{L}_i$, the normal closure of $L_i/K$. When $L/K$ is an extension of number or $p$-adic fields, we shall derive criteria on the freeness of the ring of integers $\mathcal{O}_L$ over its associated order in an almost classically Galois structure on $L/K$.

Number Theory
Moduli of algebraic varieties

Caucher Birkar

DOI: https://doi.org/10.48550/arxiv.2211.11237

2022-01-01

Abstract: We develop a moduli theory of algebraic varieties and pairs of non-negative Kodaira dimension. We define stable minimal models and construct their projective coarse moduli spaces under certain natural conditions. This can be applied to a wide range of moduli problems in algebraic geometry.
The maximum modulus set of a polynomial

L. Pardo-Simón,D. J. Sixsmith

DOI: https://doi.org/10.48550/arXiv.2007.07529

2020-07-15

Abstract:We study the maximum modulus set, $\mathcal{M}(p)$, of a polynomial $p$. We are interested in constructing $p$ so that $\mathcal{M}(p)$ has certain exceptional features. Jassim and London gave a cubic polynomial $p$ such that $\mathcal{M}(p)$ has one discontinuity, and Tyler found a quintic polynomial $\tilde{p}$ such that $\mathcal{M}(\tilde{p})$ has one singleton component. These are the only results of this type, and we strengthen them considerably. In particular, given a finite sequence $a_1, a_2, \ldots, a_n$ of distinct positive real numbers, we construct polynomials $p$ and $\tilde{p}$ such that $\mathcal{M}(p)$ has discontinuities of modulus $a_1, a_2, \ldots, a_n$, and $\mathcal{M}(\tilde{p})$ has singleton components at the points $a_1, a_2, \ldots, a_n$. Finally we show that these results are strong, in the sense that it is not possible for a polynomial to have infinitely many discontinuities in its maximum modulus set.

Complex Variables
Mordell--Weil groups over large algebraic extensions of fields of characteristic zero

Takuya Asayama,Yuichiro Taguchi

2024-08-07

Abstract:We study the structure of the Mordell--Weil groups of semiabelian varieties over large algebraic extensions of a finitely generated field of characteristic zero. We consider two types of algebraic extensions in this paper; one is of extensions obtained by adjoining the coordinates of certain points of various semiabelian varieties; the other is of extensions obtained as the fixed subfield in an algebraically closed field by a finite number of automorphisms. Some of such fields turn out to be new examples of Kummer-faithful fields which are not sub-$p$-adic. Among them, we find both examples of Kummer-faithful fields over which the Mordell--Weil group modulo torsion can be free of infinite rank and not free.

Number Theory
The maximal abelian extension contained in a division field of an elliptic curve over $\mathbb{Q}$ with complex multiplication

Asimina S. Hamakiotes

2024-08-29

Abstract:Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$, where $j_{K,f}=j(E)$. It has been shown by the author and Lozano-Robledo that $\operatorname{Gal}(\mathbb{Q}(j_{K,f},E[N])/\mathbb{Q}(j_{K,f}))$ is only abelian for $N=2,3$, and $4$. Let $p$ be a prime and let $n\geq 1$ be an integer. In this article, we bound the commutator subgroups of $\operatorname{Gal}(\mathbb{Q}(E[p^n])/\mathbb{Q})$ and classify the maximal abelian extensions contained in $\mathbb{Q}(E[p^n])/\mathbb{Q}$.

Number Theory
Number of Kummer structures and Moduli spaces of generalized Kummer surfaces

Xavier Roulleau

2023-10-12

Abstract:A generalized Kummer surface $X=Km_{3}(A,G_{A})$ is the minimal resolution of the quotient of a $2$-dimensional complex torus by an order 3 symplectic automorphism group $G_{A}$. A Kummer structure on $X$ is an isomorphism class of pairs $(B,G_{B})$ such that $X\simeq Km_{3}(B,G_{B})$. When the surface is algebraic, we obtain that the number of Kummer structures is linked with the number of order $3$ elliptic points on some Shimura curve naturally related to $A$. For each $n\in\mathbb{N}$, we obtain generalized Kummer surfaces $X_{n}$ for which the number of Kummer structures is $2^{n}$. We then give a classification of the moduli spaces of generalized Kummer surfaces. When the surface is non algebraic, there is only one Kummer structure, but the number of irreducible components of the moduli spaces of such surfaces is large compared to the algebraic case. The endomorphism rings of the complex $2$-tori we study are mainly quaternion orders, these order contain the ring of Eisenstein integers. One can also see this paper as a study of quaternion orders $\mathcal{O}$ over $\mathbb{Q}$ that contain the ring of Eisenstein integers. We obtain that such order is determined up to isomorphism by its discriminant, and when the quaternion algebra is indefinite, the order $\mathcal{O}$ is principal.

Algebraic Geometry,Number Theory
On Freiman's Theorem in a function field setting

Mieke Wessel

2024-05-17

Abstract:We prove some new instances of a conjecture of Bachoc, Couvreur and Zémor that generalizes Freiman's $3k-4$ Theorem to a multiplicative version in a function field setting. As a consequence we find that if $F$ is a rational function field over an algebraically closed field $K$ and $S \subset F$ a finite dimensional $K$-vector space such that $\dim S^2 = 2\dim S + 1$, then the conjecture holds.

Number Theory,Combinatorics
On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Emmanuel Lecouturier,Jun Wang

2023-10-07

Abstract:Let $N$ and $p$ be primes $\geq 5$ such that $p \mid \mid N-1$. In this situation, Mazur defined and studied the $p$-Eisenstein quotient $\tilde{J}^{(p)}$ of $J_0(N)$. We prove a kind of modulo $p$ version of the Birch and Swinnerton-Dyer conjecture for the ``$p$-Eisenstein part'' of even quadratic twists of $\tilde{J}^{(p)}$. Our result is the analogue for even quadratic twists of a result of Mazur concerning odd quadratic twists.

Number Theory
On the Mordell-Weil Ranks of supersingular abelian varieties over $\mathbb{Z}_p^2$-extensions

Cédric Dion,Jishnu Ray

2024-07-04

Abstract:Let $p$ be a fixed odd prime and let $K$ be an imaginary quadratic field in which $p$ splits. Let $A$ be an abelian variety defined over $K$ with supersingular reduction at both primes above $p$ in $K$. Under certain assumptions, we give a growth estimate for the Mordell--Weil rank of $A$ over finite extensions inside the $\mathbb{Z}_p^2$-extension of $K$. In the last section, written by Chris Williams, he includes some speculative remarks on the $p$-adic $L$-functions for $\mathrm{GSp}(4)$ corresponding to the multi-signed Selmer groups constructed in this paper.

Number Theory,Representation Theory
On Mordell-Weil groups of Jacobians over function fields

Douglas Ulmer

DOI: https://doi.org/10.48550/arXiv.1002.3310

2011-02-18

Abstract:We study the arithmetic of abelian varieties over $K=k(t)$ where $k$ is an arbitrary field. The main result relates Mordell-Weil groups of certain Jacobians over $K$ to homomorphisms of other Jacobians over $k$. Our methods also yield completely explicit points on elliptic curves with unbounded rank over $\Fpbar(t)$ and a new construction of elliptic curves with moderately high rank over $\C(t)$.

Number Theory,Algebraic Geometry
On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Georges Gras

2024-09-02

Abstract:Let $k = \mathbb{Q}(\sqrt {-m})$ and $p > 2$ split in $k$. We prove new properties of the $\mathbb{Z}_p$-extensions $K/k$, distinct from the cyclotomic; we do not assume $K/k$ totally ramified, nor the triviality of the $p$-class group of $k$. These properties are governed by the $p$-valuation, $\delta_p(k)$, of a suitable Fermat quotient of the fundamental $p$-unit $x$ of $k$, which also yields the order of the logarithmic class group (2.2, App. A), and generalize the Gold-Sands criterion (5.1, 5.3, 5.4, 5.5). These results use the second element $(\mathcal{H}_{K_n}/\mathcal{H}_{K_n}^{G_n})^{G_n}$ of the filtration of the $p$-class groups in $K=\cup_n K_n$, without any argument of Iwasawa's theory, and provide new perspectives. We compute, Sec. 7, the first layer $K_1$, using the Log-function, then give a short proof of a result of Kundu-Washington (5.6), and show (7.4, 7.6) that capitulation is possible in $K$, suggesting Conjecture 5.8. Calculations are gathered App. B.

Number Theory
The Kummer ratio of the relative class number for prime cyclotomic fields

Neelam Kandhil,Alessandro Languasco,Pieter Moree,Sumaia Saad Eddin,Alisa Sedunova

2024-02-21

Abstract:Kummer's conjecture predicts the asymptotic growth of the relative class number of prime cyclotomic fields. We substantially improve the known bounds of Kummer's ratio under three scenarios: no Siegel zero, presence of Siegel zero and assuming the Riemann Hypothesis for the Dirichlet $L$-series attached to odd characters only. The numerical work in this paper extends and improves on our earlier preprint (arXiv:1908.01152) and demonstrates our theoretical results.

Number Theory
Bilinear forms with Kloosterman and Gauss sums in function fields

Christian Bagshaw

2023-04-11

Abstract:In recent years, there has been a lot of progress in obtaining non-trivial bounds for bilinear forms of Kloosterman sums in $\mathbb{Z}/m\mathbb{Z}$ for arbitrary integers $m$. These results have been motivated by a wide variety of applications, such as improved asymptotic formulas for moments of $L$-functions. However, there has been very little work done in this area in the setting of rational function fields over finite fields. We remedy this and provide a number of new non-trivial bounds for bilinear forms of Kloosterman and Gauss sums in this setting, based on new bounds on the number of solutions to certain modular congruences in $\mathbb{F}_q[T]$ .

Number Theory

On the maximum modulus of integers in Kummer extensions

Modular invariants for real quadratic fields and Kloosterman sums

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

A note on images of Galois representations (with an application to a result of Litt)

A note on extended genus fields of Kummer extensions of rational function fields

Kummer theory for function fields

On Power Sums and the Kummer Congruences

A generalization of Kummer theory to Hopf-Galois extensions

Moduli of algebraic varieties

The maximum modulus set of a polynomial

Mordell--Weil groups over large algebraic extensions of fields of characteristic zero

The maximal abelian extension contained in a division field of an elliptic curve over $\mathbb{Q}$ with complex multiplication

Number of Kummer structures and Moduli spaces of generalized Kummer surfaces

On Freiman's Theorem in a function field setting

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

On the Mordell-Weil Ranks of supersingular abelian varieties over $\mathbb{Z}_p^2$-extensions

On Mordell-Weil groups of Jacobians over function fields

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

The Kummer ratio of the relative class number for prime cyclotomic fields

Bilinear forms with Kloosterman and Gauss sums in function fields