<p>Let <i>D</i> be a Hodge domain of dimension <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> canonically identified as an open subset of its compact dual rational homogeneous manifold <i>Z</i> presented as <i>G</i>/<i>Q</i> in standard notation and assumed throughout the article to be of Picard number 1. We show that there is a horizontal proper holomorphic isometric embedding of a complex unit ball <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb B^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">B</mi> <mi>m</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(m \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, into <i>D</i> coming from a cone of minimal rational curves. Except when <i>D</i> itself is a complex unit ball, such an isometry is not totally geodesic. In the long-root cases, i.e., the cases where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(Z = G/Q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Z</mi> <mo>=</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>Q</mi> </mrow> </math></EquationSource> </InlineEquation> corresponds to the marking of the Dynkin diagram of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak g =\mathrm{Lie\,}G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">g</mi> <mo>=</mo> <mrow> <mi mathvariant="normal">Lie</mi> <mspace width="0.166667em" /> </mrow> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> at a long simple root, the image of the holomorphic isometry is the nonempty intersection with <i>D</i> of the full cone <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal V_a\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">V</mi> <mi>a</mi> </msub> </math></EquationSource> </InlineEquation> of minimal rational curves emanating from some boundary point <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(a \in \partial D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mi>∂</mi> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation>, and we have <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(m = p+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mi>p</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, where <i>p</i> is the dimension of the VMRT (variety of minimal rational tangents) <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathscr {C}_x(Z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">C</mi> <mi>x</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> at any point <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(x \in Z\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>Z</mi> </mrow> </math></EquationSource> </InlineEquation>. In the short-root cases, the image of the holomorphic isometry is the nonempty intersection with <i>D</i> of the cone of all minimal rational curves emanating from some boundary point <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(a \in \partial D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mi>∂</mi> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation> and tangent to the minimal invariant holomorphic distribution of <i>Z</i>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Holomorphic Isometries of the Complex Unit Ball into Hodge Domains Arising from Minimal Rational Curves

  • Ngaiming Mok,
  • Kwok-Kin Wong

摘要

Let D be a Hodge domain of dimension \(\ge 2\) 2 canonically identified as an open subset of its compact dual rational homogeneous manifold Z presented as G/Q in standard notation and assumed throughout the article to be of Picard number 1. We show that there is a horizontal proper holomorphic isometric embedding of a complex unit ball \(\mathbb B^m\) B m , \(m \ge 2\) m 2 , into D coming from a cone of minimal rational curves. Except when D itself is a complex unit ball, such an isometry is not totally geodesic. In the long-root cases, i.e., the cases where \(Z = G/Q\) Z = G / Q corresponds to the marking of the Dynkin diagram of \(\mathfrak g =\mathrm{Lie\,}G\) g = Lie G at a long simple root, the image of the holomorphic isometry is the nonempty intersection with D of the full cone \(\mathcal V_a\) V a of minimal rational curves emanating from some boundary point \(a \in \partial D\) a D , and we have \(m = p+1\) m = p + 1 , where p is the dimension of the VMRT (variety of minimal rational tangents) \(\mathscr {C}_x(Z)\) C x ( Z ) at any point \(x \in Z\) x Z . In the short-root cases, the image of the holomorphic isometry is the nonempty intersection with D of the cone of all minimal rational curves emanating from some boundary point \(a \in \partial D\) a D and tangent to the minimal invariant holomorphic distribution of Z.