Questions tagged [equivariant]
The equivariant tag has no usage guidance.
52 questions with no upvoted or accepted answers
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
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
10
votes
0
answers
212
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 ...
- 9,019
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 ...
- 9,340
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
7
votes
0
answers
258
views
Ample divisors on $T$-varieties
Question: how does one use a torus action to help decide whether a divisor or line bundle is ample?
In more detail: I have a (normal, but usually rather singular) $T$-variety $X$, where $T$ is an ...
- 6,162
6
votes
0
answers
213
views
G-sheaves on spaces with a free G-action
Let $X$ be a topological space
equipped with an action of a group $G$. In the Tohoku paper, Grothendieck defined
"$G$-sheaves" on $X$ as sheaves equipped with $G$-action on the etale space,
...
- 9,237
6
votes
0
answers
178
views
Equivariant Morse theory for non-compact Lie groups
Let $G$ be a Lie group acting properly on a smooth manifold $M$. The (non-equivariant) definition of a Morse function does not carry over to equivariant functions $M \rightarrow \mathbb{R}$ (where $\...
- 198
6
votes
0
answers
245
views
A group action on another group action quotient: how to best describe the resulting structure and does it have a name?
Suppose I have an action $\alpha:G\times X\to X$ of a group $G$ on a set $X$ and, on top of that, an action $\beta:H\times(X/G)\to(X/G)$ of another group $H$ on the set of $G$-orbits.
Is there a nice ...
- 18.4k
6
votes
0
answers
237
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 ...
- 371
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
0
answers
166
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}$ ...
- 51
5
votes
0
answers
161
views
equivariant Steenrod algebra
From Hu-Kriz "Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence" we know about calculation of $C_2$ - equivariant Steenrod algebra.
Where can I find (if it ...
- 171
5
votes
0
answers
121
views
Which operations commute with fractional translation?
Let $\mathbf{v}$ be a real signal (i.e., an infinitely long vector).
A translation operation $T_{s}\mathbf{v}$ with integer $s$ is trivially
defined by $\forall i,s:\left(T_{s}\mathbf{v}\right)_{i}=v_{...
- 968
5
votes
0
answers
109
views
Is there a smooth $W_{G_2}$-equivariant map from the flag manifold of $U(4)$ to that of $G_2$?
The Weyl group $W$ of $G_2$, is a group of order $12$ which is generated by the subgroup of permutations of $e_1$, $e_2$ and $e_3$ and by by the element $\tau$ which maps $(e_1,e_2,e_3)$ to $(-e_1,-...
- 5,215
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
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
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
4
votes
0
answers
155
views
$\pm 1$-equivariant perverse sheaves on the affine line
Let $G=\mathbb{Z}/\mathbb{2Z}$ act by the map $z\mapsto -z$ on a complex line $\mathbb{C}$. The category $\mathcal{Perv}(\mathbb{C})$ of perverse sheaves smooth along the stratification by the origin ...
- 1,071
4
votes
0
answers
135
views
Pushforward of invariant measures (equivariant Moser theorem)
There is a well-known theorem that between any two absolutely continuous Borel probability measures $\mu$ and $\nu$ on $\mathbb{R}^n$ there is an increasing triangular
transformation $T : \mathbb{R}^n ...
- 41
4
votes
0
answers
184
views
Are there mathematical/physical applications of these Weyl equivariant maps?
Let $G$ be a compact Lie group and $T$ a choice of maximal torus. Denote the corresponding Lie algebras by $\mathfrak{g}$ and $\mathfrak{t}$. Elements of $\mathfrak{t} \otimes \mathbb{R}^3$ are called ...
- 5,215
4
votes
0
answers
134
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 ...
- 9,340
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 ...
- 257
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
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
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
3
votes
0
answers
50
views
Are there invariants of configurations of points in space obtainable via the moduli space of solutions of the Berry-Robbins problem?
Let $C_n(\mathbb{R}^3)$ denote the configuration space of $n$ distinct points in Euclidean $3$-space and let $U(n)/T^n$ denote the flag manifold associated to the unitary group $U(n)$, i.e. the ...
- 5,215
3
votes
0
answers
69
views
Equivariant smooth approximation
Suppose we have a compact manifold $M$ with the action of a compact group $G$. Consider the space of $C^l$ $G$-equivariant diffeomorphisms $\text{Diff}_G^{l}(M)$ with the $C^l$ topology and the space ...
- 755
3
votes
0
answers
84
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 \...
- 9,019
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
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
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
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 ...
- 1,595
2
votes
0
answers
72
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 ...
- 21
2
votes
0
answers
90
views
$\mathrm{GL}(n, \mathbb{Z})$-equivariant maps on $\mathrm{GL}(n, \mathbb{R})$
$\DeclareMathOperator\GL{GL}$Can you describe the maps from $\GL(n, \mathbb{R})$ to $\GL(n, \mathbb{R})$ that are equivariant w.r.t. right multiplication by $\GL(n, \mathbb{Z})$? I'm interested even ...
- 327
2
votes
0
answers
50
views
A construction of Weyl-equivariant maps from the space of regular Cartan triples to the space of tuples of complex polynomials (up to scalar factors)
Let $G$ be a compact semisimple Lie group and let $T$ be a maximal torus in $G$. On the Lie algebra level, we have a real Lie algebra $\mathfrak{g}$ and a (particular) real slice, say $\mathfrak{t}$, ...
- 5,215
2
votes
0
answers
41
views
On the higher-dimensional Berry-Robbins problem
Let $C_n(\mathbb{R}^d)$ denote the configuration space of $n$ distinct points in $\mathbb{R}^d$, say $\mathbf{x}_1, \ldots, \mathbf{x}_n$. The symmetric group $\Sigma_n$ acts on $C_n(\mathbb{R}^d)$ ...
- 5,215
2
votes
0
answers
103
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 ...
- 677
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
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
1
vote
0
answers
81
views
Is every homogeneous line bundle pulled back from the quotient stack?
Let $G= \mathbb{G}_m^k$ act on a variety $X$.
Let $\mathcal{L}$ be a line bundle on $X$ and assume that for each $g \in G$ the pullback $g^\star \mathcal{L}$ is isomorphic to $\mathcal{L}$.
Does it ...
- 323
1
vote
0
answers
94
views
Invariant category and coinvariant category under group action
Let $\mathcal{C}$ be a category with a finite group action $G$, There is a notion called G-equivariant category, denoted by $\mathcal{C}^G$. In the paper Kuznetsov's Fano threefold conjecture via K3 ...
- 1,982
1
vote
0
answers
78
views
Singular chain complex of balanced products
Let $\pi\subseteq\Sigma_r$ and $V$ be a right $\pi$-space. We may assume that $V$ is free, if necessary. Consider the morphism of singular chain complexes (over a fixed commutative ring)
$$f:C_*(V) \...
- 1,623
1
vote
0
answers
338
views
Definition of an equivariant connection and equivariant curvature
Can anyone give me a reference which precisely stated the definition of an equivariant connection and equivariant curvature?
Precisely, If G be a compact lie group acting linearly on a smooth ...
1
vote
0
answers
237
views
Equivariant vector bundles whose quotient map preserves the stabilizer
Let $G$ be a compact Lie group which act on a manifold $M$. We fix this action throughout our question.
Assume that $E\to M$ is a vector bundle which has the potential of admitting ...
- 366
1
vote
0
answers
125
views
The space of Riemannian structures as an orbifold.
Consider a smooth closed manifold $M$. The space of Riemannian metrics is an open cone in the space of sections of some vector bundle. On this space the group of diffeomorphisms of $M$ acts by ...
- 7,583
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 $\...
- 15.4k
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
1
vote
0
answers
182
views
G-Modules on X=G/H modules on X/H ?
I think it is true that $G$-equivariant sheaves on $X$ are equal to $G/H$ equivariant sheaves on $X/H$. More precisely I'm interested in the following statement:
Given an algebraic group $G$ with ...
- 13.2k