# Questions tagged [equivariant-cohomology]

The equivariant-cohomology tag has no usage guidance.

179
questions

3
votes

0
answers

26
views

### Equivariant KR-theory of representation sphere

I would like to say my question first.
Let $G$ be a compact Lie group acting on a good space $X$ in a good way. Let $V$ be a $G$-representation whose real dimension may be less than 8, and let $S^V$ ...

4
votes

3
answers

237
views

### Equivariant cohomology of fixed points using the localisation theorem

I am trying to understand the Smith-Thom inequality for spaces equipped with an action by a cyclic group and also the case, when it's an equality:
In the following, let $G=\mathbb{Z}/p$, $\mathbb{F}$ ...

3
votes

0
answers

77
views

### Integral equivariant formality for Hamiltonian T-actions

What is the simplest example of a compact symplectic manifold $M$ with Hamiltonian $T$-action for which the integral $T$-equivariant cohomology is not formal
i.e. $$H_T^*(M,\mathbb{Z}) \not \cong H^*(...

1
vote

1
answer

132
views

### About Čech cohomology in transformation groups

I'm starting a study about theory of transformation groups and equivariant cohomology, in what I read several times that Čech cohomology is the most compatible with this theory, but until now I haven'...

2
votes

0
answers

132
views

### Cohomology of equivariant toric vector bundles using Klyachko's filtration

I am trying to understand Klyachko's following description of the cohomology groups of locally free (hopefully more generally of reflexive) sheaves on toric varieties.
Whereas detailed literature ...

7
votes

0
answers

184
views

### Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?

Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...

3
votes

1
answer

129
views

### Recover the $C_k$-action of a cyclic object as from the $S^1$-action on Hochschild chain

$\newcommand{\Fun}{\operatorname{Fun}}$Let $X\in\Fun(\Lambda^\mathrm{op}, \mathcal{C})$ be a cyclic object in the ($\infty$-)symmetric monoidal category $\mathcal{C}$, where $\Lambda$ is the cyclic ...

2
votes

0
answers

65
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 ...

2
votes

0
answers

43
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 \...

5
votes

0
answers

153
views

### Equivalent descriptions of equivariant K-theory

I am looking at references for computing $$K_{T}(G/H)$$ where $G$ is a compact connected Lie group with maximal torus $T$, and $H\subset G$ is a corank one Lie subgroup such that $G/H\cong S^{2k-1}$ ...

1
vote

0
answers

112
views

### What is $H^*(\mathbb{CP}^{2^N-1}/\Sigma_n;\mathbb{Z})$ when $N=\binom{n}{2}$?

$H^*((S^3)^N/\Sigma_n;\mathbb{Q})$ is computed here.
It makes a little more sense to compute $H^*((S^2)^N/\Sigma_n;\mathbb{Q})$ given that global phase is irrelevant. The proof is exactly the same.
...

4
votes

1
answer

315
views

### Mackey coset decomposition formula

I have a question about following argument I found
in these notes on Mackey functors:
(2.1) LEMMA. (page 6) Let $G$ be a finite group and $J$ any subgroup. Whenever $H$ and $K$ are subgroups of $J$, ...

2
votes

0
answers

92
views

### Torsion equivariant cohomology of reductive groups

Let $G$ be a reductive group with maximal torus $T$. One knows that the equivariant cohomology ring of a point with rational coefficients is $\mathbb{Q}[X^*(T)]^W$, and also there is an equivariant ...

5
votes

0
answers

105
views

### Representation-theoretic interpretation of double Schur polynomials

The Schur polynomials
$$s_\lambda(x_1, \ldots, x_n) = \frac{|x_i^{\lambda_j+n-j}|_{1\le i,j\le n}}{|x_i^{n-j}|_{1\le i,j\le n}}$$
naturally appear as polynomial representatives for Schubert classes in ...

6
votes

1
answer

232
views

### Canonical reference for dictionary between $G$-spaces and fiber bundles over $BG$?

I'm looking for a comprehensive reference (for citation purposes) laying out the basic facts of the equivalence between $G$-spaces and bundles over $BG$ for a discrete group $G$. I'd like it to also ...

1
vote

0
answers

123
views

### Definition of Cartan Model - Equivariant differential forms

I would like to ask about an equivalence between two definitions for the Cartan Model.
Let $G$ be a connected Lie group, let $\mathfrak{g}$ be its Lie algebra and let $M$ be a $G$-manifold. The Cartan ...

3
votes

0
answers

111
views

### The “Kunneth-type” morphism in equivariant $K$-theory

Suppose that one has two algebraic varieties with action of a reductive group $G$: say, $X$ and $Y$.
There is an evident Kunneth-type morphism
$K_G(X) \otimes K_G(Y) \to K_G(X \times Y)$,
where the ...

4
votes

1
answer

212
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 ...

2
votes

0
answers

162
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)...

