arXiv subjects

Patrice Philippon

Publications and source records attributed to Patrice Philippon.

16 recordsLinked to original sources

arXiv2024

Mumford-Tate groups of 1-motives and Weil pairing

We show how the geometry of a 1-motive $M$ (that is existence of endomorphisms and relations between the points defining it) determines the dimension of its motivic Galois group ${\mathcal{G}}{\mathrm{al}}_{\mathrm{mot}}(M)$. Fixing periods matrices $Π_M$ and $Π_{M^*}$ associated respectively to a 1-motive $M$ and to its Cartier dual $M^*,$ we describe the action of the Mumford-Tate group of $M$ on these matrices. In the semi-elliptic case, according to the geometry of $M$ we classify polynomial relations between the periods of $M$ and we compute exhaustively the matrices representing the Mumford-Tate group of $M$. This representation brings new light on Grothendieck periods conjecture in the case of 1-motives.

math.AG↗

arXiv2022

An abelian analogue of Schanuel's conjecture and applications

In this article we study an abelian analogue of Schanuel's conjecture. This conjecture falls in the realm of the generalised period conjecture of Y. Andr{é}. As shown by C. Bertolin, the generalised period conjecture includes Schanuel's conjecture as a special case. Extending methods of Bertolin, it can be shown that the abelian analogue of Schanuel's conjecture we consider, also follows from Andr{é}'s conjecture. C. Cheng et al. showed that the classical Schanuel's conjecture implies the algebraic independence of the values of the iterated exponential function and the values of the iterated logarithmic function, answering a question of M. Waldschmidt. We then investigate a similar question in the setup of abelian varieties.

math.NT↗

arXiv2022

On linear independence of Dirichlet $L$ values

The study of linear independence of $L(k, χ)$ for a fixed integer $k>1$ and varying $χ$ depends critically on the parity of $k$ vis-à-vis $χ$. This has been investigated by a number of authors for Dirichlet characters $χ$ of a fixed modulus and having the same parity as $k$.The focal point of this article is to extend this investigation to families of Dirichlet characters modulo distinct pairwise co-prime natural numbers. The interplay between the resulting ambient number fields brings in new technical issues and complications hitherto absent in the context of a fixed modulus (consequently a single number field lurking in the background). This entails a very careful and hands-on dealing with the arithmetic of compositum of number fields which we undertake in this work. Our results extend earlier works of the first author with Murty-Rath as well as works of Okada, Murty-Saradha and Hamahata.

math.NT↗

arXiv2022

Semi-abelian analogues of Schanuel Conjecture and applications

In this article we study Semi-abelian analogues of Schanuel conjecture. As showed by the first author, Schanuel Conjecture is equivalent to the Generalized Period Conjecture applied to 1-motives without abelian part. Extending her methods, the second, the third and the fourth authors have introduced the Abelian analogue of Schanuel Conjecture as the Generalized Period Conjecture applied to 1-motives without toric part. As a first result of this paper, we define the Semi-abelian analogue of Schanuel Conjecture as the Generalized Period Conjecture applied to 1-motives. C. Cheng et al. proved that Schanuel conjecture implies the algebraic independence of the values of the iterated exponential and the values of the iterated logarithm, answering a question of M. Waldschmidt. The second, the third and the fourth authors have investigated a similar question in the setup of abelian varieties: the Weak Abelian Schanuel conjecture implies the algebraic independence of the values of the iterated abelian exponential and the values of an iterated generalized abelian logarithm. The main result of this paper is that a Relative Semi-abelian conjecture implies the algebraic independence of the values of the iterated semi-abelian exponential and the values of an iterated generalized semi-abelian logarithm.

math.NT↗

arXiv2022

Arithmetic positivity on toric varieties

We continue with our study of the arithmetic geometry of toric varieties. In this text, we study the positivity properties of metrized R-divisors in the toric setting. For a toric metrized R-divisor, we give formulae for its arithmetic volume and its chi-arithmetic volume, and we characterize when it is arithmetically ample, nef, big or pseudo-effective, in terms of combinatorial data. As an application, we prove a Dirichlet's unit theorem on toric varieties, we give a characterization for the existence of a Zariski decomposition of a toric metrized R-divisor, and we prove a toric arithmetic Fujita approximation theorem.

math.AG↗

arXiv2019

On two problems of Hardy and Mahler

