In 1993, Tsai proved that a proper holomorphic mapping f: Ω → Ω′ from an irreducible bounded symmetric domain Ω of rank ? 2 into a bounded symmetric domain Ω′ is necessarily totally geodesic provided that r′:=...In 1993, Tsai proved that a proper holomorphic mapping f: Ω → Ω′ from an irreducible bounded symmetric domain Ω of rank ? 2 into a bounded symmetric domain Ω′ is necessarily totally geodesic provided that r′:= rank(Ωg’) ? rank(Ω):= r, proving a conjecture of the author’s motivated by Hermitian metric rigidity. As a first step in the proof, Tsai showed that df preserves almost everywhere the set of tangent vectors of rank 1. Identifying bounded symmetric domains as open subsets of their compact duals by means of the Borel embedding, this means that the germ of f at a general point preserves the varieties of minimal rational tangents (VMRTs).In another completely different direction Hwang-Mok established with very few exceptions the Cartan-Fubini extension priniciple for germs of local biholomorphisms between Fano manifolds of Picard number 1, showing that the germ of map extends to a global biholomorphism provided that it preserves VMRTs. We propose to isolate the problem of characterization of special holomorphic embeddings between Fano manifolds of Picard number 1, especially in the case of classical manifolds such as rational homogeneous spaces of Picard number 1, by a non-equidimensional analogue of the Cartan-Fubini extension principle. As an illustration we show along this line that standard embeddings between complex Grassmann manifolds of rank ? 2 can be characterized by the VMRT-preserving property and a non-degeneracy condition, giving a new proof of a result of Neretin’s which on the one hand paves the way for far-reaching generalizations to the context of rational homogeneous spaces and more generally Fano manifolds of Picard number 1, on the other hand should be applicable to the study of proper holomorphic mappings between bounded domains carrying some form of geometric structures.展开更多
The paper is devoted to the study of rational proper holomorphic maps from the unit ball B^n to the unit ball B^N. We classify these maps with both the geometric rank and the degeneracy rank less than or equal to two.
The author,motivated by his results on Hermitian metric rigidity,conjectured in [4] that a proper holomorphic mapping f:Ω→Ω′from an irreducible bounded symmetric domainΩof rank≥2 into a bounded symmetric domai...The author,motivated by his results on Hermitian metric rigidity,conjectured in [4] that a proper holomorphic mapping f:Ω→Ω′from an irreducible bounded symmetric domainΩof rank≥2 into a bounded symmetric domainΩ′is necessarily totally geodesic provided that r′:=rank(Ω′)≤rank(Ω):=r.The Conjecture was resolved in the affirmative by I.-H.Tsai [8].When the hypothesis r′≤r is removed,the structure of proper holomorphic maps f:Ω→Ω′is far from being understood,and the complexity in studying such maps depends very much on the difference r′-r,which is called the rank defect.The only known nontrivial non-equidimensional structure theorems on proper holomorphic maps are due to Z.-H.Tu [10],in which a rigidity theorem was proven for certain pairs of classical domains of type I,which implies nonexistence theorems for other pairs of such domains.For both results the rank defect is equal to 1,and a generaliza- tion of the rigidity result to cases of higher rank defects along the line of arguments of [10] has so far been inaccessible. In this article, the author produces nonexistence results for infinite series of pairs of (Ω→Ω′) of irreducible bounded symmetric domains of type I in which the rank defect is an arbitrarily prescribed positive integer. Such nonexistence results are obtained by exploiting the geometry of characteristic symmetric subspaces as introduced by N. Mok and L-H Tsai [6] and more generally invariantly geodesic subspaces as formalized in [8]. Our nonexistence results motivate the formulation of questions on proper holomorphic maps in the non-equirank case.展开更多
基金This research is partially supported by a Competitive Earmarked Research Grant of the Research Grants Council of Hong Kong,China
文摘In 1993, Tsai proved that a proper holomorphic mapping f: Ω → Ω′ from an irreducible bounded symmetric domain Ω of rank ? 2 into a bounded symmetric domain Ω′ is necessarily totally geodesic provided that r′:= rank(Ωg’) ? rank(Ω):= r, proving a conjecture of the author’s motivated by Hermitian metric rigidity. As a first step in the proof, Tsai showed that df preserves almost everywhere the set of tangent vectors of rank 1. Identifying bounded symmetric domains as open subsets of their compact duals by means of the Borel embedding, this means that the germ of f at a general point preserves the varieties of minimal rational tangents (VMRTs).In another completely different direction Hwang-Mok established with very few exceptions the Cartan-Fubini extension priniciple for germs of local biholomorphisms between Fano manifolds of Picard number 1, showing that the germ of map extends to a global biholomorphism provided that it preserves VMRTs. We propose to isolate the problem of characterization of special holomorphic embeddings between Fano manifolds of Picard number 1, especially in the case of classical manifolds such as rational homogeneous spaces of Picard number 1, by a non-equidimensional analogue of the Cartan-Fubini extension principle. As an illustration we show along this line that standard embeddings between complex Grassmann manifolds of rank ? 2 can be characterized by the VMRT-preserving property and a non-degeneracy condition, giving a new proof of a result of Neretin’s which on the one hand paves the way for far-reaching generalizations to the context of rational homogeneous spaces and more generally Fano manifolds of Picard number 1, on the other hand should be applicable to the study of proper holomorphic mappings between bounded domains carrying some form of geometric structures.
基金supported by National Natural Science Foundation of China(Grant Nos.11301215,11571260 and 11722110)
文摘The paper is devoted to the study of rational proper holomorphic maps from the unit ball B^n to the unit ball B^N. We classify these maps with both the geometric rank and the degeneracy rank less than or equal to two.
基金The first author's work was supported in part by the National Natural Science Foundation of China (Grant No.10571135)the Doctoral Program Foundation of the Ministry of Education of China (Grant No. 20050240711)
文摘It is proved that every proper holomorphic self-map of a smooth bounded Reinhardt domain in C^2 is an automorphism.
基金a CERG of the Research Grants Council of Hong Kong,China.
文摘The author,motivated by his results on Hermitian metric rigidity,conjectured in [4] that a proper holomorphic mapping f:Ω→Ω′from an irreducible bounded symmetric domainΩof rank≥2 into a bounded symmetric domainΩ′is necessarily totally geodesic provided that r′:=rank(Ω′)≤rank(Ω):=r.The Conjecture was resolved in the affirmative by I.-H.Tsai [8].When the hypothesis r′≤r is removed,the structure of proper holomorphic maps f:Ω→Ω′is far from being understood,and the complexity in studying such maps depends very much on the difference r′-r,which is called the rank defect.The only known nontrivial non-equidimensional structure theorems on proper holomorphic maps are due to Z.-H.Tu [10],in which a rigidity theorem was proven for certain pairs of classical domains of type I,which implies nonexistence theorems for other pairs of such domains.For both results the rank defect is equal to 1,and a generaliza- tion of the rigidity result to cases of higher rank defects along the line of arguments of [10] has so far been inaccessible. In this article, the author produces nonexistence results for infinite series of pairs of (Ω→Ω′) of irreducible bounded symmetric domains of type I in which the rank defect is an arbitrarily prescribed positive integer. Such nonexistence results are obtained by exploiting the geometry of characteristic symmetric subspaces as introduced by N. Mok and L-H Tsai [6] and more generally invariantly geodesic subspaces as formalized in [8]. Our nonexistence results motivate the formulation of questions on proper holomorphic maps in the non-equirank case.