[論文レビュー] Bergman representative coordinates on the Siegel-Jacobi disk

Stefan Berceanu|arXiv (Cornell University)|Sep 1, 2014

Geometry and complex manifolds参考文献 50被引用数 6

ひとこと要約

本稿は、部分的に有界な同調的ケーラー多様体であるシーゲル＝ヤコビ円板 𝒟₁^J において、グローバルに定義されたベルグマン代表座標を構成する。𝒟₁^J がベルグマン核が恒等的に消えない「ル・チーケン多様体」であることを確立し、代表座標が至る所で定義可能であることを示し、𝒟₁^J の代表多様体が自身であることを証明することで、ベレジン量子化枠組みにおける幾何的自己一貫性を確認する。

ABSTRACT

We underline some differences between the geometric aspect of Berezin's approach to quantization on homogeneous Kähler manifolds and Bergman's construction for bounded domains in $\mathbb{C}^n$. We construct explicitly the Bergman representative coordinates for the Siegel-Jacobi disk $\mathcal{D}^J_1$, which is a partially bounded manifold whose points belong to $\mathbb{C} imes\mathcal{D}_1$, where $\mathcal{D}_1$ denotes the Siegel disk. The Bergman representative coordinates on $\mathcal{D}^J_1$ are globally defined, the Siegel-Jacobi disk is a normal Kähler homogeneous Lu Qi-Keng manifold, whose representative manifold is the Siegel-Jacobi disk itself.

研究の動機と目的

• 有界領域にとどまらない、部分的に有界な同調的ケーラー多様体（例：シーゲル＝ヤコビ円板）に対し、ベルグマン代表座標を拡張すること。
• ケーラー多様体上の量子化において、ベレジンのバランスの取れた計量とベルグマンの計量の違いを明確にすること。
• シーゲル＝ヤコビ円板 𝒟₁^J がル・チーケン多様体であることを確立し、ベルグマン核がどこでも消えないことを保証すること。
• 𝒟₁^J の代表多様体が自身と等長であることを示し、幾何的自己一貫性を確認すること。

提案手法

• 正則埋め込みとカーネル関数を用いて、シーゲル＝ヤコビ円板 𝒟₁^J 上でのベルグマン代表座標の明示的構成。
• 対称フォック空間と正則 n-形式を用いて、ベルグマン計量および擬計量を定義する。
• 非コンパクト多様体上でのベルグマン計量が適切なケーラー計量であることを確認するため、小林の条件 (A1–A3) を適用する。
• 𝒟₁^J 上の平方可積分な正則 n-形式のヒルベルト空間を特定し、ベルグマンカーネルおよび関連計量を定義する。
• すべての z, w ∈ 𝒟₁^J に対してカーネル関数 K_M(z, w̄) ≠ 0 であることを証明し、ル・チーケン性を確認する。
• 正則 n-形式とのペアリングを用いた埋め込み ι: 𝒟₁^J → ℂℙ^∞ を用いて、計量構造を実現する。

実験結果

リサーチクエスチョン

• RQ1 ベルグマン代表座標は、非有界ではあるが部分的に有界なケーラー多様体たるシーゲル＝ヤコビ円板において、グローバルに定義可能か？
• RQ2 シーゲル＝ヤコビ円板は、ベルグマン核がどこでも消えないというル・チーケン条件を満たすか？
• RQ3 シーゲル＝ヤコビ円板の代表多様体は、ベルグマン計量のもとで自身と等長か？
• RQ4 同調的ケーラー多様体（例：𝒟₁^J）において、ベレジンのバランスの取れた計量とベルグマンの計量はどのように異なるか？
• RQ5 小林の埋め込み条件は、非コンパクトで対称なケーラー多様体（例：𝒟₁^J）に対しても満たされるか？

主な発見

• ベルグマン代表座標は、シーゲル＝ヤコビ円板 𝒟₁^J 上でグローバルに定義可能であり、ベルグマン核が消えないためル・チーケン多様体であるからである。
• シーゲル＝ヤコビ円板は、正則ケーラー同調的多様体であり、すべての z, w ∈ 𝒟₁^J に対して K_M(z, w̄) ≠ 0 を満たす。
• 𝒟₁^J の代表多様体は、自身と一致しており、ベルグマン計量のもとで自己代表的幾何的構造を示している。
• 𝒟₁^J 上のラプラス＝ベルトラミ作用素が明示的に計算され、先行研究の結果と一致する。
• 正則 n-形式を用いた、𝒟₁^J から無限次元射影ヒルベルト空間への埋め込みは等長的かつ正則的であり、小林の条件 A1–A3 を満たす。
• 𝒟₁^J 上のベルグマン計量は正定値であり、正則変換に関して不変であるため、ケーラー構造が確認される。