Showing 1–41 of 41 results for author: Adem, A

A stable splitting for spaces of commuting elements in unitary groups

Authors: Alejandro Adem, José Manuel Gómez, Simon Gritschacher

Abstract: We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompos… ▽ More We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompositions for symplectic and orthogonal groups as well as homological results for the one-point compactification of the commuting variety in a Lie algebra are also provided. △ Less

Submitted 27 January, 2025; v1 submitted 14 April, 2024; originally announced April 2024.

Comments: To appear in Journal of the London Mathematical Society

Minimal Euler Characteristics for Even-Dimensional Manifolds with Finite Fundamental Group

Authors: Alejandro Adem, Ian Hambleton

Abstract: We consider the Euler characteristics $χ(M)$ of closed orientable topological $2n$-manifolds with $(n-1)$-connected universal cover and a given fundamental group $G$ of type $F_n$. We define $q_{2n}(G)$, a generalized version of the Hausmann-Weinberger invariant for 4-manifolds, as the minimal value of $(-1)^nχ(M)$. For all $n\geq 2$, we establish a strengthened and extended version of their estim… ▽ More We consider the Euler characteristics $χ(M)$ of closed orientable topological $2n$-manifolds with $(n-1)$-connected universal cover and a given fundamental group $G$ of type $F_n$. We define $q_{2n}(G)$, a generalized version of the Hausmann-Weinberger invariant for 4-manifolds, as the minimal value of $(-1)^nχ(M)$. For all $n\geq 2$, we establish a strengthened and extended version of their estimates, in terms of explicit cohomological invariants of $G$. As an application we obtain new restrictions for non-abelian finite groups arising as fundamental groups of rational homology 4-spheres. △ Less

Submitted 23 February, 2023; v1 submitted 28 February, 2021; originally announced March 2021.

Comments: 25 pages (v4): revised statements of Theorems A and B. Improvements to exposition throughout following referee's reports; final version, accepted for publication in Forum of Mathematics, Sigma

MSC Class: 57S17; 20J06

On the second homotopy group of spaces of commuting elements in Lie groups

Authors: Alejandro Adem, José Manuel Gómez, Simon Gritschacher

Abstract: Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$-tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $π_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that… ▽ More Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$-tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $π_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that $π_2(Hom(\mathbb{Z}^2,G))\cong \mathbb{Z}$ and $π_2(Rep(\mathbb{Z}^2,G))\cong \mathbb{Z}$, and that on these groups the quotient map $Hom(\mathbb{Z}^2,G)\to Rep(\mathbb{Z}^2,G)$ induces multiplication by the Dynkin index of $G$. More generally we show that if $G$ is simple and $Hom(\mathbb{Z}^2,G)_{1}\subseteq Hom(\mathbb{Z}^2,G)$ is the path--component of the trivial homomorphism, then $H_2(Hom(\mathbb{Z}^2,G)_{1};\mathbb{Z})$ is an extension of the Schur multiplier of $π_1(G)^2$ by $\mathbb{Z}$. We apply our computations to prove that if $B_{com}G_{1}$ is the classifying space for commutativity at the identity component, then $π_4(B_{com}G_{1})\cong \mathbb{Z}\oplus \mathbb{Z}$, and we construct examples of non-trivial transitionally commutative structures on the trivial principal $G$-bundle over the sphere $\mathbb{S}^{4}$. △ Less

Submitted 8 October, 2021; v1 submitted 18 September, 2020; originally announced September 2020.

Comments: Final version accepted for publication (open access CC-BY) in Int. Math. Res. Not. IMRN

Report number: GeoTop-DNRF151

Journal ref: Int. Math. Res. Not. IMRN (2021)

On the moduli spaces of commuting elements in the projective unitary groups

Authors: Alejandro Adem, Man Chuen Cheng

Abstract: We provide descriptions for the moduli spaces $\text{Rep}(Γ, PU(m))$, where $Γ$ is any finitely generated abelian group and $PU(m)$ is the group of $m\times m$ projective unitary matrices. As an application we show that for any connected CW-complex $X$ with $π_1(X)\cong \mathbf{Z}^n$, the natural map $π_0(\text{Rep}(π_1(X), PU(m)))\to [X, BPU(m)]$ is injective, hence providing a complete enumerati… ▽ More We provide descriptions for the moduli spaces $\text{Rep}(Γ, PU(m))$, where $Γ$ is any finitely generated abelian group and $PU(m)$ is the group of $m\times m$ projective unitary matrices. As an application we show that for any connected CW-complex $X$ with $π_1(X)\cong \mathbf{Z}^n$, the natural map $π_0(\text{Rep}(π_1(X), PU(m)))\to [X, BPU(m)]$ is injective, hence providing a complete enumeration of the isomorphism classes of flat principal $PU(m)$-bundles over $X$. △ Less

