<p>Let <i>n</i> and <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\kappa _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>κ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> be positive integers such that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n&gt;\kappa _0^2+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <msubsup> <mi>κ</mi> <mn>0</mn> <mn>2</mn> </msubsup> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and let <i>F</i> be a rational proper holomorphic map from the complex unit ball <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {B}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">B</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {B}^N \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">B</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((\kappa _0 + 1)n + 1 \le N \le (\kappa _0 + 2)n - \kappa _0^2 - 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>κ</mi> <mn>0</mn> </msub> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo>≤</mo> <mi>N</mi> <mo>≤</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>κ</mi> <mn>0</mn> </msub> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> <mo>-</mo> <msubsup> <mi>κ</mi> <mn>0</mn> <mn>2</mn> </msubsup> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. If the geometric rank of <i>F</i> is <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\kappa _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>κ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>, we prove that <i>F</i> is equivalent to a map of the form <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((G, 0, \cdots , 0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mn>0</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>G</i> is a proper holomorphic map from <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {B}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">B</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {B}^{(\kappa _0 + 1)n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">B</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>κ</mi> <mn>0</mn> </msub> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>n</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. Moreover, <i>F</i> is uniquely determined by its 3-jets. A consequence is that every rational proper holomorphic map from <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {B}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">B</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {B}^{4n - 6}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">B</mi> </mrow> <mrow> <mn>4</mn> <mi>n</mi> <mo>-</mo> <mn>6</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> is determined by its 3-jets.</p>

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

Proper holomorphic maps between balls with maximal geometric rank

  • Wanke Yin,
  • Pingsan Yuan

摘要

Let n and \(\kappa _0\) κ 0 be positive integers such that \(n>\kappa _0^2+2\) n > κ 0 2 + 2 , and let F be a rational proper holomorphic map from the complex unit ball \(\mathbb {B}^n\) B n into \(\mathbb {B}^N \) B N with \((\kappa _0 + 1)n + 1 \le N \le (\kappa _0 + 2)n - \kappa _0^2 - 2\) ( κ 0 + 1 ) n + 1 N ( κ 0 + 2 ) n - κ 0 2 - 2 . If the geometric rank of F is \(\kappa _0\) κ 0 , we prove that F is equivalent to a map of the form \((G, 0, \cdots , 0)\) ( G , 0 , , 0 ) , where G is a proper holomorphic map from \(\mathbb {B}^n\) B n into \(\mathbb {B}^{(\kappa _0 + 1)n}\) B ( κ 0 + 1 ) n . Moreover, F is uniquely determined by its 3-jets. A consequence is that every rational proper holomorphic map from \(\mathbb {B}^n\) B n into \(\mathbb {B}^{4n - 6}\) B 4 n - 6 is determined by its 3-jets.