Questions tagged [equivariant-homotopy]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6 votes
0 answers
128 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 ...
user avatar
  • 751
2 votes
0 answers
82 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....
user avatar
  • 645
1 vote
0 answers
40 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 ...
user avatar
  • 851
4 votes
0 answers
81 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 ...
user avatar
  • 19k
2 votes
1 answer
83 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{...
user avatar
  • 645
5 votes
0 answers
151 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-)...
user avatar
4 votes
0 answers
113 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 ...
user avatar
  • 1,015
4 votes
0 answers
57 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 ...
user avatar
  • 645
4 votes
0 answers
102 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 ...
user avatar
  • 645
4 votes
0 answers
103 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}\...
user avatar
3 votes
1 answer
188 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 ...
user avatar
  • 6,346
2 votes
0 answers
41 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 ...
user avatar
  • 851
9 votes
0 answers
396 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{...
user avatar
  • 795
3 votes
1 answer
178 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$ ...
user avatar
  • 1,315
5 votes
0 answers
171 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 ...
user avatar
  • 1,315
10 votes
2 answers
424 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 ...
user avatar
  • 49.1k
9 votes
1 answer
304 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 ...
user avatar
2 votes
0 answers
146 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, ...
user avatar
8 votes
0 answers
310 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$ ...
user avatar
  • 14.7k
1 vote
0 answers
147 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 ...
user avatar
  • 1,315
6 votes
3 answers
344 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 ...
user avatar
2 votes
1 answer
145 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 $...
user avatar
4 votes
1 answer
193 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 ...
user avatar
9 votes
1 answer
179 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 ...
user avatar
  • 1,298
7 votes
1 answer
219 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}...
user avatar
5 votes
1 answer
159 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.$ ...
user avatar
7 votes
0 answers
101 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 ...
user avatar
5 votes
1 answer
187 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 ...
user avatar
  • 8,025
6 votes
0 answers
111 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 ...
user avatar
8 votes
0 answers
139 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 ...
user avatar
4 votes
1 answer
165 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 ...
user avatar
5 votes
0 answers
108 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 $\...
user avatar
8 votes
3 answers
454 views

Homotopy group action and equivariant cohomology theories

Many of the introductory notes on generalized equivariant cohomology theories assume that one is working over the category of $G$-spaces or $G$-spectra. However, one thing that concerns me is that the ...
user avatar
  • 864
6 votes
2 answers
208 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\...
user avatar
  • 33.2k
7 votes
0 answers
160 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}^{\...
user avatar
3 votes
3 answers
352 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$...
user avatar
  • 2,968
3 votes
0 answers
112 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 ...
user avatar
3 votes
0 answers
105 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). ...
user avatar
6 votes
1 answer
217 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 ...
user avatar
  • 632
9 votes
1 answer
314 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 \...
user avatar
  • 1,573
5 votes
1 answer
545 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 ...
user avatar
  • 2,929
14 votes
1 answer
415 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 ...
user avatar
25 votes
2 answers
2k views

Did Peter May's "The homotopical foundations of algebraic topology" ever appear?

In the monograph Equivariant Stable Homotopy Theory, Lewis, May, and Steinberger cite a monograph "The homotopical foundations of algebraic topology" by Peter May, as "in preparation." It's their [107]...
user avatar
  • 21.2k
2 votes
0 answers
66 views

Does there exist a "Margolis-type" definition of equivariant cellular towers?

I am interested in cellular towers in the equivariant stable homotopy category $SH_G$ corresponding to a compact Lie group along with a complete universe for it. Note here that a cellular tower for ...
user avatar
3 votes
0 answers
77 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 ...
user avatar
2 votes
1 answer
207 views

Do Mackey (co)homology functors factor through derived categories? References with details?

Let $G$ be a compact Lie group; I will write $SH_G$ for the (equivariant) stable homotopy category of $G$-spectra (say, with respect to a complete universe; does its choice affect the homotopy ...
user avatar
6 votes
1 answer
281 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 ...
user avatar
  • 49.1k
9 votes
1 answer
210 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 ...
user avatar
  • 1,315
12 votes
1 answer
414 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{...
user avatar
  • 33.2k
5 votes
1 answer
225 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 ...
user avatar
  • 1,315