Submitted 2 July, 2019; v1 submitted 9 March, 2019; originally announced March 2019.

Comments: 10 pages. Minor typos fixed. To appear in the Journal of Mathematical Physics

MSC Class: 20C25; 55N91; 55P10

Twisted equivariant K-theory of compact Lie group actions with maximal rank isotropy

Authors: Alejandro Adem, José Cantarero, José Manuel Gómez

Abstract: We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence à la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $π_1(X^T)$-equivarian… ▽ More We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence à la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $π_1(X^T)$-equivariant Bredon cohomology of the universal cover of $X^T$ with suitable coefficients. In the case of the inertia stack $ΛY$ this term can be expressed using the cohomology of $Y^T$ and algebraic invariants associated to the Lie group and the twisting. A number of calculations are provided. In particular, we recover the rational Verlinde algebra when $Y=\{*\}$. △ Less

Submitted 21 October, 2018; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: To appear in Journal of Mathematical Physics. Some mistakes have been corrected in Section 2

MSC Class: 19L50; 19L47; 55N91

Journal ref: J. Math. Phys. 59, 113502 (2018)

Free Finite Group Actions on Rational Homology 3--Spheres

Authors: Alejandro Adem, Ian Hambleton

Abstract: We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres. We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres. △ Less

Submitted 14 August, 2019; v1 submitted 25 June, 2017; originally announced June 2017.

Comments: 18 pages, final version; Forum of Mathematics, Sigma (to appear)

MSC Class: 57S17; 57M60

Infinite loop spaces and nilpotent K-theory

Authors: Alejandro Adem, José Manuel Gómez, John A. Lind, Ulrike Tillmann

Abstract: Using a construction derived from the descending central series of the free groups, we produce filtrations by infinite loop spaces of the classical infinite loop spaces $BSU$, $BU$, $BSO$, $BO$, $BSp$, $BGL_{\infty}(R)^{+}$ and $Q_0(\mathbb{S}^{0})$. We show that these infinite loop spaces are the zero spaces of non-unital $E_\infty$-ring spectra. We introduce the notion of $q$-nilpotent K-theory… ▽ More Using a construction derived from the descending central series of the free groups, we produce filtrations by infinite loop spaces of the classical infinite loop spaces $BSU$, $BU$, $BSO$, $BO$, $BSp$, $BGL_{\infty}(R)^{+}$ and $Q_0(\mathbb{S}^{0})$. We show that these infinite loop spaces are the zero spaces of non-unital $E_\infty$-ring spectra. We introduce the notion of $q$-nilpotent K-theory of a CW-complex $X$ for any $q\ge 2$, which extends the notion of commutative K-theory defined by Adem-Gómez, and show that it is represented by $\mathbb Z\times B(q,U)$, were $B(q,U)$ is the $q$-th term of the aforementioned filtration of $BU$. For the proof we introduce an alternative way of associating an infinite loop space to a commutative $\mathbb{I}$-monoid and give criteria when it can be identified with the plus construction on the associated limit space. Furthermore, we introduce the notion of a commutative $\mathbb{I}$-rig and show that they give rise to non-unital $E_\infty$-ring spectra. △ Less

Submitted 30 September, 2016; v1 submitted 9 March, 2015; originally announced March 2015.

Comments: To appear in Algebraic and geometric topology

Journal ref: Algebr. Geom. Topol. 17 (2017) 869-893

Representation spaces for central extensions and almost commuting unitary matrices

Authors: Alejandro Adem, Man Chuen Cheng

Abstract: Let $Γ$ denote a central extension of the form $1\to \mathbb{Z}^r\toΓ\to \mathbb{Z}^n\to 1$. In this paper we describe the topology of the spaces of homomorphisms $\text{Hom}(Γ, U(m))$ and the associated moduli spaces $\text{Rep}(Γ, U(m))$, where $U(m)$ is the group of $m\times m$ unitary matrices. Let $Γ$ denote a central extension of the form $1\to \mathbb{Z}^r\toΓ\to \mathbb{Z}^n\to 1$. In this paper we describe the topology of the spaces of homomorphisms $\text{Hom}(Γ, U(m))$ and the associated moduli spaces $\text{Rep}(Γ, U(m))$, where $U(m)$ is the group of $m\times m$ unitary matrices. △ Less

