[Paper Review] On univalence of equivariant Riemann domains over the complexification of a non-compact, Riemannian symmetric space

Laura Geatti, Andrea Iannuzzi|ArXiv.org|Dec 6, 2006

Advanced Algebra and Geometry17 references4 citations

TL;DR

This paper establishes that holomorphically separable, $G$-equivariant Riemann domains over the complexification of a non-compact, rank-one Riemannian symmetric space $G^\mathbb{C}/K^\mathbb{C}$ are univalent, provided $G$ is not a covering of $SL(2,\mathbb{R})$. The proof relies on analyzing the $G$-invariant complex geometry of $G^\mathbb{C}/K^\mathbb{C}$, classifying its Stein $G$-invariant subdomains, and showing injectivity of the domain map via orbit structure and monodromy control.

ABSTRACT

Let G/K be a non-compact, rank-one, Riemannian symmetric space and let G^C be the universal complexification of G. We prove that a holomorphically separable, G-equivariant Riemann domain over G^C / K^C is necessarily univalent, provided that G is not a covering of SL(2, R). As a consequence of the above statement one obtains a univalence result for holomorphically separable, G x K -equivariant Riemann domains over G^C. Here G x K acts on G^C by left and right translations. The proof of such results involves a detailed study of the G-invariant complex geometry of the quotient G^C / K^C, including a complete classification of all its Stein G-invariant subdomains.

Motivation & Objective

• To determine conditions under which $G$-equivariant Riemann domains over $G^\mathbb{C}/K^\mathbb{C}$ are univalent, i.e., injective.
• To resolve the univalence problem for holomorphically separable, $G$-equivariant Riemann domains over $G^\mathbb{C}/K^\mathbb{C}$, especially in the case of non-compact, rank-one symmetric spaces.
• To classify all Stein $G$-invariant subdomains of $G^\mathbb{C}/K^\mathbb{C}$ and use this to deduce univalence results.
• To exclude $SL(2,\mathbb{R})$ and its covers as exceptions due to known counterexamples involving non-trivial $K$-orbit coverings.

Proposed method

• Analyzing the $G$-orbit structure of $G^\mathbb{C}/K^\mathbb{C}$, particularly the topology of principal and singular orbits.
• Using categorical $K$-reduction to relate $G \times K$-equivariant domains over $G^\mathbb{C}$ to $G$-equivariant domains over $G^\mathbb{C}/K^\mathbb{C}$.
• Establishing injectivity of the domain map on each $G$-orbit via topological and complex-geometric arguments, especially for principal orbits.
• Extending injectivity from orbitwise injectivity to the full domain by lifting local slices and controlling monodromy around singular orbits.
• Applying results from complex geometry, such as Heinzner’s theorem on categorical quotients, to ensure the quotient domain remains Stein.
• Using the Levi form on $G$-orbits to analyze curvature and definiteness, which helps classify boundary behavior of Stein domains.

Experimental results

Research questions

• RQ1 Under what conditions is a holomorphically separable, $G$-equivariant Riemann domain over $G^\mathbb{C}/K^\mathbb{C}$ univalent?
• RQ2 Why does the case $G = \widetilde{SL}(2,\mathbb{R})$ fail to satisfy univalence, and how does this differ from other non-compact symmetric spaces?
• RQ3 How do the $G$-orbit structures and Levi forms on $G^\mathbb{C}/K^\mathbb{C}$ influence the univalence of equivariant domains?
• RQ4 Can the univalence of $G \times K$-equivariant domains over $G^\mathbb{C}$ be reduced to the univalence of $G$-equivariant domains over $G^\mathbb{C}/K^\mathbb{C}$?
• RQ5 What is the complete classification of Stein $G$-invariant subdomains of $G^\mathbb{C}/K^\mathbb{C}$, and how does it relate to univalence?

Key findings

• A holomorphically separable, $G$-equivariant Riemann domain over $G^\mathbb{C}/K^\mathbb{C}$ is univalent if $G$ is not a covering of $SL(2,\mathbb{R})$, establishing a sharp exception to univalence.
• The univalence result extends to $G \times K$-equivariant Riemann domains over $G^\mathbb{C}$ via categorical $K$-reduction, preserving injectivity.
• The $G$-orbit structure of $G^\mathbb{C}/K^\mathbb{C}$ is fully analyzed, with principal orbits shown to be injective under the domain map.
• Monodromy obstructions around singular $G$-orbits are overcome by lifting one-dimensional local slices and using complex-geometric properties of non-Stein domains.
• The Levi form on $G$-orbits in $G^\mathbb{C}/K^\mathbb{C}$ is definite for $\mathfrak{g} = \mathfrak{su}(n,1)$ and indefinite for $\mathfrak{g} = \mathfrak{sp}(n,1)$ or $\mathfrak{f}_4^*$, which determines boundary behavior of Stein domains.
• All Stein, $G$-equivariant Riemann domains over $G^\mathbb{C}/K^\mathbb{C}$ are realized as $G$-invariant Stein subdomains of $G^\mathbb{C}/K^\mathbb{C}$, confirming their geometric embeddability.