RESEARCH STATEMENT COREY BREGMAN

Transcription

1 RESEARCH STATEMENT COREY BREGMAN I study geometric group theory, which aims to uncover the relation between algebraic and geometric properties of groups. More specifically, I focus on the geometry of CAT(0) spaces, Culler-Vogtmann outer space, and Kähler groups. The following are some of my ongoing and future research projects. Studying the corank of special groups and the classification of special cube complexes with abelian hyperplanes ( 1). Understanding automorphisms of right-angled Artin groups and the Nielsen realization problem for finite subgroups ( 2). Describing the period mapping on outer space, with a view towards group cohomology ( 3). Classifying Kähler groups that are abelian-by-surface or surface-by-surface extensions ( 4). Special NPC cube complexes. Recently, the geometry of CAT(0) cube complexes featured prominently in Agol s solution [1] of two long-standing conjectures of Thurston in low-dimensional topology: the virtually Haken and virtually fibered conjecture for hyperbolic 3-manifolds. An essential ingredient of Agol s proof is that every hyperbolic 3-manifold group is virtually special, i.e. the fundamental group of a special CAT(0) cube complex. Special groups comprise a large class containing many well-known families, such as free groups F n, free abelian groups Z n, and orientable surface groups. I defined a geometric invariant of special cube complexes called the genus (cf. 1) which generalizes the classical genus of a closed, orientable surface. I then show that having genus one characterizes all X with abelian fundamental group. Automorphisms of right-angled Artin groups (raags). Raags comprise a family of special groups which interpolate between F n and Z n : they are defined by choosing a finite set of generators and specifying which generators commute. Passing to outer automorphism groups, raags give a unified framework for studying the relationship between Out(F n ) and GL(Z n ) = Out(Z n ). Given a raag A, Charney Stambaugh Vogtmann define a contractible simplicial complex on which a subgroup of Out(A) acts geometrically. Using this action, I give a geometric proof that the Torelli subgroup (cf. 2) I(A) Out(A) is torsion-free. The period mapping on outer space CV n. Culler Vogtmann define a space CV n on which Out(F n ) acts properly. CV n consists of metric graphs Γ, together with an identification of π 1 (Γ) with F n. The metric allows one to define a positive definite quadratic form on H 1 (Γ), giving a continuous map Φ from CV n to the space of rank n positive definite quadratic forms. The period mapping Φ is defined by analogy with the classical period map for complex algebraic curves and coincides with the period map in 1-dimensional tropical geometry. Understanding the fibers of Φ is related to computing the cohomology of I(F n ) while understanding the image of Φ is related to the classification of lattices in R n. In joint work with Neil Fullarton, we give a complete geometric description of the fibers of Φ. Kähler groups. Kähler manifolds are complex manifolds together with a compatible symplectic structure. Among the simplest examples of Kähler manifolds are closed Riemann surfaces and 2n-dimensional tori. A group is said to be Kähler if it is realized as the fundamental group of a compact Kähler manifold. Relatively few explicit examples of Kähler groups are known, making the construction of new examples of interest to complex geometers and geometric group theorists alike. One might hope to build new examples of Kähler groups as extensions of known ones. Using 1

