scispace - formally typeset
Open accessJournal ArticleDOI: 10.4171/PRIMS/57-1-4

Inter-universal Teichmüller Theory IV: Log-Volume Computations and Set-Theoretic Foundations

04 Mar 2021-Publications of The Research Institute for Mathematical Sciences (European Mathematical Society - EMS - Publishing House GmbH)-Vol. 57, Iss: 1, pp 627-723
Abstract: The present paper forms the fourth and final paper in a series of papers concerning “inter-universal Teichmüller theory”. In the first three papers of the series, we introduced and studied the theory surrounding the logtheta-lattice, a highly non-commutative two-dimensional diagram of “miniature models of conventional scheme theory”, called Θ±ellNF-Hodge theaters, that were associated, in the first paper of the series, to certain data, called initial Θ-data. This data includes an elliptic curve EF over a number field F , together with a prime number l ≥ 5. Consideration of various properties of the log-theta-lattice led naturally to the establishment, in the third paper of the series, of multiradial algorithms for constructing “splitting monoids of LGP-monoids”. Here, we recall that “multiradial algorithms” are algorithms that make sense from the point of view of an “alien arithmetic holomorphic structure”, i.e., the ring/scheme structure of a Θ±ellNF-Hodge theater related to a given Θ±ellNF-Hodge theater by means of a non-ring/scheme-theoretic horizontal arrow of the log-theta-lattice. In the present paper, estimates arising from these multiradial algorithms for splitting monoids of LGP-monoids are applied to verify various diophantine results which imply, for instance, the so-called Vojta Conjecture for hyperbolic curves, the ABC Conjecture, and the Szpiro Conjecture for elliptic curves. Finally, we examine — albeit from an extremely naive/non-expert point of view! — the foundational/settheoretic issues surrounding the vertical and horizontal arrows of the log-theta-lattice by introducing and studying the basic properties of the notion of a “species”, which may be thought of as a sort of formalization, via set-theoretic formulas, of the intuitive notion of a “type of mathematical object”. These foundational issues are closely related to the central role played in the present series of papers by various results from absolute anabelian geometry, as well as to the idea of gluing together distinct models of conventional scheme theory, i.e., in a fashion that lies outside the framework of conventional scheme theory. Moreover, it is precisely these foundational issues surrounding the vertical and horizontal arrows of the log-theta-lattice that led naturally to the introduction of the term “inter-universal”.

... read more

Citations
  More

24 results found


Open accessBook
01 Jan 1999-
Abstract: Introduction Crys-stable bundles Torally Crys-stable bundles in positive characteristic VF-patterns Construction of examples Combinatorialization at infinity of the stack of nilcurves The stack of quasi-analytic self-isogenies The generalized ordinary theory The geometrization of binary-ordinary Frobenius liftings The geometrization of spiked Frobenius liftings Representations of the fundamental group of the curve Ordinary stable bundles on a curve Bibliography Index.

... read more

45 Citations


Open access
01 Oct 1995-
Topics: Family of curves (65%)

37 Citations


Open accessJournal ArticleDOI: 10.4171/PRIMS/57-1-1
Shinichi Mochizuki1Institutions (1)
Abstract: The present paper is the first in a series of four papers, the goal of which is to establish an arithmetic version of Teichmüller theory for number fields equipped with an elliptic curve — which we refer to as “inter-universal Teichmüller theory” — by applying the theory of semi-graphs of anabelioids, Frobenioids, the étale theta function, and log-shells developed in earlier papers by the author. We begin by fixing what we call “initial Θ-data”, which consists of an elliptic curve EF over a number field F , and a prime number l ≥ 5, as well as some other technical data satisfying certain technical properties. This data determines various hyperbolic orbicurves that are related via finite étale coverings to the once-punctured elliptic curve XF determined by EF . These finite étale coverings admit various symmetry properties arising from the additive and multiplicative structures on the ring Fl = Z/lZ acting on the l-torsion points of the elliptic curve. We then construct “Θ±ellNF-Hodge theaters” associated to the given Θ-data. These Θ±ellNF-Hodge theaters may be thought of as miniature models of conventional scheme theory in which the two underlying combinatorial dimensions of a number field — which may be thought of as corresponding to the additive and multiplicative structures of a ring or, alternatively, to the group of units and value group of a local field associated to the number field — are, in some sense, “dismantled” or “disentangled” from one another. All Θ±ellNF-Hodge theaters are isomorphic to one another, but may also be related to one another by means of a “Θ-link”, which relates certain Frobenioid-theoretic portions of one Θ±ellNF-Hodge theater to another in a fashion that is not compatible with the respective conventional ring/scheme theory structures. In particular, it is a highly nontrivial problem to relate the ring structures on either side of the Θ-link to one another. This will be achieved, up to certain “relatively mild indeterminacies”, in future papers in the series by applying the absolute anabelian geometry developed in earlier papers by the author. The resulting description of an “alien ring structure” [associated, say, to the domain of the Θ-link] in terms of a given ring structure [associated, say, to the codomain of the Θ-link] will be applied in the final paper of the series to obtain results in diophantine geometry. Finally, we discuss certain technical results concerning profinite conjugates of decomposition and inertia groups in the tempered fundamental group of a p-adic hyperbolic curve that will be of use in the development of the theory of the present series of papers, but are also of independent interest.