Submitted 8 July, 2016; v1 submitted 17 February, 2015; originally announced February 2015.

Comments: 23 pages. Minor typos fixed. To appear in the Journal of the London Mathematical Society

MSC Class: 20C99; 55R35; 55R91

A classifying space for commutativity in Lie groups

Authors: Alejandro Adem, José Manuel Gómez

Abstract: In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bun… ▽ More In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bundles over a finite complex X which is isomorphic to [X,ZxB_{com}U]. We compute the rational cohomology of B_{com}G for G equal to any of the classical groups U(n), SU(n) and Sp(n), and exhibit the rational cohomologies of B_{com}U, B_{com}SU and B_{com}Sp as explicit polynomial rings. △ Less

Submitted 13 July, 2014; v1 submitted 31 August, 2013; originally announced September 2013.

Comments: Final version. To appear in Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 15 (2015) 493-535

On the structure of spaces of commuting elements in compact Lie groups

Authors: Alejandro Adem, José Manuel Gómez

Abstract: In this note we study topological invariants of the spaces of homomorphisms Hom(π,G), where π is a finitely generated abelian group and G is a compact Lie group arising as an arbitrary finite product of the classical groups SU(r), U(q) and Sp(k). In this note we study topological invariants of the spaces of homomorphisms Hom(π,G), where π is a finitely generated abelian group and G is a compact Lie group arising as an arbitrary finite product of the classical groups SU(r), U(q) and Sp(k). △ Less

Submitted 24 March, 2012; originally announced March 2012.

Comments: Accepted for publication in the proceedings of the conference: Configuration spaces: Geometry, Combinatorics and Topology. Scuola Normale Superiore

Equivariant K-theory of compact Lie group actions with maximal rank isotropy

Authors: Alejandro Adem, José Manuel Gómez

Abstract: Let G denote a compact connected Lie group with torsion-free fundamental group acting on a compact space X such that all the isotropy subgroups are connected subgroups of maximal rank. Let $T\subset G$ be a maximal torus with Weyl group W. If the fixed-point set $X^T$ has the homotopy type of a finite W-CW complex, we prove that the rationalized complex equivariant K-theory of X is a free module o… ▽ More Let G denote a compact connected Lie group with torsion-free fundamental group acting on a compact space X such that all the isotropy subgroups are connected subgroups of maximal rank. Let $T\subset G$ be a maximal torus with Weyl group W. If the fixed-point set $X^T$ has the homotopy type of a finite W-CW complex, we prove that the rationalized complex equivariant K-theory of X is a free module over the representation ring of G. Given additional conditions on the W-action on the fixed-point set $X^T$ we show that the equivariant K-theory of X is free over R(G). We use this to provide computations for a number of examples, including the ordered n-tuples of commuting elements in G with the conjugation action. △ Less

Submitted 21 March, 2012; originally announced March 2012.

Comments: Accepted for publication by the Journal of Topology

Stable splittings, spaces of representations and almost commuting elements in Lie groups

Authors: Alejandro Adem, Frederick R. Cohen, Jose Manuel Gomez

Abstract: In this paper the space of almost commuting elements in a Lie group is studied through a homotopical point of view. In particular a stable splitting after one suspension is derived for these spaces and their quotients under conjugation. A complete description for the stable factors appearing in this splitting is provided for compact connected Lie groups of rank one.By using symmetric products, the… ▽ More In this paper the space of almost commuting elements in a Lie group is studied through a homotopical point of view. In particular a stable splitting after one suspension is derived for these spaces and their quotients under conjugation. A complete description for the stable factors appearing in this splitting is provided for compact connected Lie groups of rank one.By using symmetric products, the colimits $\Rep(\Z^n, SU)$, $\Rep(\Z^n,U)$ and $\Rep(\Z^n, Sp)$ are explicitly described as finite products of Eilenberg-MacLane spaces. △ Less

Submitted 4 October, 2010; originally announced October 2010.

Comments: 37 Pages. To appear in Math. Proc. Camb. Phil. Soc

Cohomology of Toroidal Orbifold Quotients

Authors: Alejandro Adem, Ali Nabi Duman, Jose Manuel Gomez

