All Questions

Filter by
Sorted by
Tagged with
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 ...
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 ...
Aaron Mazel-Gee's user avatar
9 votes
3 answers
633 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 ...
Arkadij's user avatar
  • 914
8 votes
1 answer
913 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-...
Saal Hardali's user avatar
  • 7,469
7 votes
1 answer
249 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}...
Time suspect's user avatar
7 votes
1 answer
507 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{...
jdc's user avatar
  • 2,974
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 ...
Maxime Ramzi's user avatar
  • 12.6k
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 ...
user avatar
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 ...
user avatar
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 ...
Grisha Taroyan's user avatar
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 ...
N.B.'s user avatar
  • 757
3 votes
1 answer
278 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 ...
Emily's user avatar
  • 9,727
3 votes
0 answers
117 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 ...
user avatar
2 votes
2 answers
205 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 ...
Igor Sikora's user avatar
  • 1,679
2 votes
1 answer
171 views

Orbit decomposition of the restriction of an equivariant sheaf?

All sets and groups in the question are finite. In order to understand equivariant sheaves better I'm trying to prove some basic facts from Mackey theory using equivariant sheaves. The main obstacle ...
Saal Hardali's user avatar
  • 7,469
2 votes
1 answer
233 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 ...
Mikhail Bondarko's user avatar
2 votes
0 answers
26 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 \...
Noah Wisdom's user avatar
2 votes
0 answers
137 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)...
John Pardon's user avatar
  • 18.1k
2 votes
0 answers
194 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$ ...
abelian_cat's user avatar
2 votes
0 answers
128 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....
N.B.'s user avatar
  • 757
1 vote
1 answer
200 views

$G$-CW complex structure of universal a $\mathcal{F}$-space

Let $G$ be a finite group and $H$ be an abelian subgroup of $G$. Let $\mathcal{F}$ be a family of all subgroups of $H$ , i.e. $\mathcal{F}= \{K : K \leq H\}$ Define universal $\mathcal{F}$-space $E\...
Surojit's user avatar
  • 35
0 votes
0 answers
330 views

$G$-CW complex structure of certain G-space

Let $G$ be a finite group and $H$ be a subgroup of $G$ . Let us denote $X= G/H \ast G/H \ast \cdots \ast G/H $($k$ times).Where $\ast$ denotes the topological join operation. My question are as ...
Surojit's user avatar
  • 35