Bogomolov property and Galois representations

Francesco Amoroso,Lea Terracini

2024-04-20

Abstract:In 2013 P. Habegger proved the Bogomolov property for the field generated over Q by the torsion points of a rational elliptic curve. We explore the possibility of applying the same strategy of proof to the case of field extensions fixed by the kernel of some modular Galois representations.

Number Theory

What problem does this paper attempt to address?

Galois Representations and Torsion in the Coherent Cohomology of Hilbert Modular Varieties

Matthew Emerton,Davide A. Reduzzi,Liang Xiao

DOI: https://doi.org/10.1515/crelle-2014-0092

2014-01-01

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:Let F be a totally real number field and let p be a prime unramified in F. We prove the existence of Galois pseudo-representations attached to mod p^m Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties for F of level prime to p.
Bogomolov property for certain infinite non-Galois extensions

Anup B. Dixit,Sushant Kala

2024-08-04

Abstract:For an algebraic number $\alpha$, let $h(\alpha)$ denote its logarithmic Weil height. In 2002, Bombieri and Zannier obtained lower bounds for Weil height for totally $p$-adic extensions of $\mathbb{Q}$, i.e., infinite Galois extension over $\mathbb{Q}$ with finite local degree over a rational prime $p$. In this paper, we formulate and prove the non-Galois analogue of this result. In particular, it leads to a $p$-adic equidistribution result i.e., if a positive proportion of conjugates of $\alpha\in\overline{\mathbb{Q}}$ lie in a finite local extension $K_{v}/\mathbb{Q}_p$, then we obtain absolute lower bound for $h(\alpha)$. We also undertake the analoguous problem for canonical height of an elliptic curve $E/K$ and obtain explicit lower bounds for them on certain non-Galois infinite extensions.

Number Theory
Modularity of trianguline Galois representations

Rebecca Bellovin

DOI: https://doi.org/10.1017/fms.2023.116

2024-01-06

Forum of Mathematics Sigma

Abstract:We use the theory of trianguline -modules over pseudorigid spaces to prove a modularity lifting theorem for certain Galois representations which are trianguline at p, including those with characteristic p coefficients. The use of pseudorigid spaces lets us construct integral models of the trianguline varieties of [BHS17], [Che13] after bounding the slope, and we carry out a Taylor–Wiles patching argument for families of overconvergent modular forms. This permits us to construct a patched quaternionic eigenvariety and deduce our modularity results.

mathematics, applied
Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Matthew Emerton,Davide Reduzzi,Liang Xiao

DOI: https://doi.org/10.1017/fms.2017.26

2014-01-01

Abstract:Let $p$ be a prime number and $F$ a totally real number field. For each prime $\mathfrak{p}$ of $F$ above $p$ we construct a Hecke operator $T_{\mathfrak{p}}$ acting on $(\text{mod}\,p^{m})$ Katz Hilbert modular classes which agrees with the classical Hecke operator at $\mathfrak{p}$ for global sections that lift to characteristic zero. Using these operators and the techniques of patching complexes of Calegari and Geraghty we prove that the Galois representations arising from torsion Hilbert modular classes of parallel weight $\mathbf{1}$ are unramified at $p$ when $[F:\mathbb{Q}]=2$ . Some partial and some conjectural results are obtained when $[F:\mathbb{Q}]>2$ .
Torsion points and Galois representations on CM elliptic curves

Abbey Bourdon,Pete L. Clark

DOI: https://doi.org/10.2140/pjm.2020.305.43

2019-09-16

Abstract:We prove several results on torsion points and Galois representations for complex multiplication (CM) elliptic curves over a number field containing the CM field. One result computes the degree in which such an elliptic curve has a rational point of order $N$, refining results of Silverberg. Another result bounds the size of the torsion subgroup of an elliptic curve with CM by a nonmaximal order in terms of the torsion subgroup of an elliptic curve with CM by the maximal order. Our techniques also yield a complete classification of both the possible torsion subgroups and the rational cyclic isogenies of a $K$-CM elliptic curve $E$ defined over $K(j(E))$.

