-
A Polygonal Perspective of Nielsen Reduction and the Chord Slide Groupoid
Authors:
Alex James Bene
Abstract:
Nielsen reduction is an algorithm which decomposes any automorphism of a free group into a product of elementary Nielsen transformations. While this may be applied to a mapping class of a surface $S_{g,1}$ with one boundary component, the resulting decomposition in general will not have a topological interpretation. In this survey, we discuss a variation called fatgraph Nielsen reduction which dec…
▽ More
Nielsen reduction is an algorithm which decomposes any automorphism of a free group into a product of elementary Nielsen transformations. While this may be applied to a mapping class of a surface $S_{g,1}$ with one boundary component, the resulting decomposition in general will not have a topological interpretation. In this survey, we discuss a variation called fatgraph Nielsen reduction which decomposes such a mapping class into elementary Nielsen transformations interpreted as rearrangements of polygon domains for $S_{g,1}$ described by systems of arcs in $S_{g,1}$. These elementary moves generate the chord slide groupoid of $S_{g,1}$, which we survey and describe in terms of generators and relations.
△ Less
Submitted 28 October, 2010; v1 submitted 25 October, 2010;
originally announced October 2010.
-
Finite type invariants and fatgraphs
Authors:
Jorgen Ellegaard Andersen,
Alex James Bene,
Jean-Baptiste Meilhan,
R. C. Penner
Abstract:
We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S. In effect, $\nabla_G$ is the composition with the $ι_n$ maps of Le-Murakami-Ohtsuki of the link invariant of Andersen-Mattes-Reshetikhin computed relative to c…
▽ More
We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S. In effect, $\nabla_G$ is the composition with the $ι_n$ maps of Le-Murakami-Ohtsuki of the link invariant of Andersen-Mattes-Reshetikhin computed relative to choices determined by the fatgraph G; this provides a basic connection between 2d geometry and 3d quantum topology. For each fixed G, this invariant is shown to be universal for homology cylinders, i.e., $\nabla_G$ establishes an isomorphism from an appropriate vector space $\bar{H}$ of homology cylinders to a certain algebra of Jacobi diagrams. Via composition $\nabla_{G'}\circ\nabla_G^{-1}$ for any pair of fatgraph spines G,G' of S, we derive a representation of the Ptolemy groupoid, i.e., the combinatorial model for the fundamental path groupoid of Teichmuller space, as a group of automorphisms of this algebra. The space $\bar{H}$ comes equipped with a geometrically natural product induced by stacking cylinders on top of one another and furthermore supports related operations which arise by gluing a homology handlebody to one end of a cylinder or to another homology handlebody. We compute how $\nabla_G$ interacts with all three operations explicitly in terms of natural products on Jacobi diagrams and certain diagrammatic constants. Our main result gives an explicit extension of the LMO invariant of 3-manifolds to the Ptolemy groupoid in terms of these operations, and this groupoid extension nearly fits the paradigm of a TQFT. We finally re-derive the Morita-Penner cocycle representing the first Johnson homomorphism using a variant/generalization of $\nabla_G$.
△ Less
Submitted 16 July, 2009;
originally announced July 2009.
-
Mapping Class Factorization via Fatgraph Nielsen Reduction
Authors:
Alex James Bene
Abstract:
The mapping class group of a genus $g$ surface $Σ_{g,1}$ with one boundary component is known to have a simple yet infinite presentation with generators given by elementary moves called Whitehead moves on so-called marked bordered fatgraphs. In this paper, we introduce an algorithm called "fatgraph Nielsen reduction" which, from the action of a mapping class $\varphi\in MC_{g,1}$ of $Σ_{g,1}$ on…
▽ More
The mapping class group of a genus $g$ surface $Σ_{g,1}$ with one boundary component is known to have a simple yet infinite presentation with generators given by elementary moves called Whitehead moves on so-called marked bordered fatgraphs. In this paper, we introduce an algorithm called "fatgraph Nielsen reduction" which, from the action of a mapping class $\varphi\in MC_{g,1}$ of $Σ_{g,1}$ on the fundamental group $π_1(Σ_{g,1})$ of $Σ_{g,1}$, determines a sequence of Whitehead moves representing $\varphi$ beginning at any choice of marked bordered fatgraph. As a consequence, this leads to an algorithm which factors any mapping class given by its action on $π(Σ_{g,1})$ in terms of a certain generating set for $MC_{g,1}$.
△ Less
Submitted 27 April, 2009;
originally announced April 2009.
-
A Chord Diagrammatic Presentation of the Mapping Class Group of a Once Bordered Surface
Authors:
Alex James Bene
Abstract:
The Ptolemy groupoid is a combinatorial groupoid generated by elementary moves on marked trivalent fatgraphs with three types of relations. Through the fatgraph decomposition of Teichmüller space, the Ptolemy groupoid is a mapping class group equivariant subgroupoid of the fundamental path groupoid of Teichmüller space with a discrete set objects. In particular, it leads to an infinite, but comb…
▽ More
The Ptolemy groupoid is a combinatorial groupoid generated by elementary moves on marked trivalent fatgraphs with three types of relations. Through the fatgraph decomposition of Teichmüller space, the Ptolemy groupoid is a mapping class group equivariant subgroupoid of the fundamental path groupoid of Teichmüller space with a discrete set objects. In particular, it leads to an infinite, but combinatorially simple, presentation of the mapping class group of an orientable surface.
In this note, we give a presentation of a full mapping class group equivariant subgroupoid of the Ptolemy groupoid of an orientable surface with one boundary component in terms of marked linear chord diagrams, with chord slides as generators and five types of relations. We also introduce a dual version of this presentation which has advantages for certain applications, one of which is given.
△ Less
Submitted 20 February, 2008;
originally announced February 2008.
-
Groupoid Extensions of Mapping Class Representations for Bordered Surfaces
Authors:
Jorgen Ellegaard Andersen,
Alex James Bene,
R. C. Penner
Abstract:
The mapping class group of a surface with one boundary component admits numerous interesting representations including as a group of automorphisms of a free group and as a group of symplectic transformations. Insofar as the mapping class group can be identified with the fundamental group of Riemann's moduli space, it is furthermore identified with a subgroup of the fundamental path groupoid upon…
▽ More
The mapping class group of a surface with one boundary component admits numerous interesting representations including as a group of automorphisms of a free group and as a group of symplectic transformations. Insofar as the mapping class group can be identified with the fundamental group of Riemann's moduli space, it is furthermore identified with a subgroup of the fundamental path groupoid upon choosing a basepoint. A combinatorial model for this, the mapping class groupoid, arises from the invariant cell decomposition of Teichmüller space, whose fundamental path groupoid is called the Ptolemy groupoid. It is natural to try to extend representations of the mapping class group to the mapping class groupoid, i.e., construct a homomorphism from the mapping class groupoid to the same target that extends the given representations arising from various choices of basepoint.
Among others, we extend both aforementioned representations to the groupoid level in this sense, where the symplectic representation is lifted both rationally and integrally. The techniques of proof include several algorithms involving fatgraphs and chord diagrams. The former extension is given by explicit formulae depending upon six essential cases, and the kernel and image of the groupoid representation are computed. Furthermore, this provides groupoid extensions of any representation of the mapping class group that factors through its action on the fundamental group of the surface including, for instance, the Magnus representation and representations on the moduli spaces of flat connections.
△ Less
Submitted 31 May, 2009; v1 submitted 14 October, 2007;
originally announced October 2007.
-
Canonical lifts of the Johnson homomorphisms to the Torelli groupoid
Authors:
Alex James Bene,
Nariya Kawazumi,
R. C. Penner
Abstract:
We prove that every trivalent marked bordered fatgraph comes equipped with a canonical generalized Magnus expansion in the sense of Kawazumi. This Magnus expansion is used to give canonical lifts of the higher Johnson homomorphisms $τ_m$, for $m\geq 1$, to the Torelli groupoid, and we provide a recursive combinatorial formula for tensor representatives of these lifts. In particular, we give an e…
▽ More
We prove that every trivalent marked bordered fatgraph comes equipped with a canonical generalized Magnus expansion in the sense of Kawazumi. This Magnus expansion is used to give canonical lifts of the higher Johnson homomorphisms $τ_m$, for $m\geq 1$, to the Torelli groupoid, and we provide a recursive combinatorial formula for tensor representatives of these lifts. In particular, we give an explicit 1-cocycle in the dual fatgraph complex which lifts $τ_2$ and thus answer affirmatively a question of Morita-Penner. To illustrate our techniques for calculating higher Johnson homomorphisms in general, we give explicit examples calculating $τ_m$, for $m\leq 3$.
△ Less
Submitted 19 July, 2007;
originally announced July 2007.
-
Combinatorial Classes, Hyperelliptic Loci, and Hodge Integrals
Authors:
Alex James Bene
Abstract:
A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained.
The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space…
▽ More
A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained.
The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space $\mathcal{M}^{comb}_{g,1}$, a PL-orbifold whose cells are enumerated by fatgraphs. This cell decomposition can be used to naturally construct combinatorial PL-cycles $W_a\subset\mathcal{M}^{comb}_{g,1}$ whose homology classes are essentially the Poincaré duals of the Mumford-Morita-Miller classes $κ_a$. In this paper we construct another PL-cycle $\mathcal{H}^{comb}_g \subset \mathcal{M}^{comb}_{g,1}$ representing the locus of hyperelliptic Weierstraß points and explicitly describe the chain level intersection of this cycle with $W_1$. Using this description of $\mathcal{H}^{comb}_g\cap W_1$, the duality between Witten cycles $W_a$ and the $κ_a$ classes, and Kontsevich's scheme of integrating $ψ$ classes, the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ is reduced to a weighted sum over graphs and is evaluated by the enumeration of trees.
△ Less
Submitted 19 October, 2006;
originally announced October 2006.
