1. 引言
众所周知,根据全纯截面曲率的符号,我们可将复空间分为三类,分别是复欧式空间
、复射影空间
和复双曲空间
。而研究Kähler流形是否可以全纯等距嵌入到以上三种复空间形式是复几何中非常重要的课题。而对于这方面进行较为系统的研究的是Calabi。在文献 [1] 中,Calabi利用距离函数,详细地给出了Kähler流形全纯等距嵌入到以上三种空间形式的判定准则。在这之后,有很多的数学家致力于研究各类复流形的全纯等距嵌入问题。例如,在2007年,Scala-Loi [2] 研究了Hermitian对称空间到复空间形式的Kähler映射。相关的其他研究可参考程-Scala-袁 [3],Mossa [4] 以及Zedda [5]。
而Umehara [6] 从不同的角度对非平凡Kähler子流形进行了思考。在文献 [7] 中,他证明了两个具有不同曲率的复空间形式不存在具有共同诱导度量的Kähler子流形。受此启发,在2010年,Scala-Loi [8] 给出两个Kähler流形相关性的概念:
定义1.1 我们称两个Kähler流形是Kähler相关的,如果它们之间存在共同的Kähler子流形。否则,就称为是Kähler不相关的。
此外,他们还证明了一个赋予Bergman度量的有界域和一个具有Fubini-Study度量的射影Kähler流形是不相关的。所以我们自然会想这样的问题:赋予Bergman度量的有界域和复欧式空间
是否会存在共同的子流形。
最近,黄–袁 [9] 运用纳什代数函数证明了复欧式空间和一个非紧致的Hermitian对称空间之间不存在共同的Kähler子流形。在这之后,程–牛 [10] 利用黄–袁的技巧,考虑了一类非齐次域上的Kähler流形的相关性问题,并且证明了复欧式空间和一个赋予Bergman度量的Cartan-Hartogs区域是不相关的。在2017年,Zedda [5] 利用等距嵌入的方法给出了一个Kähler流形与任意射影Kähler流形都强不相关的充分条件。在2018年,苏–唐–涂 [11] 利用对称双圆盘的Bergman核函数具体形式,发现复欧式空间和具有典范度量的对称多圆盘也不存在共同的Kähler子流形。而从他们的文章当中我们发现,当区域的Bergman核函数满足一定特性时,我们是可以建立复欧式空间和该区域的相关性。
因此在本篇文章中,我们主要考虑
当中的一类凸的有界域
,其具体的定义如下:
这里
。
是半径为
的球,在该区域上,我们可以赋予一个自然范数
.
很显然,在该范数下
可视为半径为
的球。事实上,这个范数
是由Hahn-PHug [12] 引入的,并且证明了
是
中的如下意义下最小范数:
对于
中任意范数N,如果它满足:
,
,那么有
。
此外,他们还证明了最小球
既不双全纯等价于单位球
,也不双全纯等价于多圆盘
。
最小球
这个区域得到了很多学者的关注,并且取得了很漂亮的结果。例如,Oeljeklaus-Pflug-Youssfi [13] 发现:最小球
是
中的第一个既不是Reinhardt域、也不是齐次域的有界域。此外,
的自同构群是紧致的,并且自同构群中含恒等映射的连通分支可表示为:
从上面的形式可知:当
时,最小球
不双全纯等价于任何的Reinhardt域。而且当
时,最小球
线性双全纯等价于Reinhardt三角形
。另外,在1998年,Pflug-Youssfi [14] 发现可以用球
来构造对陆启铿猜想的反例,这使得对最小球
的研究更有意义。此后,Youssfi [15] 计算出了最小球
的加权Bergman核函数。以往关于最小球
的研究多是从分析的角度进行的,而几何角度的研究较少,故本文希望通过几何的观点出发对最小球
几何性质进行研究和探索。
具体来说,本文主要研究了最小球
和复欧式空间是否相关或是否存在共同的 子流形,并得到如下结论:
定理1.2 设
是连通开子集。假设
,
是全纯映射,并且使得
(1)
在D上成立,这里,
是
的欧式度量,则
必须是常映射。
由于Bergman核函数是全纯纳什代数函数,用同样的方法我们可以得到:
推论1.3 不存在一个Kähler流形
能够同时全纯等距的嵌入到复欧式空间
和最小球
。也就是说,欧式空间和最小球
是Kähler不相关的。
通过类似方法,我们也可以得到如下结果:
定理1.4 不存在一个Kähler流形
能够同时全纯等距的嵌入到复射影空间
和最小球
。也就是说,复射影空间和最小球
之间是Kähler不相关的。
2. 预备知识
2.1. 全纯纳什代数函数
为了证明主定理,我们先简单介绍一下纳什代数函数的基本概念及其性质。
定义2.5 我们称
中的全纯函数
是全纯纳什代数函数,如果存在
上的并且系数是关于
的多项式的非零全纯多项式
,使得在
上有
成立。
因此,我们可以假定
是一个不可约多项式:
这里
是
的全纯多项式,并且无公因式。若
,则
就被称为
的湮灭函数。
2.2. 最小球B*的Bergman核函数
为了证明我们的定理,我们给出以下几个引理:
引理2.6 最小球
的Bergman核函数有如下形式:
这里
,
,并且
表示
的Lebesgue体积。
特别地,当
时,
的Bergman核函数有如下形式:
.
引理2.7 设
是
中的连通开集,
。假设
和
是
上的全纯纳什代数函数,使得
对任意实数
成立,则
是
中的常数。
证明 该定理的证明请参照 [9]。
3. 主定理的证明
本文运用反证法来完成主定理的证明。
假设
不是常映射,不失一般性,设
是单连通的,并且
,
。由(1)式得:
(2)
由(2)可得:
是关于
的调和函数,所以存在
上的全纯函数
,使得
(3)
由
可知:
。将(3)式中的一个
变为
得:
(4)
上式中,令
,则有
(5)
根据引理2.3知,域
上的Bergman核函数为:
(6)
这里
。
令
,
这里
。
则从(4)式可以看出:
,
都是
的多项式,并且都是关于
全纯,关于
反全纯的。
注意到
可以被写为
的全纯有理函数。因为
是
上的实解析函数,并且有
。故假设存在两个包含原点的邻域
,使得:
我们引入符号
,定义如下:
(7)
对于固定原点附近的
,对(4)式关于
求导再令
,则有
(8)
令
,化简(8)式可得
(9)
注意到:上式右边是关于
的全纯有理函数。同理,对于任意的正整数
以及零点附近的
,我们有:
(10)
这里
是关于
的全纯有理函数。
定义
是
中的向量空间。
前面我们假设
不是常映射,所以
不是零空间。设
中的一组基为
。
因为
在
中是反全纯的,并且
,对零点附近的
,运用Taylor展开式,我们有
这里
是由(6)式所定义的。对于零点附近的小邻域
,我们有
。
另一方面,取向量空间
的一组基
,则有:
结合(7)式,可以得到一个非退化的线性方程组:
(11)
由Gramer法则可知:
中的分量
都可被
线性表出,即可将
写为如下形式:
这里
是
的全纯有理函数。从而,
是
的全纯纳什代数函数。
下面,我们分两种情形讨论。
设
是
上的有理函数域。考虑域扩张:
,也就是
上的亚纯函数的最小子域,其中包含有理函数和
。定义
,表示域扩张
的超越次数。最后,我们通过分析超越次数来完成定理证明。
首先:如果
,即
都是
的全纯纳什代数函数。结合上面的讨论,我们会得到:
仍是
的全纯纳什代数函数。
由引理2.4及
我们可知:
是常映射。
其次:如果
,即
不全是
的全纯纳什代数函数。
不失一般性,设存在
是
子域的最大的代数子集,则
因此,
中的元素都是
的全纯纳什代数函数。也就是说,对
,存在包含零点的小邻域
,在
的邻域
上能找到全纯纳什代数函数
使得
这里,
。
由上面的分析可知:存在
上的纳什代数函数
使得
定义
。由(4)及(5),我们可定义
上的一个函数:
显然,在V上,有
。现在我们要证明
在
上成立。这里利用苏–唐–涂 [11] 的方法是可以得到的,但为了叙述完整,我们还是写出详细证明。
定义
。我们只需证
在
上成立。
如果
不成立,则必存在
的一个小邻域
,使得
。
对于固定的
,
是
的全纯多项式。假设它的湮灭函数如下:
这里,在
中,
,
是
的全纯纳什代数函数。容易看出,在V上有
进而有,在V上,
。从而可得:
。
于是我们可得到如下结论:
是
上的代数。这与之前的假设是矛盾的。
故对所有的
,有
。
从而,对
,我们考虑如下等式:
这里,
。
特别地,对于固定的
,上述等式的右边在
上不恒等于0。
如若不然,假设
,令
,我们有:
。
从上式可以看出:
是常映射。这与假设矛盾。
接下来,我们考虑如下等式:
注意到,对固定的
,
是X上的非常数全纯纳什代数函数,并且等式右
边仍然是X的全纯纳什代数函数,这与引理2.7是矛盾的。因此,F必须是常数。
这就完成了定理的证明。