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.
156 questions
7
votes
1
answer
253
views
The set of isomorphism classes of Z/nZ-equivariant line bundles over a 2 dimensional Z/nZ-CW complex
Suppose I wish to find the set of isomorphism classes of $\mathbb{Z}/n\mathbb{Z}$-equivariant line bundles over a 2-dimensional, compact $\mathbb{Z}/n\mathbb{Z}$-CW-complex $X$, i.e. $\mathrm{Vect}^{1}...
- 85
4
votes
0
answers
62
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 ...
- 767
6
votes
1
answer
259
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 ...
- 15.9k
4
votes
1
answer
220
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
10
votes
2
answers
1k
views
When do non-exact functors induce morphisms on $K$-theory?
Let $\mathcal{A}$ and $\mathcal{B}$ be Waldhausen or exact categories, so that we can take the $K$-theory spectrum of $\mathcal{A}$ and $\mathcal{B}$. An exact functor $F: \mathcal{A} \to \mathcal{B}$ ...
- 25.6k
5
votes
0
answers
197
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,759
6
votes
2
answers
240
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\...
- 35.9k
2
votes
1
answer
199
views
Equivariant colimit and equivariant functors
This is rather specific B.5 of Thomas Nikolaus, Peter Scholze, On topological cyclic homology, arXiv:1707.01799 (on last line p147), which I am having fundamental confusion.
We have the categories $...
- 661
5
votes
1
answer
174
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
9
votes
1
answer
253
views
Almost free circle actions on spheres
$\DeclareMathOperator{\Fix}{\operatorname{Fix}}$I am looking for any reference regarding the following problem:
Problem: Consider a smooth almost-free action of $S^1$ on a smooth sphere $S^n$. Then ...
- 1,452
8
votes
0
answers
376
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$ ...
- 15.5k
16
votes
3
answers
2k
views
Motivation for equivariant homotopy theory?
I'm in the process of learning equivariant homotopy theory, so I was wondering: what is the importance of equivariant homotopy theory, and what has it been applied to so far? I know of HHR's solution ...
1
vote
0
answers
46
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 ...
- 1,177
18
votes
8
answers
3k
views
Reference request: Equivariant Topology
I am teaching a graduate seminar in equivariant topology. The format of the course is that I will give 2-3 weeks of background lectures, then each week a student will present a topic. The students ...
10
votes
1
answer
402
views
Definition of $Fun^G( \mathcal C, \mathcal D)$ in the setting of quasicategories
Our research group is currently going through the paper by Thomas Nikolaus and Peter Scholze On Topological Cyclic Homology and in the Appendix B, Proposition B.5., they use the notation $Fun^{B \...
- 2,303
4
votes
1
answer
238
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,374
23
votes
1
answer
878
views
What is higher equivariant homotopy?
In Lurie's "Survey of elliptic cohomology" it is claimed that there exists some mystical "2-equivariant homotopy theory" for elliptic cohomology. The classical equivariant elliptic cohomology is ...
- 4,780
2
votes
0
answers
58
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 ...
- 1,177
1
vote
0
answers
244
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 ...
- 1,759
2
votes
0
answers
211
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, ...
- 661
22
votes
1
answer
1k
views
What's with equivariant homotopy theory over a compact Lie group?
For some reason -- I'm not quite sure why -- I've developed the impression that I'm supposed to "tiptoe" around equivariant homotopy theory over groups that are not finite. Should I?
Let me explain. ...
- 64k
12
votes
1
answer
452
views
Extending a weak version of Sullivan's generalized conjecture
Apologies for the title.
Miller's theorem (formerly Sullivan's conjecture) gives that for a finite group $G$ and a finite dimensional connected CW complex $X$, the based mapping space $\operatorname{...
- 35.9k
14
votes
1
answer
563
views
Homotopy fixed points of complex conjugation on $BU(n)$
Stably it is known that $(\mathbb Z\times BU)^{hC_2}\simeq \mathbb Z\times BO$ holds. The homotopy fixed point spectral sequence for KU with complex conjugation action can be completely calculated and ...
- 403
6
votes
1
answer
257
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 ...
- 1,349
16
votes
6
answers
2k
views
Why are equivariant homotopy groups not RO(G)-graded?
I know very little about the fancy equivariant stable homotopy category, so I apologize if this question is silly for one reason or another, but:
I think that stable homotopy, in the non-equivariant ...
- 13.5k
7
votes
0
answers
133
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.9k
25
votes
2
answers
2k
views
Adams Operations on $K$-theory and $R(G)$
One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...
- 2,327
8
votes
0
answers
166
views
A question on recognition of equivariant loop spaces
I have a question about equivariant loop space that has been bothering me, and that I have not been able to find an answer to in the obvious places.
We know from the work of Segal that to give a loop ...
- 745
29
votes
2
answers
2k
views
Equivariant classifying spaces from classifying spaces
Given compact Lie groups $G$ and $\Pi$, there is a notion of "$G$-equivariant principal $\Pi$-bundle", and a corresponding notion of classifying space, often denoted $B_G\Pi$, so that $G$-equivariant ...
- 27.2k
6
votes
0
answers
155
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
1
answer
626
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,995
5
votes
0
answers
131
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 $\...
- 121
7
votes
0
answers
206
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
9
votes
1
answer
260
views
"Oriented representation" sphere
I am trying to understand basic notions from Hill-Hopkins-Ravenel paper: https://arxiv.org/abs/0908.3724
In the Example 3.10 we are considering equviariant cellular chain complex for $n$-dimensional ...
- 1,759
9
votes
2
answers
1k
views
Genuine equivariant ambidexterity
A particular case of Lurie and Hopkins' ambidexterity theory is that if $G$ is a finite group acting on a $K(n)$-local spectrum $X$ then the norm map
$$ X_{hG} \to X^{hG} $$
is a $K(n)$-local ...
- 9,491
15
votes
2
answers
1k
views
$RO(G)$-graded homotopy groups vs. Mackey functors
Everything here is model-independent: either take co/fibrant replacements wherever appropriate, or work $\infty$-categorically.
Also, I've looked through other similar MO questions, but I didn't find ...
- 6,069
5
votes
1
answer
418
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,759
8
votes
1
answer
976
views
Homotopy theoretic description of homotopy fixed points (and obstructions) for an action of group $G$ on a groupoid $X$
There are several scattered statements about fixed points and obstructions which I'd very much like to see unified in some framework.
To state them let $G$ be a group acting on a connected (1-...
- 7,799
6
votes
1
answer
356
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 ...
- 64k
4
votes
0
answers
132
views
What is the definition of $\operatorname{Fun}^{B \mathbb Z}$ used in Nikolaus--Scholze Proposition B.5? [duplicate]
I am trying to understand the relationship between cyclic objects in a quasicategory $\mathcal C$ and $S^1$-equivariant objects in $\mathcal C$ as presented in Nikolaus--Scholze "On Topological Cyclic ...
- 149
9
votes
2
answers
821
views
Models for equivariant genuine commutative ring spectra
The following question is an attempt at understanding various flavours of equivariant commutative ring spectra; it may not be suitable level for this forum.
Let $\mathcal{C}(G)$ be a symmetric ...
- 1,961
1
vote
0
answers
82
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 ...
- 1,969
2
votes
2
answers
209
views
Bredon cohomology of a sign representation for a cyclic group of order 4
Yet another question "I compute Bredon cohomology of something and I am not sure, whether it is correct".
So I am taking a sign representation $\sigma$ of cyclic group of order 4, $C_4$. Then I ...
- 1,759
28
votes
4
answers
4k
views
(∞, 1)-categorical description of equivariant homotopy theory
I'm trying to learn a bit about equivariant homotopy theory. Let G be a compact Lie group. I guess there is a cofibrantly generated model category whose objects are (compactly generated weak ...
- 25.2k
7
votes
1
answer
538
views
Naive equivariant transfer
Given a group $G$, a $\mathbb Z$-graded cohomology theory $E^*_G$, and a $n$-sheeted covering $p\colon X \to Y$, I would like a transfer map $$p_!\colon E^*_G X \to E^*_G Y$$ satisfying $$\require{...
- 2,995
9
votes
1
answer
1k
views
Is the Milnor construction contractible
Let $G$ be any topological group. Then we can form the infinite join $E_G$ of $G$, i.e. the colimit $G*G*G\cdots$.
Is $E_G$ contractible?
I mean it is clear that $E_G$ is weakly contractible, but ...
- 2,554
4
votes
3
answers
466
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. ...
- 30.3k
7
votes
2
answers
640
views
Naive Z/2-spectrum structure on E smash E?
Let $E$ be a spectrum. Then $E \wedge E$ is a $\mathbb{Z}/2$-spectrum in the naivest possible sense, i.e., an object with $\mathbb{Z}/2$-action in the (∞,1)-category of spectra. Can I make it ...
- 25.2k
3
votes
0
answers
147
views
Extensive survey of computations of equivariant stable stems
Where can I find a comprehensive survey of computations of equivariant stems?
To my knowledge, the status is:
Classical Work of Araki and Iriye, Osaka J. Math. 19 (1982). ...
- 2,630
5
votes
1
answer
502
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