transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
The notion of initial Θ-theta data was introduced by Shinichi Mochizuki in §3 of Inter-Universal Teichmüller theory I as the starting point for inter-universal Teichmüller theory.
In order to understand the definition, we recall a little notation.
1) Given a field $F$, the notation $E / F$ means that $E$ is a field extension of $F$.
2) Given a field $F$, the notation $\overline{F}$ denotes an algebraic closure of $F$.
The following is Definition 3.1 in Inter-Universal Teichmüller theory I, on pg.61 (currently).
Initial Θ-data is a 7-tuple $(\overline{F} / F, X_{F}, \ell, \underline{C}_{K}, \underline{\mathbb{V}}, \mathbb{V}^{bad}_{mod}, \underline{\epsilon})$ given the following data.
A number field $F$ such that $\sqrt{-1} \in F$. In other words, we have a field extension of the quotient ring $\mathbb{Q}[X] / (X^{2} + 1)$, which itself is a field because $X^{2} + 1$ is irreducible: see field extension for more details on this.
A scheme $X_{F}$ which is obtained by removing a closed point from an elliptic curve $E_{F}$ over $F$. The scheme structure on $X_{F}$ is that inherited from $E_{F}$ by virtue of the fact that $X_{F}$ is an open subset of (the underlying topological space of) $E_{F}$, as described at open subscheme. We require that $X_{F}$ satisfies certain conditions: TODO.
An auxillary prime $\ell$ (satisfying….?)
(TO BE CONTINUED)
Shinichi Mochizuki, Inter-Universal Teichmüller Theory I: Construction Of Hodge Theaters, (2017). Link to paper
Taylor Dupuy, Anton Hilado, The Statement of Mochizuki’s Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies, arXiv:2004.13228
Last revised on April 29, 2020 at 22:35:30. See the history of this page for a list of all contributions to it.