The tag has no usage guidance.

learn more… | top users | synonyms

14
votes
8answers
2k 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 ...
14
votes
2answers
400 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 ...
14
votes
0answers
845 views

How is an $S^1$-equivariant elliptic cohomology theory affected as we continuously vary the underlying elliptic curve?

Grojnowski constructs a $S^1$-equivariant cohomology theory over a complex elliptic curve $E$, designed to trivially satisfy: $$E^*_{S^1}(pt) = E$$ The functor $E^*_{S^1}(-)$ takes in a space $X$ ...
11
votes
2answers
618 views

Microlocalizing Hochschild homology

A recent paper of Ben-Zvi and Nadler gives a general formalism for understanding "dimensions" in sheaf theories. Without getting too far into details, amongst other things, this formalism allows us ...
11
votes
1answer
171 views

Passing from T-equivariant to G-equivariant cohomology

Let G=GLn(ℂ) and let T be a maximal torus. Let X be a topological space with a G-action. My question is: when is the canonical map $$H^*_G(X;\mathbb{Z})\to H^*_T(X;\mathbb{Z})$$ injective? Some ...
10
votes
1answer
347 views

T-equivariant cohomology of flag variety

Let $X=G/B$ , where $G=GL_n(\mathbb{C}^n)$ and $B$ be the upper triangular matrices. I am curoius about the structure of $H^*_T(G/B)$ which I consider as a $H_T^*(pt)$-module. If we just consider ...
8
votes
0answers
96 views

Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...
7
votes
2answers
495 views

Equivariant motivic sheaves

Thanks to the work of Cisinski-Deglise: http://arxiv.org/abs/0912.2110, we now have a triangulated category of `motivic sheaves' available that admits the standard yoga of the six functors. Is there ...
7
votes
1answer
326 views

How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map $$ \mu: G\times ...
7
votes
1answer
199 views

Citation: earliest incidence of the Borel localization theorem

The Borel localization theorem in (Borel) equivariant cohomology states that if $T$ is a torus and $M$ a smooth $T$-manifold, with fixed point set $M^T$, then upon localizing the coefficient ring ...
7
votes
2answers
441 views

Equivariant Stratifications of a Variety

Let $X$ be a complex variety acted upon algebraically by a complex torus $T$. Suppose that $\{X_{\beta}\}_{\beta\in S}$ is a finite $T$-equivariant stratification of $X$, so that the $X_{\beta}$ are ...
7
votes
0answers
326 views

Twisted equivariant modular forms?

I'd like to know where I can find information about a class of objects which I think deserve to be called twisted equivariant modular forms. Let me guess a definition, indicate how it can be made more ...
7
votes
0answers
826 views

Is there any “deep” relation between the localization theorem of equivariant cohomology and the localization theorem of equivariant K-theory

First let's consider equivariant cohomology: if a compact Lie group $G$ acts on a compact manifold $M$. We have the equivariant cohomology $ H_G(M)$ defined as the cohomology of the cochain complex ...
7
votes
0answers
518 views

Finite generation of equivariant cohomology rings

Let $G$ be a finite group acting on a topological space $X$. (In my applications, $X$ is the classifying space of a compact Lie group.) Let $H^\ast(-)=H^\ast(-;\mathbb{Z}/2\mathbb{Z})$ denote mod 2 ...
6
votes
1answer
316 views

Rational homology and finite group actions

I'm looking for examples of the following phenomena. Let $X$ be a reasonable space (say, a CW complex) and $G$ be a finite group acting on $X$. For all $k \geq 1$, the projection map $X \rightarrow ...
6
votes
1answer
148 views

Change of groups for naive G-spectra

Let $H$ be a subgroup of $G$ a compact Lie group and let $\text{spectra}[G]$ be the category of naive $G$-spectra (ie G-objects in the category of spectra). Then there is a forgetful functor $i^*$ ...
6
votes
0answers
148 views

A Property of Generalized Equivariant Cohomology

Let $G_i$ be a compact Lie group, $i=1,2$, and let $E_{G_i}^*$ be a $\mathbb{Z}$-graded complex-oriented $G_i$-equivariant generalized cohomology theory with commutative products. Let $X_i$ be a ...
5
votes
0answers
84 views

Example request: equivariant formality versus formality for homogeneous spaces

Recall that a continuous action of a compact Lie group $T$ on a space $X$ is said to be equivariantly formal if the Borel equivariant cohomology $H^*(X \times_T ET;\mathbb Q)$ surjects through ...
4
votes
2answers
578 views

