Questions tagged [equivariant]
The equivariant tag has no usage guidance.
102 questions
10
votes
0
answers
179
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 ...
- 366
8
votes
1
answer
698
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 ...
- 5,898
5
votes
2
answers
1k
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 ...
CommunityBot
- 1
2
votes
0
answers
86
views
Equivariant Formula for High Dimensional Isolated set
The Atiyah-Bott-Berline-Vergne-Witten localization formula says
$S^1$ acting on compact manifold $M$ isolated fixing points. And for a closed equivariant form $\omega$, then
$$(2\pi)^{-\frac{\dim(M)}...
- 1,915
5
votes
0
answers
77
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 ...
- 29.1k
1
vote
0
answers
172
views
Generalizing approximate $\mathbb{Z}$-equivariance of a simple function
Let $f(x) := x^2 + (1-x^2)x$ and $F(x) := \log \frac{x}{1-x}-\frac{1}{x}$. It can be shown (cf. https://math.stackexchange.com/questions/1865370/) that $F$ is approximately equivariant w/r/t the $\...
CommunityBot
- 1
3
votes
0
answers
126
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^...
- 2,223
2
votes
0
answers
241
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 ...
- 111
5
votes
1
answer
564
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,008
3
votes
0
answers
662
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 ...
- 23.4k
6
votes
0
answers
114
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 ...
- 17.4k
5
votes
2
answers
1k
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 ...
CommunityBot
- 1
4
votes
0
answers
216
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 ...
- 35.9k
3
votes
0
answers
443
views
Equivariant form of Nagata's compactification theorem?
Given a finite group $G$ acting on an algebraic variety $X$ (let's say over $\mathbb C$, if that helps), is there always a proper variety $\bar X$ with a $G$ action such that $X \to \bar X$ is a $G$-...
- 3,017
3
votes
0
answers
102
views
good choice of extension of equivariant map
Let $K$ be a compact Lie group. Let $C_K$ denote the category whose objects are the compact lie groups containing $K$ and whose morphisms are inclusion of the groups. Let $Y$ be a $K-$space such that $...
- 1,060
2
votes
1
answer
257
views
How to extend an equivariant map from a compact Lie group
Let $G$ be a compact Lie group and let $H$ be a closed subgroup of it. Let $g$ be a torsion element of $G$ and $C_G(g)$ the centralizer of it. Let $Y$ be a $C_G(g)-$space. I'm working on the space $$...
- 1,060
3
votes
1
answer
143
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{...
- 556
1
vote
1
answer
690
views
Beilinson-Bernstein localization: $\mathfrak{g}$ action on $G$-equivariant sheaf
I have a few elementary questions related to Beilinson-Bernstein localization.
Let $G$ be a semisimple algebraic group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}$. Consider the setup of ...
- 44.7k
2
votes
1
answer
699
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 ...
- 7,037
9
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 ...
- 13.6k
16
votes
2
answers
2k
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.
CommunityBot
- 1
1
vote
0
answers
153
views
some intuition about the degree of a map
Consider a map
$$ f: \Sigma \to X/\sigma,$$
where $\Sigma=\Sigma_g/\Omega$ is a quotient of a Riemann surface by an antiholomorphic involution,
$\sigma:X\to X$ is an antiholomorphic involution
of some ...
- 533
6
votes
1
answer
512
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 \...
- 118k
8
votes
1
answer
757
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 ...
- 805
1
vote
1
answer
426
views
Do there exist equivariant sheafs that are not equivariant vector bundles?
For $F \subset G$ two algebraic groups, consider a homogeneous space $H$ of the form $G/F$. Now every vector bundle over $H$ is a coherent sheaf, but the converse is not true. What happens in the ...
- 4,111
3
votes
0
answers
160
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 ...
- 6,210
3
votes
1
answer
452
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 ...
CommunityBot
- 1
0
votes
1
answer
451
views
Non-Symmetric Equivariant Riemannian Metrics on Homogeneous Spaces
For a homogeneous space $M = G/H$, the number of $H$-equivariant Riemannian metrics on $M$ is usually much smaller than the space of Riemannian metrics. I am wondering what happens when the symmetric ...
- 173
3
votes
1
answer
259
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 ...
- 25.3k
6
votes
2
answers
812
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 ...
- 1,595
4
votes
1
answer
182
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)...
- 13.5k
5
votes
0
answers
624
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$?
- 1,138
2
votes
1
answer
612
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 ...
- 10.3k
5
votes
2
answers
727
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$. ...
- 25.3k
21
votes
0
answers
1k
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)$, ...
- 9,019
5
votes
0
answers
334
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 ...
- 562
4
votes
0
answers
292
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 ...
- 13.2k
18
votes
8
answers
3k
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 ...
CommunityBot
- 1
2
votes
1
answer
372
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) \...
- 27k
18
votes
2
answers
1k
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)$...
- 20.9k
0
votes
0
answers
460
views
Lifting of torus action to line bundle
Let $\mathbb{P}(V) = \mathbb{P}(\mathbb C \oplus \mathbb C)$ be with a $\mathbb C^*$ action : $\lambda (u,v) = (u,\lambda v)$.
There are two fixed points of this action, say $0$ and $\infty$. What ...
- 43
3
votes
1
answer
284
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 ...
- 16.9k
4
votes
0
answers
402
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 ...
- 13.2k
22
votes
0
answers
2k
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 ...
- 5,575
6
votes
6
answers
599
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 ...
- 35.9k
10
votes
0
answers
2k
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 ...
- 8,866
4
votes
0
answers
243
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 $...
- 13.2k
9
votes
1
answer
814
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 ...
- 13.2k
11
votes
1
answer
965
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 $\...
- 55.9k
1
vote
1
answer
629
views
The fiber of the sheaf of invariants
Let us suppose the the group $G:=\mathbb{Z}/2\mathbb{Z}=(1,i)$ freely act on a smooth projective variety/$k$ $X$ and denote by $Y$ the G.I.T. quotient $X/G$. Let $\pi:X\longrightarrow Y$ the quotinet ...
- 669