Showing 1–27 of 27 results for author: Habegger, P

The Relative Manin-Mumford Conjecture

Authors: Ziyang Gao, Philipp Habegger

Abstract: We prove the Relative Manin-Mumford Conjecture for families of abelian varieties in characteristic 0. We follow the Pila-Zannier method to study special point problems, and we use the Betti map which goes back to work of Masser and Zannier in the case of curves. The key new ingredients compared to previous applications of this approach are a height inequality proved by both authors of the current… ▽ More We prove the Relative Manin-Mumford Conjecture for families of abelian varieties in characteristic 0. We follow the Pila-Zannier method to study special point problems, and we use the Betti map which goes back to work of Masser and Zannier in the case of curves. The key new ingredients compared to previous applications of this approach are a height inequality proved by both authors of the current paper and Dimitrov, and the first-named author's study of certain degeneracy loci in subvarieties of abelian schemes. We also strengthen this result and prove a criterion for torsion points to be dense in a subvariety of an abelian scheme over $\mathbb{C}$. The Uniform Manin-Mumford Conjecture for curves embedded in their Jacobians was first proved by Kühne. We give a new proof, as a corollary to our main theorem, that does not use equidistribution. △ Less

Submitted 8 October, 2023; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: Referred to a result of Rémond for the quantitative version of Masser's bound. Comments are welcome!

MSC Class: 11G30; 11G50; 14G05; 14G25

Degeneracy loci in the universal family of abelian varieties

Authors: Ziyang Gao, Philipp Habegger

Abstract: Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in… ▽ More Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in a family of principally polarized abelian varieties. We also explain their relevance for applications in diophantine geometry. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: Comments are welcome!

MSC Class: 11G10; 11G50; 14G25; 14K15

Integer matrices with a given characteristic polynomial and multiplicative dependence of matrices

Authors: Philipp Habegger, Alina Ostafe, Igor E. Shparlinski

Abstract: We consider the set $\mathcal{M}_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain a new upper bound on the number of matrices from $\mathcal{M}_n(\mathbb Z; H)$ with a given characteristic polynomial $f \in \mathbb Z[X]$, which is uniform with respect to $f$. This complements the asymptotic formula of A. Eskin, S. Mozes and N. Shah (1996) in which $f$ h… ▽ More We consider the set $\mathcal{M}_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain a new upper bound on the number of matrices from $\mathcal{M}_n(\mathbb Z; H)$ with a given characteristic polynomial $f \in \mathbb Z[X]$, which is uniform with respect to $f$. This complements the asymptotic formula of A. Eskin, S. Mozes and N. Shah (1996) in which $f$ has to be fixed and irreducible. Using this result, among others, we obtain upper and lower bounds on the number of $s$-tuples of matrices from $\mathcal{M}_n(\mathbb Z; H)$, satisfying various multiplicative relations, including multiplicative dependence and bounded generation of a subgroup of $\mathrm{GL}_n(\mathbb Q)$. These problems generalise those studied in the scalar case $n=1$ by F. Pappalardi, M. Sha, I. E. Shparlinski and C. L. Stewart (2018) with an obvious distinction due to the non-commutativity of matrices. Motivated by these problems, we also prove various properties of the variety of complex matrices with fixed characteristic polynomial, including computing the degree of this variety. △ Less

Submitted 3 September, 2024; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: In this new version, now jointly with Philipp Habegger, we use a very different approach to counting integer matrices with a given characteristic polynomial, which leads to a much stronger estimate. In turn, this also improves several other results

Lower Bounds for the Canonical Height of a Unicritical Polynomial and Capacity

Authors: Philipp Habegger, Harry Schmidt

Abstract: In a recent breakthrough, Dimitrov solved the Schinzel-Zassenhaus Conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$ where $p$ is a prime number and where the orbit of $0$ is finite. For example, if $p=2$, and $0$ is periodic under $T^2+c$ with $c\in\mathbb{R}\smallsetminus\{-2\}$, we prove a lower bound for the local canonical… ▽ More In a recent breakthrough, Dimitrov solved the Schinzel-Zassenhaus Conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$ where $p$ is a prime number and where the orbit of $0$ is finite. For example, if $p=2$, and $0$ is periodic under $T^2+c$ with $c\in\mathbb{R}\smallsetminus\{-2\}$, we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: Comments welcome

MSC Class: Primary: 11G50; Secondary: 14G40; 30C85; 37P15