1
vote

0
answers

115
views

### Computing the equivariant Chern character

Suppose I know the Chern character of an object $F \in D^b(X)$, where $X$ is some smooth complex projective variety with a finite group $G = \mathbb{Z}/m$ acting on it. In $D^b([X/G]) \simeq D^b(X)^G$ ...

7
votes

2
answers

463
views

### Is the localised $S^1$-equivariant cohomology of the free loop space of a space $X$ isomorphic to that of $X$ itself?

A well-known theorem of Atiyah and Bott states that given a finite dimensional oriented manifold $M$ with circle action, the $S^1$-equivariant cohomology of $M$ (with $\mathbb{Q}$ coefficients) is ...

3
votes

0
answers

168
views

### Equivariant cohomology of symmetric group acting on a product

Let $X$ be a finite CW-complex. The symmetric group $S_n$ acts on the product $X^{\times n}$ in the obvious way. Let $H^{\bullet}_{S_n}(X^{\times n})$ be the (Borel) equivariant cohomology of this ...

5
votes

1
answer

369
views

### What is the circle-equivariant cohomology of the real projective plane

Let P denote the real projective plane. It has an action of the circle group S1. (e.g. Let S1 act on the 2-sphere by rotations about an axis, then this action descends to the quotient P). I have a ...

4
votes

1
answer

368
views

### Equivariant K-theory for products of groups?

Let $X$ be a $(G \times H)$-space. What is known about the connection between the groups $K_G(X)$, $K_H(X)$ and $K_{G \times H}(X)$? The $G$ and $H$ action on $X$ come from the canonical inclusions $G ...

1
vote

0
answers

74
views

### Polynomiality of the equivariant Euler characteristic of a sheaf tensored with a standard line bundle on the flag variety

Let ${\mathcal B}=Fl(V)$ be the variety of complete flags in an $(m+2n)$-dimensional vector space $V$ over $\mathbb C$. Then we have the standard line bundles $\mathcal{O}(\lambda)$ on $\mathcal B$ ...

4
votes

1
answer

368
views

### Frobenius pushforward of an equivariant tautological bundle on the flag variety

Let $m,n$ be nonnegative integers. Let $k$ be a field of positive characteristic. Let the vector space $V$ over the field $k$ have basis $e_1,...,e_{m+n}, f_1,..., f_n$. Let $k^*$ act on $V$ by $t \...

4
votes

1
answer

163
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 ...

3
votes

0
answers

126
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 ...

2
votes

0
answers

221
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$ ...

3
votes

0
answers

128
views

### Isomorphism between Weyl and Cartan models as Hom-Tensor Adjunction