... read more

20 Citations


Open accessJournal ArticleDOI: 10.4171/PRIMS/57-1-3
Shinichi Mochizuki1Institutions (1)
Abstract: The present paper constitutes the third paper in a series of four papers and may be regarded as the culmination of the abstract conceptual portion of the theory developed in the series. In the present paper, we study the theory surrounding the log-theta-lattice, a highly non-commutative two-dimensional diagram of “miniature models of conventional scheme theory”, called Θ±ellNF-Hodge theaters. Here, we recall that Θ±ellNF-Hodge theaters were associated, in the first paper of the series, to certain data, called initial Θ-data, that includes an elliptic curve EF over a number field F , together with a prime number l ≥ 5. Each arrow of the log-theta-lattice corresponds to a certain gluing operation between the Θ±ellNF-Hodge theaters in the domain and codomain of the arrow. The horizontal arrows of the log-theta-lattice are defined as certain versions of the “Θ-link” that was constructed, in the second paper of the series, by applying the theory of HodgeArakelov-theoretic evaluation — i.e., evaluation in the style of the scheme-theoretic Hodge-Arakelov theory established by the author in previous papers — of the [reciprocal of the l-th root of the] theta function at l-torsion points. In the present paper, we focus on the theory surrounding the log-link between Θ±ellNFHodge theaters. The log-link is obtained, roughly speaking, by applying, at each [say, for simplicity, nonarchimedean] valuation of the number field under consideration, the local p-adic logarithm. The significance of the log-link lies in the fact that it allows one to construct log-shells, i.e., roughly speaking, slightly adjusted forms of the image of the local units at the valuation under consideration via the local p-adic logarithm. The theory of log-shells was studied extensively in a previous paper by the author. The vertical arrows of the log-theta-lattice are given by the log-link. Consideration of various properties of the log-theta-lattice leads naturally to the establishment of multiradial algorithms for constructing “splitting monoids of logarithmic Gaussian procession monoids”. Here, we recall that “multiradial algorithms” are algorithms that make sense from the point of view of an “alien arithmetic holomorphic structure”, i.e., the ring/scheme structure of a Θ±ellNF-Hodge theater related to a given Θ±ellNF-Hodge theater by means of a non-ring/scheme-theoretic horizontal arrow of the log-theta-lattice. These logarithmic Gaussian procession monoids, or LGP-monoids, for short, may be thought of as the log-shell-theoretic versions of the Gaussian monoids that were studied in the second paper of the series. Finally, by applying these multiradial algorithms for splitting monoids of LGP-monoids, we obtain estimates for the log-volume of these LGP-monoids. Explicit computations of these estimates will be applied, in the fourth paper of the series, to derive various diophantine results. Typeset by AMS-TEX 1 2 SHINICHI MOCHIZUKI

... read more

Topics: Lattice (module) (61%)

17 Citations