A consequence of the relative Bogomolov conjecture

Authors: Vesselin Dimitrov, Ziyang Gao, Philipp Habegger

Abstract: We propose a formulation of the relative Bogomolov conjecture and show that it gives an affirmative answer to a question of Mazur's concerning the uniformity of the Mordell-Lang conjecture for curves. In particular we show that the relative Bogomolov conjecture implies the uniform Manin-Mumford conjecture for curves. The proof is built up on our previous work "Uniformity in Mordell-Lang for curves… ▽ More We propose a formulation of the relative Bogomolov conjecture and show that it gives an affirmative answer to a question of Mazur's concerning the uniformity of the Mordell-Lang conjecture for curves. In particular we show that the relative Bogomolov conjecture implies the uniform Manin-Mumford conjecture for curves. The proof is built up on our previous work "Uniformity in Mordell-Lang for curves". △ Less

Submitted 2 June, 2021; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: To appear in JNT Special Volume Biennal Conference 2019. Some recent results updated. Comments are welcome

MSC Class: 11G30; 11G50; 14G05; 14G25

Exponential periods and o-minimality

Authors: Johan Commelin, Philipp Habegger, Annette Huber

Abstract: Let $α\in \mathbb{C}$ be an exponential period. We show that the real and imaginary part of $α$ are up to signs volumes of sets definable in the o-minimal structure generated by $\mathbb{Q}$, the real exponential function and ${\sin}|_{[0,1]}$. This is a weaker analogue of the precise characterisation of ordinary periods as numbers whose real and imaginary part are up to signs volumes of… ▽ More Let $α\in \mathbb{C}$ be an exponential period. We show that the real and imaginary part of $α$ are up to signs volumes of sets definable in the o-minimal structure generated by $\mathbb{Q}$, the real exponential function and ${\sin}|_{[0,1]}$. This is a weaker analogue of the precise characterisation of ordinary periods as numbers whose real and imaginary part are up to signs volumes of $\mathbb{Q}$-semi-algebraic sets. Furthermore, we define a notion of naive exponential periods and compare it to the existing notions using cohomological methods. This points to a relation between the theory of periods and o-minimal structures. △ Less

Submitted 28 March, 2025; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: 72 pages. To appear in Annales de l'Institut Fourier. The paper is a merger of "Exponential periods and o-minimality I" (v1 of this submission) and "Exponential periods and o-minimality II", previously arXiv:2007.08290

MSC Class: 11G35; 14F25; 14F40; 14P10; 03C64

Uniformity in Mordell-Lang for curves

Authors: Vesselin Dimitrov, Ziyang Gao, Philipp Habegger

Abstract: Consider a smooth, geometrically irreducible, projective curve of genus $g \ge 2$ defined over a number field of degree $d \ge 1$. It has at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that the number of rational points is bounded only in terms of $g$, $d$, and the Mordell-Weil rank of the curve's Jacobian, thereby answering in the affirmative a que… ▽ More Consider a smooth, geometrically irreducible, projective curve of genus $g \ge 2$ defined over a number field of degree $d \ge 1$. It has at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that the number of rational points is bounded only in terms of $g$, $d$, and the Mordell-Weil rank of the curve's Jacobian, thereby answering in the affirmative a question of Mazur. In addition we obtain uniform bounded, in $g$ and $d$, for the number of geometric torsion points of the Jacobian which lie in the image of an Abel-Jacobi map. Both estimates generalize our previous work for $1$-parameter families. Our proof uses Vojta's approach to the Mordell Conjecture, and the key new ingredient is the generalization of a height inequality due to the second- and third-named authors. △ Less

Submitted 31 March, 2021; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: Appendix B revised. Accepted to Annals of Mathematics. Comments are welcome

MSC Class: 11G30; 11G50; 14G05; 14G25

Galois orbits of torsion points near atoral sets

Authors: Vesselin Dimitrov, Philipp Habegger

