[The text below the divider is a response by Kirti Joshi in response to some comments at MathOverflow regarding his recent preprint, “Untilts of fundamental groups: construction of labeled isomorphs of fundamental groups — Arithmetic Holomorphic Structures“. Kirti reached out to me regarding making a response, and I suggested that a blog posting would be better than an answer at MathOverflow, since it is not in the format of an answer to the question, to which he agreed. Regular readers of the blog will know that I follow developments around IUT with close interest, but I am not an expert in that area. My long-stated hope is that some interesting mathematics comes out of the whole affair, regardless of specifics about the correctness of Mochizuki’s proof or otherwise. –tHG]
I wish to clarify my work in the context of the discussion here. For this purpose suppose that is a geometrically connected, smooth quasi-projective variety over a
-adic field which I will take to be
for simplicity. In Mochizuki’s context this
will additionally required to be an hyperbolic curve.
- First of all let me say this clearly: one cannot fix a basepoint for the tempered fundamental group of
in Mochizuki’s Theory [IUT1–IUT4]. The central role of (arbitrary) basepoints play in Mochizuki’s theory is discussed in (print version) [IUT1, Page 24], and notably the key operations of the theory, namely the log-link and theta-link, change or require arbitrary basepoints on either side of these operations [IUT2, Page 324] (and similar discussion in [IUT3]).
- This means one cannot naturally identify the tempered fundamental groups arising from distinct basepoints. [The groups arising from different basepoints are of course abstractly (and non-canonically) isomorphic. Mochizuki does not explicitly track basepoints while requiring them and so this makes his approach extremely complicated.]
- In the context of tempered fundamental groups, a basepoint for the tempered fundamental group of
is a morphism of Berkovich spaces
, where
is an algebraically closed complete valued field containing an isometrically embedded
. [Such fields are perfectoid.] As I have detailed in my paper, arbitrary basepoints requires arbitrary perfectoid fields
containing an isometrically embedded
. [For experts on Scholze’s Theory of Diamonds, let me say that the datum
required to define tempered fundamental group with basepoint
is related (by Huber’s work) to a similar datum for the diamond
associated to the adic space for
.]
- In my approach I track basepoints explicitly (because of the (1) above) and I demonstrate how basepoints are affected by the key operations of the theory. [This is claimed in Mochizuki’s papers, but I think his proofs of this are quite difficult to discern (for me).]
- Because basepoints have to be tracked, and tempered fundamental groups arising from distinct basepoints cannot all be naturally identified, assertions which involve arbitrarily identifying fundamental groups arising from distinct basepoints cannot be used to arrive at any conclusion about Mochizuki’s Theory.
- In arithmetic geometry one typically works with isomorphism classes of Riemann surfaces i.e. with moduli of Riemann surfaces. Teichmuller space requires a different notion of equivalence and it is possible for distinct points of the classical Teichmuller space to have isomorphic moduli. This is also what happens in my
-adic theory.
- There is no linguistic trickery in my paper. I have developed my approach independently of Mochizuki’s group theoretic approach and my approach is geometric and completely parallels classical Teichmuller Theory. Nevertheless in its group theoretic aspect, my theory proceeds exactly as is described in [IUT1–IUT3] and arrives at all the principal landmarks with added precision because I bring to bear on the issues the formidable machinery of modern
-adic Hodge Theory due to Fargues-Fontaine, Kedlaya, Scholze and others. This precision allows me to give clear, transparent and geometric proofs of many of the principal assertions claimed in [IUT1–IUT3] without using Mochizuki’s machinery. [Notably my view is that Mochizuki’s Corollary 3.12 should be viewed as consequent to the existence of Arithmetic Teichmuller Spaces (at all primes) as detailed in my papers. One version of Corollary 3.12 is detailed (with proof) in my Constructions II paper. The cited version works with the standard complete Fargues-Fontaine curve
, but there is a full version better adapted for Diophantine applications which works with the adic Fargues-Fontaine curve
and its finite étale covers and which exhibits the tensor packet structure of [IUT3, Section 3] which will appear in Constructions III (the two proofs are similar).] No claims are presently being made about the main result of [IUT4]. That is a work in progress.
- Apart from its intrinsic value, my original and independent work provides new evidence regarding Mochizuki’s work and I urge the mathematical community to reexamine his work using the emerging mathematical evidence.
- I am happy to talk to any mathematician who is interested in my work and I have written my papers as transparently as possible. [If there are any concrete mathematical objections to my papers, I will be happy to address them.]
- I thank David M. Roberts for a number of suggestions which have helped me improve this text.