The minimum principle from a Hamiltonian point of view (Q1386877)

From MaRDI portal
Revision as of 19:19, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The minimum principle from a Hamiltonian point of view
scientific article

    Statements

    The minimum principle from a Hamiltonian point of view (English)
    0 references
    0 references
    27 May 1998
    0 references
    Suppose \(G_{\mathbb R}\) is a connected real form of a complex Lie group \(G\). Let \(Z\) be a complex \(G\)-manifold containing a \(G_{\mathbb R}\)-stable domain \(X\) such that \(G\cdot X = Z\). The basic question considered in this paper is to find conditions under which \(Z\) is a domain of holomorphy if \(X\) is a domain of holomorphy. In the setting where \(Z\) is a domain in a Stein space \(V\) one can construct \(G\)-invariant plurisubharmonic functions starting with \(G_{\mathbb R}\)-invariant plurisubharmonic functions on \(X\). (The goal of proving \(Z\) Stein is achieved by finding a plurisubharmonic function on \(Z\) which goes to \(+\infty\) as one approaches every boundary point of \(Z\) in \(V\).) This is accomplished under the assumption that there exists a geometric \(G\)-quotient \(\pi : Z \to Z/G\) by taking a smooth \(G_{\mathbb R}\)-invariant plurisubharmonic function \(\varphi\) on \(X\) which is a strong plurisubharmonic exhaustion on each fiber of \(\pi|_{X}\) and defining a function on \(Z/G\) which is the minimum of \(\varphi\) on each fiber, an idea due to \textit{J.-J. Loeb} [Ann. Inst. Fourier 35, No. 4, 59-97 (1985; Zbl 0563.32013)] in the case of free actions. If \(\varphi:X \to {\mathbb R}\) is a smooth \(G_{\mathbb R}\)-invariant strictly plurisubharmonic function which is an exhaustion mod \(G_{\mathbb R}\) along \(\pi\), then there is an associated invariant moment map \(\mu : X \to{\mathfrak g}_{\mathbb R}^{*}\). The set \(\mu^{-1}(0)\) is the set of fiberwise critical points of \(\varphi\). This compatibility of the symplectic reduction, i.e., forming \(\mu^{-1}(0)/G_{\mathbb R}\), and the minimum principle, shown to hold when \(G_{\mathbb R}\) is compact by \textit{P. Heinzner, A. T. Huckleberry} and \textit{F. Loose} [J. Reine Angew. Math. 455, 123-140 (1994; Zbl 0803.53042)] is proved here under certain precise conditions. This is then used to make the ideas outlined above work. As an application the author shows that the extended future tube is a domain of holomorphy; this problem has also been considered by \textit{X.-Y. Zhou} [``On the extended future tube conjecture'', preprint; per bibl.].
    0 references
    symplectic reduction
    0 references
    minimum principle
    0 references

    Identifiers