# Questions tagged [equivariant-homotopy]

Equivariant homotopy theory is the study of how homotopy theory behaves when spaces are considered together with a group action on them.

151
questions

5
votes

0
answers

97
views

### Torus equivariant Morava K-theory

Let $X$ be a CW complex with a torus action $T$. Is there an established definition in equivariant stable homotopy theory of $T$-equivariant Morava K-theory, $K_p(n)^*_T(X)$? Any explicit references ...

9
votes

1
answer

280
views

### $\operatorname{Spaces}/BG$ $\sim$ $\operatorname{Spaces}^G$ $\sim$ $??(\Omega G)$

This is a crosspost (with minor alterations).
For a topological group $G$, assigning to a $G$-space $X$ the (canonical) map $EG\times_GX\to BG$ establishes an equivalence between the homotopy category ...

5
votes

0
answers

79
views

### Replacing a $G$-CW-complex with a $G$-homotopy equivalent $G$-simplicial complex - can anyone supply a reference?

Let $G$ be a group (not a topological group, just a group). By a $G$-complex I mean a CW-complex with an action of $G$ that takes cells to cells so that the pointwise and setwise stabilizer of each ...

2
votes

0
answers

72
views

### Recover the $C_k$-action of a cyclic object as from the $S^1$-action on Hochschild chain

$\newcommand{\Fun}{\operatorname{Fun}}$Let $X\in\Fun(\Lambda^\mathrm{op}, \mathcal{C})$ be a cyclic object in the ($\infty$-)symmetric monoidal category $\mathcal{C}$, where $\Lambda$ is the cyclic ...

2
votes

0
answers

63
views

### Equivariant $K$-theory and proper actions of discrete groups

The work of Lück and Oliver describes the generalization of equivariant $K$-theory to infinite discrete groups. When $X$ is a finite proper $G$-CW complex, there exist Bott isomorphisms $K^n_G(X)\cong ...

2
votes

0
answers

39
views

### Is anything known about the equivariant homotopy theory of surfaces with the action of a finite subgroup of the mapping class group?

The Nielson realization theorem for a surface says that every finite subgroup of the mapping class group is realized by a finite subgroup of homeomorphisms on the surface. Furthermore, for a genus $g \...

3
votes

2
answers

757
views

### The adjoint representation of a Lie group

Let $G$ be a Lie group and $\text{Ad}(G)$ denote its adjoint representation i.e. the adjoint action of the group $G$ on its Lie algebra $\mathfrak{g}$. The adjoint representation is a real $G$-...

1
vote

1
answer

142
views

### Relative $G$-equivariant homology groups

