Projectivity of moment map quotients (Q5937409): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:42, 5 March 2024
scientific article; zbMATH DE number 1619067
Language | Label | Description | Also known as |
---|---|---|---|
English | Projectivity of moment map quotients |
scientific article; zbMATH DE number 1619067 |
Statements
Projectivity of moment map quotients (English)
0 references
11 April 2002
0 references
Let \(G\) be a complex reductive group, \(K\) a maximal compact subgroup of \(G\), \({\mathbf t}^*\) the dual of the Lie algebra of \(K\), \(X\) a smooth projective variety endowed with a holomorphic action of \(G\), \(\omega\) a \(K\)-invariant Kähler form on \(X\) and \(\mu:X\to{\mathbf t}^*\) a \(K\)-equivariant moment map. Set \(X(\mu):=\{x\in X:\) the closure of the orbit \(Gx\) intersects \(\mu^{-1}(0)\}\). \(X(\mu)\) is an open subset of \(X\) and there is a complex space \(X(\mu)//G\) and a \(G\)-invariant holomorphic surjection \(\pi: X(\mu) \to X(\mu)//G\) such that \(\pi\) is a Stein map and \((\pi_*({\mathbf O}_{X(\mu)}))^G ={\mathbf O}_{X(\mu)//G}\). For any ample \(G\)-line bundle \(L\) on \(X\), let \(X(L)\) be the set of all semistable points of \(X\) with respect to \(L\). By Geometric Invariant Theory there is a projective variety \(X(L)//G\) and an affine morphism \(f: X(L)\to X(L)//G\) such that \((f_*({\mathbf O}_{X(L)}))^G = {\mathbf O}_{X(L)//G}\). Here the authors prove the existence of a very ample \(G\)-line bundle \(L\) on \(X\) such that \(X(\mu) = X(L)\).
0 references
moment map
0 references
polarization
0 references
reductive group
0 references
complex reductive group
0 references
algebraic group action
0 references
quotient morphism
0 references
ample line bundle
0 references
semistability
0 references
Stein holomorphic map
0 references
Kähler form
0 references
ample \(G\)-line bundle
0 references
semistable points
0 references
Geometric Invariant Theory
0 references