Open accessJournal ArticleDOI: 10.4171/PRIMS/57-1-2
Shinichi Mochizuki1Institutions (1)
Abstract: In the present paper, which is the second in a series of four papers, we study theKummer theory surrounding the Hodge-Arakelov-theoretic evaluation — i.e., evaluation in the style of the scheme-theoretic Hodge-Arakelov theory established by the author in previous papers — of the [reciprocal of the lth root of the] theta function at l-torsion points [strictly speaking, shifted by a suitable 2-torsion point], for l ≥ 5 a prime number. In the first paper of the series, we studied “miniature models of conventional scheme theory”, which we referred to as Θ±ellNF-Hodge theaters, that were associated to certain data, called initial Θ-data, that includes an elliptic curve EF over a number field F , together with a prime number l ≥ 5. The underlying Θ-Hodge theaters of these Θ±ellNF-Hodge theaters were glued to one another by means of “Θ-links”, that identify the [reciprocal of the l-th root of the] theta function at primes of bad reduction of EF in one Θ ±ellNF-Hodge theater with [2l-th roots of] the q-parameter at primes of bad reduction of EF in another Θ±ellNF-Hodge theater. The theory developed in the present paper allows one to construct certain new versions of this “Θ-link”. One such new version is the Θ ×μ gaulink, which is similar to the Θ-link, but involves the theta values at l-torsion points, rather than the theta function itself. One important aspect of the constructions that underlie the Θ ×μ gau-link is the study of multiradiality properties, i.e., properties of the “arithmetic holomorphic structure” — or, more concretely, the ring/scheme structure — arising from one Θ±ellNF-Hodge theater that may be formulated in such a way as to make sense from the point of the arithmetic holomorphic structure of another Θ±ellNF-Hodge theater which is related to the original Θ±ellNF-Hodge theater by means of the [non-scheme-theoretic!] Θ ×μ gau-link. For instance, certain of the various rigidity properties of the étale theta function studied in an earlier paper by the author may be intepreted as multiradiality properties in the context of the theory of the present series of papers. Another important aspect of the constructions that underlie the Θ ×μ gau-link is the study of “conjugate synchronization” via the F ± l -symmetry of a Θ ±ellNF-Hodge theater. Conjugate synchronization refers to a certain system of isomorphisms — which are free of any conjugacy indeterminacies! — between copies of local absolute Galois groups at the various l-torsion points at which the theta function is evaluated. Conjugate synchronization plays an important role in the Kummer theory surrounding the evaluation of the theta function at l-torsion points and is applied in the study of coricity properties of [i.e., the study of objects left invariant by] the Θ ×μ gau-link. Global aspects of conjugate synchronization require the resolution, via results obtained in the first paper of the series, of certain technicalities involving profinite conjugates of tempered cuspidal inertia groups. Typeset by AMS-TEX 1 2 SHINICHI MOCHIZUKI

... read more

17 Citations


References
  More

38 results found


Open accessBook
01 Jan 1977-
Abstract: P-adic numbers p-adic interpolation of the reimann zeta-function p-adic power series rationality of the zeta-function of a set of equations over a finite field (Part contents).

... read more

Topics: p-adic analysis (58%), Interpolation (56%), p-adic number (55%) ... read more

1,014 Citations


Open accessBook
01 Apr 1987-
Abstract: Heights and integral points.- Diophantine approximations.- A correspondence with Nevanlinna theory.- Consequences of the main conjecture.- The ramification term.- Approximation to hyperplanes.

... read more

Topics: Vojta's conjecture (71%), Diophantine equation (64%), Diophantine set (62%) ... read more

425 Citations


Open accessBook
01 Apr 1987-
Abstract: 0 Preliminaries.- I Basic Properties.- II Hyperbolic Imbeddings.- III Brody's Theorem.- IV Negative Curvature on Line Bundles.- V Curvature on Vector Bundles.- VI Nevanlinna Theory.- VII Applications to Holomorphic Curves in Pn.- VIII Normal Families of the Disc in Pn Minus Hyperplanes.

... read more

Topics: Hyperbolic manifold (59%), Vector bundle (56%), Nevanlinna theory (56%) ... read more

328 Citations


Open accessBook
10 Feb 1988-
Abstract: I The Essentials of Etale Cohomology Theory- II Rationality of Weil ?-Functions- III The Monodromy Theory of Lefschetz Pencils- IV Deligne's Proof of the Weil Conjecture- Appendices- A I The Fundamental Group- A II Derived Categories- A III Descent

... read more

Topics: Étale cohomology (70%), Weil group (62%), Monodromy (55%) ... read more

237 Citations


Open accessJournal Article
Topics: Inner model theory (63%), Rank-into-rank (63%), Perfect set property (57%) ... read more

216 Citations


Performance
Metrics
No. of citations received by the Paper in previous years
YearCitations
20217
20207
20193
20181
20171
20161