154 SHINICHI MOCHIZUKI to be a triple, consisting <strong>of</strong> the following data: (a) a D-Θ ±ell -<strong>Hodge</strong> theater † HT D-Θ±ell [cf. Definition 6.4, (iii)]; (b) a D-ΘNF-<strong>Hodge</strong> theater † HT D-ΘNF [cf. Definition 4.6, (iii)]; (c) the [necessarily unique!] gluing isomorphism between † HT D-Θ±ell and † HT D-ΘNF [cf. the discussion <strong>of</strong> Remark 6.12.2, (i), (ii)]. An illustration <strong>of</strong> the combinatorial structure <strong>of</strong> a D-Θ ±ell NF-<strong>Hodge</strong> theater is given in Fig. 6.5 above.
INTER-UNIVERSAL TEICHMÜLLER THEORY I 155 Bibliography [André] Y. André, On a Geometric Description <strong>of</strong> Gal(Q p /Q p )andap-adic Avatar <strong>of</strong> ĜT , Duke Math. J. 119 (2003), pp. 1-39. [Asada] M. Asada, The faithfulness <strong>of</strong> the monodromy representations associated with certain families <strong>of</strong> algebraic curves, J. Pure Appl. Algebra 159 (2001), pp. 123-147. [Falt] G. Faltings, Endlichkeitssätze für Abelschen Varietäten über Zahlkörpern, Invent. Math. 73 (1983), pp. 349-366. [FRS] B. Fine, G. Rosenberger, and M. Stille, Conjugacy pinched and cyclically pinched one-relator groups, Rev. Mat. Univ. Complut. Madrid 10 (1997), pp. 207-227. [Groth] A. Grothendieck, letter to G. Faltings (June 1983) in Lochak, L. Schneps, Geometric Galois Actions; 1. Around Grothendieck’s Esquisse d’un Programme, London Math. Soc. Lect. Note Ser. 242, Cambridge Univ. Press (1997). [NodNon] Y. Hoshi, S. Mochizuki, On the Combinatorial Anabelian Geometry <strong>of</strong> Nodally Nondegenerate Outer Representations, Hiroshima Math. J. 41 (2011), pp. 275- 342. [JP] K. Joshi and C. Pauly, Hitchin-Mochizuki morphism, opers, and Frobeniusdestabilized vector bundles over curves, preprint. [Kim] M. Kim, The motivic fundamental group <strong>of</strong> P 1 \{0, 1, ∞} and the theorem <strong>of</strong> Siegel, Invent. Math. 161 (2005), pp. 629-656. [Lang] S. Lang, Algebraic number theory, Addison-Wesley Publishing Co. (1970). [Lehto]O.Lehto,Univalent Functions and Teichmüller Spaces, Graduate Texts in Mathematics 109, Springer, 1987. [PrfGC] S. Mochizuki, The Pr<strong>of</strong>inite Grothendieck Conjecture for Closed Hyperbolic Curves over Number Fields, J. Math. Sci. Univ. Tokyo 3 (1996), pp. 571-627. [pOrd] S. Mochizuki, A <strong>Theory</strong> <strong>of</strong> Ordinary p-adic Curves, Publ. Res. Inst. Math. Sci. 32 (1996), pp. 957-1151. [pTeich] S. Mochizuki, Foundations <strong>of</strong> p-adic Teichmüller <strong>Theory</strong>, AMS/IP Studies in Advanced Mathematics 11, American Mathematical Society/<strong>Inter</strong>national Press (1999). [pGC] S. Mochizuki, The Local Pro-p Anabelian Geometry <strong>of</strong> Curves, Invent. Math. 138 (1999), pp. 319-423. [HASurI] S. Mochizuki, A Survey <strong>of</strong> the <strong>Hodge</strong>-Arakelov <strong>Theory</strong> <strong>of</strong> Elliptic Curves I, Arithmetic Fundamental Groups and Noncommutative Algebra, Proceedings <strong>of</strong> Symposia in Pure Mathematics 70, American Mathematical Society (2002), pp. 533-569. [HASurII] S. Mochizuki, A Survey <strong>of</strong> the <strong>Hodge</strong>-Arakelov <strong>Theory</strong> <strong>of</strong> Elliptic Curves II, Algebraic Geometry 2000, Azumino, Adv. Stud. Pure Math. 36, Math. Soc. Japan (2002), pp. 81-114.