Bergman-Hartogs型域的全纯自同构群.pdf

潘利双等：Bergman—Hartogs型域的全纯 自同构群 设 D 是 c 中的有界对称域，KD(Z，z)是 D 上的Bergman核函数．定义 Cm--[n中Bergman- Hartogs型域为 Q={(叫(1)，．．．，叫()，)∈C ×···×c ×D：l1wo)ll。 +-·-+ll叫()1l KD(Z，)一)， (1．1) 其 中，m=m1+…+m ，r≥l为正整数，参数p1，… ，P 1和q0为实数．若记W=(叫f1)，… ，wOO) 叫(J)=(Wjl… ．，wjm，)，J=1… ．，r，z=(Zl… ．， )，则 2【中的点为 (W，)=(wo)，叫(2)，．．．，训(r)，z)=(Wll，．．．，Wlm1，W21．．．，W2m2… ，Wr1，．．．，Wrm，1，… ，Zn)． 注 对于上述Bergman—Hartogs型域 2【，在 r≥1为正整数，P1，… ，P 1，q0为实数的条件 下，容易证明Q不全纯等价于单位球． 下面我们给出几个变换群．在第 2节，我们将证明它们为 (1．1)式所示的Bergman—Hartogs型域 Q的全纯 自同构子群． 设 G1={F：F(_f』J，)=(叫(1)det ()音，．．．，()det (z) ，7-(2))，7-∈Aut(D) ， (叫，z)∈Q)， (1．2) 其中det 是D上全纯 自同构变换 r(z)的Jacobi行列式． 设 G。=F：Fc叫，z=c叫，z(芝)，c叫，∈Q)， (1．3) 其 中 ． ) Um … 分别是 m1… ．，m 阶酉方阵， 是 礼阶单位方阵． 设 Ei，，是第 i行第J列元素为 1其他元素都是 0的m 阶方阵，1≤ ，J≤m，则m 阶初等矩阵 j为 ， j= Im —E i— EjJ4-Eij七 Eji． 即 J是 由m 阶单位方阵的第 i列和第 J列互换得到的初等矩阵． ， 如果Q中点的变量wo)… ．，()中有两组变量 伽(J)和 训(k)的维数和幂次相 同，即mj=m ， Pj= pk，1≤J ≤r，那么定义一个初等变换矩阵 Q，，z p +1，卢+1P+2，卢+2·．．P+l，卢+z， 其中 =m1+…~mj一1， =ml+…+nik 一 1，l=mJ．即QJ，，2是将单位方阵 的第 a+l… ．，ct+m』 列与 +1… ．，+mk列依次对应交换位置，也就是变量 砌(1)… ．，叫(J)… ．，Ⅲ() W()在 ，，2的 ， … ， 作用下交换 (J)和 叫()的位置． 记 由满足条件mJ=m ，Pj=Pk，l≤J ≤r的QJ f按照矩阵的乘法运算生成的循环群为 S， ， ， 即 S=(Qj，，1：m =m ，Pj=Pk，1≤J ≤r) 32 中国科学：数学 第 45卷 第 1期 设 Gs= F：Fc伽，z=c鲫， (罟)，Q∈s，叫，∈Q)． c4． 现在我们给出本文的主要结论： 定理 1 设 Q是C + 中如 (1．1)所示的Bergman—Hartogs型域．当r=1，则 2【的最大全纯 自 同构群为GIG2G3，即Aut(ft)=G1G2G3，其中，G1，G2和 G3分别为 (1．2)，(1．3)和 (1．4)所给出的变 换群． 定理 2 设Q是 C + 中如 (1．1)所示的Bergman—