Abstract: Let $φ:\Z/p\to GL_{n}(\Z)$ denote an integral representation of the cyclic group of prime order $p$. This induces a $\Z/p$-action on the torus $X=\R^{n}/\Z^{n}$. The goal of this paper is to explicitly compute the cohomology groups $H^{*}(X/\Z/p;\Z)$ for any such representation. As a consequence we obtain an explicit calculation of the integral cohomology of the classifying space associated to the… ▽ More Let $φ:\Z/p\to GL_{n}(\Z)$ denote an integral representation of the cyclic group of prime order $p$. This induces a $\Z/p$-action on the torus $X=\R^{n}/\Z^{n}$. The goal of this paper is to explicitly compute the cohomology groups $H^{*}(X/\Z/p;\Z)$ for any such representation. As a consequence we obtain an explicit calculation of the integral cohomology of the classifying space associated to the family of finite subgroups for any crystallographic group $Γ=\Z^n\rtimes\Z/p$ with prime holonomy. △ Less

Submitted 12 July, 2011; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: Final version. Accepted for publication in the Journal of Algebra

Bundles, Cohomology and Truncated Symmetric Polynomials

Authors: Alejandro Adem, Zinovy Reichstein

Abstract: The cohomology of the classifying space BU(n) of the unitary groups can be identified with the ring of symmetric polynomials on n variables by restricting to the cohomology of BT, where T is a maximal torus in U(n). In this paper we explore the situation where BT = (CP^{infinity})^n is replaced by a product of finite dimensional projective spaces (CP^d)^n, fitting into an associated bundle U(n) x_… ▽ More The cohomology of the classifying space BU(n) of the unitary groups can be identified with the ring of symmetric polynomials on n variables by restricting to the cohomology of BT, where T is a maximal torus in U(n). In this paper we explore the situation where BT = (CP^{infinity})^n is replaced by a product of finite dimensional projective spaces (CP^d)^n, fitting into an associated bundle U(n) x_T (S^{2d+1})^n -> (CP^d)^n -> BU(n). We establish a purely algebraic version of this problem by exhibiting an explicit system of generators for the ideal of truncated symmetric polynomials. We use this algebraic result to give a precise descriptions of the kernel of the homomorphism in cohomology induced by the natural map (CP^d)^n -> BU(n). We also calculate the cohomology of the homotopy fiber of the natural map ES_n x_{S_n} (CP^d)^n -> BU(n). △ Less

Submitted 10 December, 2010; v1 submitted 25 June, 2009; originally announced June 2009.

Comments: Some arguments have been streamlined. To appear in Documenta Math

MSC Class: 55R35; 05E95

Journal ref: Documenta Math. 15 (2010), 1029--1047

Commuting elements in central products of special unitary groups

Authors: Alejandro Adem, Frederick R. Cohen, Jose Manuel Gomez

Abstract: In this paper the space of commuting elements in the central product $G_{m,p}$ of $m$ copies of the special unitary group $SU(p)$ is studied, where $p$ is a prime number. In particular, a computation for the number of path connected components of these spaces is given and the geometry of the moduli space $\Rep(\mathbb Z^n, G_{m,p})$ of flat principal $G_{m,p}$--bundles over the $n$--torus is compl… ▽ More In this paper the space of commuting elements in the central product $G_{m,p}$ of $m$ copies of the special unitary group $SU(p)$ is studied, where $p$ is a prime number. In particular, a computation for the number of path connected components of these spaces is given and the geometry of the moduli space $\Rep(\mathbb Z^n, G_{m,p})$ of flat principal $G_{m,p}$--bundles over the $n$--torus is completely described for all values of $n$, $m$ and $p$. △ Less

Submitted 4 October, 2010; v1 submitted 18 May, 2009; originally announced May 2009.

Comments: revised version to appear in Proc.Edinburgh Math. Soc. (Isle of Skye 2009 Conference Volume)

On decomposing suspensions of simplicial spaces

Authors: A. Adem, A. Bahri, F. R. Cohen, S. Gitler, M. Bendersky

Abstract: Let $X_{\bullet}$ denote a simplicial space. The purpose of this note is to record a decomposition of the suspension of the individual spaces $X_n$ occurring in $X_{\bullet}$ in case the spaces $X_n$ satisfy certain mild topological hypotheses and where these decompositions are natural for morphisms of simplicial spaces. In addition, the summands of $X_n$ which occur after one suspension are sta… ▽ More Let $X_{\bullet}$ denote a simplicial space. The purpose of this note is to record a decomposition of the suspension of the individual spaces $X_n$ occurring in $X_{\bullet}$ in case the spaces $X_n$ satisfy certain mild topological hypotheses and where these decompositions are natural for morphisms of simplicial spaces. In addition, the summands of $X_n$ which occur after one suspension are stably equivalent to choices of filtration quotients of the geometric realization $|X_{\bullet}|$. The purpose of recording these decompositions is that they imply decompositions of the single suspension of certain spaces of representations as well as other varieties and are similar to decompositions of suspensions of moment-angle complexes which appear in a different context. △ Less

