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.
146
questions
7
votes
0
answers
125
views
Existence of relative equivariant minimal models
In equivariant rational homotopy theory the existence of minimal models (i.e. the equivariant generalization of minimal Sullivan models) has been established by Triantafillou (jstor:1999119) and Scull ...
- 19.4k
7
votes
0
answers
188
views
A confusion about geometric fixed points via spectral Mackey functors and smashing localisations
Let $G$ be a finite group and $N$ a normal subgroup. One of the modern ways to construct the $\infty$-category of $G$-spectra is as product-preserving spectral presheaves $\text{Sp}^G = \text{Fun}^{\...
- 71
6
votes
2
answers
407
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 ...
- 10.3k
6
votes
3
answers
415
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 ...
- 661
6
votes
1
answer
716
views
Equivariant colimits and homotopy colimits
Suppose we are given a diagram of topological spaces. We can restrict ourselves to the diagrams over finite partially ordered sets and let all spaces be good enough (e.g. CW-complexes). One can take ...
6
votes
1
answer
244
views
$p$-adic equivalence of spectra with $G$-action
In Krause and Nikolaus' "Lectures on topological Hochschild homology and cyclotomic spectra" (which can be found here), there is a lemma I'm trying to understand, but one line in the proof ...
- 997
6
votes
1
answer
421
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\...
- 63
6
votes
1
answer
663
views
Iterated Homotopy Quotient
If one has a normal Lie group inclusion $H\to G$, with quotient $G/H$, and a $G$-manifold $X$, one can take the quotient $X/H$. Then the $G$-action on $X/H$ factors thru a $G/H$-action, so one can ...
6
votes
2
answers
227
views
Fibre preserving maps of Borel constructions
Let $G$ be a discrete group with universal principal bundle $EG\to BG$, and let $X$ and $Y$ be left $G$-spaces. An equivariant map $\overline{f}:X\to Y$ induces a fibre-preserving map $f:EG\times_G X\...
- 34.9k
6
votes
1
answer
230
views
An induction formula for spectral Mackey functors, and a fake proof
I'm trying to get a grasp of Barwick's model for genuine $G$-spectra, that is, spectral Mackey functors 1. There's a classical formula about induction, that should be easy to prove, that I was trying ...
- 12.6k
6
votes
1
answer
332
views
What is the relationship between $O_G$-parameterized $\infty$-categories and $\infty$-categories enriched in $Top_G$?
Let $G$ be a finite group. Barwick et al define a $G-\infty$-category to be a fibration over the orbit category $O_G$ of transitive $G$-sets. But in the non-$\infty$-land, the natural guess at where I ...
- 59k
6
votes
1
answer
594
views
Where can I find basic "computations" of equivariant stable homotopy groups?
I am new to this subject; so please correct me if I will say something wrong or if you don't like my notation. In particular, I don't know whether it is reasonable to consider an infinite group $G$ (...
- 16.3k
6
votes
2
answers
895
views
Simple examples of equivariant homology and bordism
I'm looking for simple examples of calculations of equivariant homology and of equivariant bordism.
I have a finite group G acting on an CW-complex X. I would like to calculate the equivariant ...
- 21.8k
6
votes
0
answers
151
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 ...
- 933
6
votes
0
answers
242
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-)...
- 19.4k
6
votes
0
answers
142
views
Homotopy groups of certain geometric fixed point spectrum
Let $G$ be a finite group and $E$ be a genuine $H$-spectrum for $H\leq G.$ Then for any subgroup $K$ of $G$, consider the $K$-spectrum $X=Res^G_K Ind^G_H(E).$
Is there any reference for computing the ...
- 745
5
votes
2
answers
718
views
Is the category of $G$-spaces a model category?
Let $G$ be a compact Lie group and $\mathcal{C}_G$ the category of $G$-spaces (ie. topological spaces endowed with continuous left $G$-actions). Is there a model category structure on $\mathcal{C}_G$ ...
- 4,850
5
votes
1
answer
493
views
Are two equivariant maps between aspherical topological spaces homotopic?
Let $f: X \rightarrow Y$ be continuous, X,Y pathwise connected and aspherical (i.e. trivial higher homotopy groups). Then $\pi_1(X)$ acts on the universal cover of $X$ via deck transformations, and on ...
- 73
5
votes
1
answer
267
views
Can the set of iso classes of G-equivariant H-bundles be given by ordinary homotopy classes of non-equivariant maps?
Let $G$ be a (nice enough) topological group (actually a filtered colimit of compact Lie groups), and let $X$ be a manifold with an action (a proper one in fact) by a Lie group $H$. Let $X//H := (X\...
- 33.2k
5
votes
2
answers
450
views
Burnside ring and zeroth G-equivariant stem for finite G
Let $G$ be a finite group. The theorem that the Burnside ring $A(G)$ is isomorphic to the zeroth stable stem $\pi^{G}_0(S)$ is usually said to originate from Segal. I search for a reference of a proof ...
- 1,233
5
votes
1
answer
182
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 ...
5
votes
1
answer
315
views
$RO(Q)$-graded homotopy fixed point spectral sequence
I am trying to understand some part of J. Greenlees's "Four approaches to cohomology theories with reality": https://arxiv.org/abs/1705.09365
I have a problem with understanding $RO(Q)$-graded ...
- 1,679
5
votes
1
answer
590
views
Is a $G$-cell complex always a $G$-CW complex?
I recall vaguely once reading that a cell complex—constructed like a CW-complex but without assuming the cells are appended in order of increasing dimension —"is" actually a CW-complex. I ...
- 2,974
5
votes
1
answer
170
views
Slices for certain $C_p$-spectrum
By the work of Hill-Yarnall, for the group $G=C_p,$ all the slices for any spectrum, in particular, for $S^V \wedge H\underline{\mathbb{Z}}$, are classified. Here $V$ is a representation of $C_p.$
...
- 745
5
votes
1
answer
554
views
equivariant cohomology with respect to a loop group
Let $G$ be a compact connected simply connected Lie group. Let $LG$ be the corresponding
loop group. What is the cohomology of its classifying space (i.e. what is the equivariant
cohomology of a point ...
- 6,877
5
votes
0
answers
149
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 ...
5
votes
0
answers
89
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 ...
- 20.5k
5
votes
0
answers
187
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 ...
- 1,679
5
votes
0
answers
122
views
Equivariant splitting of loop space of a suspension
It is well known, e.g. by Cohen's "A model for the free loop space of a suspension", that there is a stable splitting of the free loop space $\mathcal{L}
\Sigma X $of the suspension $\...
- 111
5
votes
0
answers
217
views
"Strict" homotopy theory of topological stacks/orbifolds
If we fix a finite group $G$, there are two different useful homotopy theories on the set of $G$-equivariant topological spaces (which are CW complexes, say). One, the "weak" homotopy theory, is given ...
- 7,882
5
votes
0
answers
202
views
G-spaces and SG-module spectra
This question is related to the one here, but has a slightly different angle.
Let $G$ be a topological group and let $X$ be a $G$-space. Taking the suspension spectrum $\Sigma^{\infty}_+ X$ (in my ...
- 7,447
5
votes
0
answers
186
views
Extensions of discrete groups by spectra
If $G$ is a discrete group, recall that a (naive) $G$-spectrum consists of based $G$-spaces $E_n$ together with based $G$-maps $\Sigma E_n \to E_{n+1}$, where we give the suspension coordinate the ...
- 18.5k
4
votes
2
answers
484
views
Isomorphism between the Burnside ring $A(G)$ and the zeroth $G$-equivariant stable homotopy $\pi^{G}_0(S^0)$
Let $G$ be a compact Lie group. I know that the Burnside ring $A(G)$ is isomorphic to the zeroth $G$-equivariant stable homotopy $\pi^{G}_0(S^0)$. What is the isomorphism between $A(G)$ and $\pi^{G}_0(...
- 45
4
votes
3
answers
450
views
Need M combinatorial for existence of injective model structure on $M^G$?
I'm doing some work with model categories and operads, and to check a certain hypothesis I've had to learn a bit of equivariant homotopy theory. Let $M$ be a model category and $G$ be a finite group. ...
- 25.6k
4
votes
2
answers
1k
views
homotopy invariant and coinvariant
Let $V$ be a chain complex, which is either $Z$ or $Z/2$ graded. A circle action on $V$ is
by definition an action of the dga $H_\ast(S^1)$. This consists of a map $D : V → V$ , which is of square ...
- 113
4
votes
1
answer
158
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 ...
user493302
4
votes
1
answer
198
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 ...
user501794
4
votes
2
answers
353
views
homotopy equivalence between configuration spaces
Let $M$ be a $m$-dimensional compact manifold without boundary and $W(M)$ the non-compact $CW$-complex obtained by glueing $[0,1)\times (0,1)^{m-1}$ to $M$, identifying the boundary $\{0\}\times(0,1)^{...
- 1,970
4
votes
1
answer
208
views
Computing homotopy colimit of a space with free $S^1$-action
Context. I am trying to understand the argument in B.4 of Thomas Nikolaus, Peter Scholze, On topological cyclic homology, arXiv:1707.01799 (on p147).
I am still lost. But from Maxime's helpful ...
- 661
4
votes
1
answer
262
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
204
views
Bredon cohomology of a permutation action on $S^3$
I've seen a couple of similar questions asking to verify computations of Bredon cohomology here and here, so I will ask one such question myself.
Let $\mathbb{Z}/2$ act on $S^3\subset \mathbb{C}^2$ by ...
- 1,182
4
votes
0
answers
90
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 ...
- 373
4
votes
0
answers
92
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 ...
- 1,779
4
votes
0
answers
161
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 ...
- 5,716
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 ...
- 757
4
votes
0
answers
119
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 ...
- 757
4
votes
0
answers
146
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}\...
- 4,659
4
votes
0
answers
127
views
Spin bordism with non free involution
Is there a comprehensive account of GEOMETRIC equivariant spin bordism groups with respect to the group $ \mathbb{Z}/2$ (instead of homotopy theoretical trough equivariant Thom Spectra),...
- 2,590
4
votes
0
answers
414
views
Reference for homotopy orbits of pointed spaces
Can someone point me to a good (hopefully simple and brief) place to read about the basics
of homotopy orbits for pointed spaces?
More detail:
As I understand it, in the unpointed case,
we use the ...
- 12.4k
3
votes
3
answers
398
views
K-theory of free $G$-sets and the classifying space, and generalization
$\newcommand\Sets{\mathrm{Sets}}\DeclareMathOperator\Nerve{Nerve}$Let $G$ be a finite group, $\mathcal{G}^0$ be the category of finite free
$G$-sets and isomorphisms between them. Then $\mathcal{G}^0$...
- 3,031