Let $X$ be a free $G$-CW-complex with $G$-equivariant cell filtration by
$n$-skeleta $X_0 \subset \dots \subset X_n \subset \dots \subset X$ (for
rigorous definition see
Chap. II, p. 98 in linked ...

3
votes

0
answers

81
views

### Explicit computation of the transfer in the representation ring for unitary groups

For a compact Lie group $G$ we let $R(G)$ be the ring of finite dimensional complex $G$-representations studied by Segal in http://www.numdam.org/item/PMIHES_1968__34__113_0.pdf.
This comes with extra ...

6
votes

1
answer

436
views

### An exact sequence involving THH

Disclaimer: I'm a relative beginner in this area. I'm trying to prove that if one has a commutative ring $R$ and a prime number $p$, then there is an exact sequence of the form
$$\DeclareMathOperator\...

2
votes

0
answers

159
views

### The dimension of the representation ring

Let $G$ be a compact Lie group. I am trying to characterize the algebraic properties of the representation ring $R(G)$ of $G$. In the case of the $n$-torus, the representation ring $R(T)$ is ...

4
votes

1
answer

300
views

### Calculate homotopy groups of $\mathbb{Z}_2$-equivariant loop spaces of "complex" topological spaces

Let $X$ be a topological space such that complex conjugation is defined (e.g. $\mathbb{C}^n$) and let us define the set of maps $$S_d:= \left\{f: (I^d,\partial I^d)\to (X,x_0)\mid \overline{f(k)} = f(...

4
votes

1
answer

208
views

### Equivariant complex $K$-theory of a real representation sphere

Consider the one-point compactification of a $U(n)$-representation $V$, denoted by $S^V$. I want to caclulate $\tilde{K}_\ast^{U(n)}(S^V)$. When $V$ is a complex $U(n)$-representation, we can use the ...

3
votes

0
answers

135
views

### Equivariant classifying space and manifold models

The classifying space $BS^1$ for $S^1$-bundles can be taken to be the colimit of $\mathbb{CP}^n$ which are smooth manifolds and the inclusions $\mathbb{CP}^n \hookrightarrow \mathbb{CP}^{n+1}$ are ...

2
votes

0
answers

155
views

### Terminology for equivariant homology

The usual $G$-equivariant homology and cohomology groups of a space $X$ with $G$-action are given by the Borel construction:
$$H_\ast^G(X)=H_\ast((X\times EG)/G),$$
$$H^\ast_G(X)=H^\ast((X\times EG)/G)...

1
vote

0
answers

78
views

### Equivariant spectrum with coefficients

I am curious to know whether spectra with coefficients as defined in Adams's Blue book be defined to an equivariant setting. In the non-equivariant case, for a spectrum $E$ and an abelian group $A$, ...

5
votes

1
answer

195
views

### Rational G-spectrum and geometric fixed points

For a finite group $G$, how is a rational $G$-spectrum $X$ detected by the geometric fixed point functor $\phi^H$ where we consider the conjugacy class of $H\leq G$? I tried finding a reference for ...

1
vote

0
answers

78
views

### Do the covariant maps of a sheaf with transfer automatically satisfy a dual gluing axiom?

I'm interested in describing a notion of equivariant sheaves that uses Mackey functors on topoi. We can describe a genuine G-spectrum as a spectral Mackey functor on the topos of finite G-sets. If we ...

4
votes

0
answers

99
views

### Mostow-Palais equivariant embedding for manifolds with corners

Let $M$ be a compact smooth manifold and let $G$ be a connected compact Lie group acting on $M$. According to an old theorem of Mostow and Palais, there exists a $G$-equivariant embedding of $M$ into ...

13
votes

1
answer

686
views

### Applications of equivariant homotopy theory to representation theory

Equivariant homotopy theory focuses on spaces together with some group action on them. Jeroen van der Meer and Richard Wong have a paper where they use equivariant methods to compute the Picard group ...

4
votes

0
answers

95
views

### When can the trace on cohomology be computed as the Euler characteristic of fixed points?

In this question all groups are finite, and all spaces are nice (eg, simplicial sets).
Given a $G$ space $X$, which we assume has finitely many nonzero cohomology groups, we can compute the trace of ...

4
votes

1
answer

163
views

### $E^G_\ast(E)$ tensored with the rationals

Lemma 17.19 of Switzer's "Algebraic topology - Homology and Homotopy" states that $E_\ast(F)\otimes\mathbb{Q}$ is isomorphic to $\pi_\ast(E)\otimes\pi_\ast(F)\otimes\mathbb{Q}$. I wanted to ...

3
votes

0
answers

119
views

### Is there a framed nullbordism of $T^4$ with an action of $T^4$ that extends the self-action?

Under the identification of the stable homotopy groups with the (stably) framed bordism groups, it is well known that $\eta\in\pi_1\mathbb{S}$ is represented by $S^1$ with its Lie group framing. ...

3
votes

0
answers

124
views

### Equivariant spectra with coefficients

In “The localization of spectra with respect to homology”, Bousfield describes localizations with respect to Moore Spectra. Given a spectrum $E$, and a group $M$, he describes the spectrum with ...

14
votes

0
answers

323
views

### Is this class of groups already in the literature or specified by standard conditions?

In recent work
Lifting $N_\infty$ operads from conjugacy data on homotopical combinatorics / $N_\infty$ operads in equivariant homotopy theory, collaborators
Scott Balchin, Ethan MacBrough, and I ...

5
votes

0
answers

155
views

### Splitting of $BGL_1(KR)$

There are infinite loop space splittings $BGL_1(KO)\simeq BGL_1(KO)[0,2]\times Z$ and $BGL_1(KU)\simeq BGL_1(KU)[0,3]\times Z'$ where $Z$ and $Z'$ are 2 and 3 connected, respectively (i.e. they have ...

2
votes

0
answers

207
views

### Is the equivariant Steenrod algebra useful?

I am a newbie to the field, so please excuse any potential obvious gaps in knowledge. I have been wondering of late about the equivariant (dual) Steenrod algebra in the context of genuine $G = C_p$ ...

6
votes

2
answers

422
views

### What are the naive fixed points of a non-naive smash product of a spectrum with itself?

Let $X$ be an object in one of the well-known symmetric monoidal model categories of spectra. E.g., an $\mathtt S$-module in the sense of EKMM, or an orthogonal spectrum, or a $\Gamma$-space, etc.
One ...

2
votes

0
answers

86
views

### The slice filtration does not arise from a $t$-structure

I've heard this argument quite a bit that the slice filtration does not arise from a $t$-structure on the category of genuine $G$-spectra. Mike Hill points out in Remark 3.12 of The Equivariant Slice ...

6
votes

0
answers

154
views

### Uniqueness of normal microbundle of a smooth embedding

Suppose $M$ is a topological manifold and $\iota: N\hookrightarrow M$ be a submanifold. A normal microbundle of $N$ consists of an open neighborhood $U$ of $N$ and a retraction $\pi: U \to N$ such ...

2
votes

0
answers

139
views

### Geometric fixed points of induction spectrum

I was reading the paper "The Balmer spectrum of rational equivariant cohomology theories" of J.P.C. Greenlees and I found the following interesting fact, expressed in Lemma 4.2 and Remark 4....

1
vote

0
answers

45
views

### A question related to injective envelope for a system of DGA's

I was trying to read Fine and Triantafillou's paper "On the equivariant formality of Kahler manifolds with finite group action".
They have defined the enlargement at $H$ of a system of DGA's ...

5
votes

0
answers

91
views

### Equivariant imbedding of compact manifold

Let $G$ be a compact Lie group smoothly acting on a smooth compact manifold $X$.
Is it true that there exists a smooth $G$-equivariant imbedding of $X$ into a Euclidean space acted linearly (and ...

2
votes

1
answer

178
views

### Double coset decomposition for compact Lie groups

The starting point of my question is the following fact: suppose $G$ is a finite group and let $H,K \leq G$ be arbitrary subgroups, then there exists an isomorphism of $G$-sets as follows
\begin{...

6
votes

0
answers

246
views

### Model structure on dg-algebras over an "equivariant fundamental category"?

For purposes of $G$-equivariant rational homotopy theory one wants a Quillen adjunction which generalizes the classical one of Bousfield-Gugenheim from plain dg-algebras/simplicial-sets to (co-)...

4
votes

0
answers

178
views

### Decomposition of fiber product of $G$-sets in $G$-orbits

I have posted an identical question in MSE few days ago, but maybe this site is a better adress to discuss this problem:
Let $G$ be a finite group and $K, H \leq G$ two subgroups. Then
the right ...

4
votes

0
answers

61
views

### Endomorphism in the rational stable $O(2)$-equivariant category of the universal space of the family of finite dihedral subgroups

Let $G$ be a compact Lie group. We can define $\mathfrak{F}G$ to be the collection of conjugacy classes of closed subgroups of $G$ whose Weyl group is finite, a bi-invariant metric on $G$ induces a ...

4
votes

0
answers

121
views

### Equivariant phantom maps

In the stable homotopy category a map of spectra $f\colon X \rightarrow Y$ is called phantom is the induced map between the associated homology theories $X_* \rightarrow Y_*$ is zero, it is know that ...

4
votes

0
answers

153
views

### Rigidity of the TMF-valued equivariant elliptic genus

Let me preface this question by saying that I wrote it at least in part to understand its statement. As such, I hope that the reader will excuse any mistakes.
$\DeclareMathOperator{\ind}{ind}\...

3
votes

1
answer

291
views

### What is the pointed Borel construction of the $0$-sphere?

From what I understand, the Borel construction takes a $G$-space $X$ and produces a topological space $X\times_{G}\mathbf{E}G$―the homotopy quotient $X/\!\!/G$ of $X$ by $G$ in the $\infty$-category ...

2
votes

0
answers

53
views

### Projective resolution of a dual coefficient system

I was trying to read the paper "Equivariant minimal models" by G. Triantafillou(1982) and was trying to compute cohomology of a system of DGA with rational coefficient system. Given a finite ...

9
votes

0
answers

430
views

### Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms

In the mid 90's, Martino- Priddy proved that given two finite groups $G, H$, the following are equivalent:
$\mathbb{F}_p\mathrm{Inj}(P,G)\cong \mathbb{F}_p\mathrm{Inj}(P,H)$ as $\mathbb{F}_p\mathrm{...

3
votes

1
answer

196
views

### Reduction to graph subgroups for Bredon homology when the $G_1\times G_2$ is $G_2$-free

I have the following problem. Let $\Gamma_{G_1\times G_2}$ be a full subcategory of the orbit category $\mathcal{O}_{G_1\times G_2}$ consisting of graph subgroups of $G_1\times G_2$. Further, let $N$ ...

5
votes

0
answers

189
views

### Construction of equivariant Steenrod algebra

I am reading through the calculations in Hu-Kriz "Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence" and I've got a small problem in understanding the ...

10
votes

2
answers

483
views

### Are finite $G$-spectra idempotent complete?

Question: Let $G$ be a compact Lie group (you can assume that $G$ is finite if you like). Is the category of finite $G$-spectra idempotent complete?
Here, by "finite $G$-spectra", I mean ...

9
votes

1
answer

426
views

### Applications of equivariant homotopy theory in chromatic homotopy theory

I usually do computations in equivariant homotopy theory, but I would like to learn chromatic homotopy theory where one may use the equivariant techniques, e.g., slice spectral sequences, etc.
For ...

2
votes

0
answers

188
views

### Understanding equivariance of the Tate construction $(-)^{tC_P}$

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\Fun{Fun}\newcommand\Cat{\text{Cat}}\DeclareMathOperator\CoInd{CoInd}\newcommand\Spaces{\text{Spaces}}$It is stated in line 10, p76, Thomas Nikolaus, ...

8
votes

0
answers

361
views

### Is there a 2-categorical, equivariant version of Quillen's Theorem A?

Quillen's Theorem A says that a functor $F:C \to D$ (between 1-categories) induces a homotopy equivalence of classifying spaces $BC \simeq BD$ if for every object $d$ in $D$ the fiber category $F/d$ ...

1
vote

0
answers

225
views

### A $d_1$-differential in the homotopy fixed points spectral sequence

I have the following problem. Let $Q$ denote $\mathbb{Z}/2$ as an abelian group and let $X$ be a $Q$-spectrum. If I want to compute the homotopy groups of $X^{hQ}$, homotopy fixed points spectrum, I ...

6
votes

3
answers

435
views

### How does one rigorously lift a map $Sp \rightarrow Sp$ of spectra to equivariant spectra?

This is in part motivated from my attempt to understand tate diagonal in III.1 of Thomas Nikolaus, Peter Scholze, On topological cyclic homology, arXiv:1707.01799. I just want to make my ...