Submitted 29 April, 2009; originally announced April 2009.

MSC Class: 55P10; 55P40

Commuting elements, simplicial spaces, and filtrations of classifying spaces

Authors: Alejandro Adem, Frederick R. Cohen, Enrique Torres-Giese

Abstract: Using spaces of homomorphisms and the descending central series of the free groups, simplicial spaces are constructed for each integer q>1 and every topological group G, with realizations B(q,G) that filter the classifying space BG. In particular for q=2 this yields a single space B(2,G) assembled from all the n-tuples of commuting elements in G. Homotopy properties of the B(q,G) are considered fo… ▽ More Using spaces of homomorphisms and the descending central series of the free groups, simplicial spaces are constructed for each integer q>1 and every topological group G, with realizations B(q,G) that filter the classifying space BG. In particular for q=2 this yields a single space B(2,G) assembled from all the n-tuples of commuting elements in G. Homotopy properties of the B(q,G) are considered for finite groups. Cohomology calculations are provided for compact Lie groups. The spaces B(2,G) are described in detail for transitively commutative groups. △ Less

Submitted 12 September, 2011; v1 submitted 31 December, 2008; originally announced January 2009.

Comments: Revised version of original manuscript, to appear in Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 20F36; 55N15; 55R50

Compatible Actions and Cohomology of Crystallographic Groups

Authors: Alejandro Adem, Jianquan Ge, Jianzhong Pan, Nansen Petrosyan

Abstract: We compute the cohomology of crystallographic groups with holonomy of prime order. As an application we compute the group of gerbes associated to many six--dimensional toroidal orbifolds arising in string theory. We compute the cohomology of crystallographic groups with holonomy of prime order. As an application we compute the group of gerbes associated to many six--dimensional toroidal orbifolds arising in string theory. △ Less

Submitted 13 April, 2007; originally announced April 2007.

MSC Class: 20J06

Lectures on the Cohomology of Finite Groups

Authors: Alejandro Adem

Abstract: In this paper we first survey some basic results in the cohomology of finite groups, and then discuss recent work on constructing free actions of finite groups on products of spheres. In this paper we first survey some basic results in the cohomology of finite groups, and then discuss recent work on constructing free actions of finite groups on products of spheres. △ Less

Submitted 27 September, 2006; originally announced September 2006.

Comments: To appear in the proceedings of the summer school "Interactions between homotopy theory and algebra" (Chicago, 2004)

MSC Class: 20J06

A Stringy Product on Twisted Orbifold K-theory

Authors: Alejandro Adem, Yongbin Ruan, Bin Zhang

Abstract: In this paper we define an associative stringy product for the twisted orbifold K-theory of a compact, almost complex orbifold X. This product is defined on the twisted K-theory of the inertia orbifold of X, where the twisting gerbe is assumed to be in the image of the inverse transgression map. In this paper we define an associative stringy product for the twisted orbifold K-theory of a compact, almost complex orbifold X. This product is defined on the twisted K-theory of the inertia orbifold of X, where the twisting gerbe is assumed to be in the image of the inverse transgression map. △ Less

Submitted 21 November, 2008; v1 submitted 18 May, 2006; originally announced May 2006.

Comments: Minor changes and rearrangement of material

MSC Class: 55N15

Commuting Elements and Spaces of Homomorphisms

Authors: Alejandro Adem, Frederick R. Cohen

Abstract: This article records basic topological, as well as homological properties of the space of homomorphisms Hom(L,G) where L is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If L is a free abelian group of rank equal to n, then Hom(L,G) is the space of ordered n-tuples of commuting elements in G. If G=SU(2), a complete calculation of the cohomology of these spaces… ▽ More This article records basic topological, as well as homological properties of the space of homomorphisms Hom(L,G) where L is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If L is a free abelian group of rank equal to n, then Hom(L,G) is the space of ordered n-tuples of commuting elements in G. If G=SU(2), a complete calculation of the cohomology of these spaces is given for n=2, 3. An explicit stable splitting of these spaces is also obtained, as a special case of a more general splitting. △ Less

