BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Benson Farb appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let ${\mathcal M}_{g,n}$ denote the moduli space of smooth, genus $g\geq 1$ curves with $n\geq 0$ marked points. Let ${\mathcal A}_h$ denote the moduli space of $h$-dimensional, principally polarized abelian varieties. Let $g\geq 3$ and $h\leq g$. If $F:{\mathcal M}_{g,n}\to{\mathcal A}_h$ is a nonconstant holomorphic map then $h=g$ and $F$ is the classical period mapping, assigning to a Riemann surface $X$ its Jacobian.
The smooth (resp. metric and complex) Nielsen Realization Problem for K3 surfaces $M$ asks: when can a finite group $G$ of mapping classes of $M$ be realized by a finite group of diffeomorphisms (resp. isometries of a Ricci-flat metric, or automorphisms of a complex structure)? We solve the metric and complex versions of Nielsen Realization, and we solve the smooth version almost completely for involutions. Unlike the case of $2$-manifolds, some $G$ are realizable and some are not, and the answer depends on the category of structure preserved. In particular, Dehn twists are not realizable by finite order diffeomorphisms. We introduce a computable invariant $L_G$ that determines in many cases whether $G$ is realizable or not, and apply this invariant to construct an $S_4$ action by isometries of some Ricci-flat metric on $M$ that preserves no complex structure. We also show that the subgroups of ${\rm Diff}(M)$ of a given prime order $p$ which fix pointwise some positive-definite $3$-plane in $H_2(M;\mathbb{R})$ and preserve some complex structure on $M$ form a single conjugacy class in ${\rm Diff}(M)$ (it is known that then $p\in \{2,3,5,7\}$).
We prove that various subgroups of the mapping class group $Mod(Σ)$ of a surface $Σ$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Σ;\mathbb{Z})$.
We develop the theory of resolvent degree, introduced by Brauer \cite{Br} in order to study the complexity of formulas for roots of polynomials and to give a precise formulation of Hilbert's 13th Problem. We extend the context of this theory to enumerative problems in algebraic geometry, and consider it as an intrinsic invariant of a finite group. As one application of this point of view, we prove that Hilbert's 13th Problem, and his Sextic and Octic Conjectures, are equivalent to various enumerative geometry problems, for example problems of finding lines on a smooth cubic surface or bitangents on a smooth planar quartic.
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.
The link between modular functions and algebraic functions was a driving force behind the 19th century study of both. Examples include the solutions by Hermite and Klein of the quintic via elliptic modular functions and the general sextic via level $2$ hyperelliptic functions. This paper aims to apply modern arithmetic techniques to the circle of ``resolvent problems'' formulated and pursued by Klein, Hilbert and others. As one example, we prove that the essential dimension at $p=2$ for the symmetric groups $S_n$ is equal to the essential dimension at $2$ of certain $S_n$-coverings defined using moduli spaces of principally polarized abelian varieties. Our proofs use the deformation theory of abelian varieties in characteristic $p$, specifically Serre-Tate theory, as well as a family of remarkable mod $2$ symplectic $S_n$-representations constructed by Jordan. As shown in an appendix by Nate Harman, the properties we need for such representations exist only in the $p=2$ case. In the second half of this paper we introduce the notion of $\E$-versality as a kind of generalization of Kummer theory, and we prove that many congruence covers are $\E$-versal. We use these $\E$-versality result to deduce the equivalence of Hilbert's 13th Problem (and related conjectures) with problems about congruence covers.
For any discrete, torsion-free subgroup $Γ$ of $\mathrm{Sp}(n,1)$ (resp.\ $\mathrm{F}_4^{-20}$) with no parabolic elements, we prove that $H_{4n-1}(Γ;V)=0$ (resp.\ $H_i(Γ;V)=0$ for $i=13,14,15$) for any $Γ$--module $V$. The main technical advance is a new bound on the $p$--Jacobian of the barycenter map of Besson--Courtois--Gallot. We also apply this estimate to obtain an inequality between the critical exponent and homological dimension of $Γ$, improving on work of M.~Kapovich.
Consider a finite, regular cover $Y\to X$ of finite graphs, with associated deck group $G$. We relate the topology of the cover to the structure of $H_1(Y;\mathbb{C})$ as a $G$-representation. A central object in this study is the {\em primitive homology} group $H_1^{\mathrm{prim}}(Y;\mathbb{C})\subseteq H_1(Y;\mathbb{C})$, which is the span of homology classes represented by components of lifts of primitive elements of $π_1(X)$. This circle of ideas relates combinatorial group theory, surface topology, and representation theory.
The purpose of this erratum is to correct a mistake in the proof of Theorem 4.1 of our paper \cite{CF}.
We contribute to the arithmetic/topology dictionary by relating asymptotic point counts and arithmetic statistics over finite fields to homological stability and representation stability over $\Cb$ in the example of configuration spaces of $n$ points in smooth varieties. To do this, we import the method of homological stability from the realm of topology into the theory of étale cohomology; in particular we give the first examples of stability of étale cohomology groups as Galois representations where the Galois actions are not already explicitly known. We then establish subexponential bounds on the growth of the unstable cohomology, and we apply this and étale homological stability to compute the large $n$ limits of various arithmetic statistics of configuration spaces of varieties over $\F_q$.
Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates $\{\widetilde{F}^d(v): d\in \mathbb{Z}\}\subseteq H_1(Y;\mathbb{Q})$ is infinite. The main achievement of this paper is the use of representation theory to prove the existence of a purely topological object that seems to be inaccessible via topology.
We consider the moduli space $\mathcal{R}_n$ of pairs of monic, degree $n$ polynomials whose resultant equals $1$. We relate the topology of these algebraic varieties to their geometry and arithmetic. In particular, we compute their étale cohomology, the associated eigenvalues of Frobenius, and the cardinality of their set of $\mathbb{F}_q$-points. When $q$ and $n$ are coprime, we show that the étale cohomology of $\mathcal{R}_{n/\bar{\mathbb{F}}_q}$ is pure, and of Tate type if and only if $q\equiv 1$ mod $n$. We also deduce the values of these invariants for the finite field counterparts of the moduli spaces $\mathcal{M}_n$ of $SU(2)$ monopoles of charge $n$ in $\mathbb{R}^3$, and the associated moduli space $X_n$ of strongly centered monopoles. An appendix by Cazanave gives an alternative and elementary computation of the point counts.
In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold - the diagonal coinvariant algebra on r sets of n variables - the cohomology and tautological ring of the moduli space of n-pointed curves - the space of polynomials on rank varieties of n x n matrices - the subalgebra of the cohomology of the genus n Torelli group generated by H^1 and more. The symmetric group S_n acts on each of these vector spaces. In most cases almost nothing is known about the characters of these representations, or even their dimensions. We prove that in each fixed degree the character is given, for n large enough, by a polynomial in the cycle-counting functions that is independent of n. In particular, the dimension is eventually a polynomial in n. In this framework, representation stability (in the sense of Church-Farb) for a sequence of S_n-representations is converted to a finite generation property for a single FI-module.
FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups.
Representation stability is a phenomenon whereby the structure of certain sequences $X_n$ of spaces can be seen to stabilize when viewed through the lens of representation theory. In this paper I describe this phenomenon and sketch a framework, the theory of FI-modules, that explains the mechanism behind it.
We construct a metric simplicial complex which is an almost isometric model of the moduli space M(S) of Riemann surfaces. We then use this model to compute the "tangent cone at infinity" of M(S): it is the topological cone on the quotient of the complex of curves C(S) by the mapping class group of S, endowed with an explicitly described metric. The main ingredient is Minsky's product regions theorem.
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 main result of this paper shows that Torelli buildings of surfaces of genus at least 5 have only obvious automorphisms, and identifies its group of automorphisms. Namely, we prove that for such a surface every automorphism of its Torelli building is induced by a diffeomorphism of the surface. This theorem about automorphisms of Torelli buildings is intended for applications to automorphisms and virtual automorphisms of Torelli groups. The latter results will be presented on some other occasion. All these results were announced in arXiv:math/0311123.
In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of mapping class groups, and of Aut(F_n).
We consider two families X_n of varieties on which the symmetric group S_n acts: the configuration space of n points in C and the space of n linearly independent lines in C^n. Given an irreducible S_n-representation V, one can ask how the multiplicity of V in the cohomology groups H*(X_n;Q) varies with n. We explain how the Grothendieck-Lefschetz Fixed Point Theorem converts a formula for this multiplicity to a formula for the number of polynomials over F_q (or maximal tori in GL_n(F_q), respectively) with specified properties related to V. In particular, we explain how representation stability in cohomology, in the sense of [CF, arXiv:1008.1368] and [CEF, arXiv:1204.4533], corresponds to asymptotic stability of various point counts as n goes to infinity.
We introduce the idea of *representation stability* (and several variations) for a sequence of representations V_n of groups G_n. A central application of the new viewpoint we introduce here is the importation of representation theory into the study of homological stability. This makes it possible to extend classical theorems of homological stability to a much broader variety of examples. Representation stability also provides a framework in which to find and to predict patterns, from classical representation theory (Littlewood--Richardson and Murnaghan rules, stability of Schur functors), to cohomology of groups (pure braid, Torelli and congruence groups), to Lie algebras and their homology, to the (equivariant) cohomology of flag and Schubert varieties, to combinatorics (the (n+1)^(n-1) conjecture). The majority of this paper is devoted to exposing this phenomenon through examples. In doing this we obtain applications, theorems and conjectures. Beyond the discovery of new phenomena, the viewpoint of representation stability can be useful in solving problems outside the theory. In addition to the applications given in this paper, it is applied in [CEF] to counting problems in number theory and finite group theory. Representation stability is also used in [C] to give broad generalizations and new proofs of classical homological stability theorems for configuration spaces on oriented manifolds.
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 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.
Let Mod_g be the mapping class group of a genus g >= 2 surface. The group Mod_g has virtual cohomological dimension 4g-5. In this note we use a theorem of Broaddus and the combinatorics of chord diagrams to prove that H^{4g-5}(Mod_g; Q) = 0.
Let $S$ be a closed, oriented surface with a finite (possibly empty) set of points removed. In this paper we relate two important but disparate topics in the study of the moduli space $\M(S)$ of Riemann surfaces: Teichmüller geometry and the Deligne-Mumford compactification. We reconstruct the Deligne-Mumford compactification (as a metric stratified space) purely from the intrinsic metric geometry of $\M(S)$ endowed with the Teichmüller metric. We do this by first classifying (globally) geodesic rays in $\M(S)$ and determining precisely how pairs of rays asymptote. We construct an "iterated EDM ray space" functor, which is defined on a quite general class of metric spaces. We then prove that this functor applied to $\M(S)$ produces the Deligne-Mumford compactification.
Let $G$ be a higher-rank semisimple Lie group over a nonarchimedean local field, for example $G={\rm PGL}(n,Q_P)$. To any lattice $L$ in $G$ there is an associated simplicial complex $B_L$, given by the quotient by $L$ of the Bruhat-Tits building associated to $G$. In this paper prove that the simplicial structure $B_L$ exhibits some remarkable and extremal symmetry properties, in particular when compared to any other simplicial structure on (any cover of) $B_L$.
Consider the kernel Mag_g of the Magnus representation of the Torelli group and the kernel Bur_n of the Burau representation of the braid group. We prove that for g >= 2 and for n >= 6 the groups Mag_g and Bur_n have infinite rank first homology. As a consequence we conclude that neither group has any finite generating set. The method of proof in each case consists of producing a kind of "Johnson-type" homomorphism to an infinite rank abelian group, and proving the image has infinite rank. For the case of Bur_n, we do this with the assistance of a computer calculation.
The goal of this paper is to present a number of problems about automorphism groups of nonpositively curved polyhedral complexes and their lattices, meant to highlight possible directions for future research.
We bound the value of the Casson invariant of any integral homology 3-sphere $M$ by a constant times the distance-squared to the identity, measured in any word metric on the Torelli group $\T$, of the element of $\T$ associated to any Heegaard splitting of $M$. We construct examples which show this bound is asymptotically sharp.
We develop a theory of convex cocompact subgroups of the mapping class group MCG of a closed, oriented surface S of genus at least 2, in terms of the action on Teichmuller space. Given a subgroup G of MCG defining an extension L_G: 1--> pi_1(S) --> L_G --> G -->1 we prove that if L_G is a word hyperbolic group then G is a convex cocompact subgroup of MCG. When G is free and convex cocompact, called a "Schottky subgroup" of MCG, the converse is true as well; a semidirect product of pi_1(S) by a free group G is therefore word hyperbolic if and only if G is a Schottky subgroup of MCG. The special case when G=Z follows from Thurston's hyperbolization theorem. Schottky subgroups exist in abundance: sufficiently high powers of any independent set of pseudo-Anosov mapping classes freely generate a Schottky subgroup.
This self-contained paper is part of a series \cite{FF2,FF3} on actions by diffeomorphisms of infinite groups on compact manifolds. The two main results presented here are: 1) Any homomorphism of (almost any) mapping class group or automorphism group of a free group into $\Diff_+^r(S^1), r\geq 2$ is trivial. For r=0 Nielsen showed that in many cases nontrivial (even faithful) representations exist. Somewhat weaker results are proven for finite index subgroups. 2) We construct a finitely-presented group of real-analytic diffeomorphisms of $\R$ which is not residually finite.