SearcharxivSearch

arXiv · 1603.02229

On Grothendieck's construction of Teichm\"uller space

Abstract

In his 1944 paper Ver\"anderliche Riemannsche Fl\"achen , Teichm\"uller defined a structure of complex manifold on the set of isomorphism classes of marked closed Riemann surfaces of genus g. The complex manifold he obtained is the space called today Teichm\"uller space. In the same paper, Teichm\"uller introduced the so-called universal Teichm\"uller curve -- a space over Teichm\"uller space where the fiber above each point is a Riemann surface representing that point. In fact, Teichm\"uller proved the existence of the Teichm\"uller curve as a space of Riemann surfaces parametrized by an analytic space, with an existence and uniqueness theorem establishing this analytic structure. This result was later reformulated and proved by Grothendieck in a series of ten lectures he gave at Cartan's seminar in 1960-1961. In his approach , Grothendieck replaced Teichm\"uller's explicit parameters by a general construction of fiber bundles whose base is an arbitrary analytic space. This work on Teichm\"uller space led him to recast the bases of analytic geometry using the language of categories and functors. In Grothendieck's words, the Teichm\"uller curve becomes a space representing a functor from the category of analytic spaces into the category of sets. In this survey, we comment on Grothendieck's series of lectures. The survey is primarily addressed to low-dimensional topologists and geometers. In presenting Grothendieck's results, we tried to explain or rephrase in more simple terms some notions that are usually expressed in the language of algebraic geometry. However, it is not possible to short-circuit the language of categories and functors. The survey is also addressed to those algebraic geometers who wish to know how the notion of moduli space evolved in connection with Teichm\"uller theory. Explaining the origins of mathematical ideas contributes in dispensing justice to their authors and it usually renders the theory that is surveyed more attractive. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichm\"uller theory. This volume is dedicated to the memory of Alexander Grothendieck.

Explore related subjects

Keep this discovery

BibTeXRIS

Norbert A'Campo, Lizhen Ji, Athanase Papadopoulos. 2016-03-07. On Grothendieck's construction of Teichm\"uller space. https://arxiv.org/abs/1603.02229

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bar cohomology of links: beyond Milnor invariants

We develop bar cohomology of link complements as an invariant of links in homology spheres. In this setting, bar cohomology is a Hopf algebra which is calculable using surfaces and their intersection curves in a link complement. In this first in a sequence of works, we introduce the invariant and show that it defines a canonical subspace of the tensor Hopf algebra, which already encodes information about Milnor's link invariants and provides geometrically significant information beyond them.

math.GT

Homological lifts of Arnold invariants $J^-$ and $J^+$

Viro's Euler-integral polynomial $P_C(q)$ and the Lanzat--Polyak quantized-curvature polynomial $I_q(C)$ refine Arnold's invariants $J^-$ and $J^+$ for generic immersed one-component plane curves. We construct homological lifts of both. The bigraded region homology retains the singular homology of every connected Alexander-index region; its graded Euler characteristic is $P_C(q)$. The triply graded smoothing-circle homology is generated by the oriented circles of the orientation-preserving smoothing and decategorifies to the smoothing term in $I_q(C)$. Keeping the actual region summands and the boundary regions of every smoothing circle gives a homological refinement of the oriented smoothing configuration, or Seifert state. An infinite family proves strictness: both polynomial data and the ordinary homological lifts agree, while the component-graded region homology and the branch-decomposed circle homology distinguish every pair. Further constructions recover the full $I_q(C)$ by a vertex complex, realize the local change of its curvature integral by edge homology, and give a canonical two-state homology for unoriented curves. Viro described his Euler-integral formula as an analogue of face state-sum formulas for quantum knot polynomials. Through the categorifications developed here, we obtain one concrete homological face-state-sum model realizing that analogy.

math.GT