# Tagged Questions

**0**

votes

**0**answers

59 views

### stability notion of nets of quadrics

A net of quadrics in $\mathbb{P}^n$ is a plane in $\mathbb{P}^N$, where $N=\frac{n(n+3)}{2}$. So the space of net of quadrics is the Grassmannian $Gr(3,N+1)$. The group $SL_{n+1}(\mathbb{C})$ acts on ...

**0**

votes

**0**answers

46 views

### (semi)stability of a net of quadrics and a certain criterion

Let $V:=H^0(\mathbb{P}^4,\mathcal{O}(1))$, $W:=H^0(\mathbb{P}^4,\mathcal{O}(2))$ and $Q_i(i=1,2,3)$ be quadric hypersurfaces in $\mathbb{P}^4$.
To a net of quadrics $\Lambda=(Q_1,Q_2,Q_3)$, we ...

**0**

votes

**0**answers

78 views

### Research of a reference about $G$-linearizations of line bundles on quasi-projective schemes

I am looking for some references for the following statement:
Let $G$ be a linearly reductive algebraic group acting on a quasi-projective scheme $X$, over an algebraically closed field $K$. Let $L$ ...

**7**

votes

**1**answer

298 views

### Quotients by the additive group $\mathbb G_a$

Geometric invariant theory doesn't work so well for non-reductive groups, since invariant rings are not generally finitely generated. However, in many cases the action of a non-reductive group has a ...

**2**

votes

**1**answer

183 views

### How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known):
Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...

**2**

votes

**1**answer

119 views

### Smoothness of fix point components of finite group action on smooth variety

Let $X$ be a smooth complex algebraic variety, and $\varphi: \Gamma\curvearrowright X$ an action (by automorphisms) of a finite group $\Gamma$ on $X$.
Can we say that each irreducible component of ...

**3**

votes

**0**answers

330 views

### A quotient stack question

Let $X$ be a proper Deligne-Mumford stack, whose normalization, $X'$, is a global quotient stack (that is, a stack of the form [W/GL_n],where W is an algebraic space) with a projective scheme as a ...

**8**

votes

**1**answer

383 views

### Why people usually consider reductive groups in GIT?

Where do people essentially use the reductive groups in the theory of GIT? Or how does reductive groups simplify the constructions in GIT?
I found that the property of completely reducible of ...

**3**

votes

**2**answers

302 views

### Quotient of a rational variety by a finite group

Let $X$ be a rational variety and let $G$ be a finite group acting on $X$. Let us consider the diagonal action of $G$ over the product $X^{h} = X\times...\times X$,
$$G\times(X\times...\times ...

**1**

vote

**1**answer

226 views

### when does one want to use the Reynolds operator in GIT?

The role of Reynolds operator in GIT has always been a little mystery to me. Actually I see that in some proofs it gets used in an efficient way, but what I cannot grasp is the general philosophy. I ...

**4**

votes

**0**answers

131 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**

votes

**1**answer

269 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 ...

**1**

vote

**1**answer

150 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 ...

**1**

vote

**2**answers

226 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 ...

**1**

vote

**0**answers

102 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 ...

**9**

votes

**2**answers

358 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 ...

**4**

votes

**0**answers

223 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 ...

**3**

votes

**0**answers

92 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 ...

**3**

votes

**0**answers

88 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 ...

**2**

votes

**2**answers

413 views

### When does a G-invariant one to one map between two closed algebraic G-set descend to a one to one map on the G.I.T quotient ?

I do not know much about Geometric Invariant Theory. My question is the following:
Let $X$ and $Y$ be two complex affine or projective varieties. Let $G$ be a reductive group which acts on both $X$ ...

**3**

votes

**2**answers

179 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 ...

**4**

votes

**2**answers

292 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 ...

**0**

votes

**1**answer

257 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

227 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 ...

**3**

votes

**2**answers

212 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 ...

**9**

votes

**1**answer

473 views

### A line bundle that does not admit a G-linearisation

I have been thinking about quotients lately and pondered the following:
Let $G$ be a connected linear algebraic group and $X$ a $G$-variety acting via the morphism $\sigma:G\times X\rightarrow X$. ...

**10**

votes

**3**answers

453 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 ...

**7**

votes

**2**answers

317 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, ...

**2**

votes

**1**answer

185 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 ...

**8**

votes

**1**answer

416 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**

votes

**0**answers

274 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 ...

**1**

vote

**1**answer

179 views

### invariants of plane quartics

Does anybody know a good reference where the invariants for plane quartic curves are developed?

**3**

votes

**1**answer

223 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 ...

**4**

votes

**2**answers

280 views

### affinization of T^*CP^n

Is there an elementary description of the affinization of the algebraic cotangent bundle of $CP^n$? I know that it can be described as some sort coadjoint orbits, but I am interested in a translation ...

**2**

votes

**1**answer

193 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**

vote

**1**answer

268 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 ...

**2**

votes

**0**answers

162 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 ...

**0**

votes

**1**answer

231 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 ...

**4**

votes

**2**answers

651 views

### Verifying claims in the proof of the Rigidity Lemma (Mumford, GIT)

In Chapter 6 of Mumford's Geometric invariant theory, during the proof of the rigidity lemma, there are two statements I'm not sure how to verify. The general setup is:
$p : X \rightarrow S$ is ...

**5**

votes

**1**answer

668 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 ...

**1**

vote

**2**answers

343 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 ...

**2**

votes

**0**answers

323 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$ ...

**12**

votes

**1**answer

1k views

### Why is the degree:rank ratio of a vector bundle called its “slope”?

Whenever one studies moduli spaces of vector bundles on curves, one of the first things to be introduced is the "slope" of a vector bundle, i.e., its degree:rank ratio. Is there a nice (preferably ...

**11**

votes

**2**answers

674 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 ...

**5**

votes

**1**answer

325 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 ...

**10**

votes

**1**answer

524 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 ...

**1**

vote

**1**answer

677 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 ...

**5**

votes

**2**answers

444 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 ...

**6**

votes

**3**answers

599 views

### Applications of non-reductive GIT

Geometric invariant theory works well when the algebraic group $G$ acting on a variety is reductive. There has been recent work by Doran and Kirwan here and here to find a canonical method of ...

**8**

votes

**3**answers

790 views

### Toric varieties as quotients of affine space

One way to define toric varieties is as quotients of affine $n-$space by the action of some torus. However, this is not strictly true as we need to throw away "bad points" which ruin this ...