Mackey(also Green and Tambara) functors and Greenlees-May

This is somewhat related to a question that I asked on Math.SE but, sadly, received no response. I apologize ahead of time if this is not appropriate for MO. Feel free to vote to close if this is the ...
4
votes
1answer
199 views

$RO(G)$-Graded Cohomology Theories

Let $G$ be a compact Lie group with real representation ring $RO(G)$. Recently, I have been learning about some aspects of $RO(G)$-graded cohomology theories (for a precise definition, see Chapter ...
4
votes
2answers
691 views

Is a Lie group equivariantly formal under conjugation by a maximal torus?

Given an action of a group $G$ on a topological space $X$, the associated homotopy quotient is $$X_G := (EG \times X)/G,$$ where $EG$ is the total space of a universal principal $G$-bundle $EG \to BG$ ...
4
votes
1answer
245 views

Is there a Whitehead-type theorem in T-equivariant cohomology?

Let $T$ be a real torus, and let $X$ and $Y$ be $T$-spaces. Under what conditions (if any) will the existence of graded $H^*_T$-algebra isomorphism between the $T$-equivariant cohomologies of $X$ and ...
4
votes
1answer
638 views

Borel constructions, equivariant cohomology, and homotopy quotients of monoid actions.

Let $M$ be a (discrete) monoid acting on a space $X.$ We may take the quotient of $X,$ by this action, $X/M$ that is the coequalizer of the action map $M \times X \to X$ against the projection map. ...
4
votes
1answer
283 views

Künneth formula for Bredon cohomology theory

Let $G$ be a finite group. Let $X$ and $Y$ be two $G$-CW complexes with known integer graded $G$-equivariant Bredon cohomology with constant coefficient systems. Is there any Künneth formula for this ...
4
votes
0answers
57 views

Relation of BRST model of equivariant cohomology and BRST cohomology?

I'm now reading Kalkman's paper "BRST model for equivariant cohomology and representation for equivariant Thom class". And I've seen his definition for BRST model is $B=W(\mathfrak{g})\otimes ...
4
votes
0answers
94 views

Computing the Product Structure in Equivariant Cohomology via a Stratification and Thom-Gysin

Let $X$ be a smooth complex projective variety acted upon algebraically by a complex torus $T$. Suppose that $\{X_{\beta}\}_{\beta\in B}$ is a finite $T$-invariant stratification of $X$ into smooth ...
4
votes
0answers
233 views

extension of cohomology theories

In Rudyak's book it is proved (3.22 page 160) that every additive cohomology theory (in the sense of Eilenberg-Steenrod) defined on the category of finite dimensional pointed CW complexes can be ...
3
votes
3answers
691 views

Equivariant Cohomology for actions with finite stabilizers

Let $X$ be a reasonable topological space (let's say it has the homotopy type of a CW complex) and let $G$ be a topological group acting on that space. Let $E_G \rightarrow B_G$ be the universal ...
3
votes
1answer
268 views

Advantage in Using Cyclic Homology to a compute Equivariant (Co)Homology of Loop Spaces

I am trying to compute equivariant (co)homology of the free loop space of a manifold $M$ that is not a Lie group, $H^{S^1}_*(LM)$ with the natural rotation action of $S^1$ on the loops of the free ...
3
votes
1answer
205 views

$GL_k$-equivariant cohomology of $k\times n$ matrices

I'm having a surprisingly hard time finding references for some facts about $GL_k$-equivariant cohomology of the space of $k\times n$ matrices. Specifically, I believe the following things to be true: ...
3
votes
1answer
412 views

Equivariant cohomology of finite group actions and invariant cohomology classes

Let $W$ be a finite group acting on a space $X$. In what generality is it true that $H^*_W(X) = H^* (X)^W$? We always have a map $H^*_W(X) \rightarrow H^* (X)^W$, but it is certainly not an ...
3
votes
2answers
443 views

Explicit computation of Gromov-WItten invariants

After studying some foundation of Gromow-Witten invariants, I now would like to see an explicit computation. I heard that one should first take a look at the total space of $\mathcal{O}(-1)^{\oplus2}$ ...
3
votes
2answers
243 views

Equivariant cohomology and complex non-degenerate bilinear forms

Let $M = GL(n,\mathbb{C})$ be the set of non-degenerate bilinear forms on $\mathbb{C}^n$ (not necessarily symmetric). The general linear group $G = GL(n,\mathbb{C})$ acts on $M$ in the usual way ...
3
votes
0answers
62 views

Using and understanding the Atiyah-Bott localization theorem/integration formula

I posted this on r/math, but was told I might have better success here given the level of the question. Basically, I need to learn how to use the localization theorem to compute integrals on ...
3
votes
0answers
109 views

Equivariant Poincare Series of Based Loop Group of SU(2)

Let $\Omega SU(2)$ denote the based loop group of $SU(2)$, and consider the action of $S^1$ on $\Omega SU(2)$ as a maximal torus of $SU(2)$. (This is not the "loop rotation" action.) Is there an ...
2
votes
2answers
386 views

Why is the equivariant Euler class a character ?

Let us first precise the question : let $T$ be a torus, $\alpha : T \to \mathbb{C}$ be an irreducible character. I am interested in the $T$-equivariant Euler class of the ($T$-equivariant) bundle ...
2
votes
1answer
219 views

Formality of classifying spaces (for not necessarily connected groups)

As should be evident from the title this question has a similar flavor to: Formality of classifying spaces However, unlike Geordie's question, I will be working with torsion free coefficients (say ...
2
votes
1answer
276 views

Example equivariant Mayer-Vietoris for $H^{*}_{S^{1}}(S^{2})$

We want to calculate $H^{k}_{S^1}(S^2)$. We can choose two open sets $U=S^{2} \setminus p_{+}$ and $V = S^{2} \setminus p_{-}$, where $p_{+}$ and $p_{-}$ are the north and south pole of $S^{2}$. They ...
2
votes
0answers
59 views

Moment map of equivariant line bundles

I'm reading Szabo's `Equivariant Cohomology and Localization of Path Integrals'. I've stumbled upon an equation I can't make sense of, in the discussion about $G$-equivariant line bundles on ...
2
votes
0answers
85 views

Calculation of RO(G)-graded cohomology of a point

Recently I have been learning about some calculation of RO(G)-graded cohomology of a point from J.L. Caruso's paper on "Operations in equivariant Z/p-cohomology". My question is how to calculate ...
2
votes
0answers
242 views

J-function of cotangent bundle of complete flag variety

Givental and Kim showed that the $J$-function of the complete flag variety $Fl_n=SL_{n}/B$ becomes an eigenfunction of the Toda Hamiltonian. How about the $J$-function of the cotangent bundle ...
2
votes
0answers
56 views

Equivariant version of cyclic versus de Rham (co)homology of commutative algebras?

Let $A$ be a commutative algebra that is a $g$-module, for some Abelian Lie algebra $g$. The primary example of my interest is when $A$ is the ring of functions over an affine variety, say ...
2
votes
0answers
117 views

Equivariant Cohomology of Non-Compact Spaces via Fixed Points

Let $T$ be a complex torus and $X$ a smooth quasi-projective $T$-variety with finitely many fixed points. Denote by $\varphi:H_{T}(X)\rightarrow H_{T}(X^T)$ the map on equivariant cohomology induced ...
1
vote
2answers
378 views

Analogue of Borel--Bott--Weil for General Equivariant Vector Bundles

The Borel--Bott--Weil Theorem gives the dimensions of the cohomology groups of the equivariant line bundles over flag manifolds. Does there exist an analogous result for general equivariant vector ...
1
vote
1answer
214 views

cohomology of the orbit space of a group action

Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field. Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain ...
1
vote
1answer
306 views

Simple Equivariant homology [no borel-Moore]

Hey. I'm working with Bredon's equivariant cohomology. At some point I need to compute the $4$th equivariant cohomology group of $S^1 \x D^3$ relatively to its boundary for the antipodal action of ...
1
vote
1answer
82 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 ...
1
vote
1answer
186 views

Is the equivariant Gysin map an $H_G^*(\text{pt})$-module morphism?

Let $G$ be a complex reductive group, $X$ a smooth projective variety on which $G$ acts algebraically, and $Y \subseteq X$ a $G$-invariant smooth closed subvariety such that $X\setminus Y$ is also ...
1
vote
1answer
200 views

Topology of a Compact Space with Fixed-Point-Free Torus Action

Let $X$ be a compact connected smooth manifold and $T$ a compact torus acting smoothly on $X$ without fixed points. What, in general, can be said about the topology of $X$ (ex. rational ...
1
vote
0answers
144 views

When is equivariant cohomology generated by equivariant Euler classes?

Let $X$ be a smooth complex projective variety acted upon by algebraically by a complex torus $T$. Let $F_1,\ldots,F_n$ be the connected components of $X^T$ and assume that the restriction map ...