BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Thomas Church contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the mapping class group and the automorphism group of a free group is finitely generated in a linear stable range. This was originally proved for the second terms by Ershov and He.
We prove a new structural result for the spherical Tits building attached to SL_n(K) for many number fields K, and more generally for the fraction fields of many Dedekind domains O: the Steinberg module St_n(K) is generated by integral apartments if and only if the ideal class group cl(O) is trivial. We deduce this integrality by proving that the complex of partial bases of O^n is Cohen-Macaulay. We apply this to prove new vanishing and nonvanishing results for H^{vcd}(SL_n(O_K); Q), where O_K is the ring of integers in a number field and vcd is the virtual cohomological dimension of SL_n(O_K). The (non)vanishing depends on the (non)triviality of the class group of O_K. We also obtain a vanishing theorem for the cohomology H^{vcd}(SL_n(O_K); V) with twisted coefficients V.
Each Morita--Mumford--Miller (MMM) class e_n assigns to each genus g >= 2 surface bundle S_g -> E^{2n+2} -> M^{2n} an integer e_n^#(E -> M) := <e_n,[M]> in Z. We prove that when n is odd the number e_n^#(E -> M) depends only on the diffeomorphism type of E, not on g, M, or the map E -> M. More generally, we prove that e_n^#(E -> M) depends only on the cobordism class of E. Recent work of Hatcher implies that this stronger statement is false when n is even. If E -> M is a holomorphic fibering of complex manifolds, we show that for every n the number e_n^#(E -> M) only depends on the complex cobordism type of E. We give a general procedure to construct manifolds fibering as surface bundles in multiple ways, providing infinitely many examples to which our theorems apply. As an application of our results we give a new proof of the rational case of a recent theorem of Giansiracusa--Tillmann that the odd MMM classes e_{2i-1} vanish for any surface bundle which bounds a handlebody bundle. We show how the MMM classes can be seen as obstructions to low-genus fiberings. Finally, we discuss a number of open questions that arise from this work.
Let S be a closed surface of genus g >= 2 and z in S a marked point. We prove that the subgroup of the mapping class group Map(S,z) corresponding to the fundamental group pi_1(S,z) of the closed surface does not lift to the group of diffeomorphisms of S fixing z. As a corollary, we show that the Atiyah-Kodaira surface bundles admit no invariant flat connection, and obtain another proof of Morita's non-lifting theorem.
Let C_n(M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H_i(C_n(M); Q) are representation stable in the sense of [Church-Farb]. Applying this to the trivial representation, we obtain as a corollary that the unordered configuration space B_n(M) satisfies classical homological stability: for each i, H_i(B_n(M); Q) is isomorphic to H_i(B_{n+1}(M); Q) for n > i. This improves on results of McDuff, Segal, and others for open manifolds. Applied to closed manifolds, this provides natural examples where rational homological stability holds even though integral homological stability fails. To prove the main theorem, we introduce the notion of monotonicity for a sequence of S_n--representations, which is of independent interest. Monotonicity provides a new mechanism for proving representation stability using spectral sequences. The key technical point in the main theorem is that certain sequences of induced representations are monotone.
Let I_g,* denote the (pointed) Torelli group. This is the group of homotopy classes of homeomorphisms of the genus g >= 2 surface S_g with a marked point, acting trivially on H := H_1(S_g). In 1983 Johnson constructed a beautiful family of invariants tau_i: H_i(I_g,*) -> /\^{i+2} H for 0 <= i <= 2g-2, using a kind of Abel-Jacobi map for families, in order to detect nontrivial cycles in I_g,*. Johnson proved that tau_1 is an isomorphism rationally, and asked if the same is true for tau_i with i > 1. The goal of this paper is to introduce various methods for computing tau_i; in particular we prove that tau_i is not injective (even rationally) for any 2 <= i < g, and that tau_2 is surjective. For g >= 3, we find enough classes in the image of tau_i to deduce that H_i(I_g,*, Q) is nonzero for each 1 <= i < g, in contrast with mapping class groups. Many of our classes are stable, so we can deduce that H_i(I_infty,1, Q) is infinite-dimensional for each i >= 1. Finally, we conjecture a new kind of "representation-theoretic stability" for the homology of the Torelli group, for which our results provide evidence.
The Magnus representation of the Torelli subgroup of the mapping class group of a surface is a homomorphism r: I_{g,1} -> GL_{2g}(Z[H]). Here H is the first homology group of the surface. This representation is not faithful; in particular, Suzuki previously described precisely when the commutator of two Dehn twists about separating curves is in the kernel of r. Using the trace of the Magnus representation, we apply a new method of showing that two endomorphisms generate a free group to prove that the images of two positive separating multitwists under the Magnus representation either commute or generate a free group, and we characterize when each case occurs.