All Questions
Tagged with equivariant ag.algebraic-geometry
34 questions
6
votes
1
answer
283
views
effective descent of coherent sheaves
I am new to stacks and algebraic spaces. I have the following question:
Let $X$ be a scheme and $G$ be a group scheme action on $X$. Then $X/G$ exists as an algebraic space. Let $\pi: X \to X/G$ be ...
- 613
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
2
votes
1
answer
401
views
${\rm SL}_2(\mathbb C)$-equivariant K-theory of $\mathbb C P^1$
Consider the action of ${\rm SL}_2(\mathbb C)$ on $\mathbb C P^1$ induced by the action of 2×2 matrices on 2-vectors. Is it true that $K^{{\rm SL}_2(\mathbb C)}(\mathbb C P^1)$ is $\mathbb C[t,t^{-1}]$...
- 2,974
2
votes
1
answer
204
views
What does the Serre functor of equivariant category of fractional CY category look like?
I am considering the following set up. Let $\mathcal{A}$ be a fractional Calabi-Yau category and denote by $S$ the Serre functor and $S^m=[n]$. Now I consider a finite group action $G$ on $\mathcal{A}$...
- 1,982
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
0
votes
1
answer
204
views
Equivariant sheaves on $\mathbb P^1$
Let $K(\mathbb P^1)$ be the Grothendieck group of sheaves on $\mathbb P^1$. I want to show that the map $K^{{\rm PGL}(2)\times \{\pm 1\}}(\mathbb P^1) \to K(\mathbb P^1)$ is not onto. I read somewhere ...
- 2,974
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
1
answer
322
views
Short exact sequence of equivariant line bundles on $\mathbb P^1$
I have a two-dimensional vector space ${\mathbb C}^2$ with basis $e_m, f_1$ and action of ${\mathbb C}^*$ by $t \cdot e_m = t^m e_m$ and $t \cdot f_1 = f_1$ and I have the projective line ${\mathbb P}^...
5
votes
3
answers
681
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 ...
- 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
25
votes
1
answer
839
views
Vector bundles on $\mathbb{A}^n / G$
Let $G$ be a finite group acting linearly on $\mathbb{A}^n$. Do we expect algebraic vector bundles on $X := \mathbb{A}^n/G$ to be trivial? Here by the quotient I mean the singular scheme, not the ...
- 2,310
2
votes
1
answer
337
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).
...
- 471
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 ...
- 23.4k
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?
- 51
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
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
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 ...
- 2,273
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 \...
- 1,545
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 ...
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
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 ...
- 811
10
votes
1
answer
2k
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 ...
- 7,320
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
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 ...
- 13.2k
2
votes
2
answers
1k
views
Reference for equivariant Riemann-Roch formula?
Is there any reference for equivariant Riemann-Roch formula: book, paper, notes or something? I want to compute the weight of the action of C^* on the top wedge of cohomology group.
- 23
6
votes
2
answers
917
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 ...
- 2,372
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) \...
- 853
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
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
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
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
17
votes
1
answer
2k
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 ...
- 13.2k