arXiv subjects

Sara Checcoli

Publications and source records attributed to Sara Checcoli.

17 recordsLinked to original sources

arXiv2025

New evidence for R\'emond's generalisation of Lehmer's conjecture

In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of R\'emond's generalisation of Lehmer's conjecture. Namely, for a finite rank subgroup $\Gamma$ of an almost split semiabelian variety $G$, we consider the group of rational points of $G$ over a finite extension of the field generated by the saturated closure of $\Gamma$, i.e. the division closure of the subgroup generated by $\Gamma$ and all its images under geometric endomorphisms of $G$. We show that this becomes a free group after one quotients out the saturated closure of $\Gamma$. The proof uses, amongst other ingredients, a criterion of Pottmeyer, which relies on a result of Pontryagin, together with a result from Kummer theory, of which we reproduce a proof by R\'emond.

math.NT↗

arXiv2025

If a machine did it, it is probably transcendental (even $p$-adically)

Continued fraction expansions provide a well-established bridge between algebraic properties of numbers and combinatorics on words. In this article, we investigate the algebraicity of $p$-adic numbers whose continued fractions arise from certain classes of words which generalize the classical automatic, periodic and palindromic words. Our main result shows that, under mild conditions on the $p$-adic continued fraction expansion, such numbers are either algebraic of degree at most 2 or transcendental. This result provides an analogue of results of Bugeaud and Adamczewski-Bugeaud in the real setting and extends previous works that were limited to specific choices of $p$-adic floor functions and less general classes of words.

math.NT↗

arXiv2024

On Widmer's criteria for the Northcott property

Recently, Widmer introduced a new sufficient criterion for the Northcott property on the finiteness of elements of bounded height in infinite algebraic extensions of number fields. We provide a simplification of Widmer's criterion when the extension is abelian, and use this to exhibit fields with the Northcott property that do not satisfy Widmer's new criterion. We also show how the construction of pseudo algebraically closed fields with the Northcott property, carried out in previous work using the first version of Widmer's criterion, can be simplified.

math.NT↗

arXiv2023

On $\mathfrak{P}$-adic continued fractions with extraneous denominators: some explicit finiteness results

Let $K$ be a number field. We show that, up to allowing a finite set of denominators in the partial quotients, it is possible to define algorithms for $\mathfrak P$-adic continued fractions satisfying the finiteness property on $K$ for every prime ideal $\mathfrak P$ of sufficiently large norm. This provides, in particular, a new algorithmic approach to the construction of division chains in number fields.

math.NT↗

arXiv2023

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

In this article, we study a certain Galois property of subextensions of $k(A_{\mathrm{tors}})$, 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(A_{\mathrm{tors}})$ which 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, i.e. does not contain any infinite set of algebraic numbers of bounded height.

math.NT↗

arXiv2021

Constructing totally $p$-adic numbers of small height

Bombieri and Zannier gave an effective construction of algebraic numbers of small height inside the maximal Galois extension of the rationals which is totally split at a given finite set of prime numbers. They proved, in particular, an explicit upper bound for the lim inf of the height of elements in such fields. We generalize their result in an effective way to maximal Galois extensions of number fields with given local behaviour at finitely many places.

math.NT↗

arXiv2020

On the Northcott property and local degrees

We construct infinite Galois extensions $K$ of $\mathbb{Q}$ that satisfy the Northcott property on elements of small height, and where this property can be deduced solely from the splitting behavior of prime numbers in $K$. We also give examples of Galois extensions of $\mathbb{Q}$ which have finite local degree at all prime numbers and do not satisfy the Northcott property.

math.NT↗

arXiv2017

A note on Galois groups and local degrees

In this paper, we consider infinite Galois extensions of number fields and study the relation between their local degrees and the structure of their Galois groups. It is known that, if $K$ is a number field and $L/K$ is an infinite Galois extension of group $G$, then the local degrees of $L$ are uniformly bounded at all rational primes if and only if $G$ has finite exponent. In this note we show that the non uniform boundedness of the local degrees is not equivalent to any group theoretical property. More precisely, we exhibit several groups that admit two different realisations over a given number field, one with bounded local degrees at a given set of primes and one with infinite local degrees at the same primes.

math.NT↗

arXiv2016

A sharp Bogomolov-type bound

We prove a sharp lower bound for the essential minimum of a non-translate variety in certain abelian varieties. This uses and generalises a result of Galateau. Our bound is a new step in direction of an abelian analogue by David and Philippon of a toric conjecture of Amoroso and David and has applications in the framework of anomalous intersections.

math.NT↗

arXiv2016

On the Explicit Torsion Anomalous Conjecture

The Torsion Anomalous Conjecture states that an irreducible variety $V$ embedded in a semi-abelian variety contains only finitely many maximal $V$-torsion anomalous varieties. In this paper we consider an irreducible variety embedded in a product of elliptic curves. Our main result provides a totally explicit bound for the N\'eron-Tate height of all maximal $V$-torsion anomalous points of relative codimension one, in the non CM case, and an analogous effective result in the CM case. As an application, we obtain the finiteness of such points. In addition, we deduce some new explicit results in the context of the effective Mordell-Lang Conjecture; in particular we bound the N\'eron-Tate height of the rational points of an explicit family of curves of increasing genus.

