Let l be a line in a projective space Pn.We consider the blowing up P^(n)(l)of Pnalong l.Assume that X is a smooth closed subvariety of P^(n).If the strict transform of X in P^(n)(l)has a splitting tangent sequence an...Let l be a line in a projective space Pn.We consider the blowing up P^(n)(l)of Pnalong l.Assume that X is a smooth closed subvariety of P^(n).If the strict transform of X in P^(n)(l)has a splitting tangent sequence and dim X is at least 2,then X is a linear subspace of P^(n).展开更多
We study compact complex submanifolds S of quotient manifolds X =Ω/F of irreducible bounded symmetric domains by torsion free discrete lattices of automorphisms, and we are interested in the characterization of the t...We study compact complex submanifolds S of quotient manifolds X =Ω/F of irreducible bounded symmetric domains by torsion free discrete lattices of automorphisms, and we are interested in the characterization of the totally geodesic submanifolds among compact splitting complex submanifolds S C X, i.e., under the assumption that the tangent sequence over S splits holomorphically. We prove results of two types. The first type of results concerns S C X which are characteristic complex submanifolds, i.e., embedding Ω as an open subset of its compact dual manifold M by means of the Borel embedding, the non-zero （1, 0）-vectors tangent to S lift under a local inverse of the universal covering map π → X to minimal rational tangents of M. We prove that a compact characteristic complex submanifold S C X is necessarily totally geodesic whenever S is a splitting complex submanifold. Our proof generalizes the case of the characterization of totally geodesic complex submanifolds of quotients of the complex unit ball B^n obtained by Mok （2005）. The proof given here is however new and it is based on a monotonic property of curvatures of Hermitian holomorphic vector subbundles of Hermitian holomorphic vector bundles and on exploiting the splitting of the tangent sequence to identify the holomorphic tangent bundle Ts as a quotient bundle rather than as a subbundle of the restriction of the holomorphic tangent bundle Tx to S. The second type of results concerns characterization of total geodesic submanifolds among compact splitting complex submanifolds S C X deduced from the results of Aubin （1978） and Yau （1978） which imply the existence of Kahler-Einstein metrics on S C X. We prove that compact s- plitting complex submanifolds S C X of sufticiently large dimension （depending on ） are necessarily totally geodesic. The proof relies on the Hermitian-Einstein property of holomorphic vector bundles associated to TS, which implies that endomorphisms of such bundles are parallel, and the construction of endomorphisms of these vector bundles by means of the splitting of the tangent sequence on S. We conclude with conjectures on the sharp lower bound on dim（S） guaranteeing total geodesy of S C X for the case of the type-I domains of rank 2 and the case of type-IV domains, and examine a case which is critical for both conjectures, i.e., on compact complex surfaces of quotients of the 4-dimensional Lie ball, equivalently the 4-dimensional type-I domain dual to the Crassmannian of 2-planes in C4 Keywords bounded symmetric domains, tangent sequence, splitting complex submanifolds, varieties of minimal rational tangents, Kahler-Einstein metrics展开更多
基金Supported by National Natural Science Foundation of China(Grant No.12001547)Guangdong Basic and Applied Basic Research Foundation(Grant No.2019A1515110907)。
文摘Let l be a line in a projective space Pn.We consider the blowing up P^(n)(l)of Pnalong l.Assume that X is a smooth closed subvariety of P^(n).If the strict transform of X in P^(n)(l)has a splitting tangent sequence and dim X is at least 2,then X is a linear subspace of P^(n).
基金supported by the Research Grants Council of Hong Kong of China(Grant No.17303814)National Natural Science Foundation of China(Grant No.11501205)Science and Technology Commission of Shanghai Municipality(Grant No.13dz2260400)
文摘We study compact complex submanifolds S of quotient manifolds X =Ω/F of irreducible bounded symmetric domains by torsion free discrete lattices of automorphisms, and we are interested in the characterization of the totally geodesic submanifolds among compact splitting complex submanifolds S C X, i.e., under the assumption that the tangent sequence over S splits holomorphically. We prove results of two types. The first type of results concerns S C X which are characteristic complex submanifolds, i.e., embedding Ω as an open subset of its compact dual manifold M by means of the Borel embedding, the non-zero （1, 0）-vectors tangent to S lift under a local inverse of the universal covering map π → X to minimal rational tangents of M. We prove that a compact characteristic complex submanifold S C X is necessarily totally geodesic whenever S is a splitting complex submanifold. Our proof generalizes the case of the characterization of totally geodesic complex submanifolds of quotients of the complex unit ball B^n obtained by Mok （2005）. The proof given here is however new and it is based on a monotonic property of curvatures of Hermitian holomorphic vector subbundles of Hermitian holomorphic vector bundles and on exploiting the splitting of the tangent sequence to identify the holomorphic tangent bundle Ts as a quotient bundle rather than as a subbundle of the restriction of the holomorphic tangent bundle Tx to S. The second type of results concerns characterization of total geodesic submanifolds among compact splitting complex submanifolds S C X deduced from the results of Aubin （1978） and Yau （1978） which imply the existence of Kahler-Einstein metrics on S C X. We prove that compact s- plitting complex submanifolds S C X of sufticiently large dimension （depending on ） are necessarily totally geodesic. The proof relies on the Hermitian-Einstein property of holomorphic vector bundles associated to TS, which implies that endomorphisms of such bundles are parallel, and the construction of endomorphisms of these vector bundles by means of the splitting of the tangent sequence on S. We conclude with conjectures on the sharp lower bound on dim（S） guaranteeing total geodesy of S C X for the case of the type-I domains of rank 2 and the case of type-IV domains, and examine a case which is critical for both conjectures, i.e., on compact complex surfaces of quotients of the 4-dimensional Lie ball, equivalently the 4-dimensional type-I domain dual to the Crassmannian of 2-planes in C4 Keywords bounded symmetric domains, tangent sequence, splitting complex submanifolds, varieties of minimal rational tangents, Kahler-Einstein metrics
