Skip to main content

Questions tagged [equivariant-cohomology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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$ ...
Megan's user avatar
  • 1,020
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}$ ...
0hliva's user avatar
  • 41
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^*(...
onefishtwofish's user avatar
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'...
Ludwik's user avatar
  • 237
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 ...
sagirot's user avatar
  • 455
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&...
Ben Webster's user avatar
  • 44.3k
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 ...
Bingyu Zhang's user avatar
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 ...
user519810's user avatar
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 \...
Noah Wisdom's user avatar
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}$ ...
Yun Liu's user avatar
  • 51
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. ...
Jackson Walters's user avatar
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$, ...
user267839's user avatar
  • 5,992
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 ...
user333154's user avatar
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 ...
Antoine Labelle's user avatar
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 ...
xir's user avatar
  • 1,994
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 ...
Nash-iOS's user avatar
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 ...
Vanya Karpov's user avatar
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 ...
user avatar
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)...
John Pardon's user avatar
  • 18.5k
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$ ...
alg_et_geom's user avatar
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 ...
Eugenio Landi's user avatar
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 ...
EquivariantGuy's user avatar
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 ...
Peter McNamara's user avatar
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 ...
Motmot's user avatar
  • 293
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$ ...
IntegrableSystemsEnthusiast's user avatar
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 \...
IntegrableSystemsEnthusiast's user avatar
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 ...
user avatar
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 ...
user avatar
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$ ...
abelian_cat's user avatar
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(\...
Alex's user avatar
  • 131
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 ...
Motmot's user avatar
  • 293
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 ...
Light man's user avatar
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 ...
Doron Grossman-Naples's user avatar
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 ...
Doron Grossman-Naples's user avatar
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 $...
Tommaso Scognamiglio's user avatar
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 ...
asv's user avatar
  • 21.3k
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....
N.B.'s user avatar
  • 767
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?
Li Yu's user avatar
  • 143
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 ...
N.B.'s user avatar
  • 767
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 ...
Peter McNamara's user avatar
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\...
Adrien MORIN's user avatar
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 ...
Tommaso Scognamiglio's user avatar
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^...
Mira's user avatar
  • 129
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 ...
Emily's user avatar
  • 11.5k
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 ...
Mira's user avatar
  • 129
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)$, ...
mme's user avatar
  • 9,473
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 ...
Time suspect's user avatar
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 ...
asv's user avatar
  • 21.3k
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 ...
xir's user avatar
  • 1,994
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 ...
Sarah's user avatar
  • 83