Skip to main content
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
Results tagged with
Search options not deleted user 391

Invariant theory deals with an algebraic, geometric or analytic structure $X$, submitted to the action of an (algebraic) group $G$. It studies $G$-invariant elements of $X$ as well as the set of $G$-orbits.

2 votes

Checking smoothness of the components of a highly symmetric scheme via quotient?

You apparently mean the action on the set of components is free, not just faithful. For $C$ a component of $X$, the composite map $C \to X \to X//G$ is a finite map, and (by the freeness assumption) …
Allen Knutson's user avatar
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 …
Allen Knutson's user avatar
5 votes
Accepted

Left U_n-invariants of SL_n - an exercise in Kraft-Procesi

No, they don't. $U_n(K)$ is performing upward row operations, so any $m\times m$ minor that uses the last $m$ rows will be $U_n(K)$-invariant, e.g. any single bottom entry. You won't be able to genera …
Allen Knutson's user avatar