Abstract: We prove that the Galois equidistribution of torsion points of the algebraic torus $\mathbb{G}_{m}^d$ extends to the singular test functions of the form $\log{|P|}$, where $P$ is a Laurent polynomial having algebraic coefficients that vanishes on the unit real $d$-torus in a set whose Zariski closure in $\mathbb{G}_m^d$ has codimension at least $2$. Our result includes a power saving quantitative… ▽ More We prove that the Galois equidistribution of torsion points of the algebraic torus $\mathbb{G}_{m}^d$ extends to the singular test functions of the form $\log{|P|}$, where $P$ is a Laurent polynomial having algebraic coefficients that vanishes on the unit real $d$-torus in a set whose Zariski closure in $\mathbb{G}_m^d$ has codimension at least $2$. Our result includes a power saving quantitative estimate of the decay rate of the equidistribution. It refines an ergodic theorem of Lind, Schmidt, and Verbitskiy, of which it also supplies a purely Diophantine proof. As an application, we confirm Ih's integrality finiteness conjecture on torsion points for a class of atoral divisors of $\mathbb{G}_m^d$. △ Less

Submitted 24 March, 2022; v1 submitted 13 September, 2019; originally announced September 2019.

Comments: New reference, fixed Lemma A.3(i), various minor changes

MSC Class: 11J83; 11R06; 14G40; 37A45; 37P30

Journal ref: Alg. Number Th. 18 (2024) 1945-2001

Uniform bound for the number of rational points on a pencil of curves

Authors: Vesselin Dimitrov, Ziyang Gao, Philipp Habegger

Abstract: Consider a one-parameter family of smooth, irreducible, projective curves of genus $g\ge 2$ defined over a number field. Each fiber contains at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that the number of rational points is bounded only in terms of the family and the Mordell--Weil rank of the fiber's Jacobian. Our proof uses Vojta's approach to th… ▽ More Consider a one-parameter family of smooth, irreducible, projective curves of genus $g\ge 2$ defined over a number field. Each fiber contains at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that the number of rational points is bounded only in terms of the family and the Mordell--Weil rank of the fiber's Jacobian. Our proof uses Vojta's approach to the Mordell Conjecture furnished with a height inequality due to the second- and third-named authors. In addition we obtain uniform bounds for the number of torsion in the Jacobian that lie each fiber of the family. △ Less

Submitted 3 September, 2019; v1 submitted 15 April, 2019; originally announced April 2019.

Comments: Minor revisions. Accepted to IMRN. Comments are welcome

MSC Class: 11G30; 11G50; 14G05; 14G25

The geometric Bogomolov conjecture

Authors: Serge Cantat, Ziyang Gao, Philipp Habegger, Junyi Xie

Abstract: We prove the geometric Bogomolov conjecture over a function field of characteristic zero. We prove the geometric Bogomolov conjecture over a function field of characteristic zero. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Comments: 18 pages

Journal ref: Duke Math. J. 170, no. 2 (2021), 247-277

No singular modulus is a unit

Authors: Yu. Bilu, P. Habegger, L. Kühne

Abstract: A result of the second-named author states that there are only finitely many CM-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke's Equidistribution Theorem and is hence non-effective. In this article, we give a completely effective proof of this result. To be precise, we show that every singular modulus that is an algebraic unit is associated wi… ▽ More A result of the second-named author states that there are only finitely many CM-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke's Equidistribution Theorem and is hence non-effective. In this article, we give a completely effective proof of this result. To be precise, we show that every singular modulus that is an algebraic unit is associated with a CM-elliptic curve whose endomorphism ring has discriminant less than $10^{15}$. Through further refinements and computer-assisted computations, we eventually rule out all remaining cases, showing that no singular modulus is an algebraic unit. This allows us to exhibit classes of subvarieties in $\mathbb{C}^n$ not containing any special points. △ Less

Submitted 7 November, 2018; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: Dedicated to David Masser on the occasion of his 70th birthday. Version 2 has a new title, updated references, and contains minor corrections. 31 pages, to appear in IMRN. Link to scripts https://github.com/philipphabegger/Effective-Bounds-for-Singular-Units

Heights in families of abelian varieties and the Geometric Bogomolov Conjecture

Authors: Ziyang Gao, Philipp Habegger

