Homogeneous Kähler and Hamiltonian manifolds (Q532543): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 / reviewed by | |||
Property / reviewed by: Andreas Arvanitoyeorgos / 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 |
Revision as of 09:11, 1 July 2023
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