[论文解读] Two Problems on Cartan Domains

Weiping Yin|ArXiv.org|Mar 9, 2006

Holomorphic and Operator Theory被引用 13

一句话总结

本文推导了例外 Cartan 域 $Σ_V(16)$ 和 $Σ_{VI}(27)$ 上的 Bergman 核、Cauchy-Szegő 核、Poisson 核以及 Bergman 度量的显式公式，并在有界齐次域上构造了一类不变微分算子 $L_j$。关键结果表明，当且仅当域为对称时，$L_j(P_j) = 0$，从而通过 Poisson 核的 $j$-次根上这些算子的消失，给出了对称域的刻画。

ABSTRACT

Firstly, we consider the unitary geometry of two exceptional Cartan domains $\Re_{V}(16)$ and $\Re_{VI}(27)$. We obtain the explicit formulas of Bergman kernal funtion, Cauchy-Szegö kernel, Poinsson kernel and Bergman metric for $\Re_{V}(16)$ and $\Re_{VI}(27)$. Secondly, we give a class of invariant differential operators for Cartan domain $\Re$ of dimension n: If the Bergman metric of $\Re$ is $$ds^{2}=\sum\limits_{i,j=1}^{n}g_{ij}dz_{i}d\bar{z}_{j}, T(z,\bar{z})=(g_{ij})$$ and $$L(u)=T^{-1}(z,\bar{z}) [\frac{\partial^2u}{\partial z_i\partial\bar{z}_j}],$$then $$L_j(u)=\{\mbox {The sum of all prinipal minors of degree} j {for} L(u)\}$$ is invariant under the biholomorphic mapping of $\Re$. Let $D$ be the irreducible bounded homogeneous domain in $C^n$, $P=P(z,*)$ the Poisson kernel of $D$, then for any fixed $J(1\leq j \leq n)$ one has $L_j(P^{1/j})=0$ iff $D$ is a symmetric domain.

研究动机与目标

• 推导例外 Cartan 域 $Σ_V(16)$ 和 $Σ_{VI}(27)$ 上基本积分核——Bergman 核、Cauchy-Szegő 核、Poisson 核与 Bergman 度量的显式表达式。
• 基于逆 Bergman 度量张量的主子式，构造一类不变微分算子 $L_j(u)$，并证明其在全纯自同构下的不变性。
• 确定有界齐次域为对称域的充要条件，即利用 $L_j(P_j)$ 的消失性，其中 $P_j = P^{1/j}$，$P$ 为 Poisson 核。

提出的方法

• 利用矩阵实现与酉结构，推导 $Σ_V(16)$ 与 $Σ_{VI}(27)$ 上 Bergman 核与度量的显式公式。
• 定义微分算子 $L(u) = T^{-1}(z,\overline{z})[\partial^2 u / \partial z_i \partial \overline{z}_j]$，其中 $T = (g_{ij})$ 为 Bergman 度量张量，并将之推广为 $L_j(u)$，即 $L(u)$ 的所有 $j \times j$ 主子式之和。
• 通过分析全纯映射下的变换规律，证明 $L_j(u)$ 在域 $\Re$ 的全纯自同构下保持不变。
• 通过线性归一化使 $T|_{Z=0} = \lambda I$ 且 $\left(\partial^2 \log P / \partial z' \partial \overline{z}\right)|_{Z=0} = -\mu I$，将问题约化为涉及 $\alpha = \partial \log P / \partial z|_{Z=0}$ 的矩阵谱分析。
• 分析矩阵 $I - (b/j)\alpha'\overline{\alpha}$ 的特征多项式，以确定所有 $j$-阶主子式之和消失的条件。
• 建立 $L_j(P_j) = 0$ 当且仅当 $L_1(P) = 0$，并利用文献 [1] 中的已知结果，得出域 $D$ 为对称域当且仅当 $L_j(P_j) = 0$。

实验结果

研究问题

• RQ1 在例外 Cartan 域 $\Re_V(16)$ 与 $\Re_{VI}(27)$ 上，Bergman 核、Cauchy-Szegő 核、Poisson 核与 Bergman 度量的显式公式是什么？
• RQ2 定义为矩阵 $T^{-1}(z,\overline{z})[\partial^2 u / \partial z_i \partial \overline{z}_j]$ 的所有 $j \times j$ 主子式之和的算子 $L_j(u)$，是否在有界齐次域的全纯自同构下保持不变？
• RQ3 在不可约有界齐次域中，$L_j(P_j)$ 的消失性（其中 $P_j = P^{1/j}$，$P$ 为 Poisson 核）是否能刻画对称域？

主要发现

• 基于其矩阵结构与 Clifford 代数结构，推导出例外 Cartan 域 $\Re_V(16)$ 与 $\Re_{VI}(27)$ 上 Bergman 核、Cauchy-Szegő 核、Poisson 核与 Bergman 度量的显式闭式表达式。
• 定义为矩阵 $T^{-1}(z,\overline{z})[\partial^2 u / \partial z_i \partial \overline{z}_j]$ 的所有 $j \times j$ 主子式之和的算子 $L_j(u)$，在域 $\Re$ 的全纯映射下保持不变，推广了对称域上微分算子已知的不变性性质。
• 对任意固定的 $j$ 满足 $1 \leq j \leq n$，条件 $L_j(P_j) = 0$ 成立当且仅当域 $D$ 为对称域，其中 $P_j = P^{1/j}$，$P$ 为 Poisson 核。
• $L_1(P) = 0$ 的消失性——等价于在 Bergman 度量下，Laplace-Beltrami 算子对 Poisson 核的消去——刻画了对称域，从而在该算子类的背景下确认了文献 [1] 中的已知结果。
• 在原点处，算子 $L_j(P_j)$ 中的矩阵 $G(P_j)$ 简化为 $(-\lambda\mu/j)I + (1/j^2)\alpha'\overline{\alpha}$，且所有 $j$-阶主子式之和的消失性取决于矩阵 $I - (b/j)\alpha'\overline{\alpha}$ 的谱性质，其中 $b = (\lambda\mu)^{-1}$。
• 矩阵 $I - (b/j)\alpha'\overline{\alpha}$ 的所有 $j$-阶主子式之和消失当且仅当 $n - ab = 0$，其中 $a = \alpha'\overline{\alpha}$，$b = (\lambda\mu)^{-1}$，从而导出等价关系 $L_j(P_j) = 0 \iff L_1(P) = 0$。