2 2 COREY BREGMAN techniques from surface topology, Letao Zhang and I showed that extensions of abelian groups by surface groups are virtually products. 1. Special cube complexes Gromov first introduced nonpositively curved (NPC) cube complexes as a source of easily constructible examples of CAT(0) spaces [21]. Cube complexes are constructed by gluing Euclidean n-cubes [ 1, 1] n together along their faces by isometries. We call a cube complex X non-positively curved (NPC) if its universal cover is CAT(0). A consequence of the CAT(0) condition is that NPC cube complexes are aspherical, and therefore their geometry is intimately connected with their fundamental groups. Special cube complexes were first introduced by Haglund and Wise in [22] as a particular type of cube complex whose hyperplanes exhibit controlled behavior. If G = π 1 (X) for a (compact) special cube complex X then G is called (compact) special. Among their many notable properties compact special groups are known to be: (1) Linear over Z [22], (2) Residually torsion-free nilpotent [22], (3) Either virtually abelian or large [35]. The last of these properties means that a finite index subgroup is either abelian or surjects onto a free group F n with n 2. We define the corank of a group G to be the largest n such that G surjects onto F n. Wise asked whether one could avoid passing to a finite index subgroup: Question 1.1. (Wise [35]) If G is special and non-abelian, is its corank at least 2? To address this question we introduced an invariant of special cube complexes called the genus. Any special cube complex X contains many embedded codimension-1 subcomplexes called hyperplanes. Definition 1.2. (Bregman [10]) The genus g(x) is the maximal number of disjoint hyperplanes whose union does not disconnect X. If G is a special group, then define g(g) := sup {g(x) π 1 (X) = G, X special}. If g(x) = n, then the corank of π 1 (X) is at least n. Using the genus, we give a strong geometric answer to Question 1.1: Theorem 1.3. (Bregman [10]) Let X be a special cube complex. Then (1) g(x) = 0 if and only if X is CAT(0). (2) g(x) = 1 if and only if π 1 (X) is abelian. Moreover, if π 1 (X) is abelian, then X admits a cube complex collapse onto a cubulated torus. In particular, if π 1 (X) is not abelian, then the corank of π 1 (X) must be at least 2. Our theorem is stronger than Wise s question in the following sense. If π 1 (X) is not abelian, then there exists a map of cube complexes from X onto a wedge of two circles representing the surjection π 1 (X) F 2. Theorem 1.3 implies that if G is non-abelian with first Betti number b 1 (G) < 2, then G is not special. In particular, it follows from our theorem that there exist many fibered hyperbolic 3-manifold groups which are not special, but which are virtually special by Agol s theorem [1]. We also show that for surface groups, our notion of genus agrees with the classical definition. For free groups, free abelian groups, and surface groups, we show in [10] that the genus always equals the corank, and it is natural to wonder whether this is always the case. In future work we will calculate the genus of other families of special groups, such as right-angled Artin groups (cf. 2). Research Proposal. Wise [35] showed that special groups admit a quasiconvex hierarchy, i.e. they can be built from the trivial group by iterated amalgamation and HNN-extension along quasiconvex subgroups. Free groups, free abelian groups, and surface groups each have hierarchies where every quasiconvex subgroup is abelian.

3 RESEARCH STATEMENT 3 Conjecture 1.4. (Wise, Conjecture [35] ) Every group with an abelian quasiconvex hierarchy is either abelian, or a free-by-abelian or surface-by-abelian extension. Using the structure of genus 1 special cube complexes we developed, we propose to show that every special group with an abelian quasiconvex hierarchy is actually a free product of free abelian and surface groups. By a theorem of Rips (cf. [9]), this would imply that special groups with an abelian quasiconvex hierarchy are exactly the groups which admit free actions on R-trees. 2. Automorphisms of right-angled Artin groups Given a group G, its outer automorphism group Out(G) is defined as Aut(G)/Inn(G), where Inn(G) is the group of inner automorphisms induced by conjugation. The abelianization map G G ab induces a map Ψ : Out(G) Out(G ab ). We define the Torelli subgroup to be I(G) := ker Ψ. If Γ = (V, E) is a finite simplicial graph, the associated right-angled Artin group (raag) A Γ is the group with presentation A Γ = V [v, w], if v, w V share an edge in Γ. Raags are the prototypical examples of special groups, and conversely, Haglund and Wise [22] showed that every special group embeds in some raag. When Γ has no edges, then A Γ is free, whereas if Γ is a complete graph, A Γ is free abelian. Because of this, raags are said to interpolate between F n and Z n. Pushing this analogy further, we study how well the outer automorphism group Out(A Γ ) interpolates between Out(F n ) and Out(Z n ) = GL n (Z). Outer space and Nielsen realization. Recently, Charney Stambaugh Vogtmann [16] introduced a contractible, finite dimensional simplicial complex K Γ on which a subgroup U(A Γ ) Out(A Γ ) acts geometrically. K Γ is useful for understanding the group structure Out(A Γ ). As an example, let I(A Γ ) denote the Torelli subgroup for A Γ. From results of Day [18] one knows that I(A Γ ) U(A Γ ). In [10], we used the action of I(A Γ ) on K Γ to give a geometric proof of Theorem 2.1. I(A Γ ) is torsion-free for all Γ. This theorem is due to Baumslag Taylor [7] when A Γ is free and Wade [34] and Toinet [32] in the general case. However, all three proofs are algebraic in nature, while ours makes use of the space K Γ and the geometry of cube complexes. Points in K Γ parametrize NPC cube complexes with fundamental group A Γ called blow-ups of Salvetti complexes. If φ U(A Γ ) has prime order, then standard group cohomology implies that φ K Γ has a fixed point. This fixed point corresponds to a blow-up together with an automorphism f realizing the automorphism φ. We then prove Theorem 2.2. (Bregman [10]) Let X be a blow-up of a Salvetti complex. Then any non-identity automorphism of X acts non-trivially on H 1 (X). The argument above is a special case of the Nielsen realization problem. In its strongest form, the Nielsen realization problem for Out(A Γ ) asks Problem 2.3. For each raag A Γ, produce a finite dimensional, contractible space X Γ satisfying (1) The points of X Γ parametrize NPC cube complexes with fundamental group A Γ. (2) Out(A Γ ) acts on X Γ properly discontinuously. (3) The fixed set of any finite subgroup H Out(A Γ ) is non-empty and contractible. Culler [17], Khramtsov [25], and Zimmermann [36] independently showed that every finite subgroup of Out(F n ) can be realized as an automorphism group of a marked graph, which, together with work of Krstić Vogtmann [29] implies the solution of Problem 2.3 when A Γ is a free group. For general raags, Hensel and Kielak [23] show that given a finite subgroup H U(A Γ ), there exists some cube complex X with π 1 (X) = A Γ whose automorphism group realizes H, but it is not clear whether these cube complexes can be parametrized as an X Γ. Such an X Γ would be a

