2baffda3d5303238.tex
1: \begin{abstract}
2: Infinite presentations are given for all of the higher Torelli groups
3: of once-punctured surfaces. In the case of the classical Torelli
4: group, a {\it finite presentation} of
5: the corresponding {\it groupoid} is also given, and finite 
6: presentations of the classical Torelli groups acting trivially
7: on homology modulo $N$ are derived for all $N$.
8: Furthermore, the first Johnson homomorphism, which is defined from
9: the classical Torelli group to the third exterior power of the
10: homology of the surface, is shown to {\it lift} to an
11: explicit {\it canonical} $1$-{\it cocycle} of the Teichm\"uller space.
12: The main tool for these results is the known mapping class group
13: invariant ideal cell decomposition of the Teichm\"uller space.
14: 
15: This new $1$-cocycle is mapping class group equivariant, so
16: various contractions of its powers yield
17: various combinatorial (co)cycles of the moduli space
18: of curves, which
19: are also new.
20: Our combinatorial construction can be related to
21: former works of Kawazumi and the first-named author with the consequence
22: that the algebra generated by the cohomology classes
23: represented by the new cocycles is precisely the tautological
24: algebra of the moduli space.
25: 
26: There is finally a discussion of
27: prospects for similarly finding cocycle lifts of
28: the higher Johnson homomorphisms.
29: 
30: 
31: \end{abstract}
32: