Let $ \B^{n+1} \subset \C^{n+1}$ be the unit ball in a complex Euclidean space, and let $ Σ^n = \partial \B^{n+1} = S^{2n+1}$. Let $ f: Σ^n \hook Σ^{N}$ be a local CR immersion.If $ N-n<2n-1$, the asymptotic vectors of the second fundamental form of $ f$ at each point form a subspace of the holomorphic tangent space of $ Σ^n$ of codimension at most 1. We exploit the successive derivatives of this relation and show that a linearly full local CR immersion $ f: Σ^n \hook Σ^{N}$, $ N \leq 3n-2$, can only occur when $ N = n, 2n$, or $ 2n+1$. Together with the recent classification of the rational proper holomorphic maps from $ \B^{n+1}$ to $ \B^{2n+2}$ by Hamada, this gives a classification of the rational proper holomorphic maps from $ \B^{n+1}$ to $ \B^{3n-1}$ for $ n \geq 3$.
We study compact complex 3-manifolds admitting holomorphic Riemannian metrics. We prove a uniformization result: up to a finite unramified cover, such a manifold admits a holomorphic Riemannian metric of constant sectionnal curvature.
In this paper we establish two boundary versions of the Schwarz lemma. The first is for general holomorphic self maps of bounded convex domains with $C^2$ boundary. This appears to be the first boundary Schwarz lemma for general holomorphic self maps that requires no strong pseudoconvexity or finite type assumptions. The second is for biholomorphisms of domains who have an invariant Kähler metric with bounded sectional curvature. This second result applies to holomorphic homogeneous regular domains and appears to be the first boundary Schwarz lemma that makes no assumptions on the regularity o…
The Fock-Bargmann-Hartogs domain $D_{n,m}(μ)$ ($μ>0$) in $\mathbf{C}^{n+m}$ is defined by the inequality $\|w\|^2<e^{-μ\|z\|^2},$ where $(z,w)\in \mathbf{C}^n\times \mathbf{C}^m$, which is an unbounded non-hyperbolic domain in $\mathbf{C}^{n+m}$. Recently, Yamamori gave an explicit formula for the Bergman kernel of the Fock-Bargmann-Hartogs domains in terms of the polylogarithm functions and Kim-Ninh-Yamamori determined the automorphism group of the domain $D_{n,m}(μ)$. In this article, we obtain rigidity results on proper holomorphic mappings between two equidimensional Fock-Bargmann-Hartogs …
Hua domain, named after Chinese mathematician Loo-Keng Hua, is defined as a domain in $\mathbb{C}^{n}$ fibered over an irreducible bounded symmetric domain $Ω\subset \mathbb{C}^{d}\;(d<n)$ with the fiber over $z\in Ω$ being a $(n-d)$-dimensional generalized complex ellipsoid $Σ(z)$. In general, a Hua domain is a nonhomogeneous domain without smooth boundary. The purpose of this paper is twofold. Firstly, we obtain what seems to be the first rigidity results on proper holomorphic mappings between two equidimensional Hua domains. Secondly, we determine the explicit form of the biholomorphisms be…
Let $M^n$ be a complete noncompact K$\ddot{a}$hler manifold of complex dimension $n$ with nonnegative holomorphic bisectional curvature. Denote by $\mathcal{O}$$_d(M^n)$ the space of holomorphic functions of polynomial growth of degree at most $d$ on $M^n$. In this paper we prove that $$dim_{\mathbb{C}}{\mathcal{O}}_d(M^n)\leq dim_{\mathbb{C}}{\mathcal{O}}_{[d]}(\mathbb{C}^n),$$ for all $d>0$, with equality for some positive integer $d$ if and only if $M^n$ is holomorphically isometric to $\mathbb{C}^n$. We also obtain sharp improved dimension estimates when its volume growth is not maximal or…
In this article, we study local holomorphic isometric embeddings from ${\BB}^n$ into ${\BB}^{N_1}\times... \times{\BB}^{N_m}$ with respect to the normalized Bergman metrics up to conformal factors. Assume that each conformal factor is smooth Nash algebraic. Then each component of the map is a multi-valued holomorphic map between complex Euclidean spaces by the algebraic extension theorem derived along the lines of Mok and Mok-Ng. Applying holomorphic continuation and analyzing real analytic subvarieties carefully, we show that each component is either a constant map or a proper holomorphic map…
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'}$ d…
Let $M$ and $N$ be two compact complex manifolds. We show that if the tautological line bundle $\mathscr{O}_{T_M^*}(1)$ is not pseudo-effective and $\mathscr{O}_{T_N^*}(1)$ is nef, then there is no non-constant holomorphic map from $M$ to $N$. In particular, we prove that any holomorphic map from a compact complex manifold $M$ with RC-positive tangent bundle to a compact complex manifold $N$ with nef cotangent bundle must be a constant map. As an application, we obtain that there is no non-constant holomorphic map from a compact Hermitian manifold with positive holomorphic sectional curvature …
Chern Holomorphic Sectional Curvature: Canonical Ampleness, Rigidity, and Flatness Counterexamples
Chern Institute of Mathematics and LPMC, Nankai University（南开大学陈省身数学研究所和LPMC）；School of Mathematics and Statistics, Beijing Institute of Technology（北京理工大学数学与统计学院）
We investigate representations of Kähler groups $Γ= π_1(X)$ to a semisimple non-compact Hermitian Lie group $G$ that are deformable to a representation admitting an (anti)-holomorphic equivariant map. Such representations obey a Milnor--Wood inequality similar to those found by Burger--Iozzi and Koziarz--Maubon. Thanks to the study of the case of equality in Royden's version of the Ahlfors--Schwarz Lemma, we can completely describe the case of maximal holomorphic representations. If $\dim_{\C}X \geq 2$, these appear if and only if $X$ is a ball quotient, and essentially reduce to the diagonal …
In this paper, we introduce a new energy density function $\mathscr Y$ on the projective bundle $\mathbb{P}(T_M)\>M$ for a smooth map $f:(M,h)\>(N,g)$ between Riemannian manifolds $$\mathscr Y=g_{ij}f^i_αf^j_β\frac{W^αW^β}{\sum h_{γδ} W^γW^δ}.$$ We get new Hessian estimates to this energy density and obtain various new Liouville type theorems for holomorphic maps, harmonic maps and pluri-harmonic maps. For instance, we show that there is no non-constant holomorphic map from a compact \emph{Hermitian manifold} with positive (resp. non-negative) holomorphic sectional curvature to a \emph{Hermiti…
The space of Fredholm operators of fixed index is stratified by submanifolds according to the dimension of the kernel. Geometric considerations often lead to questions about the intersections of concrete families of elliptic operators with these submanifolds: are the intersections non-empty? are they smooth? what are their codimensions? The purpose of this article is to develop tools to address these questions in equivariant situations. An important motivation for this work are transversality questions for multiple covers of $J$-holomorphic maps. As an application, we use our framework to give…
Let $Q^N_l\subset \bC\bP^{N+1}$ denote the standard real, nondegenerate hyperquadric of signature $l$ and $M\subset \bC^{n+1}$ a real, Levi nondegenerate hypersurface of the same signature $l$. We shall assume that there is a holomorphic mapping $H_0\colon U\to \bC\bP^{N_0+1}$, where $U$ is some neighborhood of $M$ in $\bC^{n+1}$, such that $H_0(M)\subset Q^{N_0}_l$ but $H(U)\not\subset Q^{N_0}_l$. We show that if $N_0-n<l$ then, for any $N\geq N_0$, any holomorphic mapping $H\colon U\to \bC\bP^{N+1}$ with $H(M)\subset Q^{N}_l$ and $H(U)\not\subset Q^{N_0}_l$ must be the standard linear embedd…
This article is concerned with the question of whether an energy bound implies a genus bound for pseudo-holomorphic curves in almost complex manifolds. After reviewing what is known in dimensions other than 6, we establish a new result in this direction in dimension 6; in particular, for symplectic Calabi-Yau 6-manifolds. The proof relies on compactness and regularity theorems for J-holomorphic currents.
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 regardin…
We prove the holomorphic rigidity conjecture of Teichmüller space which loosely speaking states that the action of the mapping class group uniquely determines the Teichmüller space as a complex manifold. The method of proof is through harmonic maps. We prove that the singular set of a harmonic map from a smooth $n$-dimensional Riemannian domain to the Weil-Petersson completion $\overline{\mathcal T}$ of Teichmüller space has Hausdorff dimension at most $n-2$, and moreover, $u$ has certain decay near the singular set. Combining this with the earlier work of Schumacher, Siu and Jost-Yau, we prov…
Let $M$ be a pseudo-Hermitian homogeneous space of finite volume. We show that $M$ is compact and the identity component $G$ of the group of holomorphic isometries of $M$ is compact. If $M$ is simply connected, then even the full group of holomorphic isometries is compact. These results stem from a careful analysis of the Tits fibration of $M$, which is shown to have a torus as its fiber. The proof builds on foundational results on the automorphisms groups of compact almost pseudo-Hermitian homogeneous spaces. It is known that a compact homogeneous pseudo-Kähler manifold splits as a product of…
In this paper, we show that every harmonic map from a compact Kähler manifold with uniformly RC-positive curvature to a Riemannian manifold with non-positive complex sectional curvature is constant. In particular, there is no non-constant harmonic map from a compact Kähler manifold with positive holomorphic sectional curvature to a Riemannian manifold with non-positive complex sectional curvature.
We extend Siu's and Sampson's celebrated rigidity results to non-compact domains. More precisely, let $M$ be a smooth quasi-projective variety with universal cover $\tilde M$ and let $\tilde X$ be a symmetric space of non-compact type, a locally finite Euclidean building or the Weil-Petersson completion of the Teichmüller space of a surface of genus $g$ and $p$ punctures with $3g-3+p>0$. Under suitable assumptions on a homomorphism $ρ: π_1(M) \rightarrow \mathsf{Isom}(\tilde X)$, we show that there exists a $ρ$-equivariant pluriharmonic map $\tilde u: \tilde M \rightarrow \tilde X$ of possibly…
Let f:(Y,g)->(X,g_0) be a non zero degree continuous map between compact Kähler manifolds of dimension greater or equal to 2, where g_0 has constant negative holomorphic sectional curvature. Adapting the Besson-Courtois-Gallot barycentre map techniques to the Kähler setting, we prove a gap theorem in terms of the degree of f and the diastatic entropies of (Y, g) and (X,g_0), which extends the rigidity result proved by the author in [13].
In this paper, we establish the rigidity result for local holomorphic volume preserving maps from an irreducible Hermitian manifold of compact type into its Cartesian products.
We derive some integral inequalities for holomorphic maps between complex manifolds. As applications, some rigidity and degeneracy theorems for holomorphic maps without assuming any pointwise curvature signs for both the domain and target manifolds are proved, in which key roles are played by total integration of the function of the first eigenvalue of second Ricci curvature and an almost nonpositivity notion for holomorphic sectional curvature introduced in our previous work. We also apply these integral inequalities to discuss the infinite-time singularity type of the Kähler-Ricci flow. The …
In this paper we define strongly projectively flatness of holomorphic maps into the complex Grassmannian manifold, which is a kind of generalization of holomorphic maps into the complex projective space and prove a rigidity of equivariant strongly projectively flat maps of compact simply connected homogeneous Kähler manifolds.
A harmonic map from a Riemannian manifold into a Grassmannian manifold is characterized by a vector bundle, a space of sections of this bundle and a Laplace operator. We apply our main theorem, itself a generalization of a Theorem of Takahashi, to generalize the theory of do Carmo and Wallach and to describe the moduli space of harmonic maps satisfying the gauge and the Einstein-Hermitian conditions from a compact Rieannian manifold into a Grassmannian. As an application, several rigidity results are exihibited. In particular we generalize a rigidity theorem due to Calabi in the case of holomo…
Let $E\to M$ be a holomorphic vector bundle over a compact Kaehler manifold $(M, ω)$. We prove that if $E$ admits a $ω$-balanced metric (in X. Wang's terminology) then it is unique. This result together with a result of L. Biliotti and A. Ghigi implies the existence and uniqueness of $ω$-balanced metrics of certain direct sums of irreducible homogeneous vector bundles over rational homogeneous varieties. We finally apply our result to show the rigidity of $ω$-balanced Kaehler maps into Grassmannians.
We prove rigidity and vanishing theorems for several holomorphic Euler characteristics on complex contact manifolds admitting holomorphic circle actions preserving the contact structure. Such vanishings are reminiscent of those of LeBrun and Salamon on Fano contact manifolds but under a symmetry assumption instead of a curvature condition.
I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results have a number of applications: First, they prove that many subvarieties in Grassmannians and other Hermitian symmetric spaces cannot be smoothed (i.e., are not homologous to a smooth subvariety). Second, they provide characterizations of holomorphic bundles over compact Kahler mani…
A classical question in spectral geometry is, for each pair of nonnegative integers $(p,n)$ such that $p\leq 2n$, if the eigenvalues of Laplacian on $p$-forms of a compact Kähler manifold are the same as those of $\mathbb{C}P^n$ equipped with the Fubini-Study metric, then whether or not this Kähler manifold is holomorphically isometric to $\mathbb{C}P^n$. For every positive even number $p$, we affirmatively solve this problem in all dimensions $n$ with at most two possible exceptions. We also clarify in this paper some gaps in previous literature concerned with this question, among which one i…
Let $M$ be a complex $n$-dimensional projective manifold in $\mathbb{P}^{n+r}$ endowed with the Fubini-Study metric of constant holomorphic sectional curvature $1$, $σ$ its second fundamental form, and $\underline{|σ|}^2$ the mean value of the squared length of $σ$ on $M$. We derive a formula for $\underline{|σ|}^2$ and classify them when $\underline{|σ|}^2\leq2n$. We present several applications to these results. The first application is to confirm a conjecture of Loi and Zedda, which characterizes the linear subspace and the quadric in terms of the $L^2$-norm of $σ$. The second application i…
In this article, we survey recent developments in defining the quasi-local mass in general relativity. We discuss various approaches and the properties and applications of the different definitions. Among the expected properties, we focus on the rigidity property: for a surface in the Minkowski spacetime, one expects that the mass should vanish. We describe the Wang-Yau quasi-local mass whose definition is motivated by this rigidity property and by the Hamilton-Jacobi analysis of the Einstein-Hilbert action. In addition, we survey recent results on the minimizing property the Wang-Yau quasi-lo…
In this article, we prove a Liouville property of holomorphic maps from a complete Kahler manifold with nonnegative holomorphic bisectional curvature to a complete simply connected Kahler manifold with a certain assumption on the sectional curvature.
