**4**

votes

**0**answers

334 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

189 views

### invariants of plane quartics

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

**4**

votes

**1**answer

293 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

293 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

223 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

311 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

183 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

253 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

774 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 flat,...

**6**

votes

**1**answer

769 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

385 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

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

**0**

votes

**0**answers

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

**15**

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

**6**

votes

**1**answer

813 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 \...

**6**

votes

**3**answers

635 views

### Quotient of smooth algebraic variety by proper free action of algebraic group

Let $G$ be algebraic group acting on a smooth algebraic variety $M$. Assume the action is proper and free. Is the orbit space $M/G$ an algebraic variety? If so, could someone point to a reference? If ...

**12**

votes

**2**answers

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

**5**

votes

**1**answer

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

**10**

votes

**1**answer

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

**2**

votes

**1**answer

738 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

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

**4**

votes

**3**answers

1k 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 = \...

**6**

votes

**3**answers

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

**9**

votes

**3**answers

1k 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 construction....

**4**

votes

**0**answers

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

**2**

votes

**0**answers

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

**10**

votes

**1**answer

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

**12**

votes

**2**answers

720 views

### Rationality of GIT quotients

I recently worked through most of the proof of the rationality of the moduli of genus 3 curves, which seemed to have the following structure:
Every nonhyperelliptic genus 3 curve is a smooth plane ...

**9**

votes

**2**answers

671 views

### Fukaya categories of hyperkahler reductions: general request for information

I'd really like to hear any references or information people have about the Fukaya categories of hyperkahler reductions of vector spaces (for more informations on the varieties, see Nick Proudfoot's ...

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

**18**

votes

**4**answers

2k views

### When are GIT quotients projective?

Some background on GIT
Suppose G is a reductive group acting on a scheme X. We often want to understand the quotient X/G. For example, X might be some parameter space (like the space of possible ...

**10**

votes

**1**answer

1k views

### Bad Categorical Quotients

Let G be an algebraic group acting on a scheme X. Then f: X --> Y is a categorical quotient if it is constant on G-orbits and any other G-invariant morphism factors through it in a unique fashion. ...

**2**

votes

**2**answers

128 views

### Are irregular points of an action necessarily in the closure of a larger orbit?

Suppose G is an affine algebraic group acting linearly on a vector space V. A point v∈V is stable if the orbit Gv is closed and v is regular (the dimension of the stabilizer of v is locally ...

**13**

votes

**6**answers

2k views

### Why and how are moduli spaces of (semi)stable vector bundles well-behaved?

The slope of a vector bundle E is defined as mu(E) = deg(E)/rank(E). Then a vector bundle E is called semistable if mu(E') ≤ mu(E) for all proper sub-bundles E'. It is called stable if mu(E') < ...

**9**

votes

**8**answers

3k views

### Resources on Invariant Theory

Hi,
So my question is pretty much summed up by the summary - basically I've run into a need to teach myself some of the basics of invariant theory and was looking for a good place to start. I'd ...

**12**

votes

**3**answers

1k 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$ ...