Showing 1–14 of 14 results for author: Mantova, V

Irreducibility in generalized power series

Authors: Antongiulio Fornasiero, Noa Lavi, Sonia L'Innocente, Vincenzo Mantova

Abstract: A classical tool in the study of real closed fields are the fields $K((G))$ of generalized power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian group $G$. In this paper we enlarge the family of ordinals $α$ of non-additively principal Cantor degree for which $K((\mathbb{R}^{\le 0}))$ admits irreducibles… ▽ More A classical tool in the study of real closed fields are the fields $K((G))$ of generalized power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian group $G$. In this paper we enlarge the family of ordinals $α$ of non-additively principal Cantor degree for which $K((\mathbb{R}^{\le 0}))$ admits irreducibles of order type $α$ far beyond $α=ω^2 $ and $α= ω^3$ known prior to this work. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: 13F25; 13F15

Equations involving the modular $j$-function and its derivatives

Authors: Vahagn Aslanyan, Sebastian Eterović, Vincenzo Mantova

Abstract: We show that for any polynomial $F(X,Y_0,Y_1,Y_2) \in \mathbb{C}[X, Y_0, Y_1, Y_2]$, the equation $F(z,j(z),j'(z),j''(z))=0$ has a Zariski dense set of solutions in the hypersurface $F(X,Y_0,Y_1,Y_2)=0$, unless $F$ is in $\mathbb{C}[X]$ or it is divisible by $Y_0$, $Y_0-1728$, or $Y_1$. Our methods establish criteria for finding solutions to more general equations involving periodic functions. F… ▽ More We show that for any polynomial $F(X,Y_0,Y_1,Y_2) \in \mathbb{C}[X, Y_0, Y_1, Y_2]$, the equation $F(z,j(z),j'(z),j''(z))=0$ has a Zariski dense set of solutions in the hypersurface $F(X,Y_0,Y_1,Y_2)=0$, unless $F$ is in $\mathbb{C}[X]$ or it is divisible by $Y_0$, $Y_0-1728$, or $Y_1$. Our methods establish criteria for finding solutions to more general equations involving periodic functions. Furthermore, they produce a qualitative description of the distribution of these solutions. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 30 pages

MSC Class: 11F03; 11F23; 11U09

Polynomial-exponential equations -- some new cases of solvability

Authors: Vincenzo Mantova, David Masser

Abstract: Recently Brownawell and the second author proved a "non-degenerate" case of the (unproved) "Zilber Nullstellensatz" in connexion with "Strong Exponential Closure". Here we treat some significant new cases. In particular these settle completely the problem of solving polynomial-exponential equations in two complex variables. The methods of proof are also new, as is the consequence, for example, tha… ▽ More Recently Brownawell and the second author proved a "non-degenerate" case of the (unproved) "Zilber Nullstellensatz" in connexion with "Strong Exponential Closure". Here we treat some significant new cases. In particular these settle completely the problem of solving polynomial-exponential equations in two complex variables. The methods of proof are also new, as is the consequence, for example, that there are infinitely many complex $z$ with $e^z+e^{1/z}=1$. △ Less

Submitted 21 July, 2024; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: 27 pages; added various clarifications; to appear in Proc. Lond. Math. Soc

MSC Class: 03C60; 14H42; 30C15 (Primary) 32A60; 33E05; 12L12 (Secondary)

Journal ref: Proc. London Math. Soc., 129 (2024) e12627

A geometric approach to some systems of exponential equations

Authors: Vahagn Aslanyan, Jonathan Kirby, Vincenzo Mantova

Abstract: Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the special case of the conjecture where the variety has dominant projection to the domain of the exponential map, for abelian varieties and for algebraic tori. F… ▽ More Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the special case of the conjecture where the variety has dominant projection to the domain of the exponential map, for abelian varieties and for algebraic tori. Furthermore, in the situation where the intersection is 0-dimensional, we exhibit structure in the intersection by parametrizing the sufficiently large points as the images of the period lattice under a (multivalued) analytic map. Our approach is complex geometric, in contrast to a real analytic proof given by Brownawell and Masser just for the case of algebraic tori. △ Less