Let $M$ be a manifold, $\Omega$ be the de Rham complex of $M$. Let $G$ is a compact Lie group acting on $M$, $\mathfrak g$ its Lie algebra and $W(\mathfrak g) = \Lambda(\mathfrak g^*) \otimes S(\...

8
votes

2
answers

195
views

### Generalisation of the equivalence between $C^*(H)$ and $C_0(G/H) \rtimes G$; induction of group actions on C*-algebras

There is a well known Morita equivalence between the group C*-algebra $C^*(H)$ and $C_0(G/H) \rtimes G$, where $H$ is a subgroup of $G$. The corresponding equivalence of representations is an ...

0
votes

0
answers

184
views

### Equivariant cohomology with discrete group action

As far as I know, the equivariant cohomology can be regarded as the generalisation of de Rham cohomology with group action on manifolds. From the literature, the group action is Lie group type. I am ...

6
votes

0
answers

226
views

### Borel vs genuine equivariant cohomology in quantum field theory

A lot of important work in quantum field theory involves Borel equivariant cohomology of certain geometric objects, usually with the goal of computing integrals over some complicated moduli stack. In ...

2
votes

0
answers

142
views

### Localization for generalized Borel cohomology

For both equivariant de Rham cohomology and equivariant K-theory (in the "naive" or Borel sense), we have localization formulae which allow us to compute this cohomology in terms of the ...

1
vote

1
answer

192
views

### Comparing cohomology of quotient by algebraic group and Borel subgroup

Let $X$ a variety over an algebraically closed field $k$ (which we can assume to be actually $k=\mathbb{C}$) and $G$ a connected reductive algebraic group acting freely on $X$ (we can actually assume $...

1
vote

1
answer

268
views

### A connection between equivariant and non-equivariant cohomology of toric variety

Let $X$ be a smooth projective toric variety over $\mathbb{C}$. It is acted by the compact torus $T=(S^1)^n$.
The $T$-equivariant cohomology $H^*_T(X)$ (with coefficients in a field, say) is an ...

2
votes

0
answers

147
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....

4
votes

1
answer

193
views

### If two symplectic toric manifolds are diffeomorphic, are they necessarily equivariantly diffeomorphic?

Suppose $M$ and $N$ are two symplectic toric manifolds. If $M$ is diffeomorphic to $N$, can we deduce that $M$ is equivariantly diffeomorphic to $N$ with respect to their torus actions?

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 ...

5
votes

3
answers

668
views

### Deequivariantisation of indecomposable sheaves

Let G be a connected group acting on a space X. All spaces should be reasonable, so e.g. G is a complex affine algebraic group acting on an algebraic variety X, with everything done using the usual ...

5
votes

1
answer

305
views

### On realizing a topos of sheaves as a topos of equivariant sheaves

This question is motivated by the following example : let $X$ be a variety over a field $k$, with algebraic closure $\bar{k}$. The Galois group $G_k:=\mathrm{Gal}(\bar{k}/k)$ acts on $X_{\bar{k}}:=X\...

1
vote

1
answer

755
views

### Cohomology of quotient stack

Let $X$ be an algebraic variety over $\mathbb{C}$ (the ground field is not important but this makes things easier I think) and $G$ an algebraic group acting over it. Let's say we know that there's a ...

0
votes

0
answers

239
views

### What's the definition of Euclidean density?

In page 19 of the article "Equivariant cohomology with generalized coefficients" the authors say:
Let $V $ be an n-dimensional real vector space, let $v'$ be a non-zero element in $ \wedge^...

3
votes

1
answer

299
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 ...

3
votes

0
answers

161
views

### Justification for the definition of equivariant curvature

Let $G$ be a compact Lie group which act on a smooth manifold $M$.
Let $\mathbb{C}[\mathfrak{g}] \otimes \mathcal{A}$ be the algebra of polynomial maps from $\mathfrak{g}$ to $\mathcal{A}(M),$ we ...

10
votes

0
answers

180
views

### A minimal $\mathbb Z/2$-invariant Morse function on $U(n)$

Consider the group $U(2n)$ of unitary matrices. This has two standard and important homomorphic involutions. The most famous one $A \mapsto \overline A$ is complex conjugation, with fixed-set $O(2n)$, ...

2
votes

0
answers

260
views

### Equivariant line bundles and connections

Equivariant line bundle isomorphism classes are classified by the equivariant cohomology group $H^2_{P}(X;\mathbb{Z})$ and let us take $P$ to be finite abelian and $X$ a finite dimensional CW-complex ...

7
votes

1
answer

741
views

### Cohomology of quotient by free action

Let $G$ be a finite group. Let $G$ act freely on a CW-complex $X$. I heard that the following fact is true.
Claim. The canonical map $H^*(X/G,F)\to H^*(X,F)^G$ is an isomorphism, where $F$ is a field ...

3
votes

1
answer

253
views

### Upgrading various algebro-geometric cohomology theories to be equivariant

I'm wondering what the "right" notion of equivariant cohomology is for something like étale cohomology or coherent cohomology, stuff which is expressible as derived functors of global ...

8
votes

1
answer

509
views

### Borel equivariant homology of a suspension

Let $G$ be a discrete group. For a $G$-CW complex $X$, let $H^G_{\bullet}(X)$ denote the Borel equivariant homology of $X$. There are also relative versions of this.
Here's my question. Let $X$ be ...