涉及导曲线与分担超平面的正规定则

2022-11-24范楚君刘晓俊

上海理工大学学报 2022年5期

关键词：超平面子集曲面

范楚君，刘晓俊

（上海理工大学理学院上海 200093）

1 问题的提出

正规族理论的核心问题是关于正规定则的研究，其发展主要分为两大板块：一是亚纯函数正规族的研究，这方面的主要方法有Zalcman 引理以及涉及导数的Pang-Zalcman 引理；二是关于一般复流形间全纯映射族的正规定则。

则当t=3,4,5时， F在D上正规。

定理6 是对定理4 和定理5 结果的进一步推广。

事实上，对于N=3而言，当t=3，即超平面处于一般位置时，只须要求 2t+2=8个超平面即可。

2 定义与符号

先介绍 PN(C)相关的定义与符号[5]。

PN(C)=CN+1{0}/～是N维复射影空间。对任意x=(x0,x1,···,xN),y=(y0,y1,···,yN)，x,y∈CN+1{0},x～y当且仅当存在某个 λ ∈C，使得(x0,x1,···,xN)=λ(y0,y1,···,yN)。 (x0,x1,···,xN) 的等价类记作[x]=[x0:x1:···:xN]，则

PN(C)上可引入一个自然的度量，即对于点[ω]和 [ω′]之间的距离，采用 CN+1中 2 个圆 γ 和 γ′之间的欧几里得距离来表示，其中， γ 和 γ′分别代表在球面S2N+1上的这2 个点（这里取 |ω|=|ω′|=1）。简单计算可得

再假设 ω′=ω+dω ，并舍去关于 |dω|的二阶以上的小量，得到相应的度量形式：

定义1 设U⊂D是开集，若f0,f1,···,fN在U内全纯且没有公共零点，则称f˜ =(f0,f1,···,fN)是f的一个既约表示。

对全纯曲线f的任何一个既约表示f˜，定义全纯函数

再取

定义2 设f=[f0:f1:···:fN]:D→PN(C)是一个全纯曲线，z∈D，再设f˜是f在z处的任何一个既约表示，记

其中， αℓ=(aℓ0,aℓ1,···,aℓN)T为非零法向量，ℓ=1,2,···,q。

按照文献[6]中关于t次一般位置的定义，有定义4。

定义4 设N,t,q均为正整数，且t≥N,q≥2t-N+1。称超平面H1,H2,···,Hq⊆PN(C)处于t次一般位置，当且仅当对任意集合P⊆{1,2,···,q}， #P=t+1，存在单射µ :{0,1,···,N}→P，使得Hµ(0),···,Hµ(N)处于一般位置。#P表示集合P中元素的个数是t+1 个。

而对于超曲面的情形，有定义5。

定义5[7]设M⊆PN(C)是一个非空闭子集，t是一个正整数，Q1,Q2,···,Qq是 PN(C)中q(≥t+1)个超曲面，称它们关于M处于t次一般位置，如果对任意 {i0,i1,···,it}⊆{1,2,···,q}，有

3 主要引理

1991 年，Aladro 等[8]将Zalcman 引理进行推广，得出结论：由双曲区域映射到一般的Hermite流形上的全纯映射族仍满足Zalcman 引理。这为正规族理论的发展开创了新的方向。

引理1 设 F是一族从 Cm中的双曲区域 Ω映到PN(C)的全纯映射。 F 在 Ω上不正规当且仅当存在子列 {fn}⊂F ，点列 {zn}⊂Ω 满足zn→z0∈Ω，正数列 { ρn}满足 ρn→0+，使得

在 Cm上内闭一致收敛于从 Cm映射到 PN(C)的非常值全纯映射g(ξ)。

在主要定理的证明过程中，还需要如下的引理2。

引理2(Hurwitz 引理)[2]设 {fn(z)}是定义在区域D⊂C内的一列全纯函数，a∈C是任意一个复数，且设fn(z)在D的任意一个紧子集上一致收敛于非常值的全纯函数f(z)。若存在点z0∈D，使得f(z0)=a，则对于每一个充分大的n，方程fn(z)=a在D内有根。此外，存在z0的某邻域U，使得f(z)-a在U内根的总数与fn(z)-a在U内根的总数相同（计重数）。

1999 年，Eremenko 证明了一个Picard 型定理，即引理3。

引理3[9]设f:C →X是一条全纯曲线，其中X是 PN(C)中的一个闭子集。再设Q1,Q2,···,Q2t+1是PN(C)中的超曲面，关于X处于t次一般位置。若f不取Qi，即〈f,Qi〉≠0, 1 ≤i≤2t+1，则f必为常映射。

为了便于辅助主要定理的证明，将引理3 推导为引理4。

引理4[7]设f:C →PN(C)是一条全纯曲线，H1,H2,···,Hq均是 PN(C)中处于t次一般位置的超平面，其中，q≥2t+1,t≥N，若对每个i∈{1,2,···,q}，f不取Hi，或者f(C)⊆Hi，则f必为常映射。

引理5[3]设g=[g0:g1:···:gN]:C →PN(C)是一条有穷级的全纯曲线，且g0(ζ)≢0，N≥2是一个整数。Hℓ={x∈PN(C):〈x,αℓ〉=0}是 PN(C)中处于一般位置的超平面，且其第一系数aℓ0均不为零，ℓ=1,2,···,N+1.g˜(ζ)=(g0,g1,···,gN)(ζ)是g的任意既约表示，令