Projectivity of moment map quotients (Q5937409)

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