Cosimplicial groups and spaces of homomorphisms

DOI10.2140/AGT.2017.17.3519MaRDI QIDQ2409983zbMATH OpenOpenAlexFDO

Authors Bernardo Villarreal

Publication date 16 October 2017

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.04688

zbMATH Keywords

cosimplicial groupsequivariant homotopy stable decompositionhomotopy stable decompositionspace of homomorphismsspaces of representationstriangulation of semialgebraic sets

Mathematics Subject Classification ID

Representation theory for linear algebraic groups (20G05) General properties and structure of real Lie groups (22E15) Homotopy equivalences in algebraic topology (55P10) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: Let $G$ be a real linear algebraic group and $L$ a finitely generated cosimplicial group. We prove that the space of homomorphisms $Hom(L_n,G)$ has a homotopy stable decomposition for each $ngeq1$. When $G$ is a compact Lie group, we show that the decomposition is $G$-equivariant with respect to the induced action of conjugation by elements of $G$. The spaces $Hom(L_n,G)$ assemble into a simplicial space $Hom(L,G)$. When $G=U$ we show that its geometric realization $B(L,U)$, has a non-unital $E_{i}nfty$-ring space structure whenever $Hom(L_0,U(m))$ is path connected for all $mgeq1$.

Review text

For \(G\) a real linear algebraic group and \(L\) a finitely generated cosimplicial group, the author proves that the space of homomorphisms \(\mathrm{Hom}(L_n,G)\) has a homotopy stable decomposition for each \(n \geq 1\), \(\Theta(n):\Sigma \mathrm{Hom}(L_n,G) \simeq \vee_{0 \leq k \leq n} \Sigma(S_k(L_n,G)/ S_{k+1}(L_n,G))\). When \(G\) is a compact Lie group the author shows that the \(G\)-decomposition is \(G\)-equivariant and proposes a stable decomposition (Theorem 1.3) for \(\mathrm{Hom}(F_n/\Gamma^{q}_{n},G)\) and \(\mathrm{Rep}(F_n/ \Gamma^{q}_{n},G)\), respectively. The second part of the paper focuses on the study of the geometric realization of \(\mathrm{Hom}(L,G)\) for a finitely generated cosimplicial group denoted \(B(L,G)\). The spaces \(\mathrm{Hom}(L_n,G)\) are assembled into a simplicial space \(\mathrm{Hom}(L,G)\). For \(G=U\), the geometric realization \(B(L,U)\) has a nonunital \(E_{\infty}\)-ring space structure whenever the \(\mathrm{Hom}(L_0,U(m)),m\geq 1\) are path connected (Theorem 1.4).

Recommendations

• Homological stability for spaces of commuting elements in Lie groups
• On spaces of commuting elements in Lie groups
• The homotopy groups of the simplicial mapping space between algebras
• Nilpotent \(n\)-tuples in \(\mathrm{SU}(2)\)
• Commuting elements and spaces of homomorphisms

Cites work

• A classifying space for commutativity in Lie groups
• Commuting elements and spaces of homomorphisms
• Commuting elements, simplicial spaces and filtrations of classifying spaces
• EQUIVARIANT SEMI-ALGEBRAIC TRIANGULATIONS OF REAL ALGEBRAIC G-VARIETIES
• scientific article; zbMATH DE number 3417385 (Why is no real title available?)
• Infinite loop spaces and nilpotent K-theory
• On spaces of commuting elements in Lie groups
• Spaces of commuting elements in SU(2)
• Stable splittings, spaces of representations and almost commuting elements in Lie groups
• The classification of 𝐺-spaces

Cited in

(7)

• On the mod-\( \ell\) homology of the classifying space for commutativity
• Poincaré series of character varieties for nilpotent groups
• Hilbert-Poincaré series for spaces of commuting elements in Lie groups
• Classifying spaces for commutativity of low-dimensional Lie groups
• Nilpotent \(n\)-tuples in \(\mathrm{SU}(2)\)
• DETERMINATION OF THE UNISERIAL SPACE GROUPS WITH A GIVEN COCLASS
• Commutative classifying space for simplicial groups

This page was built for publication: Cosimplicial groups and spaces of homomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409983)