Questions tagged [equivariant-cohomology]
The equivariant-cohomology tag has no usage guidance.
176
questions
6
votes
1
answer
362
views
What is equivariant chains on a representation sphere?
For a finite group $G$ and a finite-dimensional real representation $V$ of $G$, denote by $S^V$ the one-point compactification of $V$, with basepoint at infinity.
What is the reduced chain complex $...
9
votes
0
answers
122
views
An overcomplex of the Cartan model in equivariant cohomology?
Given any graded vector space $V^\bullet$ and any degree 1 linear operator $d\colon V^\bullet\to V^{\bullet+1}$, one gets a complex $(\ker(d^2),d)$. Moreover, if $V^\bullet$ is a graded algebra and $d$...
3
votes
0
answers
63
views
Relation of $KR(X)$ and $K(Y)$ for $X\to Y$ a $C_2$ principal bundle
It is an important property of usual equivariant $K$-theory that $K_G(X)\cong K(X/G)$ whenever $G$ acts freely on $X$.
What can be said about $KR(X)$ when the action of $C_2$ on $X$ is free? In the ...
7
votes
1
answer
250
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}...
6
votes
1
answer
237
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 ...
7
votes
0
answers
175
views
Intersection numbers via residue formula
$\newcommand{\sslash}{\mathbin{/\mkern-7mu/}}$With a friend we are trying to understand residue formulas in the article "Cohomology pairings on singular quotients in geometric invariant theory&...
8
votes
1
answer
465
views
Equivariant (co)homology of flag manifolds, convolution algebra and nil hecke algebra?
For a complex reductive group $G$ and its Borel subgroup $B$, it seems to be well-known that the equivariant homology group $H^G_*(G/B\times G/B)$ forms a nil-Heck algebra
$$NH=\Bbbk[y_i,\partial_{j}]...
4
votes
1
answer
215
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 ...
5
votes
1
answer
328
views
Equivariant cohomology of a semisimple Lie algebra
Suppose $\mathfrak{g}$ is a real Lie algebra integrating to the connected Lie group $G$. One may consider the $G$-equivariant cohomology of $\mathfrak{g}$ ($\mathfrak{g}^*$) where the $G$-action is ...
1
vote
0
answers
432
views
Cellular chain complex of $G$-CW-complexes & their differentials
I not completly understand EXAMPLE 2.31 (page 19) dealing with homology of
$G$-CW-complexes. Source: http://www.ltcc.ac.uk/media/london-taught-course-centre/documents/LTCC-notes-Lecture3-2019.pdf
...
9
votes
3
answers
707
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 ...
2
votes
0
answers
75
views
Analog of Cartan model for equivariant homology
Let $X$ be a manifold, acted on by a Lie group $G$.
(For example $X$ real-even-dimensional acted on by $G=U(1)$ with only finitely many isolated fixed points.) The Cartan model for $G$-equivariant ...
3
votes
0
answers
226
views
What is rigidity of Hirzebruch, and Witten genera?
I would like to find some good references (or any insight) that would help me to understand a few articles mentioning rigidity of Hirzeburch genus. One of the consequences of this phenomenon is that ...
3
votes
0
answers
166
views
Computations of Bredon homology of $S(1+\sigma)$ with Universal Coefficient S.S
What I am trying to do is to compute $\mathbb{Z}$-graded Bredon homology of $S(1+\sigma)$ over $Q\times\Sigma_2$, where
$Q$ is a cyclic group of order 2
$\sigma$ is its real sign representation
$\...
2
votes
1
answer
168
views
Equivariant Coefficient ring action on singular cohomology
Let $X$ be a manifold acted on by a Lie group $G$. The $G$-equivariant cohomology of $X$ with coefficients in a ring $\mathcal{R}$ is defined as the cohomology ring
$$
H_G^*(X; \mathcal{R}) := H^*(X_G;...
14
votes
5
answers
2k
views
Reading list for Equivariant Cohomology
I was applying equivaraint cohomology, in particular in the symplectic setting, for some time, but I feel like I am missing some nice books/course notes/articles. Could you advise me some literature, ...
5
votes
1
answer
342
views
Equivariant cohomology algebra of toric variety
Let $X$ be a complex projective and smooth toric variety of complex dimension $n$. It is acted by the real torus $T=(S^1)^n$.
Is it true that the $T$-equivariant cohomology $H^*_T(X,\mathbb{Z})$ ...
4
votes
1
answer
320
views
Transition equations for double Schubert polynomials
For $w$ a permutation, the associated (ordinary) Schubert polynomial $\mathfrak{S}_w(\textbf{x})$ is a multivariate polynomial that represents for the cohomology class of the Schubert variety $X_w$ in ...
2
votes
1
answer
247
views
A question on relative equivariant cohomology
Suppose that we have defined an extraordinary $G$-equivariant cohomology theory $H$ (say $G$ is a compact group). If $X$ is a $G$-space and $A\subset X$ is a closed $G$-equivarant contractible ...
2
votes
0
answers
109
views
Computation of equivariant 3 form
I want to how an equivariant 2-form and equivariant 3- form look like i,e.,
Let M be a complex Manifold say $ S^4 \subset C^3$ and a compact lie group $S^1$ acting on it via the action $\exp{i\theta}....
7
votes
1
answer
348
views
Differentials in Weil model for equivariant cohomology
Why should we define the differential in Weil model as follows? I could understand $\sum_{j,k} c_{jk}^i \theta_j \wedge \theta_k$ plays a role in the formula because it is the dual of the structure ...
16
votes
1
answer
2k
views
The homology of the orbit space
Suppose we have an acyclic group $G$ and let $X$ be a contractible CW-complex such that $G$ acts freely on $X$ (we do not suppose that the action is proper).
Is there a way to understand the homology ...
7
votes
0
answers
191
views
Equivariant L-infinity structure associated to a DGBV algebra
Let $V$ be a differential graded Batalin-Vilkovisky (DGBV) algebra over say $\mathbb{C}$. This means that $V$ is a commutative differential graded algebra (CDGA), with differential $\partial$ of ...
4
votes
0
answers
82
views
Formality of fixed points in the equivariant localisation
Let $X$ be a complex algebraic variety equipped with an algebraic $\mathbf{C}^{\times}$-action.
The Borel construction gives a map $f: \mathrm{E}\mathbf{C}^{\times}\times^{\mathbf{C}^{\times}}X\to \...
3
votes
1
answer
352
views
Relative equivariant cohomology
Let us assume that $X=\mathbb{R}\times S^1$ is given with a $G=\mathbb{Z}_2$ action that corresponds to the symmetry $(x,e^{i\theta})\mapsto(-x,e^{-i\theta})$. I want to compute the equivariant ...
6
votes
0
answers
225
views
A Poincare dual spectral sequence for equivariant cohomology: extension to generalized cohomology?
This question is a follow-up to my previous question:
"Rotated" version of the Atiyah-Hirzebruch spectral sequence
In that question, I discussed two different spectral sequences for ...
11
votes
1
answer
517
views
Is there a kind of Poincare duality for Borel equivariant cohomology?
Let $G$ be a finite (or discrete) group, $M$ a $d$-dimensional manifold with smooth $G$-action (I am interested in the case where the action is not free, so $M/G$ is not a manifold). For an Abelian ...
7
votes
0
answers
382
views
Equivariant De Rham theorem for orbifolds
Recall that the "classical" equivariant De Rham theorem states that, for a compact Lie group $G$ acting on a compact smooth manifold $M$,
$$H_G^*(M,\mathbb{R})\cong H^*(\Omega_G(M)),$$
where $H_G^*(M,\...
5
votes
1
answer
297
views
Transgression image and Serre spectral sequence for tori
Let $\mathbb{K} \subset \mathbb{T}$ be two tori acting on a topological space $X$ (with all the properties you want). We use the notations $$X_{\mathbb{T}} := (X \times E \mathbb{T}) / \mathbb{T}, \...
2
votes
1
answer
241
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 ...
0
votes
1
answer
165
views
Compute the rational cohomology ring $H^*(M;\mathbb{Q})$ of a product of Lie groups (and their quotients)
As the following product is a bit unfamiliar to me:
How do we compute the rational cohomology ring $H^*(M;\mathbb{Q})$ of the product of Lie groups:
$M=SO(n_1)\times U(n_2)\times SU(n_3)\times (...
2
votes
0
answers
153
views
Reference request: explicit equivariant localization formula on toric complete intersections
This post is about an equivariant integration formula in a famous paper https://arxiv.org/pdf/alg-geom/9701016.pdf by Alexander Givental, where the author presented the formula without proof or ...
16
votes
1
answer
786
views
"Rotated" version of the Atiyah-Hirzebruch spectral sequence
Let $G$ be a group, $X$ a topological space with $G$-action. For an Abelian group $A$, let $\mathcal{C}^n(X,A)$ be the group of $n$-cochains on $X$ with $A$ coefficients. We can treat this as a $G$-...
2
votes
0
answers
118
views
Homotopy orbits and Local Cohomology Theorem
I'm procedding with understanding Greenlees's paper "The Four Approaches to Cohomology Theories with Reality": https://arxiv.org/abs/1705.09365
Problem concerns the section 1.D. Consider the cofiber ...
4
votes
1
answer
927
views
Computing the Euler class of a vector bundle
I'm having the following problem: let $T \subset G := SO(2k)$ be the maximal torus acting on $V := \mathbb{R}^{2k}$ by linear transformations on each $2$-dimensional component. Denote by $V_T := (V \...
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 ...
8
votes
1
answer
290
views
Equivariant bundles invisible in K-theory and Borel cohomology
For a given topological group $G$ there are natural transformations $$K^* \leftarrow K^*_G \overset a\to H^{**}(EG \times_G -;\mathbb Q)$$ from equivariant K-theory, the first forgetting the $G$-...
3
votes
0
answers
169
views
Finding generators of equivariant cohomology
Let $(M,\omega)$ be a symplectic manifold with symplectic form $\omega$, carrying a Hamiltonian action of a compact connected Lie group $G$ with moment map $\mu:M\to \mathfrak{g}^\ast$, where $\...
10
votes
0
answers
313
views
Is there a spectral sequence of Atiyah's topological KR-theory that can be used to compute basic examples?
For Segal's complex $G$-equivariant $K$-theory, it is well-known that there is an Atiyah-Hirzebruch spectral sequence. If say $G$ a finite group and $X$ a finite CW-complex, the second page of this ...
9
votes
0
answers
220
views
Fixed-points of a topological circle action
Suppose the circle group $G = S^1$ acts on $X$.
If $X$ is a closed smooth manifold (and the action is smooth), then we know the fixed-points $X^G$ are a disjoint union of smooth submanifolds of $X$. ...
6
votes
0
answers
300
views
Geometric interpretation of a formula for the induced character (fix point localization?)
Let $H < G$ be a subgroup of a finite group $G$. Let $X:=G/H$ and $\mathcal{F} \in Sh_G(X)$ be an equivariant sheaf on $X$ (w.r.t. left multiplication) associated to a finite dimensional ...
19
votes
2
answers
791
views
Allowing $G$-CW complexes to have more general cells
Let $G$ a finite group. I've seen three options discussed for making $G$-cell complexes: in increasing generality, one might allow $X_n$ to be constructed from $X_{n-1}$ by attaching cells of the form ...
3
votes
0
answers
318
views
Localization of the pushforward in equivariant cohomology
I am reading Nekrasov's paper and in page 2 he considers the $G \times T^2$ equivariant cohomology of the (compactified) moduli space $\tilde{M_k}$ of $U(N)$ instantons on $\mathbb{C}^2$. Here $G$ ...
2
votes
0
answers
73
views
On the preservation of equivariant cohomology in certain quotients
Let $G$ be a discrete, countable group and $X$ a finite, free, proper $G$-CW complex, such that the underlying $CW$-structure of $X$ is locally finite. Further, let $C_*(X,G)$ be the induced free-...
8
votes
1
answer
927
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-...
6
votes
0
answers
141
views
Binary forms and equivariant derived category
One of the classical questions in invariant theory is the classification of binary forms, i.e., the description of polynomial invariants of the ${\rm SL}_2(\mathbb{C})$-action on ${\rm Sym}^d \mathbb{...
5
votes
1
answer
233
views
Equivariant cohomology ring is an integer domain
Let $G$ be a connected compact Lie group and let $V$ be a complex $G$-representation. Denote by $\mathbb{P}(V)$ the projectivization of the vector space $V$. I would like to ask a couple of questions ...
10
votes
2
answers
704
views
Relation between affine flag and Grassmannian Steinberg variety
Let $\mathcal{K}=\mathbb{C}((t))$ be the field of formal Laurent series over $\mathbb{C}$, and by $\mathcal{O}=\mathbb{C}[[t]]$ the ring of formal power series over $\mathbb{C}$.
Given a semi-simple ...
7
votes
1
answer
520
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
votes
1
answer
178
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 ...