Abstract: On an abelian scheme over a smooth curve over $\overline{\mathbb Q}$ a symmetric relatively ample line bundle defines a fiberwise Néon-Tate height. If the base curve is inside a projective space, we also have a height on its $\overline{\mathbb Q}$-points that serves as a measure of each fiber, an abelian variety. Silverman proved an asymptotic equality between these two heights on a curve in the a… ▽ More On an abelian scheme over a smooth curve over $\overline{\mathbb Q}$ a symmetric relatively ample line bundle defines a fiberwise Néon-Tate height. If the base curve is inside a projective space, we also have a height on its $\overline{\mathbb Q}$-points that serves as a measure of each fiber, an abelian variety. Silverman proved an asymptotic equality between these two heights on a curve in the abelian scheme. In this paper we prove an inequality between these heights on a subvariety of any dimension of the abelian scheme. As an application we prove the Geometric Bogomolov Conjecture for the function field of a curve defined over $\overline{\mathbb Q}$. Using Moriwaki's height we sketch how to extend our result when the base field of the curve has characteristic 0. △ Less

Submitted 28 January, 2019; v1 submitted 17 January, 2018; originally announced January 2018.

Comments: Minor changes for typos. Accepted to Annals of Mathematics. Comments are welcome

MSC Class: 11G10; 11G50; 14G25; 14K15

The Norm of Gaussian Periods

Authors: P. Habegger

Abstract: Gaussian periods are cyclotomic integers with a long history in number theory and connections to problems in combinatorics. We investigate the asymptotic behavior of the absolute norm of a Gaussian period and provide a rate of convergence in a case of Myerson's Conjecture for periods of arbitrary odd length. Our method involves a result of Bombieri, Masser, and Zannier on unlikely intersections in… ▽ More Gaussian periods are cyclotomic integers with a long history in number theory and connections to problems in combinatorics. We investigate the asymptotic behavior of the absolute norm of a Gaussian period and provide a rate of convergence in a case of Myerson's Conjecture for periods of arbitrary odd length. Our method involves a result of Bombieri, Masser, and Zannier on unlikely intersections in the algebraic torus as well as work of the author on the diophantine approximations to a set definable in an o-minimal structure. In the appendix we make a result of Lawton on Mahler measures quantitative. △ Less

Submitted 22 November, 2016; originally announced November 2016.

MSC Class: 11R06 (Primary); 05A15; 11J71; 11K60; 37A45 (Secondary)

Diophantine Approximations on Definable Sets

Authors: P. Habegger

Abstract: Consider the vanishing locus of a real analytic function on $\mathbb{R}^n$ restricted to $[0,1]^n$. We bound the number of rational points of bounded height that approximate this set very well. Our result is formulated and proved in the context of o-minimal structure which give a general framework to work with sets mentioned above. It complements the theorem of Pila-Wilkie that yields a bound of t… ▽ More Consider the vanishing locus of a real analytic function on $\mathbb{R}^n$ restricted to $[0,1]^n$. We bound the number of rational points of bounded height that approximate this set very well. Our result is formulated and proved in the context of o-minimal structure which give a general framework to work with sets mentioned above. It complements the theorem of Pila-Wilkie that yields a bound of the same quality for the number of rational points of bounded height that lie on a definable set. We focus our attention on polynomially bounded o-minimal structures, allow algebraic points of bounded degree, and provide an estimate that is uniform over some families of definable sets. We apply these results to study fixed length sums of roots of unity that are small in modulus. △ Less

Submitted 16 August, 2016; originally announced August 2016.

Comments: 35 pages

MSC Class: Primary: 11J83; Secondary: 03C64; 11G50

Quasi-equivalence of Heights and Runge's Theorem

Authors: P. Habegger

Abstract: Let $P$ be a polynomial that depends on two variables $X$ and $Y$ and has algebraic coefficients. If $x$ and $y$ are algebraic numbers with $P(x,y)=0$, then by work of Néron $h(x)/q$ is asymptotically equal to $h(y)/p$ where $p$ and $q$ are the partial degrees of $P$ in $X$ and $Y$, respectively. In this paper we compute a completely explicit bound for $|h(x)/q-h(y)/p|$ in terms of $P$ which grows… ▽ More Let $P$ be a polynomial that depends on two variables $X$ and $Y$ and has algebraic coefficients. If $x$ and $y$ are algebraic numbers with $P(x,y)=0$, then by work of Néron $h(x)/q$ is asymptotically equal to $h(y)/p$ where $p$ and $q$ are the partial degrees of $P$ in $X$ and $Y$, respectively. In this paper we compute a completely explicit bound for $|h(x)/q-h(y)/p|$ in terms of $P$ which grows asymptotically as $\max\{h(x),h(y)\}^{1/2}$. We apply this bound to obtain a simple version of Runge's Theorem on the integral solutions of certain polynomial equations. △ Less

Submitted 15 August, 2016; originally announced August 2016.