4 4 COREY BREGMAN classifying space for proper actions, also known as an EG. The existence of such a space is also related to the Baum Connes Conjecture for Out(A Γ ) [6]. Research Proposal. We propose to construct an X Γ extending the K Γ of Charney Stambaugh Vogtmann. It may be necessary to consider general NPC polyhedral complexes instead of just NPC cube complexes. As a first step, we will use our understanding of automorphisms of blow-ups to resolve Problem 2.3 in the restricted case where U(A Γ ) = Out(A Γ ), since in this case taking X Γ = K Γ already satisfies (1) and (2) of Problem 2.3. Abstract commensurators. One measure of the internal symmetries of a group is its outer automorphism group. A classical result of Hua Reiner [24] from number theory states that the outer automorphism group Out(GL n (Z)) is Z/2 or Z/2 Z/2 for all n. On the other hand, Khramtsov [26] and Bridson Vogtmann [15] showed that Out(Aut(F n )) and Out(Out(F n )) are each trivial, for n 3. In contrast, Fullarton and I showed that general raags exhibit starkly different behavior. Theorem 2.4. (Bregman-Fullarton [11]) For each n 2, there exists an infinite family of graphs {Γ i } such that Out(Out(A Γi )) contains PGL n (Z). A stronger measure of the symmetry of a group is its abstract commensurator, denoted Comm(G). This group is defined as the group of equivalence classes of isomorphisms between finite index subgroups of G. The abstract commensurators of GL n (Z) and Out(F n ) have already been calculated: Comm(GL n (Z)) = GL n (Q). Comm(Out(F n )) = Out(F n ), for n 4 (Farb Handel [20]). For the examples Γ i in Theorem 2.4, we calculate that Comm(Out(Γ i )) is virtually a product of linear groups over Q, as in the case of GL n (Z). Research Proposal. Calculate the abstract commensurators of Out(A Γ ) for general raags A Γ. In particular, an example of a raag with Out(A Γ ) virtually free would provide an example with a large abstract commensurator which are distinct from the GL n (Q) examples. 3. The period mapping on outer space Let Q n be the space of rank n, positive definite quadratic forms. Given a marked, metric graph Γ one can define a positive definite quadratic form q Γ on H 1 (Γ), and the association Γ q Γ defines a continuous map Φ : CV n Q n called the period mapping. The period mapping Φ is a free group analog of the classical Abel Jacobi map for closed Riemann surfaces. It has applications to classification of lattices Z n R n [33], and more recently, 1-dimensional Tropical geometry [30], [31]. The classical Abel Jacobi map on Teichmüller space associates to each marked Riemann surface its matrix of periods in the Siegel upper half plane. The map factors through Torelli space, and the induced map is a 2:1 branched cover, branched along the hyperelliptic locus. It is natural to wonder whether the analogous description holds for free groups. Let I(F n ) Out(F n ) denote the Torelli subgroup. There is an exact sequence 1 I(F n ) Out(F n ) GL n (Z) 1. The map Φ factors through the quotient T n := CV n /I(F n ). A graph Γ is hyperelliptic if it admits an involution acting as I on H 1 (Γ). Denote the set of hyperelliptic graphs in T n by H n. Question 3.1. Describe the fibers of the period mapping on T n. Is it a branched cover along H n? Building on work of Baker [5], who computed the case n = 3, Fullarton and I showed that the period mapping is not in general a branched cover along H n. However, the fibers on T n do possess some nice properties and we are able to describe them explicitly for all n:

5 RESEARCH STATEMENT 5 Theorem 3.2. (Bregman Fullarton [12]) Connected components of fibers of the period mapping on T n are aspherical and π 1 -injective, with fundamental group lying in the pure symmetric automorphism group. Here, the pure symmetric automorphism group is the subgroup which takes each generator of F n to a conjugate of itself. T n is an Eilenberg-Maclane space for I(F n ), which is torsion-free and has cohomological dimension 2n 4. Bestvina Bux Margalit [8] showed that H 2n 4 (I(F n )) is infinitely generated. In particular, when n = 3, this implies that I(F n ) is not finitely presented. For n > 3, whether I(F n ) is finitely presented is a major open problem. When k = 2, work of Day Putman [19] shows that H k (I(F n )) is finitely generated as a GL n (Z)-module, but for k 3, this is still open. Research Proposal. In continuing work with Neil Fullarton, we propose to use our understanding of the fibers of the period mapping to find non-trivial homology classes in H k (I(F n )) = H k (T n ). In particular, does the homology of a fiber inject into the homology of T n? For k 3, is H k (T n ) finitely generated as a GL n (Z)-module? Focusing on hyperelliptic graphs, we also gave a presentation for the centralizer HOut(F n ) of the hyperelliptic involution. Since I(F n ) is torsion-free, the fundamental group of H n is just ST (n) := HOut(F n ) I(F n ). This group is not very well understood, even in the surface case. Research Proposal. Is ST (n) finitely generated/presented? The case n = 3 provides an interesting and tractable starting point for two reasons. The first is that we can show H 3 deformation retracts onto a 2-complex in T 3. The second is the fact that Krstic McCool [28] have shown that I(F 3 ) is not finitely presented. It seems likely that a careful understanding of the spine of H 3, possibly using PL-Morse theory techniques will allow us to compute ST (3). 4. Kähler groups As we stated in the introduction, relatively few examples of Kähler groups are known. One might hope to build new examples of Kähler groups as extensions of known ones. Surface groups and even rank finitely generated abelian groups are Kähler, hence we are led to consider the following types of extensions. Let E be a finitely generated group, and suppose E fits into a short exact sequence (1) 1 S g E A 1, where S g is the fundamental group of a closed surface of genus g 2, and A is abelian. Question 4.1. Under what conditions is E a Kähler group? Note that any such E is determined by a homomorphism A Mod ± g, where Mod ± g is the (unoriented) mapping class group of genus g. Thus, understanding possible extensions is the same as understanding abelian subgroups of Mod ± g. Since the product of a Riemann surface Σ g and an even dimensional torus T 2n is Kähler, we see that E = π 1 (Σ g T 2n ) = S g Z 2n is Kähler. In forthcoming joint work with Letao Zhang we prove this is essentially the only possibility Theorem 4.2. (Bregman-Zhang [13]) Let E as in short exact sequence (1) be Kähler. Then there exists E E of finite-index such that E = S g Z 2n. Conversely, if A is finitely generated abelian and has even rank, any homomorphism ρ : A Mod g with finite image gives a Kähler extension. A Kähler group is fibered if it admits a surjection onto a surface group S h with h 2. The reason for this terminology comes from a result of Catanese (cf. [2]) which states that if X is compact Kähler, then X admits a holomorphic surjection onto a Riemann surface of genus h h with connected fibers if and only if π 1 (X) surjects onto S h. If one replaces A in sequence (1) with S h for h 2, one can ask what possible fibered Kähler groups can occur. Examples of complex surfaces due to Kodaira [27] and Atiyah [4] demonstrate that E need not be a virtual product, and