Number Theory
Ogg's conjectures over function fields

Cécile Armana,Sheng-Yang Kevin Ho,Mihran Papikian

2024-10-08

Abstract:In the early 1970s, Andrew Ogg made several conjectures about the rational torsion points of elliptic curves over $\mathbb{Q}$ and the Jacobians of modular curves. These conjectures were proved shortly after by Barry Mazur as a consequence of his fundamental study of the arithmetic properties of modular curves and Hecke algebras. In this paper, we review the function field analogues of Ogg's conjectures, their current status, and the methods that have been applied to prove some of these conjectures. The methods are based on the ideas of Mazur and Ogg, but there are interesting differences and technical complications that arise in the function field setting, as well as intriguing possible new directions for generalizations.

Number Theory
Galois representations over function fields that are ramified at one prime

Anwesh Ray

2024-06-09

Abstract:Let $\mathbb{F}_q$ be the finite field with $q$ elements, $F:=\mathbb{F}_q(T)$ and $F^{\operatorname{sep}}$ a separable closure of $F$. Set $A$ to denote the polynomial ring $\mathbb{F}_q[T]$. Let $\mathfrak{p}$ be a non-zero prime ideal of $A$, and $\mathscr{O}$ be the completion of $A$ at $\mathfrak{p}$. Given any integer $r\geq 2$, I construct a Galois representation $\rho:\operatorname{Gal}(F^{\operatorname{sep}}/F)\rightarrow \operatorname{GL}_r(\mathscr{O})$ which is unramified at all non-zero primes $\mathfrak{l}\neq \mathfrak{p}$ of $A$, and whose image is a finite index subgroup of $\operatorname{GL}_r(\mathscr{O})$. Moreover, if the degree of $\mathfrak{p}$ is $1$, then $\rho$ is also unramified at $\infty$.

Number Theory
Modularity of residual Galois extensions and the Eisenstein ideal

Tobias Berger,Krzysztof Klosin

DOI: https://doi.org/10.1090/tran/7851

IF: 1.3529

2019-06-03

Transactions of the American Mathematical Society

Abstract:For a totally real field F F , a finite extension F \mathbf {F} of F p \mathbf {F}_p , and a Galois character χ : G F → F × \chi : G_F \to \mathbf {F}^{\times } unramified away from a finite set of places Σ ⊃ { p ∣ p } \Sigma \supset \{\mathfrak {p} \mid p\} , consider the Bloch–Kato Selmer group H := H Σ 1 ( F , χ − 1 ) H:=H^1_{\Sigma }(F, \chi ^{-1}) . The authors previously proved that the number d d of isomorphism classes of (nonsemisimple, reducible) residual representations ρ ̄ {\overline \rho } giving rise to lines in H H which are modular by some ρ f \rho _f (also unramified outside Σ \Sigma ) satisfies d ≥ n := dim F ⁡ H d \geq n:= \dim _{\mathbf {F}} H . This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal J J is nonprincipal, then d > n d >n . When F = Q F=\mathbf {Q} we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the nonprincipality of J J that can be checked in practice, allowing us to furnish examples where d > n d>n .

mathematics
Galois representations ramified at one prime and with suitably large image

Anwesh Ray

DOI: https://doi.org/10.1090/tran/8999

2023-06-04

Abstract:Let $p\geq 7$ be a prime and $n>1$ be a natural number. We show that there exist infinitely many Galois representations $\varrho:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow GL_{n}(\mathbb{Z}_p)$ which are unramified outside $\{p, \infty\}$ with large image. More precisely, the Galois representations constructed have image containing the kernel of the mod-$p^t$ reduction map $SL_n(\mathbb{Z}_p)\rightarrow SL_n(\mathbb{Z}/p^t\mathbb{Z})$, where $t:=8(n^2-n)\left(3+\lfloor log_p(2^n+1)\rfloor\right)+8$. The results are proven via a purely Galois theoretic lifting construction. When $p\equiv 1\mod{4}$, our results are conditional since in this case, we assume a very weak version of Vandiver's conjecture.