Submitted 28 September, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 34 pages; new remarks 4.10, 5.8, and minor clarifications

MSC Class: Primary: 11G10; 14K20; Secondary: 03C60; 12L12

Journal ref: International Mathematics Research Notices, Volume 2023, Issue 5, March 2023, Pages 4046-4081

Exponential fields and Conway's omega-map

Authors: Alessandro Berarducci, Salma Kuhlmann, Vincenzo Mantova, Mickaël Matusinski

Abstract: Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real coefficients admits an exponential function making it into a model of the theory of the real exponential field. We also consider relative versions with more general… ▽ More Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real coefficients admits an exponential function making it into a model of the theory of the real exponential field. We also consider relative versions with more general coefficient fields. △ Less

Submitted 5 February, 2019; v1 submitted 6 October, 2018; originally announced October 2018.

Comments: 15 pages; minor corrections and missing references; to appear in Proc. Amer. Math. Soc

MSC Class: Primary 03C64; Secondary 16W60

Journal ref: Proc. Amer. Math. Soc. 151 (2023), 2655-2669

A factorisation theory for generalised power series and omnific integers

Authors: Sonia L'Innocente, Vincenzo Mantova

Abstract: We prove that in every ring of generalised power series with non-positive real exponents and coefficients in a field of characteristic zero, every series admits a factorisation into finitely many irreducibles of infinite support, the number of which can be bounded in terms of the order type of the series, and a unique product, up to multiplication by a unit, of factors of finite support. We dedu… ▽ More We prove that in every ring of generalised power series with non-positive real exponents and coefficients in a field of characteristic zero, every series admits a factorisation into finitely many irreducibles of infinite support, the number of which can be bounded in terms of the order type of the series, and a unique product, up to multiplication by a unit, of factors of finite support. We deduce analogous results for the ring of omnific integers within Conway's surreal numbers, using a suitable notion of infinite product. In turn, we solve Gonshor's conjecture that the omnific integer $ω^{\sqrt{2}} + ω+ 1$ is prime. We also exhibit new classes of irreducible and prime generalised power series and omnific integers, generalising previous work of Berarducci and Pitteloud. △ Less

Submitted 22 January, 2024; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 64 pages; clarify bound in Theorem A; typographical corrections

MSC Class: 13F25; 13F15 (primary); 13A05; 03E10 (secondary)

Transseries as germs of surreal functions

Authors: Alessandro Berarducci, Vincenzo Mantova

Abstract: We show that Écalle's transseries and their variants (LE and EL-series) can be interpreted as functions from positive infinite surreal numbers to surreal numbers. The same holds for a much larger class of formal series, here called omega-series. Omega-series are the smallest subfield of the surreal numbers containing the reals, the ordinal omega, and closed under the exp and log functions and all… ▽ More We show that Écalle's transseries and their variants (LE and EL-series) can be interpreted as functions from positive infinite surreal numbers to surreal numbers. The same holds for a much larger class of formal series, here called omega-series. Omega-series are the smallest subfield of the surreal numbers containing the reals, the ordinal omega, and closed under the exp and log functions and all possible infinite sums. They form a proper class, can be composed and differentiated, and are surreal analytic. The surreal numbers themselves can be interpreted as a large field of transseries containing the omega-series, but, unlike omega-series, they lack a composition operator compatible with the derivation introduced by the authors in an earlier paper. △ Less

Submitted 5 October, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 45 pages; minor corrections; numbering changes in Sections 4 and 5; to appear in Trans. Amer. Math. Soc

MSC Class: 03C64; 16W60; 04A10; 26A12; 13N15

Journal ref: Trans. Amer. Math. Soc. 371 (2019), 3549-3592

Surreal numbers with derivation, Hardy fields and transseries: a survey

Authors: Vincenzo Mantova, Mickaël Matusinski

Abstract: The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent achievements on equipping them with a derivation, which is done by proving that surreal numbers can be seen as transseries and by finding the `simplest' structure of H-fi… ▽ More The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent achievements on equipping them with a derivation, which is done by proving that surreal numbers can be seen as transseries and by finding the `simplest' structure of H-field, the abstract version of a Hardy field. All the latter notions and their context are also addressed, as well as the universality of the resulting structure for surreal numbers. △ Less

