# Questions tagged [equivariant]

The equivariant tag has no usage guidance.

**22**

votes

**0**answers

1k views

### Is the equivariant cohomology an equivariant cohomology?

Suppose a finite group $G$ acts piecewise linearly on a polyhedron $X$. Then there are two kinds of equivariant cohomology (or homology).
$\bullet$ With coefficients in a $\Bbb Z G$-module $M$. A ...

**20**

votes

**0**answers

825 views

### Can we describe equivariant vector bundles of free group action in terms of descent theory (Barr-Beck theorem)?

It is well known that for a compact topological group $G$ acts (say, from the right) freely on a compact space $X$. Then the category of equivariant complex vector bundles on $X$, $\text{Vect}_G(X)$, ...

**18**

votes

**2**answers

898 views

### What is the role of equivariance in the Atiyah-Singer index theorem?

I'm trying to read through "The index of elliptic operators I," and here's what I understand of the structure of the proof:
Define (using purely K-theoretic means) a homomorphism $K_G(TX) \to R(G)$...

**18**

votes

**1**answer

897 views

### Formality of classifying spaces

Let $G$ be a compact Lie group (or reductive algebraic group over $\mathbb{C}$), and let $BG$ be its classifying space. Fix a prime $p$. Let $\mathcal{A}$ denote the dg algebra of singular cochains on ...

**16**

votes

**8**answers

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

**2**answers

1k views

### Equivariant version of Morse theory

Is there some variant on Morse or Morse-Bott theory yielding equivariant (co)homology instead of singular homology?
Any reference/idea would be greatly appreciated.
Crossposted on StackExchange.

**12**

votes

**1**answer

1k views

### Geometric interpretation of filtered rings and modules

Let $A$ be a commutative algebra, say over $\mathbb{C}$.
Giving a grading on $A$ corresponds at least morally to giving a $\mathbb{C}^*$ action on spec(A): $A_i$ can be thought of as those ...

**11**

votes

**1**answer

674 views

### What does this naive attempt at $S^1$-equivariant homology describe?

After reading Cohen and Voronov's notes on string topology, one can find the following construction: Suppose we have a topological space $X$ with continuous action of $S^1$. This means we have a map $\...

**10**

votes

**0**answers

139 views

### Baum Connes conjecture and abstract isomorphism

Baum-Connes conjecture states that for a locally compact group $G$ the so called assebly map $\mu$ between $G$-equivariant K-homology of the universal example for proper actions of $G$ and K-theory of ...

**8**

votes

**1**answer

376 views

### Interactions (functors) between equivariant sheaves for different groups?

Let $G$ be a finite group and $k$ a field (alg. closed char 0 for simplicity).
To every $G$ set $X$ we can assign the category of $G$-equivariant sheaves of $k$-vector spaces $Sh_G(X)$. It is ...

**8**

votes

**0**answers

1k views

### Why is the Nil-Hecke Algebra appearing?

The Nil-Hecke algebra is defined to be the subalgebra of the endomorphism ring of $\mathbb{C}[x_1,\ldots,x_n]$ generated by the operators of multiplication by $x_i$ and the divided difference ...

**7**

votes

**1**answer

505 views

### Equivariant algebraic K-theory of affine space

Unlike algebraic K-theory, equivariant K-theory of affine space (over a field $k$) can be quite nontrivial, depending on the action of the group in question. For example, if one takes the standard ...

**6**

votes

**6**answers

547 views

### Equivariant homology of $\Omega X$\/-space (references needed)?

