arXiv Science⌕ Search

arXiv subjects

Alejandro Adem

Publications and source records attributed to Alejandro Adem.

At least 19 recordsLinked to original sources
arXiv2024

A stable splitting for spaces of commuting elements in unitary groups

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.

math.AT↗
arXiv2021

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

We consider the Euler characteristics $\chi(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\chi (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.

math.GT↗
arXiv2020

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

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 $\pi_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that $\pi_2(Hom(\mathbb{Z}^2,G))\cong \mathbb{Z}$ and $\pi_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 $\pi_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 $\pi_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}$.

math.AT↗
arXiv2019

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

We provide descriptions for the moduli spaces $\text{Rep}(\Gamma, PU(m))$, where $\Gamma$ 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 $\pi_1(X)\cong \mathbf{Z}^n$, the natural map $\pi_0(\text{Rep}(\pi_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$.

math.RT↗
arXiv2017

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

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 \`a 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 $\pi_1(X^T)$-equivariant Bredon cohomology of the universal cover of $X^T$ with suitable coefficients. In the case of the inertia stack $\Lambda 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=\{*\}$.

math.AT↗
arXiv2015

Topology of Fermi Surfaces and anomaly inflows

We derive a rigorous classification of topologically stable Fermi surfaces of non-interacting, discrete translation-invariant systems from electronic band theory, adiabatic evolution and their topological interpretations. For systems on an infinite crystal it is shown that there can only be topologically unstable Fermi surfaces. For systems on a half- space and with a gapped bulk, our derivation naturally yields a $\mathit{K}$-theory classification. Given the $d-1$-dimensional surface Brillouin zone $\mathrm{X}_{s}$ of a $d$-dimensional half-space, our result implies that different classes of globally stable Fermi surfaces belong in $\mathit{K^{-1}}\mathrm{(X_{s})}$ for systems with only discrete translation-invariance. This result has a chiral anomaly inflow interpretation, as it reduces to the spectral flow for $d = 2$. Through equivariant homotopy methods we extend these results for symmetry classes $AI,\,AII,\, C$ and $D$ and discuss their corresponding anomaly inflow interpretation.

cond-mat.mes-hall↗
arXiv2015

Infinite loop spaces and nilpotent K-theory

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\'omez, 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.

math.AT↗
arXiv2013

A classifying space for commutativity in Lie groups

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.

math.AT↗
arXiv2012

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

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.

math.AT↗
arXiv2011

Commuting elements, simplicial spaces, and filtrations of classifying spaces

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.

math.AT↗
arXiv2010

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

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.

math.AT↗
arXiv2010

Commuting elements in central products of special unitary groups

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$.

math.AT↗
arXiv2010

Cohomology of Toroidal Orbifold Quotients

Let $\phi:\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 $\Gamma =\Z^n\rtimes\Z/p$ with prime holonomy.

math.AT↗
arXiv2009

Bundles, Cohomology and Truncated Symmetric Polynomials

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).

math.AT↗
arXiv2008

A Stringy Product on Twisted Orbifold K-theory

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.

math.AT↗