In mathematics, p-adic Teichmüller theory describes the "uniformization" of p-adic curves and their moduli, generalizing the usual Teichmüller theory that describes the uniformization of Riemann surfaces and their moduli. It was introduced and developed by ShinichiMochizuki ( 1996 , 1999 ).
The first problem is to reformulate the Fuchsian uniformization of a complex Riemann surface (an isomorphism from the upper half plane to a universal covering space of the surface) in a way that makes sense for p-adic curves. The existence of a Fuchsian uniformization is equivalent to the existence of a canonical indigenous bundle over the Riemann surface: the unique indigenous bundle that is invariant under complex conjugation and whose monodromy representation is quasi-Fuchsian. For p-adic curves, the analogue of complex conjugation is the Frobenius endomorphism, and the analogue of the quasi-Fuchsian condition is an integrality condition on the indigenous line bundle. So in p-adic Teichmüller theory, the p-adic analogue the Fuchsian uniformization of Teichmüller theory, is the study of integral Frobenius invariant indigenous bundles.
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together.
In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.
In mathematics, in particular algebraic geometry, a moduli space is a geometric space whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces is formal moduli. Bernhard Riemann first used the term "moduli" in 1857.
In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.
In mathematics, a Kleinian group is a discrete subgroup of the group of orientation-preserving isometries of hyperbolic 3-space H3. The latter, identifiable with PSL(2, C), is the quotient group of the 2 by 2 complex matrices of determinant 1 by their center, which consists of the identity matrix and its product by −1. PSL(2, C) has a natural representation as orientation-preserving conformal transformations of the Riemann sphere, and as orientation-preserving conformal transformations of the open unit ball B3 in R3. The group of Möbius transformations is also related as the non-orientation-preserving isometry group of H3, PGL(2, C). So, a Kleinian group can be regarded as a discrete subgroup acting on one of these spaces.
In mathematics, the Teichmüller space of a (real) topological surface is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.
In mathematics, the term Riemann–Hilbert correspondence refers to the correspondence between regular singular flat connections on algebraic vector bundles and representations of the fundamental group, and more generally to one of several generalizations of this. The original setting appearing in Hilbert's twenty-first problem was for the Riemann sphere, where it was about the existence of systems of linear regular differential equations with prescribed monodromy representations. First the Riemann sphere may be replaced by an arbitrary Riemann surface and then, in higher dimensions, Riemann surfaces are replaced by complex manifolds of dimension > 1. There is a correspondence between certain systems of partial differential equations and possible monodromies of their solutions.
Anabelian geometry is a theory in number theory which describes the way in which the algebraic fundamental group G of a certain arithmetic variety X, or some related geometric object, can help to recover X. The first results for number fields and their absolute Galois groups were obtained by Jürgen Neukirch, Masatoshi Gündüz Ikeda, Kenkichi Iwasawa, and Kôji Uchida, prior to conjectures made about hyperbolic curves over number fields by Alexander Grothendieck. As introduced in Esquisse d'un Programme the latter were about how topological homomorphisms between two arithmetic fundamental groups of two hyperbolic curves over number fields correspond to maps between the curves. A first version of Grothendieck's anabelian conjecture was solved by Hiroaki Nakamura and Akio Tamagawa, then completed by Shinichi Mochizuki.
In the mathematical theory of Kleinian groups, Bers slices and Maskit slices, named after Lipman Bers and Bernard Maskit, are certain slices through the moduli space of Kleinian groups.
Christopher Deninger is a German mathematician at the University of Münster. Deninger's research focuses on arithmetic geometry, including applications to L-functions.
Shinichi Mochizuki is a Japanese mathematician working in number theory and arithmetic geometry. He is one of the main contributors to anabelian geometry. His contributions include his solution of the Grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. Mochizuki has also worked in Hodge–Arakelov theory and p-adic Teichmüller theory. Mochizuki developed inter-universal Teichmüller theory, which has attracted attention from non-mathematicians due to claims it provides a resolution of the abc conjecture.
Inter-universal Teichmüller theory is the name given by mathematician Shinichi Mochizuki to a theory he developed in the 2000s, following his earlier work in arithmetic geometry. According to Mochizuki, it is "an arithmetic version of Teichmüller theory for number fields equipped with an elliptic curve". The theory was made public in a series of four preprints posted in 2012 to his website. The most striking claimed application of the theory is to provide a proof for various outstanding conjectures in number theory, in particular the abc conjecture. Mochizuki and a few other mathematicians claim that the theory indeed yields such a proof but this has so far not been accepted by the mathematical community.
In mathematics, an indigenous bundle on a Riemann surface is a fiber bundle with a flat connection associated to some complex projective structure. Indigenous bundles were introduced by Robert C. Gunning. Indigenous bundles for curves over p-adic fields were introduced by Shinichi Mochizuki in his study of p-adic Teichmüller theory.
In arithmetic geometry, a Frobenioid is a category with some extra structure that generalizes the theory of line bundles on models of finite extensions of global fields. Frobenioids were introduced by Shinichi Mochizuki. The word "Frobenioid" is a portmanteau of Frobenius and monoid, as certain Frobenius morphisms between Frobenioids are analogues of the usual Frobenius morphism, and some of the simplest examples of Frobenioids are essentially monoids.
In mathematics, Hodge–Arakelov theory of elliptic curves is an analogue of classical and p-adic Hodge theory for elliptic curves carried out in the framework of Arakelov theory. It was introduced by Mochizuki. It bears the name of two mathematicians, Suren Arakelov and W. V. D. Hodge. The main comparison in his theory remains unpublished as of 2019.
In mathematics, a nilcurve is a pointed stable curve over a finite field with an indigenous bundle whose p-curvature is square nilpotent. Nilcurves were introduced by Mochizuki as a central concept in his theory of p-adic Teichmüller theory.
In mathematics, the Grothendieck–Teichmüller groupGT is a group closely related to the absolute Galois group of the rational numbers. It was introduced by Vladimir Drinfeld and named after Alexander Grothendieck and Oswald Teichmüller, based on Grothendieck's suggestion in his 1984 essay Esquisse d'un Programme to study the absolute Galois group of the rationals by relating it to its action on the Teichmüller tower of Teichmüller groupoids Tg,n, the fundamental groupoids of moduli stacks of genus g curves with n points removed. There are several minor variations of the group: a discrete version, a pro-l version, a k-pro-unipotent version, and a profinite version; the first three versions were defined by Drinfeld, and the version most often used is the profinite version.
In differential geometry, algebraic geometry, and gauge theory, the Kobayashi–Hitchin correspondence relates stable vector bundles over a complex manifold to Einstein–Hermitian vector bundles. The correspondence is named after Shoshichi Kobayashi and Nigel Hitchin, who independently conjectured in the 1980s that the moduli spaces of stable vector bundles and Einstein–Hermitian vector bundles over a complex manifold were essentially the same.
Clifford John Earle, Jr. was an American mathematician who specialized in complex variables and Teichmüller spaces.