Showing 1–20 of 20 results for author: Ramras, D A

Variations on the nerve theorem

Authors: Daniel A. Ramras

Abstract: Given a locally finite cover of a simplicial complex by subcomplexes, Björner's version of the Nerve Theorem provides conditions under which the homotopy groups of the nerve agree with those of the original complex through a range of dimensions. We extend this result to covers of CW complexes by subcomplexes and to open covers of arbitrary topological spaces, without local finiteness restrictions.… ▽ More Given a locally finite cover of a simplicial complex by subcomplexes, Björner's version of the Nerve Theorem provides conditions under which the homotopy groups of the nerve agree with those of the original complex through a range of dimensions. We extend this result to covers of CW complexes by subcomplexes and to open covers of arbitrary topological spaces, without local finiteness restrictions. Moreover, we show that under somewhat weaker hypotheses, the same conclusion holds when one utilizes the completed nerve introduced by Fernández-Minian. Additionally, we prove homological versions of these results, extending work of Mirzaii and van der Kallen in the simplicial setting. Our main tool is the Čech complex associated to a cover, as analyzed in work of Dugger and Isaksen. As applications, we prove a generalized crosscut theorem for posets and some variations on Quillen's Poset Fiber Theorem. △ Less

Submitted 8 May, 2023; originally announced May 2023.

Comments: 33 pages, 1 figure

MSC Class: 55P10; 55U10 (primary); 06A06 (secondary)

Commutative cocycles and stable bundles over surfaces

Authors: Daniel A. Ramras, Bernardo Villarreal

Abstract: Commutative K-theory, a cohomology theory built from spaces of commuting matrices, has been explored in recent work of Adem, Gómez, Gritschacher, Lind, and Tillman. In this article, we use unstable methods to construct explicit representatives for the real commutative K-theory classes on surfaces. These classes arise from commutative O(2)-valued cocycles, and are analyzed via the point-wise invers… ▽ More Commutative K-theory, a cohomology theory built from spaces of commuting matrices, has been explored in recent work of Adem, Gómez, Gritschacher, Lind, and Tillman. In this article, we use unstable methods to construct explicit representatives for the real commutative K-theory classes on surfaces. These classes arise from commutative O(2)-valued cocycles, and are analyzed via the point-wise inversion operation on commutative cocycles. △ Less

Submitted 1 June, 2019; v1 submitted 10 July, 2018; originally announced July 2018.

Comments: 26 pages. Minor revisions. This version has been accepted for publication in Forum Math

MSC Class: 55N15 (Primary); 55R35 (Secondary)

The homotopy groups of a homotopy group completion

Authors: Daniel A. Ramras

