Search arXiv⌕ Search

arXiv · 2610.24374

Split Normal Bundles and Rigidity of Holomorphic Immersions from Compact Ball Quotients

Abstract

Let $f$ be a holomorphic immersion from a compact complex hyperbolic space form into a higher-dimensional complex hyperbolic space form. We prove that if the normal bundle decomposes as a direct sum of holomorphic line bundles, then the immersion is totally geodesic. This result has no restriction on the codimension and extends, under the splitting hypothesis, the classical rigidity theorem of Cao--Mok. The proof uses the polarized complex variation of Hodge structure induced from the target. The line-bundle decomposition produces nef zero-Higgs line quotients, and a Chern-character identity forces the Gauss-defect form to have nontrivial nullity at every point. The null-foliation and boundary argument of Cao--Mok then shows that the defect vanishes identically. In particular, this answers a question posed by Mok almost twenty years ago about decomposable normal bundles for complex surfaces immersed in four-dimensional complex hyperbolic space forms.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rong Du. 2026-10-17. Split Normal Bundles and Rigidity of Holomorphic Immersions from Compact Ball Quotients. https://arxiv.org/abs/2610.24374

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Infinite rigidity of inversive distance circle packings in the Poincaré disk

The maximum principle for hyperbolic inversive distance circle packings on polyhedral surfaces is established,which unifies and generalizes existing maximum principles for various types of circle packings in the literature.As an application of this principle, a discrete Schwarz-Ahlfors lemma is established.Furthermore, an infinite rigidity theorem for weighted Delaunay triangulations of the Poincaré disk is proved,which generalizes He's hyperbolic rigidity result \cite{He2}.

math.DG↗

Finite-Gap Solutions of the Pohlmeyer--Lund--Regge Equation and the Associated Lund-Regge Surfaces

We develop a finite-gap construction for the Pohlmeyer-Lund-Regge (PLR) equation and the associated Lund-Regge surfaces. From the hyperelliptic spectral data we build a Baker-Akhiezer function and an SU(2)-frame, yielding an explicit theta-quotient formula for the PLR solution. We then derive criteria for s-periodicity and t-periodicity: under the stated theta-period assumptions, s-periodicity and t-periodicity are each equivalent to a critical-point condition for the corresponding normalized differential together with a phase condition at the reconstruction point. This provides a PLR analogue of the periodicity mechanism of Calini-Ivey.

math.DG↗

A problem for isolated singularities of surfaces

We study the extension of the conformal structure of a Riemann surface, obtained as a submanifold of $\mathbf R^n$, across an isolated singular point, under hypotheses that are metric rather than analytic. The main result (1989) is that an isolated singularity is $\textbf{conformally point-like}$ (conformal to a punctured disc) whenever it is $\textbf{$M$-regular}$: the pair (surface minus the point, the point) satisfies a Whitney condition, and the length of the spherical slice $S(0,r)\cap E$ decreases at most linearly in $r$, a condition described as ``metric decay''. This is proved via a modulus-of-rings (extremal-length) argument, generalizing the classical planar technique to submanifolds of $\mathbf R^n$. Two classes of examples are treated: surfaces of revolution generated by a single curve, and subanalytic surfaces, for which $M$-regularity is verified directly from Hironaka's structure theory, giving as a corollary that every isolated singularity of an orientable subanalytic surface is conformally point-like. A further original result is a $C^\infty$ counterexample showing that a strict Whitney condition alone does $\textbf{not}$ imply the linear length bound: the two hypotheses in the definition of $M$-regularity are independent.

math.DG↗