Asymptotic total geodesy of local holomorphic curves exiting a bounded symmetric domain and applications to a uniformization problem for algebraic subsets

Abstract

<p>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 <em>rescaling</em> a hypothetical holomorphic isometric embedding of the Poincaré disk with Aut(Ω′)Aut⁡(Ω′)-equivalent tangent spaces into a tube domain Ω′⊂ΩΩ′⊂Ω 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⊂Ω�⊂Ω. More precisely, if ˇΓ⊂Aut(Ω)Γˇ⊂Aut⁡(Ω) is a torsion-free discrete subgroup leaving Z� invariant such that Z/ˇΓ�/Γˇ is compact, we prove that Z⊂Ω�⊂Ω is totally geodesic. In particular, letting Γ⊂Aut(Ω)Γ⊂Aut⁡(Ω) be a torsion-free cocompact lattice, and π:Ω→Ω/Γ=:XΓ�:Ω→Ω/Γ=:�Γ be the uniformization map, a subvariety Y⊂XΓ�⊂�Γ must be totally geodesic whenever some (and hence any) irreducible component Z� of π−(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 <em>not necessarily arithmetic</em> cocompact lattices. In place of the monodromy result of André–Deligne we exploit the existence theorem of Aubin and Yau on Kähler–Einstein metrics for projective manifolds Y� satisfying c1(Y)<0�1(�)<0 and make use of Nadel’s semisimplicity theorem on automorphism groups of noncompact Galois covers of such manifolds, together with the total geodesy of equivariant holomorphic isometric embeddings between bounded symmetric domains.<br></p>