Abstract: Let $M$ be a topological monoid with homotopy group completion $ΩBM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $π_k (ΩBM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its submonoid of nullhomotopic maps. We give two applications. First, this result gives a concrete description of the Lawson homology of a complex projective variety in terms of… ▽ More Let $M$ be a topological monoid with homotopy group completion $ΩBM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $π_k (ΩBM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its submonoid of nullhomotopic maps. We give two applications. First, this result gives a concrete description of the Lawson homology of a complex projective variety in terms of point-wise addition of spherical families of effective algebraic cycles. Second, we apply this result to monoids built from the unitary, or general linear, representation spaces of discrete groups, leading to results about lifting continuous families of characters to continuous families of representations. △ Less

Submitted 30 December, 2018; v1 submitted 7 July, 2018; originally announced July 2018.

Comments: 40 pages. The results in this paper replace Section 2-4 of arXiv:1607.06430. v2: Various small corrections and clarifications. Accepted for publication in Israel J. Math. (v2 contains two appendices that will not appear in the journal version)

MSC Class: 55R35 (primary); 14D20; 14F43 (secondary)

Homological stability for spaces of commuting elements in Lie groups

Authors: Daniel A. Ramras, Mentor Stafa

Abstract: In this paper we study homological stability for spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of pairwise commuting $n$-tuples in a Lie group $G$. We prove that for each $n\geqslant 1$, these spaces satisfy rational homological stability as $G$ ranges through any of the classical sequences of compact, connected Lie groups, or their complexifications. We prove similar results for rational equivariant homolog… ▽ More In this paper we study homological stability for spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of pairwise commuting $n$-tuples in a Lie group $G$. We prove that for each $n\geqslant 1$, these spaces satisfy rational homological stability as $G$ ranges through any of the classical sequences of compact, connected Lie groups, or their complexifications. We prove similar results for rational equivariant homology, for character varieties, and for the infinite-dimensional analogues of these spaces, ${\rm Comm}(G)$ and ${\rm B_{com}} G$, introduced by Cohen-Stafa and Adem-Cohen-Torres-Giese respectively. In addition, we show that the rational homology of the space of unordered commuting $n$-tuples in a fixed group $G$ stabilizes as $n$ increases. Our proofs use the theory of representation stability - in particular, the theory of ${\rm FI}_W$-modules developed by Church-Ellenberg-Farb and Wilson. In all of the these results, we obtain specific bounds on the stable range, and we show that the homology isomorphisms are induced by maps of spaces. △ Less

Submitted 28 April, 2020; v1 submitted 3 May, 2018; originally announced May 2018.

Comments: 56 pages, accepted version

MSC Class: 57T10; 20C30 (Primary); 57T15; 57T35; 55N91 (Secondary)

Journal ref: Int. Math. Res. Not. IMRN 2021, no. 5, 3927-4002

Hilbert-Poincare series for spaces of commuting elements in Lie groups

Authors: Daniel A. Ramras, Mentor Stafa

Abstract: In this article we study the homology of spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of ordered pairwise commuting $n$-tuples in a Lie group $G$. We give an explicit formula for the Poincare series of these spaces in terms of invariants of the Weyl group of $G$. By work of Bergeron and Silberman, our results also apply to ${\rm Hom}(F_n/Γ_n^m,G)$, where the subgroups $Γ_n^m$ are the terms in the descending… ▽ More In this article we study the homology of spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of ordered pairwise commuting $n$-tuples in a Lie group $G$. We give an explicit formula for the Poincare series of these spaces in terms of invariants of the Weyl group of $G$. By work of Bergeron and Silberman, our results also apply to ${\rm Hom}(F_n/Γ_n^m,G)$, where the subgroups $Γ_n^m$ are the terms in the descending central series of the free group $F_n$. Finally, we show that there is a stable equivalence between the space ${\rm Comm}(G)$ studied by Cohen-Stafa and its nilpotent analogues. △ Less

Submitted 25 July, 2018; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 20 pages, journal version

MSC Class: 22E99; 55N10 (Primary); 20F55; 57T10 (Secondary)

Journal ref: Math. Z. (2019) 292: 591

The topological Atiyah-Segal map

Authors: Daniel A. Ramras

Abstract: Associated to each finite dimensional linear representation of a group G, there is a vector bundle over the classifying space BG. This construction was studied extensively for compact groups by Atiyah and Segal. We introduce a homotopy theoretical framework for studying the Atiyah-Segal construction in the context of infinite discrete groups, taking into account the topology of representation spac… ▽ More Associated to each finite dimensional linear representation of a group G, there is a vector bundle over the classifying space BG. This construction was studied extensively for compact groups by Atiyah and Segal. We introduce a homotopy theoretical framework for studying the Atiyah-Segal construction in the context of infinite discrete groups, taking into account the topology of representation spaces. We explain how this framework relates to the Novikov conjecture, and we consider applications to spaces of flat connections on the over the 3-dimensional Heisenberg manifold and families of flat bundles over classifying spaces of groups satisfying Kazhdan's property (T). △ Less

Submitted 8 May, 2023; v1 submitted 21 July, 2016; originally announced July 2016.

Comments: 31 pages. Section 2 from Version 1 was moved into the article arXiv:1807.02613. Version 2 contains some further results on spaces of flat connections (Section 7.4), and has been accepted for publication in a forthcoming volume of Contemporary Mathematics

MSC Class: 55R37; 53C05 (primary); 55P43; 55R50 (secondary)

Orbit categories, classifying spaces, and generalized homotopy fixed points

Authors: Daniel A. Ramras

Abstract: We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups. We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups. △ Less

Submitted 8 May, 2018; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 10 pages. Version 4: various improvements to the exposition based on comments from the referee and editor

MSC Class: Primary 55R35; Secondary 18F25

Journal ref: J. Homotopy Relat. Struct. (2018) 13:237-249

The prequantum line bundle on the moduli space of flat $SU(N)$ connections on a Riemann surface and the homotopy of the large $N$ limit

Authors: Lisa C. Jeffrey, Daniel A. Ramras, Jonathan Weitsman

Abstract: We show that the prequantum line bundle on the moduli space of flat $SU(2)$ connections on a closed Riemann surface of positive genus has degree 1. It then follows from work of Lawton and the second author that the classifying map for this line bundle induces a homotopy equivalence between the stable moduli space of flat $SU(N)$ connections, in the limit as $N$ tends to infinity, and… ▽ More We show that the prequantum line bundle on the moduli space of flat $SU(2)$ connections on a closed Riemann surface of positive genus has degree 1. It then follows from work of Lawton and the second author that the classifying map for this line bundle induces a homotopy equivalence between the stable moduli space of flat $SU(N)$ connections, in the limit as $N$ tends to infinity, and $\mathbb{C}P^\infty$. Applications to the stable moduli space of flat unitary connections are also discussed. △ Less

Submitted 8 May, 2018; v1 submitted 16 November, 2014; originally announced November 2014.

Comments: 7 pages. Version 3 contains various minor revisions

MSC Class: 53D30; 58D27; 57R20

Journal ref: Lett. Math. Phys. 107 (2017), no. 9, 1581-1589

Extending Properties to Relatively Hyperbolic Groups

Authors: Daniel A. Ramras, Bobby W. Ramsey

Abstract: Consider a finitely generated group $G$ that is relatively hyperbolic with respect to a family of subgroups $H_1, ..., H_n$. We present an axiomatic approach to the problem of extending metric properties from the subgroups $H_i$ to the full group $G$. We use this to show that both (weak) finite decomposition complexity and straight finite decomposition complexity are extendable properties. We also… ▽ More Consider a finitely generated group $G$ that is relatively hyperbolic with respect to a family of subgroups $H_1, ..., H_n$. We present an axiomatic approach to the problem of extending metric properties from the subgroups $H_i$ to the full group $G$. We use this to show that both (weak) finite decomposition complexity and straight finite decomposition complexity are extendable properties. We also discuss the equivalence of two notions of straight finite decomposition complexity. △ Less

Submitted 10 August, 2016; v1 submitted 30 September, 2014; originally announced October 2014.

Comments: 11 pages

MSC Class: 20F67 (Primary); 19D50; 53C23; 20F69 (Secondary)

Journal ref: Kyoto J. Math. 59, no. 2 (2019), 343-356

Smoothing maps into algebraic sets and spaces of flat connections

Authors: Thomas Baird, Daniel A. Ramras

Abstract: Let X be a real algebraic subset of R^n and M a smooth, closed manifold. We show that all continuous maps from M to X are homotopic (in X) to C^\infty maps. We apply this result to study characteristic classes of vector bundles associated to continuous families of complex group representations, and we establish lower bounds on the ranks of the homotopy groups of spaces of flat connections over asp… ▽ More Let X be a real algebraic subset of R^n and M a smooth, closed manifold. We show that all continuous maps from M to X are homotopic (in X) to C^\infty maps. We apply this result to study characteristic classes of vector bundles associated to continuous families of complex group representations, and we establish lower bounds on the ranks of the homotopy groups of spaces of flat connections over aspherical manifolds. △ Less

Submitted 11 October, 2014; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: 15 pages. To appear in Geometriae Dedicata. Changes in v4: Removed material on the topological Atiyah-Segal map, which will appear in a separate article. Various other small changes to the exposition

MSC Class: 14P05; 53C05 (primary); 57R20; 55R37 (secondary)

Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory

Authors: Daniel A. Ramras, Romain Tessera, Guoliang Yu

Abstract: Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of… ▽ More Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of the K-theoretic assembly map, for groups with finite decomposition complexity and finite CW models for their classifying spaces. By work of Guentner, Tessera, and Yu, this includes all (geometrically finite) linear groups. △ Less

Submitted 8 May, 2018; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: 57 pages. Version 5 contains an Addendum (to appear in Crelle) filling in a missing step in the proof of Proposition 6.11

MSC Class: 19D50 (Primary) 19G24; 20F69 (Secondary)

Journal ref: J. Reine Angew. Math. 694 (2014), 129-178

Periodicity in the stable representation theory of crystallographic groups

Authors: Daniel A. Ramras

Abstract: Deformation K-theory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2-periodic above the rational cohomological dimension of G (minus 2), in the sense that T. Lawson's Bott map is an isomorphism on homotopy in these dimensions. We establish a periodicity theorem for crystallographic subgro… ▽ More Deformation K-theory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2-periodic above the rational cohomological dimension of G (minus 2), in the sense that T. Lawson's Bott map is an isomorphism on homotopy in these dimensions. We establish a periodicity theorem for crystallographic subgroups of the isometries of k-dimensional Euclidean space. For a certain subclass of torsion-free crystallographic groups, we prove a vanishing result for the homotopy groups of the stable moduli space of representations, and we provide examples relating these homotopy groups to the cohomology of G. These results are established as corollaries of the fact that for each n > 0, the one-point compactification of the moduli space of irreducible n-dimensional representations of G is a CW complex of dimension at most k. This is proven using real algebraic geometry and projective representation theory. △ Less

Submitted 8 May, 2018; v1 submitted 2 July, 2010; originally announced July 2010.

Comments: 32 pages. Changes in v3: minor referee-suggested revisions. Changes in v2: changed title; improved computational results in the final section; various referee-suggested revisions

MSC Class: 19E20 20H15 (Primary) 14P10 19L41 20C15 20C25 (Secondary)

Journal ref: Forum Math. 26 (2014), no. 1, 177-219

Invariant tubular neighborhoods in infinite-dimensional Riemannian geometry, with applications to Yang-Mills theory

Authors: Daniel A. Ramras

Abstract: We present a new construction of tubular neighborhoods in (possibly infinite dimensional) Riemannian manifolds M, which allows us to show that if G is an arbitrary group acting isometrically on M, then every G-invariant submanifold with locally trivial normal bundle has a G-invariant total tubular neighborhood. We apply this result to the Morse strata of the Yang-Mills functional over a closed sur… ▽ More We present a new construction of tubular neighborhoods in (possibly infinite dimensional) Riemannian manifolds M, which allows us to show that if G is an arbitrary group acting isometrically on M, then every G-invariant submanifold with locally trivial normal bundle has a G-invariant total tubular neighborhood. We apply this result to the Morse strata of the Yang-Mills functional over a closed surface. The resulting neighborhoods play an important role in calculations of gauge-equivariant cohomology for moduli spaces of flat connections over non-orientable surfaces. △ Less

Submitted 8 May, 2018; v1 submitted 1 June, 2010; originally announced June 2010.

Comments: 10 pages. This article replaces Section 3 of arXiv:math/0805.2587, and fills a gap therein (regarding the application to Yang-Mills theory)

MSC Class: 58B20; 53C07; 58D27

Journal ref: Arch. Math. (Basel) 96 (2011) no. 6, 589-599

Orientability in Yang-Mills Theory over Nonorientable Surfaces

Authors: Nan-Kuo Ho, Chiu-Chu Melissa Liu, Daniel A. Ramras

Abstract: In arXiv:math/0605587, the first two authors have constructed a gauge-equivariant Morse stratification on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface. This space can be identified with the real locus of the space of connections on the pullback of this bundle over the orientable double cover of this nonorientable surface. In this context, th… ▽ More In arXiv:math/0605587, the first two authors have constructed a gauge-equivariant Morse stratification on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface. This space can be identified with the real locus of the space of connections on the pullback of this bundle over the orientable double cover of this nonorientable surface. In this context, the normal bundles to the Morse strata are real vector bundles. We show that these bundles, and their associated homotopy orbit bundles, are orientable for any n when the nonorientable surface is not homeomorphic to the Klein bottle, and for n<4 when the nonorientable surface is the Klein bottle. We also derive similar orientability results when the structure group is SU(n). △ Less

Submitted 16 January, 2010; v1 submitted 27 October, 2008; originally announced October 2008.

Comments: 49 pages, 3 figures

MSC Class: 53D30; 53C07

Journal ref: Comm. Anal. Geom. 17 (2009), no. 5, 903--953

The stable moduli space of flat connections over a surface

Authors: Daniel A. Ramras

Abstract: We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the homotopy type of the infinite symmetric product of M^g, generalizing a well-known fact for the torus. Over a non-orientable surface, we show that this space is ho… ▽ More We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the homotopy type of the infinite symmetric product of M^g, generalizing a well-known fact for the torus. Over a non-orientable surface, we show that this space is homotopy equivalent to a disjoint union of two tori, whose common dimension corresponds to the rank of the first (co)homology group of the surface. Similar calculations are provided for products of surfaces, and show a close analogy with the Quillen-Lichtenbaum conjectures in algebraic K-theory. The proofs utilize Tyler Lawson's work in deformation K-theory, and rely heavily on Yang-Mills theory and gauge theory. △ Less

Submitted 8 May, 2018; v1 submitted 9 October, 2008; originally announced October 2008.

Comments: 40 pages. V2: Expanded Section 5.2; updated references; various minor revisions. Submitted version. V3: various proofs simplified, esp. in Sections 3, 5.2, and 6. This version includes many revisions based on a referee's comments, especially in Section 6. V4: proof of Lemma 5.7 corrected, other minor revisions

MSC Class: 58D27; 55N15; 55R37; 55P43

Journal ref: Trans. Amer. Math. Soc. 363 (2011), no. 1, 1061-1100

The Yang-Mills stratification for surfaces revisited

Authors: Daniel A. Ramras

Abstract: We revisit Atiyah and Bott's study of Morse theory for the Yang-Mills functional over a Riemann surface, and establish new formulas for the minimum codimension of a (non-semi-stable) stratum. These results yield the exact connectivity of the natural map (C_{min} E)//G(E) --> Map^E (M, BU(n)) from the homotopy orbits of the space of central Yang-Mills connections to the classifying space of the gau… ▽ More We revisit Atiyah and Bott's study of Morse theory for the Yang-Mills functional over a Riemann surface, and establish new formulas for the minimum codimension of a (non-semi-stable) stratum. These results yield the exact connectivity of the natural map (C_{min} E)//G(E) --> Map^E (M, BU(n)) from the homotopy orbits of the space of central Yang-Mills connections to the classifying space of the gauge group G(E). All of these results carry over to non-orientable surfaces via Ho and Liu's non-orientable Yang-Mills theory. A somewhat less detailed version of this paper (titled "On the Yang-Mills stratification for surfaces") will appear in the Proceedings of the AMS. △ Less

Submitted 8 May, 2018; v1 submitted 16 May, 2008; originally announced May 2008.

Comments: 18 pages. A shorter version has appeared in Proc. AMS. V. 4: minor changes due to referee's comments; Section 3, on tubular neighborhoods, has been moved arXiv:1006.0063, which fills a gap regarding local triviality of normal bundles. V. 3: changed formatting, small correction to Theorem 4.11. V.2: changed formatting; revised the introduction; minor simplifications to the proof of Proposition 4.1

MSC Class: 58E15; 58B20; 58D27

Journal ref: On the Yang-Mills stratification for surfaces, Proc. Amer. Math. Soc. 139 (2011) no. 5., 1851-1863

Yang-Mills theory over surfaces and the Atiyah-Segal theorem

Authors: Daniel A. Ramras

Abstract: In this paper we explain how Morse theory for the Yang-Mills functional can be used to prove an analogue, for surface groups, of the Atiyah-Segal theorem. Classically, the Atiyah-Segal theorem relates the representation ring R(Γ) of a compact Lie group $Γ$ to the complex K-theory of the classifying space $BΓ$. For infinite discrete groups, it is necessary to take into account deformations of repre… ▽ More In this paper we explain how Morse theory for the Yang-Mills functional can be used to prove an analogue, for surface groups, of the Atiyah-Segal theorem. Classically, the Atiyah-Segal theorem relates the representation ring R(Γ) of a compact Lie group $Γ$ to the complex K-theory of the classifying space $BΓ$. For infinite discrete groups, it is necessary to take into account deformations of representations, and with this in mind we replace the representation ring by Carlsson's deformation $K$--theory spectrum $\K (Γ)$ (the homotopy-theoretical analogue of $R(Γ)$). Our main theorem provides an isomorphism in homotopy $\K_*(π_1 Σ)\isom K^{-*}(Σ)$ for all compact, aspherical surfaces $Σ$ and all $*>0$. Combining this result with work of Tyler Lawson, we obtain homotopy theoretical information about the stable moduli space of flat unitary connections over surfaces. △ Less

Submitted 8 May, 2018; v1 submitted 3 October, 2007; originally announced October 2007.

Comments: 43 pages. Changes in v4: improved results in Section 7, simplified arguments in the Appendix, various minor revisions

MSC Class: 55N15; 58E15; 58D27

Journal ref: Algebr. Geom. Topol. 8 (2008) 2209-2251

Excision for deformation K-theory of free products

Authors: Daniel A. Ramras

Abstract: Associated to a discrete group $G$, one has the topological category of finite dimensional (unitary) $G$-representations and (unitary) isomorphisms. Block sums provide this category with a permutative structure, and the associated $K$-theory spectrum is Carlsson's deformation $K$-theory of G. The goal of this paper is to examine the behavior of this functor on free products. Our main theorem shows… ▽ More Associated to a discrete group $G$, one has the topological category of finite dimensional (unitary) $G$-representations and (unitary) isomorphisms. Block sums provide this category with a permutative structure, and the associated $K$-theory spectrum is Carlsson's deformation $K$-theory of G. The goal of this paper is to examine the behavior of this functor on free products. Our main theorem shows the square of spectra associated to $G*H$ (considered as an amalgamated product over the trivial group) is homotopy cartesian. The proof uses a general result regarding group completions of homotopy commutative topological monoids, which may be of some independent interest. △ Less

Submitted 8 May, 2018; v1 submitted 15 March, 2007; originally announced March 2007.

Comments: 32 pages, 1 figure. Final version: The title has changed, and the paper has been substantially revised to improve clarity

MSC Class: 19D23; 55P45

Journal ref: Algebr. Geom. Topol. 7 (2007) 2239-2270

Connectivity of the coset poset and the subgroup poset of a group

Authors: Daniel A. Ramras

Abstract: We study the connectivity of the coset poset and the subgroup poset of a group, focusing in particular on simple connectivity. The coset poset was recently introduced by K. S. Brown in connection with the probabilistic zeta function of a group. We further Brown's study of the homotopy type of the coset poset, and in particular generalize his results on direct products and classify direct product… ▽ More We study the connectivity of the coset poset and the subgroup poset of a group, focusing in particular on simple connectivity. The coset poset was recently introduced by K. S. Brown in connection with the probabilistic zeta function of a group. We further Brown's study of the homotopy type of the coset poset, and in particular generalize his results on direct products and classify direct products with simply connected coset posets. The homotopy type of the subgroup poset L(G) has been examined previously by Kratzer, Thevenaz, and Shareshian. We generalize some results of Kratzer and Thevenaz, and determine the fundamental group of L(G) in nearly all cases. △ Less

Submitted 30 September, 2002; originally announced October 2002.

Comments: 28 pages

MSC Class: 20D30 (Primary); 05E25; 06A11; 55P99 (Secondary)

Journal ref: J. Group Theory 8 (2005), no. 6, 719-746

Connectivity of the coset poset

Authors: Daniel A. Ramras

Abstract: Topological concepts may be applied to any poset via the simplicial complex of finite chains. The coset poset C(G) of a finite group G (consisting of all cosets of all proper subgroups of G, ordered by inclusion) was introduced by Kenneth S. Brown in his study of the probabilistic zeta function P(G,s), and Brown's results motivate the study of the homotopy type of C(G). After a detailed introduc… ▽ More Topological concepts may be applied to any poset via the simplicial complex of finite chains. The coset poset C(G) of a finite group G (consisting of all cosets of all proper subgroups of G, ordered by inclusion) was introduced by Kenneth S. Brown in his study of the probabilistic zeta function P(G,s), and Brown's results motivate the study of the homotopy type of C(G). After a detailed introduction to basic simplicial topology and homotopy theory for finite posets (Chapter 2), we examine the connectivity of the coset poset (Chapter 3). Of particular interest is the fundamental group, and we provide various conditions under which C(G) is or is not simply connected. In particular, we classify direct products with simply connected coset posets. In Chapter 4, we treat several specific examples, including A_5 and PSL(2,7). We prove that both of these groups have simply connected coset posets, and in fact determine the precise homotopy type of C(A_5). This chapter also includes a detailed determination of all subgroups of the groups PSL(2,p), p prime (following Burnside). The final chapter discusses conjectures and directions for further research. △ Less

Submitted 30 September, 2002; v1 submitted 23 August, 2002; originally announced August 2002.

Comments: 81 pages, undergraduate thesis (Cornell University) Revisions (9/30/02): Correction to definition preceeding Theorem 3.4.4; minor clarification to proof of Lemma 4.3.32

MSC Class: 20D30 (Primary) 05E25; 06A11; 55P99 (Secondary)