Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
for questions on geometric invariant theory (or GIT), including stability criteria and symplectic quotients.
15
votes
Quotients by the additive group $\mathbb G_a$
In general, the only definition I know of GIT quotient is $Proj$ of the invariant ring. The obvious statements one can make about the rational map $Proj\ R\to Proj\ R^G$ are that it collapses $G$-orbi …
4
votes
Are orbits of an affine algebraic monoid affine?
Let $SL_2$ act on ${\mathbb A}^2$. This has two orbits, $\{\vec 0\}$ and its complement, and the latter is not affine.
15
votes
Accepted
Partial (or complete) flag varieties as GIT quotients of affine spaces
If you're willing to quotient by a nonreductive group, then $M_n//B$ will get you the $GL(n)$ flag manifold. (People are usually afraid to do so, worrying that the ring of invariants won't be Noetheri …
1
vote
Accepted
Configuration space of flags
There are many GIT quotients, since to define one requires a choice of $G$-line bundle, so a pair of naturals for each $F$.
There's an obvious democratic choice -- $(a,b) = (1,1)$ for every $F$ -- b …
3
votes
The canonical divisor of the Hilbert scheme $Hilb^n P^2$?
$n=1$ already tells you that the anticanonical divisor is going to be nicer than the canonical, in that it's effective. There, the divisor given by the three coordinate lines is anticanonical.
Next s …
3
votes
Toric varieties as quotients of affine space
Let me advertise the polytopal point of view.
Start with $T^k$ acting on ${\mathbb A}^n$ linearly, i.e. we have a map
$T^k \to T^n$. The $T^n$-moment polytope of ${\mathbb A}^n$ is just the
orthant $ …