Let $(X, *)$ be pointed a (1-connected) space, and let $\Omega X$ denote its based loops space. Then, as one knows very well, $\Omega X$ is a group up to homotopy (this includes all the necessary ...

**6**

votes

**3**answers

2k views

### Is this a definition of equivariant derived category?

Let $X$ be a topological space and $G$ be a topological group acting on $X$, both locally compact Hausdorff. Denote by $D^b(X)$ the derived category of sheaves (say of abelian groups) on $X$. We ...

**6**

votes

**2**answers

587 views

### Weights on equivariant cohomology?

Let $X$ be a quasi-projective variety over the complex numbers, equipped with an action of a linear algebraic group $G$.
Is there a natural mixed Hodge structure on its equivariant cohomology?
Is ...

**6**

votes

**1**answer

339 views

### Equivariant handle decompositions

Suppose I have some smooth closed high-dimensional manifold $M$ acted on smoothly by a finite group $G$. By a metric averaging procedure, we can equip $M$ with a smooth Riemannian metric so that $G$ ...

**6**

votes

**0**answers

61 views

### Does the category of $G$-equivariant sheaves have enough injectives?

The question is related to this one.
Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$.
Let $G$ be a topological group which ...

**6**

votes

**0**answers

91 views

### 2-functoriality of equivariant derived categories

I am wondering about the 2-functoriality in equivariant derived categories, and I hope that someone can clarify... (apologies if this is a stupid question)
For the more precise formulation, recall ...

**5**

votes

**1**answer

565 views

### Are these notions of strongly equivariant D-modules equivalent?

It seems that there are two notions of strongly equivaraint $D_X$- Modules and I would like to know if they are equivalent, or at least how they are related.
Let $\rho: G\times X \rightarrow X$ be an ...

**5**

votes

**2**answers

595 views

### Atiyah-Guillemin-Sternberg convexity theorem

I would like to study the Atiyah-Guillemin-Sternberg convexity theorem: proof and applications. I am already familiarised with hamiltonian actions, moment maps...and with elementary Morse theory.
So ...

**5**

votes

**2**answers

596 views

### Jets of Equivariant Vector Bundles

Let $M$ be a (compact) $G$-homogeneous space with fibre group $H$, and let ${\cal E}$ be a $G$-equivariant $k$-dimensional vector bundle over $M$ with corresponding representation $\pi:H \to $R$^k$. ...

**5**

votes

**1**answer

339 views

### Cocycle condition for equivariant sheaves

Let $G$ be an affine group that acts on a variety $X$. Equivariant sheaves on $X$ could be defined in the following way. Consider the simplicial space $X_\bullet$
: $X_n := G^n \times X$, $s_0:X_0 \...

**5**

votes

**2**answers

782 views

### Do fixed point sets in equivariant crepant resolutions have the same cohomology? How about for the specific case of Nakajima quiver varieties?

A crepant resolution $f:Y\to X$ is a resolution of singularities with $f^*(K_X)=K_Y$. Crepant resolutions do not always exist, and when they exist they may not be unique. However, different crepant ...

**5**

votes

**0**answers

121 views

### Fundamental class in equivariant K-theory

I'm looking for an accessible reference for the definition of the fundamental class in equivariant K-theory.
The setup I'm interested in is the following: suppose $V$ is a vector space equipped with ...

**5**

votes

**0**answers

58 views

### Equivariant corner straightening

Equivariant corner straightening is usually mentioned in the literature without further explanation. What would be a reference where this is done (more or less) carefully for compact Lie group actions ...

**5**

votes

**0**answers

474 views

### What is the right notion of equivariant Cech cohomology?

What is the right definition of equivariant Cech cohomology is so that given a $G$-space $X$, $H^1_G(X;H)$ classifies $G$-equivariant principal $H$-bundles on $X$?

**4**

votes

**2**answers

411 views

### Classification of (complex algebraic) vector bundles on punctured affine space

The Quillen-Suslin theorem asserts that there are no nontrivial vector bundles over the affine space $\mathbb{A}^{n+1}$, $n\geq 0$.
Let's work over the complex numbers. What can be said about vector ...

**4**

votes

**1**answer

221 views

### Do equivariant morphisms induce representable maps of quotient stacks?

Let $f: X \to Y$ be a $G$-equivariant map between schemes $X$, $Y$ with action of a flat group scheme $G$. Then why is the induced map of algebraic stacks $[X/G] \to [Y/G]$ representable?

**4**

votes

**1**answer

139 views

### Equivariant versus retractive spaces: a reference request

Let $T$ be the category of compactly generated weak Hausdorff spaces with model structure given by Serre fibrations, Serre cofibrations and weak homotopy equivalences. Let $G = |G.|$ be the (geometric)...

**4**

votes

**0**answers

124 views

### Spin equivariance of the Dirac operator-flat case

This question was posed on Math.SE but no one has answered it; it may be suitable for MathOverflow.
Let $D$ be the Dirac operator on $\mathbb{R}^n$ i.e. $D=\sum_{j=1}^nE_j\frac{\partial}{\partial ...

**4**

votes

**0**answers

195 views

### Milnor's model of $EG$ and Kac-Moody groups

I am working with non-compact Kac-Moody groups $\mathcal{K}$. We can use Milnor's join model for $E\mathcal{K}=\varinjlim \mathcal{K}^{*n}$, where $\mathcal{K}^{*n}$ is the iterated join (see page 20 ...

**4**

votes

**0**answers

481 views

### equivariant resolution of singularities

I am looking for some references on equivariant resolution of singularities. In most references quoted on mathoverflow (for instance : Reference on an equivariant resolution of singularities), they ...

**4**

votes

**0**answers

275 views

### What is the equivariant derived category good for?

Given a topological group acting on a topological space, Bernstein and Lunts construct the equivariant derived category, which looks like the derived category of the quotient would, if action was free ...

**4**

votes

**0**answers

364 views

### Equivariant sheaves and simplicial varieties

I would like to proof the following theorem:
Let $\pi:X\rightarrow X/G$ be a principal $G$-bundle (say of varieties, Zariski locally trivial), then $\pi^*$ induces an equivalence between modules on ...

**4**

votes

**0**answers

276 views

### T-Equivariant trivialization of a principal G-bundle

Let $k$ be a field, let $G$ be an algebraic group scheme over $k$ and let $T = \textrm{Spec } k[x, x^{-1}]$ be a one-dimensional torus. Does there exist
a scheme $X$ over $k$,
an algebraic $T$-action ...

**4**

votes

**0**answers

196 views

### Equivariant sheaves basics reference

I am looking for a reference for basic facts about
actions of linear algebraic groups and their Lie-algebras on $\mathcal O_X$-modules.
For example I could not find a reference the following:
Let $...

**3**

votes

**2**answers

361 views

### Equivariant K-theory of $S^1$-action on $S^2$

Is there any references for the structure of the equivariant K-theory $K_{S^1}(S^2)$ where the action of $S^1$ on $S^2$ is defined to be rotation about the $z$-axis? What is the ring structore of $K_{...

**3**

votes

**1**answer

270 views

### Vector bundles on a weighted projective stack

Put $X := \mathbb A^{n+1}\!-\lbrace0\rbrace$. Let $G=\mathbb C^*$ act on $X$ with (positive) weights $w_0,\dots,w_n$. The quotient stack $[X/G]$ is called the weighted projective stack.
Each vector ...

**3**

votes

**1**answer

148 views

### Classifying all Equivariant Bilinear Forms on a Finite-Dimensional Module

Given a finite dimensional (real) vector space $V$, and two non-degenerate bilinear forms $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$, one can use a basic linear algebra argument to show that there exists ...

**3**

votes

**1**answer

277 views

### For a G-variety, what could one say about the motif of the corresponding simplicial variety

Let G be an algerbraic group, and X be a G-variety (that I will assume to be smooth). Then one can consider a simlicial variety whose terms are $G^i\times X$. This simplicial variety yields a 'complex ...

**3**

votes

**1**answer

131 views

### What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite

When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism \begin{...

**3**

votes

**0**answers

30 views

### Could we have the simplicial definition of equivariant derived category of sheaves with arrow direction inversed?

Let $X$ be a topological space and $G$ be a topological group acting on $X$ from the left. We consider the simplicial space $[G\backslash X]_{\cdot}$ where
$$
[G\backslash X]_n=\underbrace{G\times \...

**3**

votes

**0**answers

409 views

### Equivariant Riemann-Roch on DM stacks?

Does an equivariant version of (Toen)-Riemann-Roch theorem hold say over a smooth Deligne-Mumford stack $X$ over the complex numbers?
Any references that state this explicitely?
Are there formulas ...

**3**

votes

**0**answers

100 views

### Monodromy along strata of a pushforward

Work with complex varieties and constructible sheaves on the complex analytic site. All functors will be tacitly derived.
Let $X$ be a variety acted upon by a connected linear algebraic group. Let $X ...

**2**

votes

**1**answer

96 views

### Resolution by locally free $G$-equivariant sheaves on varieties

I have been reading the section in the beginning of Fourier-Mukai and Nahm Transforms in Geometry and Mathematical Physics by Bartocci et. al., and stumbled across the following sentence (page 26).
...

**2**

votes

**1**answer

439 views

### Definition of Givental $J$-function of cotangent bundle of flag variety

I would like to know the definition of Givental $J$-function of cotangent bundle of flag variety. To state my question more precisely, let us briefly recall the definition of the Givental $J$-function ...

**2**

votes

**1**answer

415 views

### How to calculate the equivariant cohomology ring of $P^2$?

It is well known that Kirwan's injection theorem gives an ring injection from $H^{\ast}_T(M)$ to $H^{\ast}_T(M^T)$ which is induced by the inclusion $M^T \to M$, where $T$ is a torus acting on ...

**2**

votes

**1**answer

297 views

### When is restriction an equivalence of categories of equivariant vector bundles?

Suppose a (linear algebraic) group $G$ acts on a variety $X$ and that $U$ is a $G$-invariant open subvariety. My question is: under what conditions is the restriction functor
$i^*: Vect^G(X) \...

**2**

votes

**0**answers

42 views

### Does intermediate extension functor commutes with forgetful functor in equivariant derived category?

The forgetful functor from $D^b_G(X)$ to $D^b(X)$ carries $Perv_G(X)$ to $Perv(X)$ by definition $5.1$ in the book of Bernstein and Lunts. My question is do the following functors, intermediate ...

**2**

votes

**0**answers

88 views

### group actions of $S^3$ on the configuration space of projective plane

Let $\mathbb{R}P^2$ be the lines in $\mathbb{R}^3$ passing through the origin. Let $SO(3)$ act on $\mathbb{R}^3$ canonically. Then $SO(3)$ has an induced action on $\mathbb{R}P^2$. Let $F(\mathbb{R}P^...