Submitted 18 May, 2006; v1 submitted 8 March, 2006; originally announced March 2006.

Comments: Revised version correcting homology calculations and a few minor points

MSC Class: 20F36; 55N15; 55R50

Toroidal orbifolds, gerbes and group cohomology

Authors: Alejandro Adem, Jianzhong Pan

Abstract: We compute the integral cohomology of certain semi-direct products arising from a linear G-action on the n-torus, where G is a finite group. The main application is the complete calculation of torsion gerbes for certain six dimensional examples arising from string theory. We compute the integral cohomology of certain semi-direct products arising from a linear G-action on the n-torus, where G is a finite group. The main application is the complete calculation of torsion gerbes for certain six dimensional examples arising from string theory. △ Less

Submitted 7 June, 2004; originally announced June 2004.

Fixity and Free Group Actions on Products of Spheres

Authors: Alejandro Adem, James F. Davis, Ozgun Unlu

Abstract: We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show that if G is a finite subgroup of U(n), acting freely on U(n)/U(k) for some k>0… ▽ More We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show that if G is a finite subgroup of U(n), acting freely on U(n)/U(k) for some k>0 and if (|G|,(n-1)!)=1, then the action propagates to a free and smooth action on a product of n-k spheres. A number of explicit examples are discussed. △ Less

Submitted 7 April, 2003; originally announced April 2003.

Comments: 22 pages

Constructing and Deconstructing Group Actions

Authors: Alejandro Adem

Abstract: We survey some results concerning finite group actions on products of spheres. We survey some results concerning finite group actions on products of spheres. △ Less

Submitted 19 December, 2002; originally announced December 2002.

Comments: Based on lecture at Northwestern University Algebraic Topology Conference, March 2002

On representations and K-theory of the braid groups

Authors: Alejandro Adem, Daniel C. Cohen, Frederick R. Cohen

Abstract: Let G be the fundamental group of the complement of a K(G,1) hyperplane arrangement (such as Artin's pure braid group) or more generally a homologically toroidal group (as defined in the paper). The subgroup of elements in the complex K-theory of BG which arises from complex unitary representations of G is shown to be trivial. In the case of real K-theory, this subgroup is an elementary abelian… ▽ More Let G be the fundamental group of the complement of a K(G,1) hyperplane arrangement (such as Artin's pure braid group) or more generally a homologically toroidal group (as defined in the paper). The subgroup of elements in the complex K-theory of BG which arises from complex unitary representations of G is shown to be trivial. In the case of real K-theory, this subgroup is an elementary abelian 2-group, which is characterized completely in terms of the first two Stiefel-Whitney classes of the representation. Furthermore, an orthogonal representation of G gives rise to a trivial bundle if and only if the representation factors through the spinor groups. In addition, quadratic relations in the cohomology algebra of the pure braid groups which correspond precisely to the Jacobi identity for certain choices of Poisson algebras are shown to give the existence of certain homomorphisms from the pure braid group to generalized Heisenberg groups. These cohomology relations correspond to non-trivial Spin representations of the pure braid groups which give rise to trivial bundles. △ Less

Submitted 26 January, 2002; v1 submitted 13 October, 2001; originally announced October 2001.

Comments: LaTeX, 24 pages. v2: 27 pages, minor changes, some remarks concerning more general representations are added

MSC Class: Primary 20F36; Secondary 32S22; 55N15; 55R50

Journal ref: Math. Ann. 326 (2003), 515-542

Twisted Orbifold K-Theory

Authors: Alejandro Adem, Yongbin Ruan

Abstract: We use equivariant methods to establish basic properties of orbifold K-theory. We introduce the notion of twisted orbifold K-theory in the presence of discrete torsion, and show how it can be explicitly computed for global quotients. We use equivariant methods to establish basic properties of orbifold K-theory. We introduce the notion of twisted orbifold K-theory in the presence of discrete torsion, and show how it can be explicitly computed for global quotients. △ Less

Submitted 23 July, 2001; originally announced July 2001.

Comments: 30 pages

Journal ref: Commun.Math.Phys. 237 (2003) 533-556

Periodic Complexes and Group Actions

Authors: Alejandro Adem, Jeff H. Smith