It is a classical result of Mahler that for any rational number $α$ > 1 which is not an integer and any real 0 < c < 1, the set of positive integers n such that $α$ n < c n is necessarily finite. Here for any real x, x denotes the distance from its nearest integer. The problem of classifying all real algebraic numbers greater than one exhibiting the above phenomenon was suggested by Mahler. This was solved by a beautiful work of Corvaja and Zannier. On the other hand, for non-zero real numbers $λ$ and $α$ with $α$ > 1, Hardy about a century ago asked ''In what circumstances can it be true that $λ$$α$ n $\rightarrow$ 0 as n $\rightarrow$ $\infty$? '' This question is still open in general. In this note, we study its analogue in the context of the problem of Mahler. We first compare and contrast with what is known visa -vis the original question of Hardy. We then suggest a number of questions that arise as natural consequences of our investigation. Of these questions, we answer one and offer some insight into others.

math.NT↗

arXiv2015

Successive minima of toric height functions

Given a toric metrized R-divisor on a toric variety over a global field, we give a formula for the essential minimum of the associated height function. Under suitable positivity conditions, we also give formulae for all the successive minima. We apply these results to the study, in the toric setting, of the relation between the successive minima and other arithmetic invariants like the height and the arithmetic volume. We also apply our formulae to compute the successive minima for several families of examples, including weighted projective spaces, toric bundles and translates of subtori.

math.NT↗

arXiv2015

The distribution of Galois orbits of points of small height in toric varieties

We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, when this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of the ambient toric variety. We also study the $v$-adic modulus distribution of Galois orbits of small points. We characterize, in terms of the given toric semipositive metrized divisor, the cluster measures of $v$-adic valuations of Galois orbits of generic small sequences. The Bogomolov property now says that a subvariety of the principal orbit of a proper toric variety that has the same essential minimum than the toric variety with respect to a monocritical toric metrized divisor, must be a translate of a subtorus. We also give several examples, including a non-monocritical divisor for which the Bogomolov property does not hold.

math.NT↗

arXiv2015

Galois groups and automata

In the frame of Mahler's method for algebraic independence we show that the algebraic relations over Q linking the values of functions solutions of a system of functional equations come from the algebraic relations between the functions themselves, by specialisation. We deduce some results on the linear independence of the q-regular functions.

math.NT↗

arXiv2014

Height of varieties over finitely generated fields

We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and extend our combinatorial formulae for the height to compute some arithmetic intersection numbers of non toric arithmetic varieties over the rational numbers.

math.NT↗

arXiv2014

Arithmetic geometry of toric varieties. Metrics, measures and heights

We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fenchel duality. We also present a closed formula for the integral over a polytope of a function of one variable composed with a linear form. This allows us to compute the height of toric varieties with respect to some interesting metrics arising from polytopes. We also compute the height of toric projective curves with respect to the Fubini-Study metric, and of some toric bundles.

math.AG↗

arXiv2007

A refinement of the Kushnirenko-Bernstein estimate

A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically exact. We improve on this result by introducing refined combinatorial invariants of polynomials and a generalization of the mixed volume of convex bodies: the mixed integral of concave functions. The proof is based on new techniques and results from relative toric geometry.

math.AG↗

arXiv2006

Essential minimum and obstruction degrees of translates of subtori

We study the obstruction degrees of translates of sub-tori of multiplicative tori and we show how they are connected to lower bounds for the essential minimum of these varieties. In particular, we combine our computations with results of A. Schinzel and of F. Amoroso - R. Dvornicich, that we thus extend to translates of sub-tori defined over CM fields. This shows that the essential minimum of these varieties have a geometric behavior similar to that of varieties which are not translates of sub-tori. We also refine and extend to translates of sub-tori a lower bound obtained by D. Bertrand in connexion with relations of multiplicative dependence of algebraic points. Finaly, we prove that in the functional case the conjectural lower bound for the essential minimum of sub-varieties of multiplicative tori is true and its proof is elementary.

math.NT↗

arXiv2006

Quelques aspects diophantiens des varietes toriques projectives

Some diophantine aspects of projective toric varieties: We present several faces of projective toric varieties, of interest from the point of view of diophantine geometry. We make explicit the theory on a number of meaningful examples and we also prove a Bezout type theorem for Chow weight of projective varieties.

math.NT↗

arXiv2005

Diophantine geometry and toric varieties

We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a Bézout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima.

math.AG↗

arXiv2004

Normalized height of projective toric varieties

We present an explicit expression for the normalized height of a projective toric variety. This expression decomposes as a sum of local contributions, each term being the integral of a certain function, concave and piecewise linear-affine. More generally, we obtain an explicit expression for the normalized multiheight of a torus with respect to several monomial embeddings. The set of functions introduced behaves as an arithmetic analog of the polytope classically associated with the torus action. Besides the formulae for the height and multiheight, we show that this object behaves in a natural way with respect to several standard constructions: decomposition into orbits, joins, Segre products and Veronese embeddings. The proof follows an indirect way: instead of the definition of the normalized height, we rely on the computation of an appropriate arithmetic Hilbert function.

math.NT↗