Questions tagged [geometric-invariant-theory]
for questions on geometric invariant theory (or GIT), including stability criteria and symplectic quotients.
242 questions
4
votes
0
answers
140
views
Scaling-Invariant Orbits of Semisimple Group Representations
Let $G$ be a connected, simply-connected complex semisimple linear algebraic group, and let $V$ be a finite-dimensional complex $G$-module. Note that if $V$ is the adjoint representation of $G$, then ...
- 4,920
5
votes
1
answer
608
views
When does a group action on a k-algebra induce an algebraic action on the spectrum?
This question arose from my last question, which I considered answered - from the comments, however, it is obvious that the answer is only complete in characteristic zero, and I am trying to ...
CommunityBot
- 1
1
vote
1
answer
450
views
Equivariant fibre product
Let $G$ be an algebraic group. Let $X$ and $Y$ be $S$-schemes such that $X$, $Y$ and $S$ are $G$-schemes and the structural morphisms are equivariant. My question is: Can the fiber product $P:=X\...
- 15.9k
1
vote
2
answers
296
views
Are orbits of an affine algebraic monoid affine?
Let us work over the complex numbers for simplicity. Let $M$ be an affine algebraic monoid and $X$ an affine variety on which $M$ acts regularly, i.e. there is a morphism $\alpha: M\times X\to X$. Let ...
- 4,902
4
votes
2
answers
757
views
Quotient of affine space by cyclic permutation
The quotient of the affine space $\mathbb{A}^n$ by the symmetric group $Sym_n$ is again an affine space of the same dimension, and invariants are given by elementary symmetric polynomials.
What ...
CommunityBot
- 1
1
vote
0
answers
266
views
non-flat GIT quotient
Let $G=PGL(N)$ acting on a scheme $X$ over a field $k$ and $L$ be a $G$-linearized invertible sheaf. Let $X^{ss}(L)$ be the semistable locus. We know that a uniform categorical quotient $\phi:X^{ss}(L)...
- 61
11
votes
2
answers
2k
views
Partial (or complete) flag varieties as GIT quotients of affine spaces
I am looking for presentations of partial or complete flag varieties as GIT quotients of affine varieties spaces. That is, for a choice of of dimensions $0=d_1<d_2<\dots<d_k = n$, I would ...
- 27.9k
5
votes
0
answers
1k
views
Coarse moduli spaces of quotient stacks
Suppose you have a separated Deligne Mumford quotient stack $[V/G]$ over a field of characteristic $0$, where $V$ is a quasiprojective variety and $G$ is an algebraic group that does not necessarily ...
- 21
5
votes
0
answers
219
views
Normalization of quotient stacks
Suppose you have a Deligne Mumford stack which is a quotient $[X/G]$ of a scheme $X$ by an algebraic group $G$ .
What is the normalization of that? Is it true that its normalization is a quotient ...
- 101
5
votes
0
answers
165
views
question about relative stable maps
Let $C$ be a connected smooth curve, $0\in C$ a closed point and $W\rightarrow C$ a family of projective schemes. Assume that the fibers $W_t$ of $W$ are smooth for all $t\neq 0$ and that $W_0=Y_1\cup ...
- 6,210
3
votes
2
answers
380
views
degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$
How can we find the degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$ , $dimV=8$ by the model in the Lie algebra $E_7$.
- 1,336
3
votes
2
answers
334
views
blow up of segre primal and $\mathcal{M}_{0,6}$
The segre cubic primal $X\subset P^4$ is the GIT quotient of 6 points on $P^1$. Let $M_{0,6}$ the DM compactification of the moduli of 6-pointed rational curves. The Segre primal $X$ is a cubic 3-fold ...
- 627
11
votes
3
answers
961
views
Algorithms in Invariant Theory
Let $V$ be a polynomial representation of the general linear group $\Gamma:=\DeclareMathOperator{\Gl}{Gl}\Gl_n(\newcommand{\C}{\mathbb C}\C)$.
In chapter 4.6 of his book "Algorithms in Invariant ...
- 195
0
votes
1
answer
324
views
Algebraic closure and GIT
Does one need to work over an algebraic closed field in ordre to construct GIT quotients à la Mumford?
If yes, why?
1
vote
1
answer
282
views
What does this particular geometric quotient locally look like?
Let $k$ be a field and consider the algebraic group $GL_n$ over $Spec(k)$. It has as a closed (but not normal) algebraic subgroup the group $M$ of monomial matrices, i.e. matrices having exactly one ...
- 27.9k
3
votes
2
answers
367
views
Intersection theory for $G$-varieties - an action on the chow ring?
Let $G$ be a reductive algebraic group. Let $X$ be a $G$-variety and consider any closed subvariety $Z$ of $X$. Since any $g\in G$ acts as an automorphism, we know that $g.Z$ is again a closed ...
- 1,780
8
votes
2
answers
497
views
When is an orbit spherical?
I asked the following question over at math.stackexchange, but got no answers. Maybe it's less well-known than I thought, but I still wanted to ask here:
Let's assume we have an affine, reductive, ...
CommunityBot
- 1
4
votes
1
answer
369
views
Lift of a morphism between geometric quotients
Let $S$ be a scheme.
Definition. Let $X$ be an $S$-scheme and $G$ a smooth affine group $S$-scheme acting on $X.$ An $S$-scheme $Y$ is a geometric quotient of $X$ by $G$ if there exists a morphism $\...
- 6,543
8
votes
1
answer
493
views
About the strength of representation-theoretic obstructions for orbit closure problems
Let $G$ be a reductive, affine, algebraic group over $\newcommand{\C}{\mathbb C}\C$. Let $X$ be a $G$-variety. For $x\in X$, we write
$$G_x:=\{ g\in G\mid g.x=x\}$$
for its stabilizer and for any ...
- 4,902
6
votes
0
answers
544
views
Stability conditions for coherent sheaves and GIT
I am learning stability conditions for derived categories of coherent sheaves, following Bridgeland, and coming from a vector bundles background. $\mu$-stability for vector bundles has a clear GIT ...
- 3,779
1
vote
1
answer
219
views
invariants of plane quartics
Does anybody know a good reference where the invariants for plane quartic curves are developed?
- 39.3k
9
votes
1
answer
1k
views
Action of k* on a variety induces grading?
Let $V$ be a $\Bbbk$-variety such that $\Bbbk^\times$ (as an algebraic group) acts algebraically on $V$. Given any $f\in\Bbbk[V]$, let us call $f$ homogeneous of degree $d$ if for all $v\in V$ and all ...
- 44.7k
3
votes
1
answer
310
views
When the affine quotient is faithfully flat?
It may be easy for the expert.
Consider the map from $n$ by $m$ matrices (over $\mathbb{C}$ )to the $n$ by $n$ symmetric matrices $\phi\colon A\mapsto A A^T$.
My question is when this map is ...
- 1,645
1
vote
1
answer
406
views
Quotients of group actions on varieties
Let $Y$ be an affine algebraic variety over $\mathbb{C}$ and let $X$ be its closed subvariety. Let $G$ be a reductive group acting on $Y$ and let $H$ be a reductive subgroup of $G$ preserving $X$ such ...
- 27k
2
votes
0
answers
218
views
Level n-structure as defined by Mumford in GIT
In Mumford's GIT, the definition of level $n$ structure ($n \geq 2)$ is $2g$ sections $\{\sigma_1, \dots, \sigma_{2g}\} : S \rightarrow A$ such that two conditions hold: (i) For geometric points the ...
- 419
1
vote
1
answer
322
views
Hilbert polynomial of an abelian scheme
This is coming out of Mumford's GIT, section 7.2, page 131.
$A/S$ an abelian scheme of dimension $g$ with polarization $\bar{\omega}$ of degree $d^2$. Then $\pi_*(L^\Delta(\bar{\omega})^3)$ is ...
- 79.9k
8
votes
1
answer
1k
views
References to SGA 8 and descent theory
In Geometric Invariant Theory, by Mumford, Fogarty, and Kirwan, if there is a mention of descent theory, it almost always comes along with a reference to SGA 8, Theorem 5.2 (see the end of the proof ...
CommunityBot
- 1
1
vote
2
answers
576
views
Configuration space of flags
Let $U\subset \mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ be the Zariksi open set of ordered quadruple of distinct points in the projective line. The quotient of $U$ by the ...
- 27.9k
2
votes
0
answers
363
views
A simple problem on commutative algebra related to G.I.T
Let $G$ be a geometrically reductive algebraic group over an algebraically closed field $k$. Let $X$ be an affine variety over $k$ on which $G$ acts regularly. Then $G$ acts on the coordinate ring $A$ ...
- 1,804
0
votes
0
answers
195
views
Invariant Polynomes under group action - given the invariants looking for the group. algorithmic solution?
I have given a finite set $S$ of polynomes in the ring $R = C[x_1,\dots,x_n]$. I need to know the minimal group $G$ wich acts on $R$ such that $C[S]$ is the ring of invariants of $R$ under the action ...
- 345
8
votes
1
answer
2k
views
Hilbert-Mumford criterion and closedness
A version of the Hilbert-Mumford criterion states the following: Let $G$ be a linearly reductive group and $V$ a representation of $G$ over a field $k$ (alg. closed, char. zero). Suppose that $y \in \...
- 758
12
votes
2
answers
1k
views
Is an affine "G-variety" with reductive stabilizers a toric variety?
Let $X=Spec(A)$ be a reduced normal affine scheme over an algebraically closed field $k$ of characteristic $0$, with an action of a connected reductive group $G$. Suppose
$x\in X$ is a $G$-...
CommunityBot
- 1
19
votes
3
answers
2k
views
Can a coequalizer of schemes fail to be surjective?
Suppose $g,h:Z\to X$ are two morphisms of schemes. Then we say that $f:X\to Y$ is the coequalizer of $g$ and $h$ if the following condition holds: any morphism $t:X\to T$ such that $t\circ g=t\circ h$ ...
- 19.6k
5
votes
1
answer
470
views
If Spec(A) has a G-fixed point and a dense G-orbit, is Spec(A) a cone?
[Edited to include a dense orbit]
Let $X=Spec(A)$ be a normal affine scheme over an algebraically closed field $k$, with an action of a linearly reductive group $G$. Suppose $x\in X$ is a $G$-...
CommunityBot
- 1
13
votes
1
answer
1k
views
Are GIT's good categorical quotients just locally ringed space coequalizers?
Introduction: The definition of "good categorical quotient" in geometric invariant theory (given below) seems fairly ad hoc to me, except that it looks very similar to the coequalizer of the action in ...
- 11.3k
3
votes
1
answer
1k
views
geometric quotient
Let $S$ be a base scheme. Let $X$ be a scheme over $S$ and let $G$ be a group scheme over $S$ acting on $X$ via $\sigma: G \times_S X \to X$. Suppose that we have a scheme $Y$ over $S$ together with $...
- 1,645
5
votes
2
answers
905
views
The canonical divisor of the Hilbert scheme $Hilb^n P^2$?
Hey everyone,
I was wondering if anyone knows what the canonical divisor of the Hilbert scheme $Hilb^n P^2$ is --$Hilb^n P^2$ is the Hilbert scheme of degree-n zero dimensional subschemes of the ...
- 27.9k
8
votes
3
answers
3k
views
Why can we define the moment map in this way (i.e. why is this form exact)?
Given a symplectic manifold $(X, \omega)$ and a group $G$ acting on $X$ preserving the symplectic form, we define the moment map $\mu : X \to \mathfrak{g}^*$ so that
$$
\langle d\mu(v), \xi\rangle = \...
- 8,098
4
votes
0
answers
167
views
Components of variety of subalgebras
This question is motivated by the question Subalgebras of matrices and its answer by Mariano. We consider $X_{n,d}$, the variety of $d$-dimensional subalgebras not necessarily with 1 (with 1 makes ...
CommunityBot
- 1
2
votes
0
answers
168
views
Quotient of variety by additive group separated?
I have some sub variety of a complex flag variety and I want to take the quotient by a free action of $\mathbb{C}$.
I know that this quotient exists locally as a variety. My question is whether there ...
- 13.2k
11
votes
1
answer
918
views
When Are Quotients Complete Intersections?
Let $S_{n}$ denote the permutation group on $n$ letters and $G\subset S_{n}$ a transitive subgroup. The inclusion of $G$ in $S_{n}$ defines an action of $G$ on $\mathbb{C}^{n}$. By finding a ...
- 10.7k
4
votes
4
answers
1k
views
Near Trivial Quiver Varieties
So, today I started learning the definition of a quiver variety, and wanted to make sure I'm understanding things right, so first, my setup:
I've been looking at the simplest case that didn't look ...
- 44.7k