Number Theory
Realizing Galois representations in abelian varieties by specialization

Arvind Suresh

2023-11-30

Abstract:We give some positive answers to the following problem: Given a field $K$ and a continuous Galois representation $\rho:G_K \to GL_n(\mathbf{Q})$, construct an abelian variety $J/K$ of small dimension such that $\rho$ is a sub-representation of the natural $G_K$-representation on $J(\bar{K}) \otimes_{\mathbf{Z}} \mathbf{Q}$. We prove that if $K$ is Hilbertian of characteristic different from $2$, then for any sufficiently large integer $g$ (depending on $\rho$) we can find infinitely many absolutely simple $g$-dimensional abelian varieties which realize $\rho$. We outline also a method of twisting a given symmetric construction of curves with many rational points to instead produce curves with closed points of large degree, and in this context we give a unified treatment of constructions of Mestre--Shioda and Liu--Lorenzini. The main results are obtained by applying a natural generalization of Néron's Specialization Theorem.

Number Theory,Algebraic Geometry
The Geometric Dynamical Northcott and Bogomolov Properties

Thomas Gauthier,Gabriel Vigny

2024-09-17

Abstract:We establish the dynamical Northcott property for polarized endomorphisms of a projective variety over a function field $\mathbf{K}$ of characteristic zero, and we relate this property to the notion of stability in complex dynamics. This extends previous results of Benedetto, Baker and DeMarco in dimension $1$, and of Chatzidakis-Hrushovski in higher dimension. Our proof uses complex dynamics arguments and does not rely on the previous ones. We first show that, when $\mathbf{K}$ is the field of rational functions of a normal complex projective variety, the canonical height of a subvariety is the mass of an appropriate bifurcation current and that a marked point is stable if and only if its canonical height is zero. We then establish the geometric dynamical Northcott property characterizing points of height zero in this setting, using a similarity argument. Moving from points to subvarieties, we propose, for polarized endomorphisms, a dynamical version of the geometric Bogomolov conjecture, recently proved by Cantat, Gao, Habegger, and Xie in the original setting of abelian varieties.

Dynamical Systems,Complex Variables,Number Theory
Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Christophe Breuil,Florian Herzig,Yongquan Hu,Stefano Morra,Benjamin Schraen

2023-10-02

Abstract:Let $p$ be a prime number and $K$ a finite extension of $\mathbb{Q}_p$. We state conjectures on the smooth representations of $\mathrm{GL}_n(K)$ that occur in spaces of mod $p$ automorphic forms (for compact unitary groups). In particular, when $K$ is unramified, we conjecture that they are of finite length and predict their internal structure (extensions, form of subquotients) from the structure of a certain algebraic representation of $\mathrm{GL}_n$. When $n=2$ and $K$ is unramified, we prove several cases of our conjectures, including new finite length results.

Number Theory,Representation Theory
Ramified covers of abelian varieties over torsion fields

Lior Bary-Soroker,Arno Fehm,Sebastian Petersen

2023-08-17

Abstract:We study rational points on ramified covers of abelian varieties over certain infinite Galois extensions of $\mathbb{Q}$. In particular, we prove that every elliptic curve $E$ over $\mathbb{Q}$ has the weak Hilbert property of Corvaja-Zannier both over the maximal abelian extension $\mathbb{Q}^{\rm ab}$ of $\mathbb{Q}$, and over the field $\mathbb{Q}(A_{\rm tor})$ obtained by adjoining to $\mathbb{Q}$ all torsion points of some abelian variety $A$ over $\mathbb{Q}$.

Number Theory
Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Jacob Tsimerman

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

2011-06-12

Abstract:In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Riemann Hypothesis for CM fields. Along the way we derive a general transfer principle for torsion in ideal class groups of number fields.

Number Theory
On a Galois property of fields generated by the torsion of an abelian variety

