-
On geometric properties of holomorphic isometries between bounded symmetric domains
Authors:
Shan Tai Chan
Abstract:
We study holomorphic isometries between bounded symmetric domains with respect to the Bergman metrics up to a normalizing constant. In particular, we first consider a holomorphic isometry from the complex unit ball into an irreducible bounded symmetric domain with respect to the Bergman metrics. In this direction, we show that images of (nonempty) affine-linear sections of the complex unit ball mu…
▽ More
We study holomorphic isometries between bounded symmetric domains with respect to the Bergman metrics up to a normalizing constant. In particular, we first consider a holomorphic isometry from the complex unit ball into an irreducible bounded symmetric domain with respect to the Bergman metrics. In this direction, we show that images of (nonempty) affine-linear sections of the complex unit ball must be the intersections of the image of the holomorphic isometry with certain affine-linear subspaces. We also construct a surjective holomorphic submersion from a certain subdomain of the target bounded symmetric domain onto the complex unit ball such that the image of the holomorphic isometry lies inside the subdomain and the holomorphic isometry is a global holomorphic section of the holomorphic submersion. This construction could be generalized to any holomorphic isometry between bounded symmetric domains with respect to the \emph{canonical Kähler metrics}. Using some classical results for complex-analytic subvarieties of Stein manifolds, we have obtained further geometric results for images of such holomorphic isometries.
△ Less
Submitted 10 April, 2025; v1 submitted 17 October, 2024;
originally announced October 2024.
-
On local holomorphic maps between Kähler manifolds preserving $(p,p)$-forms
Authors:
Shan Tai Chan,
Yuan Yuan
Abstract:
We study local holomorphic maps between Kähler manifolds preserving $(p,p)$-forms. In this direction, we prove that any such local holomorphic map $F$ is a holomorphic isometry up to a scalar constant provided that $p$ is strictly less than the complex dimension of the domain of $F$. We then study local holomorphic maps between finite dimensional complex space forms preserving invariant $(p,p)$-fo…
▽ More
We study local holomorphic maps between Kähler manifolds preserving $(p,p)$-forms. In this direction, we prove that any such local holomorphic map $F$ is a holomorphic isometry up to a scalar constant provided that $p$ is strictly less than the complex dimension of the domain of $F$. We then study local holomorphic maps between finite dimensional complex space forms preserving invariant $(p,p)$-forms. It was proved by Calabi that there does not exist a local holomorphic isometry between complex space forms $M$ and $N$ provided that $M$ and $N$ are of different types. In this article, we generalize this result to local holomorphic maps between complex space forms $M$ and $N$ preserving invariant $(p,p)$-forms whenever $M$ and $N$ are of different types except for the case where the universal covers of $M, N$ are biholomorphic to $\mathbb{C}^m, \mathbb{P}^n$, respectively and $2\le p=m<n$. We also obtain some results in more general settings, including the study on indefinite Kähler manifolds and relatives for Kähler manifolds.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Rigidity of proper holomorphic maps between type-$\mathrm{I}$ irreducible bounded symmetric domains
Authors:
Shan Tai Chan
Abstract:
We study proper holomorphic maps between type-$\mathrm{I}$ irreducible bounded symmetric domains. In particular, we obtain rigidity results for such maps under certain assumptions. More precisely, let $f:D^{\mathrm{I}}_{p,q}\to D^{\mathrm{I}}_{p',q'}$ be a proper holomorphic map, where $p\ge q\ge 2$ and $q'<\min\{2q-1,p\}$. Then, we show that $p'\ge p$ and $q'\ge q$. Moreover, we prove that there…
▽ More
We study proper holomorphic maps between type-$\mathrm{I}$ irreducible bounded symmetric domains. In particular, we obtain rigidity results for such maps under certain assumptions. More precisely, let $f:D^{\mathrm{I}}_{p,q}\to D^{\mathrm{I}}_{p',q'}$ be a proper holomorphic map, where $p\ge q\ge 2$ and $q'<\min\{2q-1,p\}$. Then, we show that $p'\ge p$ and $q'\ge q$. Moreover, we prove that there exist automorphisms $ψ$ and $Φ$ of $D^{\mathrm{I}}_{p,q}$ and $D^{\mathrm{I}}_{p',q'}$ respectively, such that $f=Φ\circ G_h\circ ψ$ for some map $G_h:D^{\mathrm{I}}_{p,q}\to D^{\mathrm{I}}_{p',q'}$ defined by \[ G_h(Z):= \begin{bmatrix} Z & {\bf 0}\\ {\bf 0} & h(Z) \end{bmatrix}\quad \forall\; Z\in D^{\mathrm{I}}_{p,q},\] where $h:D^{\mathrm{I}}_{p,q}\to D^{\mathrm{I}}_{p'-p,q'-q}$ is a holomorphic map.
△ Less
Submitted 20 November, 2020; v1 submitted 27 September, 2020;
originally announced September 2020.
-
On proper holomorphic maps between bounded symmetric domains
Authors:
Shan Tai Chan
Abstract:
We study proper holomorphic maps between bounded symmetric domains $D$ and $Ω$. In particular, when $D$ and $Ω$ are of the same rank $\ge 2$ such that all irreducible factors of $D$ are of rank $\ge 2$, we prove that any proper holomorphic map from $D$ to $Ω$ is a totally geodesic holomorphic isometric embedding with respect to certain canonical Kähler metrics of $D$ and $Ω$. We also obtain some r…
▽ More
We study proper holomorphic maps between bounded symmetric domains $D$ and $Ω$. In particular, when $D$ and $Ω$ are of the same rank $\ge 2$ such that all irreducible factors of $D$ are of rank $\ge 2$, we prove that any proper holomorphic map from $D$ to $Ω$ is a totally geodesic holomorphic isometric embedding with respect to certain canonical Kähler metrics of $D$ and $Ω$. We also obtain some results regarding holomorphic maps $F:D\to Ω$ which map minimal disks of $D$ properly into rank-$1$ characteristic symmetric subspaces of $Ω$. On the other hand, we obtain new rigidity results regarding semi-product proper holomorphic maps between $D$ and $Ω$ under a certain rank condition on $D$ and $Ω$.
△ Less
Submitted 17 July, 2019; v1 submitted 9 April, 2019;
originally announced April 2019.
-
Asymptotic total geodesy of local holomorphic curves exiting a bounded symmetric domain and applications to a uniformization problem for algebraic subsets
Authors:
Shan Tai Chan,
Ngaiming Mok
Abstract:
The current article stems from our study on the asymptotic behavior of holomorphic isometric embeddings of the Poincaré disk into bounded symmetric domains. As a first result we prove that any holomorphic curve exiting the boundary of a bounded symmetric domain $Ω$ must necessarily be asymptotically totally geodesic. Assuming otherwise we derive by the method of rescaling a hypothetical holomorphi…
▽ More
The current article stems from our study on the asymptotic behavior of holomorphic isometric embeddings of the Poincaré disk into bounded symmetric domains. As a first result we prove that any holomorphic curve exiting the boundary of a bounded symmetric domain $Ω$ must necessarily be asymptotically totally geodesic. Assuming otherwise we derive by the method of rescaling a hypothetical holomorphic isometric embedding of the Poincaré disk with ${\rm Aut}(Ω')$-equivalent tangent spaces into a tube domain $Ω' \subset Ω$ and derive a contradiction by means of the Poincaré-Lelong equation. We deduce that equivariant holomorphic embeddings between bounded symmetric domains must be totally geodesic. Furthermore, we solve a uniformization problem on algebraic subsets $Z \subset Ω$. More precisely, if $\check Γ\subset {\rm Aut}(Ω)$ is a torsion-free discrete subgroup leaving $Z$ invariant such that $Z/\check Γ$ is compact, we prove that $Z \subset Ω$ is totally geodesic. In particular, letting $Γ\subset{\rm Aut}(Ω)$ be a torsion-free cocompact lattice, and $π: Ω\to Ω/Γ=: X_Γ$ be the uniformization map, a subvariety $Y \subset X_Γ$ must be totally geodesic whenever some (and hence any) irreducible component $Z$ of $π^{-1}(Y)$ is an algebraic subset of $Ω$. For cocompact lattices this yields a characterization of totally geodesic subsets of $X_Γ$ by means of bi-algebraicity without recourse to the celebrated monodromy result of André-Deligne on subvarieties of Shimura varieties, and as such our proof applies to not necessarily arithmetic cocompact lattices.
△ Less
Submitted 3 December, 2020; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Remarks on holomorphic isometric embeddings between bounded symmetric domains
Authors:
Shan Tai Chan
Abstract:
In this article, we study holomorphic isometric embeddings between bounded symmetric domains. In particular, we show the total geodesy of any holomorphic isometric embedding between reducible bounded symmetric domains with the same rank.
In this article, we study holomorphic isometric embeddings between bounded symmetric domains. In particular, we show the total geodesy of any holomorphic isometric embedding between reducible bounded symmetric domains with the same rank.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
Holomorphic isometries between products of complex unit balls
Authors:
Shan Tai Chan,
Ming Xiao,
Yuan Yuan
Abstract:
We first give an exposition on holomorphic isometries from the Poincaré disk to polydisks and from the Poincaré disk to the product of the Poincaré disk with a complex unit ball. As an application, we provide an example of proper holomorphic map from the unit disk to the complex unit ball that is irrational, algebraic and holomorphic on a neighborhood of the closed unit disk. We also include some…
▽ More
We first give an exposition on holomorphic isometries from the Poincaré disk to polydisks and from the Poincaré disk to the product of the Poincaré disk with a complex unit ball. As an application, we provide an example of proper holomorphic map from the unit disk to the complex unit ball that is irrational, algebraic and holomorphic on a neighborhood of the closed unit disk. We also include some new results on holomorphic isometries.
△ Less
Submitted 23 June, 2017;
originally announced June 2017.
-
On the structure of holomorphic isometric embeddings of complex unit balls into bounded symmetric domains
Authors:
Shan Tai Chan
Abstract:
We study general properties of holomorphic isometric embeddings of complex unit balls $\mathbb B^n$ into bounded symmetric domains of rank $\ge 2$. In the first part, we study holomorphic isometries from $(\mathbb B^n,kg_{\mathbb B^n})$ to $(Ω,g_Ω)$ with non-minimal isometric constants $k$ for any irreducible bounded symmetric domain $Ω$ of rank $\ge 2$, where $g_D$ denotes the canonical Kähler-Ei…
▽ More
We study general properties of holomorphic isometric embeddings of complex unit balls $\mathbb B^n$ into bounded symmetric domains of rank $\ge 2$. In the first part, we study holomorphic isometries from $(\mathbb B^n,kg_{\mathbb B^n})$ to $(Ω,g_Ω)$ with non-minimal isometric constants $k$ for any irreducible bounded symmetric domain $Ω$ of rank $\ge 2$, where $g_D$ denotes the canonical Kähler-Einstein metric on any irreducible bounded symmetric domain $D$ normalized so that minimal disks of $D$ are of constant Gaussian curvature $-2$. In particular, results concerning the upper bound of the dimension of isometrically embedded $\mathbb B^n$ in $Ω$ and the structure of the images of such holomorphic isometries were obtained.
In the second part, we study holomorphic isometries from $(\mathbb B^n,g_{\mathbb B^n})$ to $(Ω,g_Ω)$ for any irreducible bounded symmetric domains $Ω\Subset \mathbb C^N$ of rank equal to $2$ with $2N>N'+1$, where $N'$ is an integer such that $ι:X_c\hookrightarrow \mathbb P^{N'}$ is the minimal embedding (i.e., the first canonical embedding) of the compact dual Hermitian symmetric space $X_c$ of $Ω$. We completely classify images of all holomorphic isometries from $(\mathbb B^n,g_{\mathbb B^n})$ to $(Ω,g_Ω)$ for $1\le n \le n_0(Ω)$, where $n_0(Ω):=2N-N'>1$. In particular, for $1\le n \le n_0(Ω)-1$ we prove that any holomorphic isometry from $(\mathbb B^n,g_{\mathbb B^n})$ to $(Ω,g_Ω)$ extends to some holomorphic isometry from $(\mathbb B^{n_0(Ω)},g_{\mathbb B^{n_0(Ω)}})$ to $(Ω,g_Ω)$.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Holomorphic isometries from the Poincaré disk into bounded symmetric domains of rank at least two
Authors:
Shan Tai Chan,
Yuan Yuan
Abstract:
We first study holomorphic isometries from the Poincaré disk into the product of the unit disk and the complex unit $n$-ball for $n\ge 2$. On the other hand, we observe that there exists a holomorphic isometry from the product of the unit disk and the complex unit $n$-ball into any irreducible bounded symmetric domain of rank $\ge 2$ which is not biholomorphic to any type-$\mathrm{IV}$ domain. In…
▽ More
We first study holomorphic isometries from the Poincaré disk into the product of the unit disk and the complex unit $n$-ball for $n\ge 2$. On the other hand, we observe that there exists a holomorphic isometry from the product of the unit disk and the complex unit $n$-ball into any irreducible bounded symmetric domain of rank $\ge 2$ which is not biholomorphic to any type-$\mathrm{IV}$ domain. In particular, our study provides many new examples of holomorphic isometries from the Poincaré disk into irreducible bounded symmetric domains of rank at least $2$ except for type-$\mathrm{IV}$ domains.
△ Less
Submitted 10 July, 2019; v1 submitted 19 January, 2017;
originally announced January 2017.
