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.
66 questions with no upvoted or accepted answers
22
votes
0
answers
2k
views
Is the equivariant cohomology an equivariant cohomology?
Suppose a finite group $G$ acts piecewise linearly on a polyhedron $X$. Then there are two kinds of equivariant cohomology (or homology).
$\bullet$ With coefficients in a $\Bbb Z G$-module $M$. A ...
- 5,575
21
votes
0
answers
1k
views
What is the current knowledge of equivariant cohomology operations?
In Caruso's paper, "Operations in equivariant $Z/p$-cohomology," http://www.ams.org/mathscinet-getitem?mr=1684248, he shows that the integer-graded stable cohomology operations in $RO(\mathbb{Z}/p)$-...
- 865
14
votes
0
answers
341
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 ...
- 141
11
votes
0
answers
264
views
Trouble with Stable Equivariant Profinite Homotopy Theory
I've heard that there are some problems in developing a good formalism for stable equivariant homotopy theory (either from the spectral mackey functors perspective or from the orthogonal spectra ...
- 111
11
votes
0
answers
402
views
How does the HHR Norm functor interact with the cotensor over $G$-spaces?
Let $N_H^G$ be the norm functor from orthogonal $H$-spectra to orthogonal $G$-spectra. We know the category of orthogonal $G$-spectra $\mathcal{S}_G$ is enriched over the category of based $G$-spaces $...
- 423
10
votes
0
answers
735
views
Adams Spectral Sequence for Equivariant Cohomology Theories
In ordinary algebraic topology the Adams spectral sequence can be applied for any cohomology theory $E$ and in good cases it converges to the stable homotopy classes of maps (of the E-nilpotent ...
- 1,273
9
votes
0
answers
434
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{...
- 795
9
votes
0
answers
636
views
toy examples of equivariant homotopy theory
I've heard a little recently about equivariant homotopy theory, and so I decided to try out some baby examples just to get a feel for it. I'm not even sure if these are the right thing to look at, ...
- 6,069
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
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
8
votes
0
answers
411
views
Equivariant K-theory of projective representation on complex projective space
Let $G$ be a group and let $V$ be a complex projective representation of $G$, so that $G$ acts on the projectivization $\mathbb{P}(V)$. Is there any way to calculate the $G$-equivariant complex $K$-...
- 25.6k
8
votes
0
answers
500
views
Failure of "equivariant triangulation" for finite complexes equipped with a $G$-action
Let $\mathcal{S}$ be the $\infty$-category of spaces, and let $G$ be a finite group, and let $BG$ be the groupoid with one object and automorphisms given by $G$.
Consider the $\infty$-category $\...
- 25.6k
8
votes
0
answers
210
views
Fibrations of orthogonal G-spectra and fixed points
There are at least two fixed point functors that characterize stable equivalences of orthogonal G-spectra: the geometric fixed points and the naive fixed points of a fibrant replacement.
Is this true ...
- 425
7
votes
0
answers
253
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.8k
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.8k
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
6
votes
0
answers
162
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 ...
- 803
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
0
answers
119
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 ...
- 959
5
votes
0
answers
88
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 ...
- 1,638
5
votes
0
answers
161
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 ...
- 10.4k
5
votes
0
answers
93
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 ...
- 21.8k
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
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
5
votes
0
answers
222
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,952
5
votes
0
answers
217
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,637
5
votes
0
answers
192
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.8k
5
votes
0
answers
440
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.5k
4
votes
0
answers
107
views
Reference request for a theorem of Jaworowski
Jan Jaworowski, in 2000, proved the following theorem (I came to know about it from here)
Jaworowski (2000) : Let $Y$ be a finite simplicial complex of dimension $k$ and let $n\ge 2k$. If $f:S^n\to Y$...
- 141
4
votes
0
answers
114
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
98
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,949
4
votes
0
answers
201
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 ...
- 6,018
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
4
votes
0
answers
124
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 ...
- 767
4
votes
0
answers
163
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,709
4
votes
0
answers
128
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,630
3
votes
0
answers
85
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 ...
- 73
3
votes
0
answers
152
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 ...
- 803
3
votes
0
answers
122
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. ...
- 2,052
3
votes
0
answers
127
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 ...
user340793
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
3
votes
0
answers
84
views
Reference Request: Equivariant Symplectic bordism
Non-equivariantly, symplectic bordism has been developed extensively by Ray, Gorbunov, and specially S. Kochman in this memoir: http://dx.doi.org/10.1090/memo/0496 Yet the coefficients ...
- 2,630
3
votes
0
answers
85
views
Twists of equivariant spectra
Let $A$ be a spectrum, defined by deloopings $A_n$ (n an integer). Then the identity $A = S^1\wedge A_1$ together with antipodal equivariant spectrum structure on $S^1$ gives genuine $\mathbb{Z}/2$-...
- 7,952
3
votes
0
answers
142
views
Maps between equivariant loop spaces
I have an elementary question about equivariant loop spaces that I feel it should be well known.
Given a finite group $G$ and a finite $G$-set $J$ let $S^J=\mathbb{R}[J]^+$ be the permutation ...
- 425
3
votes
0
answers
145
views
Equivariant model structure on $G-\mathrm{Gpd}$
Let's denote $G\text{-}\mathrm{Gpd}$ the presheaf category $[\mathbf{B}G, \mathrm{Gpd}]$. Now assume that $\mathrm{Gpd}$ is endowed with its natural model structure where weak equivalences are ...
user2664
3
votes
0
answers
117
views
Why "non-linear similarity" is the same as equivalence of representations for connected Lie groups?
Let $G$ be a compact Lie group and $V$ a finite-dimensional orthogonal $G$-representation. Write $S^V$ for the quotient $D(V)/S(V)$, where $D(V)$ and $S(V)$ are the unit disk and sphere in $V$, ...
2
votes
0
answers
193
views
A $\mathbb{Z}_2$-equivariant map from $n$-torus to $2$-sphere that is null-homotopic is $\mathbb{Z}_2$-homotopic to a non-surjective map?
I have been thinking on the problem below for a while and I am not sure if it is correct or not. I am trying to see if there exists a counter-example for the problem below.
Problem: Let $f: (S^1)^n \...
- 21
2
votes
0
answers
72
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 ...
- 21
2
votes
0
answers
47
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 \...
- 61
2
votes
0
answers
169
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 ...