S. Checcoli,G. A. Dill

DOI: https://doi.org/10.1112/blms.13149

IF: 1.036

2024-09-20

Bulletin of the London Mathematical Society

Abstract:In this article, we study a certain Galois property of subextensions of k(Ators) , the minimal field of definition of all torsion points of an abelian variety A defined over a number field k . Concretely, we show that each subfield of k(Ators) that is Galois over k (of possibly infinite degree) and whose Galois group has finite exponent is contained in an abelian extension of some finite extension of k . As an immediate corollary of this result and a theorem of Bombieri and Zannier, we deduce that each such field has the Northcott property, that is, does not contain any infinite set of algebraic numbers of bounded height.

mathematics
Mod-$p$ Galois representations not arising from abelian varieties

Shiva Chidambaram

2023-08-24

Abstract:It is known that any Galois representation $\rho : G_{\mathbb{Q}} \rightarrow \mathrm{GL}(2,\mathbb{F}_p)$ with determinant equal to the mod-$p$ cyclotomic character, arises from the $p$-torsion of an elliptic curve over $\mathbb{Q}$, if and only if $p \leq 5$. In dimension $g = 2$, when $p \le 3$, it is again known that any Galois representation valued in $\mathrm{GSp}(4,\mathbb{F}_p)$ with cyclotomic similitude character arises from an abelian surface. In this paper, we study this question for all primes $p$ and dimensions $g \ge 2$. When $g \ge 2$ and $(g,p) \neq (2,2)$, $(2,3)$, $(3,2)$, we prove the existence of a Galois representation over $\mathbb{Q}$ valued in $\mathrm{GSp}(2g,\mathbb{F}_p)$ with cyclotomic similitude character, that cannot arise as the $p$-torsion representation of any $g$-dimensional abelian variety over $\mathbb{Q}$.

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$.
Dynamique analytique sur $\mathbf{Z}$. II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel

Jérôme Poineau

2024-02-21

Abstract:We prove that the mutual energy (or the intersection product in the sense of Arakelov theory) of two dynamical systems associated to Lattès morphisms over $\mathbf{\bar Q}$ is uniformly bounded below and deduce a proof of a conjecture of Bogomolov-Fu-Tschinkel: the number of common images of torsion points of two non-isomorphic elliptic curves over $\mathbf{C}$ by a standard morphism to the projective line is uniformly bounded. The proof crucially relies on the theory of Berkovich spaces over $\mathbf{Z}$ and on an original argument allowing to obtain a global estimate from a central estimate (over a trivially valued field).

Number Theory,Dynamical Systems
Leopoldt-type theorems for non-abelian extensions of

Fabio Ferri

DOI: https://doi.org/10.1017/s0017089523000460

2024-01-25

Glasgow Mathematical Journal

Abstract:We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions with Galois group isomorphic to , , , and dihedral groups of order for certain prime powers . In particular, when is a Galois extension with Galois group isomorphic to , or , we give necessary and sufficient conditions for the ring of integers to be free over its associated order in the rational group algebra .

mathematics

Bogomolov property and Galois representations

Galois Representations and Torsion in the Coherent Cohomology of Hilbert Modular Varieties

Bogomolov property for certain infinite non-Galois extensions

Modularity of trianguline Galois representations

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Torsion points and Galois representations on CM elliptic curves

Ogg's conjectures over function fields

Galois representations over function fields that are ramified at one prime

Modularity of residual Galois extensions and the Eisenstein ideal

Galois representations ramified at one prime and with suitably large image

Realizing Galois representations in abelian varieties by specialization

The Geometric Dynamical Northcott and Bogomolov Properties

Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Ramified covers of abelian varieties over torsion fields

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

On a Galois property of fields generated by the torsion of an abelian variety

Mod-$p$ Galois representations not arising from abelian varieties

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

Dynamique analytique sur $\mathbf{Z}$. II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel

Leopoldt-type theorems for non-abelian extensions of