arXiv research

Study non-existence of complex ball quotients in Torelli locus.

We prove that the hyperelliptic Torelli group is generated by Dehn twists about separating curves that are preserved by the hyperelliptic involution. This verifies a conjecture of Hain. The hyperelliptic Torelli group can be identified with the kernel of the Burau representation evaluated at t=-1 and also the fundament…

In this note we survey recent results on the extrinsic geometry of the Jacobian locus inside $\mathsf{A}_g$. We describe the second fundamental form of the Torelli map as a multiplication map, recall the relation between totally geodesic subvarieties and Hodge loci and survey various results related to totally geodesic…

Genus $g$ Torelli space is the moduli space of genus $g$ curves of compact type equipped with a homology framing. The hyperelliptic locus is a closed analytic subvariety consisting of finitely many mutually isomorphic components. We use properties of the hyperelliptic Torelli group to show that when $g\geq 3$ these com…

Mess showed that the genus 2 Torelli group $T_2$ is isomorphic to a free group of countably infinite rank by showing that genus 2 Torelli space is homotopy equivalent to an infinite wedge of circles. As an application of his computation, we compute the homotopy type of the zero locus of any classical genus 2 theta func…

The Bergman kernel and period map for curves are studied.

The period mapping assigns to each rank n, marked metric graph Gamma a positive definite quadratic form on H_1(Gamma). This defines maps Phi* and Phi on Culler--Vogtmann's outer space CV_n, and its Torelli space quotient T_n, respectively. The map Phi is a free group analog of the classical period mapping that sends a …

The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the modul…

Researchers found the second homology of Torelli groups for large g.

Proves properties of Torelli Lie algebra for surfaces.

Torelli group's second homology is finite for large genus surfaces.

Enhances stability ranges for Torelli and congruence subgroup homologies.

Let S be a connected, compact and orientable surface of genus two having exactly one boundary component. We study automorphisms of the Torelli complex for S, and describe any isomorphism between finite index subgroups of the Torelli group for S. More generally, we study superinjective maps from the Torelli complex for …

We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are also considered. In addition, we prove that rational homology of the subgroup of t…

In this paper we introduce, for each closed orientable surface, an analogue of Tits buildings adjusted to investigation of the Torelli group of this surface. It is a simplicial complex with some additional structure. We call this complex with its additional structure the Torelli building of the surface in question. The…

For each closed orientable surface we introduce a simplical complex with some additional structure which is a version of the complex of curves of this surface adjusted to investigation of its Torelli group. We call this complex the Torelli geometry of our surface and prove that every automorphism of the Torelli geometr…

To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This…

Study of Torelli groups of partitioned surfaces with bounds and asymptotic lengths.

We give a new proof of a celebrated theorem of Dennis Johnson that asserts that the kernel of the Johnson homomorphism on the Torelli subgroup of the mapping class group is generated by separating twists. In fact, we prove a more general result that also applies to "subsurface Torelli groups". Using this, we extend Joh…

We introduce machinery to allow ``cut-and-paste''-style inductive arguments in the Torelli subgroup of the mapping class group. In the past these arguments have been problematic because restricting the Torelli group to subsurfaces gives different groups depending on how the subsurfaces are embedded. We define a categor…

Study Heegaard Floer homology and word metric on Torelli group.

Paper proves Torelli group's finiteness for surfaces with 2 boundaries.

We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We also find the cohomological dimension of the Johnson kernel (the subgroup of the To…

The contraction of the image of the Johnson homomorphism is called the Chillingworth class. In this paper, we derive a combinatorial description of the Chillingworth class for Putman's subsurface Torelli groups. We also prove the naturality and uniqueness properties of the map whose image is the dual of the Chillingwor…

Authors prove Torelli theorem for a specific type of gravitational instantons.

Study homology groups of mapping and Torelli groups for surfaces with abelian covers.

By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in Torelli groups and abelian subgroups of Torelli groups. The new proofs are more tran…

Study Torelli subgroups of handlebody groups and their cohomology.

Study of Torelli subgroups of automorphism groups of free groups.

Abstract commensurators of ${ m{Aut}}(F_N)$ and ${ m{IA}}_N$ are the same.

Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the mapping class group has a finite generating set whose size grows cubically with respect to the genus of the surface. Our main tool is a new space called the handle graph on which the Torelli group acts cocompactly.

Study genus-three Torelli maps and their fixed point sets in representation varieties.

A closed hyperbolic Riemann surface M is said to be K-quasiconformally homogeneous if there exists a transitive family F of K-quasiconformal homeomorphisms. Further, if all [f] in F act trivially on H1(M;Z), we say M is Torelli-K-quasiconformally homogeneous. We prove the existence of a uniform lower bound on K for Tor…

Torelli space (in genus g) is the moduli space of compact Riemann surfaces of genus g together with a symplectic basis of their first homology group. It is the quotient of the genus g Teichmuller space by the Torelli group T_g and is a model of the classifying space of T_g. It is known that almost all T_g are not finit…

We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the Johnson kernel for such surfaces are naturally isomorphic to the extended mapping…

Paper calculates Torelli group's cohomology second group.

Unified framework for studying Torelli group and congruence subgroup maps.

The study finds all trace field degrees for Torelli group mappings.

By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The extension problem in Torelli topology is the problem of determining when a diffeomorphism of compact connected subsurface of a closed surface can be extended to a diffeomorphism of t…

We develop an analogue of the Birman exact sequence for the Torelli subgroup of Aut(F_n). This builds on earlier work of the authors who studied an analogue of the Birman exact sequence for the entire group Aut(F_n). These results play an important role in the authors' recent work on the second homology group of the To…

For all but finitely many compact orientable surfaces, we show that any superinjective map from the complex of separating curves into itself is induced by an element of the extended mapping class group. We apply this result to proving that any finite index subgroup of the Johnson kernel is co-Hopfian. Analogous propert…

Symplectic manifolds derived from Torelli groups, showing complex structure invariants without holomorphic structures.

For each g > 2 and h > 1, we explicitly construct (1) fiber sum indecomposable relatively minimal genus g Lefschetz fibrations over genus h surfaces whose monodromies lie in the Torelli group, (2) fiber sum indecomposable genus g surface bundles over genus h surfaces whose monodromies are in the Torelli group (provided…

We prove that each Torelli group of an orientable surface with any number of boundary components is at least exponentially distorted in the mapping class group by using Broaddus-Farb-Putman's techniques. Further we show that the distortion of each Torelli group in the level $d$ mapping class group is the same as that o…

We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson …

The aim of this article is to prove that the Torelli group action on the G-character varieties is ergodic for G a connected, semi-simple and compact Lie group.

Paper proves Rohlin invariant's uniqueness and extends homology sphere invariants.

The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $π_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give counterexamples to Theorem 3.4 of Verbitsky's paper "Mapping class group and a global …