MSC Class: Primary: 11G50; secondary: 11D41; 11G30; 14H25; 14H50

Six unlikely intersection problems in search of effectivity

Authors: P. Habegger, G. Jones, D. Masser

Abstract: We investigate four properties related to an elliptic curve $E_t$ in Legendre form with parameter $t$: the curve $E_{t}$ has complex multiplication, $E_{-t}$ has complex multiplication, a point on $E_t$ with abscissa $2$ is of finite order, and $t$ is a root of unity. Combining all pairs of properties leads to six problems on unlikely intersections. We solve these problems effectively and in certa… ▽ More We investigate four properties related to an elliptic curve $E_t$ in Legendre form with parameter $t$: the curve $E_{t}$ has complex multiplication, $E_{-t}$ has complex multiplication, a point on $E_t$ with abscissa $2$ is of finite order, and $t$ is a root of unity. Combining all pairs of properties leads to six problems on unlikely intersections. We solve these problems effectively and in certain cases also explicitly. △ Less

Submitted 22 September, 2015; originally announced September 2015.

MSC Class: 11G05; 11G15; 11J89; 11G50

Bad reduction of genus $2$ curves with CM jacobian varieties

Authors: Philipp Habegger, Fabien Pazuki

Abstract: We show that a genus $2$ curve over a number field whose jacobian has complex multiplication will usually have stable bad reduction at some prime. We prove this by computing the Faltings height of the jacobian in two different ways. First, we use a formula by Colmez and Obus specific to the CM case and valid when the CM field is an abelian extension of the rationals. This formula links the height… ▽ More We show that a genus $2$ curve over a number field whose jacobian has complex multiplication will usually have stable bad reduction at some prime. We prove this by computing the Faltings height of the jacobian in two different ways. First, we use a formula by Colmez and Obus specific to the CM case and valid when the CM field is an abelian extension of the rationals. This formula links the height and the logarithmic derivatives of an $L$-function. The second formula involves a decomposition of the height into local terms based on a hyperelliptic model. We use results of Igusa, Liu, and Saito to show that the contribution at the finite places in our decomposition measures the stable bad reduction of the curve and subconvexity bounds by Michel and Venkatesh together with an equidistribution result of Zhang to handle the infinite places. △ Less

Submitted 8 June, 2015; originally announced June 2015.

MSC Class: Primary: 14K22; secondary: 11G18; 11G30; 11G50; 14H40; 14G40; 14H40

Journal ref: Compositio Math. 153 (2017) 2534-2576

Teichmueller curves in genus three and just likely intersections in $G_m^n x G_a^n$

Authors: Matt Bainbridge, Philipp Habegger, Martin Moeller

Abstract: We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmueller curve to obtain new information on the locations of the zeros of… ▽ More We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmueller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmueller curves in terms of cross-ratios of six points on a projective line. These constraints are akin to those that appear in Zilber and Pink's conjectures on unlikely intersections in diophantine geometry. However, in our case one is lead naturally to the intersection of a surface with a family of codimension two algebraic subgroups of $G_m^n \times G_a^n$ (rather than the more standard $G_m^n$). The ambient algebraic group lies outside the scope of Zilber's Conjecture but we are nonetheless able to prove a sufficiently strong height bound. For the generic stratum in genus three, we obtain global torsion order bounds through a computer search for subtori of a codimension-two subvariety of $G_m^9$. These torsion bounds together with new bounds for the moduli of horizontal cylinders in terms of torsion orders yields finiteness in this stratum. The intermediate strata are handled with a mix of these techniques. △ Less

Submitted 24 October, 2014; originally announced October 2014.

O-minimality and certain atypical intersections

Authors: Philipp Habegger, Jonathan Pila

Abstract: We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and André-Oort. We verify the so-called Zilber-Pink Conjecture in a product of modular curves on assuming a lower bound for Galois orbits and a sufficiently strong modular Ax-Schanuel Conjecture. In the context of abelian v… ▽ More We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and André-Oort. We verify the so-called Zilber-Pink Conjecture in a product of modular curves on assuming a lower bound for Galois orbits and a sufficiently strong modular Ax-Schanuel Conjecture. In the context of abelian varieties we obtain the Zilber-Pink Conjecture for curves unconditionally when everything is defined over a number field. For higher dimensional subvarieties of abelian varieties we obtain some weaker results and some conditional results. △ Less