Submitted 23 October, 2016; v1 submitted 11 August, 2016; originally announced August 2016.

Comments: 25 pages; various minor corrections

MSC Class: 03C64; 03E10; 12J10; 12J15; 12L12; 13J05; 13N15; 26A12

Journal ref: In "Ordered Algebraic Structures and Related Topics", 265-290, Contemp. Math., 697, Amer. Math. Soc., Providence, RI, 2017

Factorisation of germ-like series

Authors: Sonia L'Innocente, Vincenzo Mantova

Abstract: A classical tool in the study of real closed fields are the fields $K((G))$ of generalised power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian group $G$. A fundamental result of Berarducci ensures the existence of irreducible series in the subring $K((G^{\leq 0}))$ of $K((G))$ consisting of the generali… ▽ More A classical tool in the study of real closed fields are the fields $K((G))$ of generalised power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian group $G$. A fundamental result of Berarducci ensures the existence of irreducible series in the subring $K((G^{\leq 0}))$ of $K((G))$ consisting of the generalised power series with non-positive exponents. It is an open question whether the factorisations of a series in such subring have common refinements, and whether the factorisation becomes unique after taking the quotient by the ideal generated by the non-constant monomials. In this paper, we provide a new class of irreducibles and prove some further cases of uniqueness of the factorisation. △ Less

Submitted 20 April, 2017; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: 11 pages; minor corrections and numbering changes; to appear in J. Log. Anal

MSC Class: Primary 13F25; secondary 03E10; 12J15; 06F25

Journal ref: Journal of Logic & Analysis 9:3 (2017) 1-16

Surreal numbers, derivations and transseries

Authors: Alessandro Berarducci, Vincenzo Mantova

Abstract: Several authors have conjectured that Conway's field of surreal numbers, equipped with the exponential function of Kruskal and Gonshor, can be described as a field of transseries and admits a compatible differential structure of Hardy-type. In this paper we give a complete positive solution to both problems. We also show that with this new differential structure, the surreal numbers are Liouville… ▽ More Several authors have conjectured that Conway's field of surreal numbers, equipped with the exponential function of Kruskal and Gonshor, can be described as a field of transseries and admits a compatible differential structure of Hardy-type. In this paper we give a complete positive solution to both problems. We also show that with this new differential structure, the surreal numbers are Liouville closed, namely the derivation is surjective. △ Less

Submitted 30 July, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: 47 pages; minor corrections and typographical improvements

MSC Class: 03C64; 16W60; 04A10; 26A12; 13N15

Journal ref: J. Eur. Math. Soc. 20 (2018), 339-390

On fewnomials, integral points and a toric version of Bertini's theorem

Authors: Clemens Fuchs, Vincenzo Mantova, Umberto Zannier

Abstract: An old conjecture of Erdős and Rényi, proved by Schinzel, predicted a bound for the number of terms of a polynomial $g(x) \in \mathbb{C}[x]$ when its square $g(x)^2$ has a given number of terms. Further conjectures and results arose, but some fundamental questions remained open. In this paper, with methods which appear to be new, we achieve a final result in this direction for completely general… ▽ More An old conjecture of Erdős and Rényi, proved by Schinzel, predicted a bound for the number of terms of a polynomial $g(x) \in \mathbb{C}[x]$ when its square $g(x)^2$ has a given number of terms. Further conjectures and results arose, but some fundamental questions remained open. In this paper, with methods which appear to be new, we achieve a final result in this direction for completely general algebraic equations $f(x,g(x))=0$, where $f(x,y)$ is monic of arbitrary degree in $y$, and has boundedly many terms in $x$: we prove that the number of terms of such a $g(x)$ is necessarily bounded. This includes the previous results as extremely special cases. We shall interpret polynomials with boundedly many terms as the restrictions to 1-parameter subgroups or cosets of regular functions of bounded degree on a given torus $\mathbb{G}_{\mathrm{m}}^l$. Such a viewpoint shall lead to some best-possible corollaries in the context of finite covers of $\mathbb{G}_{\mathrm{m}}^l$, concerning the structure of their integral points over function fields (in the spirit of conjectures of Vojta) and a Bertini-type irreducibility theorem above algebraic multiplicative cosets. A further natural reading occurs in non-standard arithmetic, where our result translates into an algebraic and integral-closedness statement inside the ring of non-standard polynomials. △ Less