Abstract: In this paper we show that the cohomology of a connected CW complex is periodic if and only if it is the base space of an orientable spherical fibration with total space that is homotopically finite dimensional. As applications we characterize those discrete groups that act freely and properly on a cartesian product of euclidean space and a sphere; we construct non-standard free actions of rank… ▽ More In this paper we show that the cohomology of a connected CW complex is periodic if and only if it is the base space of an orientable spherical fibration with total space that is homotopically finite dimensional. As applications we characterize those discrete groups that act freely and properly on a cartesian product of euclidean space and a sphere; we construct non-standard free actions of rank two simple groups on finite complexes Y homotopy equivalent to a product of two spheres and we prove that a finite p-group P acts freely on such a complex if and only if it does not contain a subgroup isomorphic to Z/p X Z/p X Z/p. △ Less

Submitted 12 July, 2001; v1 submitted 10 October, 2000; originally announced October 2000.

Comments: Revised version

MSC Class: 55R35; 20J06

Field theory and the Cohomology of Some Galois Groups

Authors: Alejandro Adem, Wenfeng Gao, Dikran Karagueuzian, Jan Minac

Abstract: We prove that two arithmetically significant extensions of a field F coincide if and only if the Witt ring WF is a group ring Z/n[G]. Furthermore, working modulo squares with Galois groups which are 2-groups, we establish a theorem analogous to Hilbert's Theorem 90 and show that an identity linking the cohomological dimension of the Galois group of the quadratic closure of F, the length of a fil… ▽ More We prove that two arithmetically significant extensions of a field F coincide if and only if the Witt ring WF is a group ring Z/n[G]. Furthermore, working modulo squares with Galois groups which are 2-groups, we establish a theorem analogous to Hilbert's Theorem 90 and show that an identity linking the cohomological dimension of the Galois group of the quadratic closure of F, the length of a filtration on a certain module over a Galois group, and the dimension over Z/2 of the square class group of the field holds for a number of interesting families of fields. Finally we discuss the cohomology of a particular Galois group in a topological context. △ Less

Submitted 1 September, 2000; originally announced September 2000.

Report number: Wisconsin Math 99/aa-3a MSC Class: 20J06

The Cohomology of the Sylow 2-subgroup of the Higman-Sims Group

Authors: Alejandro Adem, Jon F. Carlson, Dikran Karagueuzian, R. James Milgram

Abstract: In this paper we compute the mod 2 cohomology of the Sylow 2-subgroup of the Higman-Sims group HS, one of the 26 sporadic simple groups. We obtain its Poincare series as well as an explicit description of it as a ring with 17 generators and 79 relations In this paper we compute the mod 2 cohomology of the Sylow 2-subgroup of the Higman-Sims group HS, one of the 26 sporadic simple groups. We obtain its Poincare series as well as an explicit description of it as a ring with 17 generators and 79 relations △ Less

Submitted 30 August, 2000; originally announced August 2000.

MSC Class: 20J06; 55R35

On the Cohomology of Central Frattini Extensions

Authors: Alejandro Adem, Jonathan Pakianathan

Abstract: We use topological methods to compute the mod p cohomology of certain p-groups. More precisely we look at central Frattini extensions of elementary abelian by elementary abelian groups such that their defining k-invariants span the entire image of the Bockstein. We show that if p is sufficiently large, then the mod p cohomology of the extension can be explicitly computed as an algebra. We use topological methods to compute the mod p cohomology of certain p-groups. More precisely we look at central Frattini extensions of elementary abelian by elementary abelian groups such that their defining k-invariants span the entire image of the Bockstein. We show that if p is sufficiently large, then the mod p cohomology of the extension can be explicitly computed as an algebra. △ Less

Submitted 30 August, 2000; originally announced August 2000.

MSC Class: 20J06; 55R35

On the cohomology of Galois groups determined by Witt rings

Authors: Alejandro Adem, Dikran Karagueuzian, Jan Minac

Abstract: Let F denote a field of characteristic different from two. In this paper we describe the mod 2 cohomology of a Galois group which is determined by the Witt ring WF. Let F denote a field of characteristic different from two. In this paper we describe the mod 2 cohomology of a Galois group which is determined by the Witt ring WF. △ Less

Submitted 21 December, 1998; originally announced December 1998.

Report number: Wisconsin Math 99/aa-1b

On some examples of group actions and group extensions

Authors: Alejandro Adem, Ergün Yalçin

Abstract: We study and relate certain actions and extensions involving 2-groups. We study and relate certain actions and extensions involving 2-groups. △ Less

Submitted 21 December, 1998; originally announced December 1998.

Report number: Wisconsin Math 99/aa-1a

Topological transformation groups

Authors: Alejandro Adem, James F. Davis