Submitted 2 September, 2014; originally announced September 2014.

Small points and free abelian groups

Authors: Robert Grizzard, Philipp Habegger, Lukas Pottmeyer

Abstract: Let $F$ be an algebraic extension of the rational numbers and $E$ an elliptic curve defined over some number field contained in $F$. The absolute logarithmic Weil height, respectively the Néron-Tate height, induces a norm on $F^*$ modulo torsion, respectively on $E(F)$ modulo torsion. The groups $F^*$ and $E(F)$ are free abelian modulo torsion if the height function does not attain arbitrarily sma… ▽ More Let $F$ be an algebraic extension of the rational numbers and $E$ an elliptic curve defined over some number field contained in $F$. The absolute logarithmic Weil height, respectively the Néron-Tate height, induces a norm on $F^*$ modulo torsion, respectively on $E(F)$ modulo torsion. The groups $F^*$ and $E(F)$ are free abelian modulo torsion if the height function does not attain arbitrarily small positive values. In this paper we prove the failure of the converse to this statement by explicitly constructing counterexamples. △ Less

Submitted 21 August, 2014; originally announced August 2014.

MSC Class: 11G50; 11G05 (primary); 20K20 (secondary)

Journal ref: Int. Math. Res. Notices (2015) 2015 (20): 10657-10679

Singular Moduli that are Algebraic Units

Authors: Philipp Habegger

Abstract: We prove that only finitely many $j$-invariants of elliptic curves with complex multiplication are algebraic units. A rephrased and generalized version of this result resembles Siegel's Theorem on integral points of algebraic curves. We prove that only finitely many $j$-invariants of elliptic curves with complex multiplication are algebraic units. A rephrased and generalized version of this result resembles Siegel's Theorem on integral points of algebraic curves. △ Less

Submitted 7 February, 2014; originally announced February 2014.

Comments: 9 pages

MSC Class: 11G18 (primary); and 11G50; 11J86; 14G35; 14G40 (secondary)

Journal ref: Algebra Number Theory 9 (2015) 1515-1524

A Note on Divisible Points of Curves

Authors: Martin Bays, Philipp Habegger

Abstract: Let $C$ be an irreducible algebraic curve defined over a number field and inside an algebraic torus of dimension at least 3. We partially answer a question posed by Levin on points on $C$ for which a non-trivial power lies again on $C$. Our results have connections to Zilber's Conjecture on Intersections with Tori and yield to methods arising in transcendence theory and the theory of o-minimal str… ▽ More Let $C$ be an irreducible algebraic curve defined over a number field and inside an algebraic torus of dimension at least 3. We partially answer a question posed by Levin on points on $C$ for which a non-trivial power lies again on $C$. Our results have connections to Zilber's Conjecture on Intersections with Tori and yield to methods arising in transcendence theory and the theory of o-minimal structures. △ Less

Submitted 21 April, 2015; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: Published version, but with an error fixed in the formula for the function on page 2

MSC Class: 11G50; 11J86; 11U09; 03C64; 14H25

Journal ref: Trans. Amer. Math. Soc. 367 (2015), no. 2, 1313-1328

The Tate-Voloch Conjecture in a Power of a Modular Curve

Authors: Philipp Habegger

Abstract: Let $p$ be a prime. Tate and Voloch proved that a point of finite order in the algebraic torus cannot be $p$-adically too close to a fixed subvariety without lying on it. The current work is motivated by the analogy between torsion points on semi-abelian varieties and special or CM points on Shimura varieties. We prove the analog of Tate and Voloch's result in a power of the modular curve Y(1) on… ▽ More Let $p$ be a prime. Tate and Voloch proved that a point of finite order in the algebraic torus cannot be $p$-adically too close to a fixed subvariety without lying on it. The current work is motivated by the analogy between torsion points on semi-abelian varieties and special or CM points on Shimura varieties. We prove the analog of Tate and Voloch's result in a power of the modular curve Y(1) on replacing torsion points by points corresponding to a product of elliptic curves with complex multiplication and ordinary reduction. Moreover, we show that the assumption on ordinary reduction is necessary. △ Less

Submitted 29 January, 2013; v1 submitted 11 October, 2012; originally announced October 2012.

Comments: Corrected some typos in version 2

MSC Class: 11G18; 14G35; 11J61

Effective Height Upper Bounds on Algebraic Tori

