Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · q-alg/9603013

Finite type 3-manifold invariants and the structure of the Torelli group I

Stavros Garoufalidis·Jerome Levine
View original source ↗Read source document ↗Export metadata ↓

Abstract

Using the recently developed theory of finite type invariants of integral homology 3-spheres we study the structure of the Torelli group of a closed surface. Explicitly, we construct (a) natural cocycles of the Torelli group (with coefficients in a space of trivalent graphs) and cohomology classes of the abelianized Torelli group; (b) group homomorphisms that detect (rationally) the nontriviality of the lower central series of the Torelli group. Our results are motivated by the appearance of trivalent graphs in topology and in representation theory and the dual role played by the Casson invariant in the theory of finite type invariants of integral homology 3-spheres and in Morita's study of the structure of the Torelli group Our results generalize those of S. Morita {Mo1,Mo2} and complement the recent calculation, due to R. Hain, of the I-adic completion of the rational group ring of the Torelli group. We also give analogous results for two other subgroups of the mapping class group.

Explore related subjects

q-algmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stavros Garoufalidis, Jerome Levine. 1997-05-09. Finite type 3-manifold invariants and the structure of the Torelli group I. https://arxiv.org/abs/q-alg/9603013

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

KEEP EXPLORING

Related papers

arXiv2019

Idempotents of Hecke algebras of type A

We use a skein-theoretic version of the Hecke algebras of type A to present three-dimensional diagrammatic views of Gyoja's idempotent elements, based closely on the corresponding Young diagram. In this context we give straightforward calculations for the eigenvalues of two natural central elements in the Hecke algebras, namely the full curl and the sum of the Murphy operators. We discuss their calculation also in terms of the framing factor associated to the appropriate irreducible representation of the quantum group SU(N,q).

q-alg↗
arXiv2017

Dual Affine Quantum Groups

Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the formal group attached to $\hat{\mathfrak{g}}$), and we construct new quantum Frobenius morphisms. The whole picture extends to the untwisted affine case the results known for quantum groups of finite type.

q-alg↗
arXiv2017

A PBW basis for Lusztig's form of untwisted affine quantum groups

Let $ \mathfrak{g} $ be an untwisted affine Kac-Moody algebra over the field $ K \, $, and let $ U_q(\mathfrak{g}) $ be the associated quantum enveloping algebra; let $ \mathfrak{U}_q(g) $ be the Lusztig's integer form of $ U_q(\mathfrak{g}) \, $, generated by $ q $-divided powers of Chevalley generators over a suitable subring $ R $ of $ K(q) \, $. We prove a Poincaré-Birkhoff-Witt like theorem for $ \mathfrak{U}_q(\mathfrak{g}) \, $, yielding a basis over $ R $ made of ordered products of $ q $-divided powers of suitable quantum root vectors.

q-alg↗