Abstract: This paper surveys some results and methods in topological transformation groups. This paper surveys some results and methods in topological transformation groups. △ Less

Submitted 2 June, 1997; originally announced June 1997.

Report number: Wisconsin Math 97/AA-6a

The cohomology of the Lyons group and double covers of alternating groups

Authors: Alejandro Adem, Dikran Karagueuzian, R. James Milgram, K. Umland

Abstract: We compute the mod 2 cohomology of the sporadic simple group Ly as well as that of the double covers of the alternating groups A_8 and A_10. We compute the mod 2 cohomology of the sporadic simple group Ly as well as that of the double covers of the alternating groups A_8 and A_10. △ Less

Submitted 20 May, 1997; originally announced May 1997.

Report number: Wisconsin Math 97/AA-5a

Buildings, group extensions and the cohomology of congruence subgroups

Authors: Alejandro Adem

Abstract: We use buildings and group extensions to compute lower bounds on the top Betti numbers for the cohomology of the level p congruence subgroups of SL(3,Z) and Sp(4,Z). We use buildings and group extensions to compute lower bounds on the top Betti numbers for the cohomology of the level p congruence subgroups of SL(3,Z) and Sp(4,Z). △ Less

Submitted 19 February, 1997; originally announced February 1997.

Report number: Wisconsin Math 97/AA-2a

Automorphisms and cohomology of discrete groups

Authors: Alejandro Adem

Abstract: In this paper we describe a method for producing elements in the mod p cohomology of a discrete group of finite cohomological dimension. This provides a purely algebraic formulation of the theory of special cycles. In this paper we describe a method for producing elements in the mod p cohomology of a discrete group of finite cohomological dimension. This provides a purely algebraic formulation of the theory of special cycles. △ Less

Submitted 3 October, 1995; originally announced October 1995.

Comments: author provided postscript file is corrupted

Report number: Wisconsin Math 95/AA-10a

Discrete groups, Grothendieck rings and families of finite subgroups

Authors: Alejandro Adem

Abstract: In this paper we use families of finite subgroups to study Grothendieck rings associated to certain discrete groups, such as the arithmetic ones. In this paper we use families of finite subgroups to study Grothendieck rings associated to certain discrete groups, such as the arithmetic ones. △ Less

Submitted 30 March, 1995; originally announced March 1995.

Report number: Wisconsin Math 95/AA-4a

The cohomology rings of rank 3 simple groups are Cohen-Macaulay

Authors: Alejandro Adem, R. James Milgram

Abstract: In this paper we show that the mod 2 cohomology ring of any finite simple group of rank 3 or less (at the prime 2) must be Cohen-Macaulay. In this paper we show that the mod 2 cohomology ring of any finite simple group of rank 3 or less (at the prime 2) must be Cohen-Macaulay. △ Less

Submitted 28 March, 1995; originally announced March 1995.

Report number: Wisconsin Math 95/AA-3c

On the cohomology of SL(2,Z[1/p])

Authors: Alejandro Adem, Nadim Naffah

Abstract: In this paper we compute the integral cohomology of the discrete groups SL(2,Z[1/p]), where p is any prime. In this paper we compute the integral cohomology of the discrete groups SL(2,Z[1/p]), where p is any prime. △ Less

Submitted 28 March, 1995; originally announced March 1995.

Report number: Wisconsin Math 95/AA-3b

The cohomology of the McLaughlin group and some associated groups

Authors: Alejandro Adem, R. James Milgram

Abstract: In this paper we compute the mod 2 cohomology of the McLaughlin group, which is one of the sporadic simple groups. In this paper we compute the mod 2 cohomology of the McLaughlin group, which is one of the sporadic simple groups. △ Less

Submitted 28 March, 1995; originally announced March 1995.

Report number: Wisconsin Math 95/AA-3a

Representations and $K$-theory of Discrete Groups

Authors: Alejandro Adem

Abstract: Let $Γ$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $Γ$, determined on its elements of finite order, which is of finite type. Then we determine the contribution of this ring to the topological $K$-theory $K^*(BΓ)$, obtaining an exact formula for the difference in t… ▽ More Let $Γ$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $Γ$, determined on its elements of finite order, which is of finite type. Then we determine the contribution of this ring to the topological $K$-theory $K^*(BΓ)$, obtaining an exact formula for the difference in terms of the cohomology of the centralizers of elements of finite order in $Γ$. △ Less

Submitted 31 December, 1992; originally announced January 1993.

Comments: 4 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 28 (1993) 95-98