Homogeneous Kähler and Hamiltonian manifolds (Q532543): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The authors consider actions of reductive complex Lie groups \(G=K^{\mathbb C}\) on Kähler manifolds \(X\) such that the \(K\)-action is Hamiltonian and prove that the closures of the \(G\)-orbits are complex-analytic in \(X\). This is used to characterize reductive homogeneous Kähler manifolds in terms of their isotropy subgroups. Further, they show that such manifolds admit \(K\)-moment maps if and only if their isotropy groups are algebraic. In more detail: We say that \(X\) is a Hamiltonian \(G\)-manifold if \(X\) admits a \(K\)-invariant Kähler form such that the \(K\)-action on \(X\) is Hamiltonian with equivariant moment map \(\mu :X\to\mathfrak k^*\). If \(G\) is semisimple, then every Kähler manifold \(X\) on which \(G\) acts holomorphically is a Hamiltonian \(G\)-manifold. The first result of the paper is the following: \noindent Let \(X\) be a \(G\)-connected Hamiltonian \(G\)-manifold, where \(G\) is a complex reductive group. Then: (a) every \(G\)-orbit is locally subanalytic and in particular locally closed in \(X\); (b) the boundary of every \(G\) -orbit contains only \(G\)-orbits of strictly smaller dimension; (c) the closure of every \(G\)-orbit is complex-analytic in \(X\). Next, the authors show that the existence of a \(K\)-equivariant moment map \(\mu :X\to\mathfrak k^*\)implies that \(H\) is an algebraic subgroup of \(G\). The second result of the paper is the following: Let \(G\) be a connected complex reductive group and let \(H\) be a closed complex subgroup. If \(X=G/H\) is a Hamiltonian \(G\)-manifold, then \(H\) is an algebraic subgroup of \(G\). Finally, they characterize those closed complex subgroups \(H\) of \(G\) for which \(X=G/H\) admits a Kähler form. Let \(Z\) be the connected component of the center of \(G\) and \(S=G'\) be the commutator group. Then \(G=SZ\) and \(S\cap Z\) is finite. The result is the following: Let \(G\) be a reductive complex Lie group and \(H\subset G\) a closed complex subgroup. Then the manifold \(X=G/H\) admits a Kähler form if and only if \(S\cap H\subset S\) is algebraic and \(SH\) is closed in \(G\). | |||
Property / review text: The authors consider actions of reductive complex Lie groups \(G=K^{\mathbb C}\) on Kähler manifolds \(X\) such that the \(K\)-action is Hamiltonian and prove that the closures of the \(G\)-orbits are complex-analytic in \(X\). This is used to characterize reductive homogeneous Kähler manifolds in terms of their isotropy subgroups. Further, they show that such manifolds admit \(K\)-moment maps if and only if their isotropy groups are algebraic. In more detail: We say that \(X\) is a Hamiltonian \(G\)-manifold if \(X\) admits a \(K\)-invariant Kähler form such that the \(K\)-action on \(X\) is Hamiltonian with equivariant moment map \(\mu :X\to\mathfrak k^*\). If \(G\) is semisimple, then every Kähler manifold \(X\) on which \(G\) acts holomorphically is a Hamiltonian \(G\)-manifold. The first result of the paper is the following: \noindent Let \(X\) be a \(G\)-connected Hamiltonian \(G\)-manifold, where \(G\) is a complex reductive group. Then: (a) every \(G\)-orbit is locally subanalytic and in particular locally closed in \(X\); (b) the boundary of every \(G\) -orbit contains only \(G\)-orbits of strictly smaller dimension; (c) the closure of every \(G\)-orbit is complex-analytic in \(X\). Next, the authors show that the existence of a \(K\)-equivariant moment map \(\mu :X\to\mathfrak k^*\)implies that \(H\) is an algebraic subgroup of \(G\). The second result of the paper is the following: Let \(G\) be a connected complex reductive group and let \(H\) be a closed complex subgroup. If \(X=G/H\) is a Hamiltonian \(G\)-manifold, then \(H\) is an algebraic subgroup of \(G\). Finally, they characterize those closed complex subgroups \(H\) of \(G\) for which \(X=G/H\) admits a Kähler form. Let \(Z\) be the connected component of the center of \(G\) and \(S=G'\) be the commutator group. Then \(G=SZ\) and \(S\cap Z\) is finite. The result is the following: Let \(G\) be a reductive complex Lie group and \(H\subset G\) a closed complex subgroup. Then the manifold \(X=G/H\) admits a Kähler form if and only if \(S\cap H\subset S\) is algebraic and \(SH\) is closed in \(G\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32M05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32M10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5884571 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homogeneous Kähler manifold | |||
Property / zbMATH Keywords: homogeneous Kähler manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hamiltonian manifold | |||
Property / zbMATH Keywords: Hamiltonian manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
moment map | |||
Property / zbMATH Keywords: moment map / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complex reductive Lie group | |||
Property / zbMATH Keywords: complex reductive Lie group / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andreas Arvanitoyeorgos / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1993206052 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1001.1209 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariante holomorphe Funktionen auf reduktiven Liegruppen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3774147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant plurisubharmonic functions and hypersurfaces on semisimple complex Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semianalytic and subanalytic sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conditions for the analyticity of certain sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur les variétés analytiques complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On automorphism groups of compact Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3696183 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reduction of complex Hamiltonian \(G\)-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4225584 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiplicity-free complex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5732712 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on Resolution of Singularities (AM-166) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Densité des ensembles sous-analytiques. (On the density of subanalytic sets) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3700459 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant Kähler compactifications of homogeneous manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Espaces Homogènes De Stein Des Groupes De Lie Complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3263052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336268 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:08, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homogeneous Kähler and Hamiltonian manifolds |
scientific article |
Statements
Homogeneous Kähler and Hamiltonian manifolds (English)
0 references
5 May 2011
0 references
The authors consider actions of reductive complex Lie groups \(G=K^{\mathbb C}\) on Kähler manifolds \(X\) such that the \(K\)-action is Hamiltonian and prove that the closures of the \(G\)-orbits are complex-analytic in \(X\). This is used to characterize reductive homogeneous Kähler manifolds in terms of their isotropy subgroups. Further, they show that such manifolds admit \(K\)-moment maps if and only if their isotropy groups are algebraic. In more detail: We say that \(X\) is a Hamiltonian \(G\)-manifold if \(X\) admits a \(K\)-invariant Kähler form such that the \(K\)-action on \(X\) is Hamiltonian with equivariant moment map \(\mu :X\to\mathfrak k^*\). If \(G\) is semisimple, then every Kähler manifold \(X\) on which \(G\) acts holomorphically is a Hamiltonian \(G\)-manifold. The first result of the paper is the following: \noindent Let \(X\) be a \(G\)-connected Hamiltonian \(G\)-manifold, where \(G\) is a complex reductive group. Then: (a) every \(G\)-orbit is locally subanalytic and in particular locally closed in \(X\); (b) the boundary of every \(G\) -orbit contains only \(G\)-orbits of strictly smaller dimension; (c) the closure of every \(G\)-orbit is complex-analytic in \(X\). Next, the authors show that the existence of a \(K\)-equivariant moment map \(\mu :X\to\mathfrak k^*\)implies that \(H\) is an algebraic subgroup of \(G\). The second result of the paper is the following: Let \(G\) be a connected complex reductive group and let \(H\) be a closed complex subgroup. If \(X=G/H\) is a Hamiltonian \(G\)-manifold, then \(H\) is an algebraic subgroup of \(G\). Finally, they characterize those closed complex subgroups \(H\) of \(G\) for which \(X=G/H\) admits a Kähler form. Let \(Z\) be the connected component of the center of \(G\) and \(S=G'\) be the commutator group. Then \(G=SZ\) and \(S\cap Z\) is finite. The result is the following: Let \(G\) be a reductive complex Lie group and \(H\subset G\) a closed complex subgroup. Then the manifold \(X=G/H\) admits a Kähler form if and only if \(S\cap H\subset S\) is algebraic and \(SH\) is closed in \(G\).
0 references
homogeneous Kähler manifold
0 references
Hamiltonian manifold
0 references
moment map
0 references
complex reductive Lie group
0 references
0 references