Submitted 10 January, 2017; v1 submitted 15 December, 2014; originally announced December 2014.

Comments: 25 pages; new proof based on resolution of singularities, corrections to Theorem 1.5 and further clarifications; to appear in J. Amer. Math. Soc

MSC Class: 11C08 12E05 12Y05 14G05 14J99 11U10

Journal ref: J. Amer. Math. Soc. 31 (2018), 107-134

Polynomial exponential equations and Zilber's conjecture

Authors: Vincenzo Mantova, Umberto Zannier

Abstract: Assuming Schanuel's conjecture, we prove that any polynomial exponential equation in one variable must have a solution that is transcendental over a given finitely generated field. With the help of some recent results in Diophantine geometry, we obtain the result by proving (unconditionally) that certain polynomial exponential equations have only finitely many rational solutions. This answers af… ▽ More Assuming Schanuel's conjecture, we prove that any polynomial exponential equation in one variable must have a solution that is transcendental over a given finitely generated field. With the help of some recent results in Diophantine geometry, we obtain the result by proving (unconditionally) that certain polynomial exponential equations have only finitely many rational solutions. This answers affirmatively a question of David Marker, who asked, and proved in the case of algebraic coefficients, whether at least the one-variable case of Zilber's strong exponential-algebraic closedness conjecture can be reduced to Schanuel's conjecture. △ Less

Submitted 24 November, 2015; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: 13 pages. Appendix by V. Mantova and U. Zannier. New title and various stylistic improvements

MSC Class: 11D61; 03C60

Journal ref: Bulletin of the London Mathematical Society 48:2 (2016) 309-320

A pseudoexponentiation-like structure on the algebraic numbers

Authors: Vincenzo Mantova

Abstract: Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if we remove the Schanuel Property and just care about existential closure, it is possible to create several existentially closed exponential functions on the alg… ▽ More Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if we remove the Schanuel Property and just care about existential closure, it is possible to create several existentially closed exponential functions on the algebraic numbers that still have similarities with complex exponentiation. The main difficulties are related to the arithmetic of algebraic numbers, and they can be overcome with known results about specialisations of multiplicatively independent functions on algebraic varieties. △ Less

Submitted 7 February, 2014; v1 submitted 19 February, 2012; originally announced February 2012.

Comments: 8 pages. Several stylistic edits and updated bibliography

MSC Class: 03C60; 08C10; 12L12

Journal ref: The Journal of Symbolic Logic 80:4 (2015) 1339-1347

Involutions on Zilber fields

Authors: Vincenzo Mantova

Abstract: After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on (C,exp). Moreover, we also prove that for continuum cardinality there is an involution whose fixed field, as a real closed field, is isomorphic to the field of real… ▽ More After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on (C,exp). Moreover, we also prove that for continuum cardinality there is an involution whose fixed field, as a real closed field, is isomorphic to the field of real numbers, and such that the kernel is exactly 2πiZ, answering a question of Zilber, Kirby, Macintyre and Onshuus. The proof is obtained with an explicit construction of a Zilber field with the required properties. As further applications of this technique, we also classify the exponential subfields of Zilber fields, and we produce some exponential fields with involutions such that the exponential function is order-preserving, or even continuous, and all of the axioms of Zilber fields are satisfied except for the strong exponential-algebraic closure, which gets replaced by some weaker axioms. △ Less

Submitted 25 May, 2013; v1 submitted 28 September, 2011; originally announced September 2011.

Comments: 43 pages; complete rewrite of Section 9, new definition of system of roots, the operation 'solutions' is now split into 'sol' and 'roots', and several other corrections

MSC Class: 03C60 (Primary); 08C10; 12L12 (Secondary)