6 6 COREY BREGMAN in this case the surface will be of general type. Research Proposal. In joint work with Letao Zhang, we propose to study extensions of S h by S g where g, h 2. We would like a description of the possible monodromies of such actions. This would extend the program initiated by Arapura [3] for projective and quasi-projective varieties to all compact Kähler groups. Understanding surface group extensions is a first step towards classifying fibered Kähler groups and understanding complex projective surfaces of general type. References [1] Ian Agol. The virtual Haken conjecture. Doc. Math., 18: , With an appendix by Agol, Daniel Groves, and Jason Manning. [2] Jaume Amorós, Marc Burger, Kevin Corlette, Dieter Kotschick, and Domingo Toledo. Fundamental groups of compact Kähler manifolds, volume 44 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, [3] Donu Arapura. Toward the structure of fibered fundamental groups of projective algebraic varieties. Preprint: [4] Michael F. Atiyah. The signature of fibre-bundles. In Global Analysis (Papers in Honor of K. Kodaira), pages Univ. Tokyo Press, Tokyo, [5] Owen Baker. The Jacobian map on Outer space. PhD thesis, Cornell University, [6] Paul Baum, Alain Connes, and Nigel Higson. Classifying space for proper actions and K-theory of group C - algebras. In C -algebras: (San Antonio, TX, 1993), volume 167 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, [7] Gilbert Baumslag and Tekla Taylor. The centre of groups with one defining relator. Math. Ann., 175: , [8] Mladen Bestvina, Kai-Uwe Bux, and Dan Margalit. Dimension of the Torelli group for Out(F n). Invent. Math., 170(1):1 32, [9] Mladen Bestvina and Mark Feighn. Stable actions of groups on real trees. Invent. Math., 121(2): , [10] Corey Bregman. Automorphisms and homology of non-positively curved cube complexes. Preprint: [11] Corey Bregman and Neil J. Fullarton. Infinite groups acting faithfully on the outer automorphism group of a right-angled artin group. To appear in Mich. Math. Journal Preprint: [12] Corey Bregman and Neil J. Fullarton. Hyperelliptic graphs and the period mapping on outer space. Preprint: [13] Corey Bregman and Letao Zhang. On Kähler extensions of abelian groups. In preparation: cjb5/, [14] Tara Brendle, Dan Margalit, and Andrew Putman. Generators for the hyperelliptic Torelli group and the kernel of the Burau representation at t = 1. Invent. Math., 200(1): , [15] Martin R. Bridson and Karen Vogtmann. Automorphisms of automorphism groups of free groups. J. Algebra, 229(2): , [16] Ruth Charney, Nathaniel Stambaugh, and Karen Vogtmann. Outer space for untwisted automorphisms of rightangled Artin groups. Preprint: [17] Marc Culler. Finite groups of outer automorphisms of a free group. In Contributions to group theory, volume 33 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, [18] Matthew B. Day. Peak reduction and finite presentations for automorphism groups of right-angled Artin groups. Geom. Topol., 13(2): , [19] Matthew B. Day and Andrew Putman. On the second homology group of the Torelli subgroup of Aut(F n). Preprint: [20] Benson Farb and Michael Handel. Commensurations of Out(F n). Publ. Math. Inst. Hautes Études Sci., (105):1 48, [21] Mikhail Gromov. Hyperbolic groups. In Essays in group theory, volume 8 of Math. Sci. Res. Inst. Publ., pages Springer, New York, [22] Frédéric Haglund and Daniel T. Wise. Special cube complexes. Geom. Funct. Anal., 17(5): , [23] Sebastian Hensel and Dawid Kielak. Nielsen realisation for untwisted automorphisms of right-angled Artin groups. Preprint: [24] L. K. Hua and I. Reiner. Automorphisms of the unimodular group. Trans. Amer. Math. Soc., 71: , [25] Dmitrii. G. Khramtsov. Finite groups of automorphisms of free groups. Mat. Zametki, 38(3): , 476, 1985.

7 RESEARCH STATEMENT 7 [26] Dmitrii G. Khramtsov. Completeness of groups of outer automorphisms of free groups. In Group-theoretic investigations (Russian), pages Akad. Nauk SSSR Ural. Otdel., Sverdlovsk, [27] Kunihiko Kodaira. A certain type of irregular algebraic surfaces. J. Analyse Math., 19: , [28] Sava Krstić and James McCool. The non-finite presentability of IA(F 3) and GL 2(Z[t, t 1 ]). Invent. Math., 129(3): , [29] Sava Krstić and Karen Vogtmann. Equivariant outer space and automorphisms of free-by-finite groups. Comment. Math. Helv., 68(2): , [30] Grigory Mikhalkin. Tropical geometry and its applications. In International Congress of Mathematicians. Vol. II, pages Eur. Math. Soc., Zürich, [31] Grigory Mikhalkin and Ilia Zharkov. Tropical curves, their Jacobians and theta functions. In Curves and abelian varieties, volume 465 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, [32] Emmanuel Toinet. Conjugacy p-separability of right-angled Artin groups and applications. Groups Geom. Dyn., 7(3): , [33] Frank Vallentin. Sphere Covering, Lattices, and Tilings (in Low Dimensions). Dissertation, Technische Universität München, München, [34] Richard D. Wade. Johnson homomorphisms and actions of higher-rank lattices on right-angled Artin groups. J. Lond. Math. Soc. (2), 88(3): , [35] Daniel T. Wise. The structure of groups with a quasiconvex hierarchy. Preprint: [36] Bruno Zimmermann. Über Homöomorphismen n-dimensionaler Henkelkörper und endliche Erweiterungen von Schottky-Gruppen. Comment. Math. Helv., 56(3): , Department of Mathematics, Rice University, 6100 Main Street, Houston, TX 77005, U.S.A. address: Corey.J.Bregman@rice.edu