Authors: Philipp Habegger

Abstract: The main emphasis will be on height upper bounds in the algebraic torus G^{n}_{m}. By height we will mean the absolute logarithmic Weil height. Section 3.2 contains a precise definition of this and other more general height functions. The first appendix gives a short overview of known results in the abelian case. The second appendix contains a few height bounds in Shimura varieties. The main emphasis will be on height upper bounds in the algebraic torus G^{n}_{m}. By height we will mean the absolute logarithmic Weil height. Section 3.2 contains a precise definition of this and other more general height functions. The first appendix gives a short overview of known results in the abelian case. The second appendix contains a few height bounds in Shimura varieties. △ Less

Submitted 16 January, 2012; originally announced January 2012.

Comments: This manuscript was written for the CIRM Workshop "La conjecture de Zilber-Pink" held in Luminy, May 2011 and organized by Gaël Rémond and Emmanuel Ullmo

MSC Class: 11G50; 14G40; 14T05

Special Points on Fibered Powers of Elliptic Surfaces

Authors: Philipp Habegger

Abstract: Consider a fibered power of an elliptic surface. We characterize its subvarieties that contain a Zariski dense set of points that are torsion points in fibers with complex multiplication. This result can be viewed as a mix of the Manin-Mumford and André-Oort Conjecture and is related to a conjecture of Pink. The main technical tool is a new height inequality. We also use it to give another proof o… ▽ More Consider a fibered power of an elliptic surface. We characterize its subvarieties that contain a Zariski dense set of points that are torsion points in fibers with complex multiplication. This result can be viewed as a mix of the Manin-Mumford and André-Oort Conjecture and is related to a conjecture of Pink. The main technical tool is a new height inequality. We also use it to give another proof of a case of Gubler's result on the Bogomolov Conjecture over function fields. △ Less

Submitted 9 October, 2011; originally announced October 2011.

MSC Class: 11G15 (Primary) 11G18; 11G50; 14G40; 14K22 (Secondary)

Small Height and Infinite Non-Abelian Extensions

Authors: Philipp Habegger

Abstract: Let $E$ be an elliptic curve defined over the rationals without complex multiplication. The field $F$ generated by all torsion points of $E$ is an infinite, non-abelian Galois extension of the rationals which has unbounded, wild ramification above all primes. We prove that the absolute logarithmic Weil height of an element of $F$ is either zero or bounded from below by a positive constant dependin… ▽ More Let $E$ be an elliptic curve defined over the rationals without complex multiplication. The field $F$ generated by all torsion points of $E$ is an infinite, non-abelian Galois extension of the rationals which has unbounded, wild ramification above all primes. We prove that the absolute logarithmic Weil height of an element of $F$ is either zero or bounded from below by a positive constant depending only on $E$. We also show that the Néron-Tate height has a similar gap on $E(F)$ and use this to determine the structure of the group $E(F)$. △ Less

Submitted 29 January, 2013; v1 submitted 27 September, 2011; originally announced September 2011.

Comments: Added new corollary on the structure of the group $E(F)$ and corrected some typos in version 2

MSC Class: (Primary) 11G50 (Secondary) 11G05; 14H52; 14G40

Journal ref: Duke Math. J. 162, no. 11 (2013), 2027-2076

Torsion Points on Elliptic Curves in Weierstrass Form

Authors: Philipp Habegger

Abstract: We prove that there are only finitely many complex numbers $a$ and $b$ with $4a^3+27b^2\not=0$ such that the three points $(1,*),(2,*),$ and $(3,*)$ are simultaneously torsion on the elliptic curve defined in Weierstrass form by $y^2=x^3+ax+b$. This gives an affirmative answer to a question raised by Masser and Zannier. We thus confirm a special case in two dimensions of the relative Manin-Mumford… ▽ More We prove that there are only finitely many complex numbers $a$ and $b$ with $4a^3+27b^2\not=0$ such that the three points $(1,*),(2,*),$ and $(3,*)$ are simultaneously torsion on the elliptic curve defined in Weierstrass form by $y^2=x^3+ax+b$. This gives an affirmative answer to a question raised by Masser and Zannier. We thus confirm a special case in two dimensions of the relative Manin-Mumford Conjecture formulated by Pink and Masser-Zannier. △ Less

Submitted 23 May, 2011; originally announced May 2011.

MSC Class: 14H52; 14G40; 11G05; 11U09