math.NT↗

arXiv2016

On the Torsion Anomalous Conjecture in CM abelian varieties

The Torsion Anomalous Conjecture (TAC) states that a subvariety V of an abelian variety A has only finitely many maximal torsion anomalous subvarieties. In this work we prove, with an effective method, some cases of the TAC when the ambient variety A has CM, generalising our previous results in products of CM elliptic curves. When V is a curve, we give new results and we deduce some implications on the effective Mordell-Lang Conjecture.

math.NT↗

arXiv2016

The explicit Mordell Conjecture for families of curves (with an appendix by M. Stoll)

In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method bases on some explicit and sharp estimates for the height of such rational points, and the bounds are small enough to successfully implement a computer search. As an evidence of the simplicity of its application, we present a variety of explicit examples and explain how to produce many others. In the appendix our method is compared in detail to the classical method of Manin-Demjanenko and the analysis of our explicit examples is carried to conclusion.

math.NT↗

arXiv2013

Perfect powers in Catalan and Narayana numbers

When a Catalan number or a Narayana number is a (non-trivial) perfect power? For Catalan numbers, we show that the answer is "never". However, we prove that for every b, the Narayana number N(a,b) is a (non-trivial) perfect square for infinitely many values of a, and we show how to compute all of them. We also conjecture that N(a,b) is never a (non-trivial) perfect k-th power for k greater than 2 and we prove some cases of this conjecture.

math.NT↗

arXiv2013

Tchebotarev theorems for function fields

We prove Tchebotarev type theorems for function field extensions over various base fields: number fields, finite fields, p-adic fields, PAC fields, etc. The Tchebotarev conclusion - existence of appropriate cyclic residue extensions - also compares to the Hilbert specialization property. It is more local but holds in more situations and extends to infinite extensions. For a function field extension satisfying the Tchebotarev conclusion, the exponent of the Galois group is bounded by the l.c.m. of the local specialization degrees. Further local-global questions arise for which we provide answers, examples and counter-examples.

math.NT↗

arXiv2012

On torsion anomalous intersections

A deep conjecture on torsion anomalous varieties states that if $V$ is a weak-transverse variety in an abelian variety, then the complement $V^{ta}$ of all $V$-torsion anomalous varieties is open and dense in $V$. We prove some cases of this conjecture. We show that the $V$-torsion anomalous varieties of relative codimension one are non-dense in any weak-transverse variety $V$ embedded in a product of elliptic curves with CM. We give explicit uniform bounds in the dependence on $V$. As an immediate consequence we prove the conjecture for $V$ of codimension two in a product of CM elliptic curves. We also point out some implications on the effective Mordell-Lang Conjecture.

math.NT↗

arXiv2011

On the Northcott property and other properties related to polynomial mappings

We prove that if $K/\mathbb{Q}$ is a Galois extension of finite exponent and $K^{(d)}$ is the compositum of all extensions of $K$ of degree at most $d$, then $K^{(d)}$ has the Bogomolov property and the maximal abelian subextension of $K^{(d)}/\mathbb{Q}$ has the Northcott property. Moreover, we prove that given any sequence of finite solvable groups $\{G_m\}_m$ there exists a sequence of Galois extensions $\{K_m\}_m$ with $\text{Gal}(K_m/\mathbb{Q})=G_m$ such that the compositum of the fields $K_m$ has the Northcott property. In particular we provide examples of fields with the Northcott property with uniformly bounded local degrees but not contained in $\mathbb{Q}^{(d)}$. We also discuss some problems related to properties introduced by Liardet and Narkiewicz to study polynomial mappings. Using results on the Northcott property and a result by Dvornicich and Zannier we easily deduce answers to some open problems proposed by Narkiewicz.

math.NT↗

arXiv2010

Fields of algebraic numbers with bounded local degrees and their properties

We provide a characterization of infinite algebraic Galois extensions of the rationals with uniformly bounded local degrees, giving a detailed proof of all the results announced in a paper by Checcoli and Zannier and obtaining relevant generalizations for them. In particular we show that that for an infinite Galois extension of the rationals the following three properties are equivalent: having uniformly bounded local degrees at every prime; having uniformly bounded local degrees at almost every prime; having Galois group of finite exponent. The proof of this result enlightens interesting connections with Zelmanov's work on the Restricted Burnside Problem. We give a formula to explicitly compute bounds for the local degrees of a infinite extension in some special cases. We relate the uniform boundedness of the local degrees to other properties: being a subfield of the compositum of all number fields of bounded degree; being generated by elements of bounded degree. We prove that the above properties are equivalent for abelian extensions, but not in general; we provide counterexamples based on group-theoretical constructions with extraspecial groups and their modules, for which we give explicit realizations.

math.NT↗