2025-11-17T13:52:12.627119

Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds

Tiba

Let $M$ be a complex manifold and $L$ be a line bundle over $M$ with a Hermitian metric $h$ whose Chern form is a KÃ¤hler form $Ï$. Let $X \subset M$ be a Lagrangian submanifold of $(M, Ï)$. When $X$ satisfies the Bohr-Sommerfeld condition, we give an asymptotic estimate of the norm $|f|_{h^k}$ on $X$ for $f \in H^0(M, L^k)$.

academic

Bohr-Sommerfeld Lagrangian部分多様体上の正則切断の漸近評価

基本情報

論文ID: 2109.01492
タイトル: Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds
著者: Yusaku Tiba（お茶の水女子大学数学科）
分類: math.DG（微分幾何学）、math.CV（複素解析）
発表時期: 2021年9月（arXiv プレプリント、2025年10月改訂）
論文リンク: https://arxiv.org/abs/2109.01492

要約

$M$ を複素多様体、 $L$ を $M$ 上の直線束とし、Hermite計量 $h$ を備えるものとする。ここで、 $L$ のChern形式はKähler形式 $\omega$ である。 $X \subset M$ を $(M,\omega)$ のコンパクトLagrangian部分多様体とする。 $X$ がBohr-Sommerfeld条件を満たす場合、本論文は $f \in H^0(M,L^k)$ の $X$ 上のノルム $|f|_{h^k}$ に対する漸近評価を与える。

研究背景と動機

問題の背景

幾何学的量子化理論: Kähler多様体 $(M,\omega)$ に全正則前量子化直線束 $L$ を備える場合、 $L$ のChern形式は $\omega$ に等しい。空間 $H^0_{(2)}(M,L^k)$ （ $L^k$ の二乗可積分正則切断）は量子相空間と見なされ、Planck定数は $h = 1/k$ である。
Bergman核関数: $k \to \infty$ のとき、Bergman核関数 $B_k(x) = |K_k(x,x)|_{h^k}$ の漸近挙動は深く研究されており、特に射影的な場合には漸近級数展開公式があり、主要項は $B_k(x) \sim k^n$ である。
Lagrangian部分多様体の量子化: Bohr-Sommerfeld Lagrangian部分多様体は辛幾何学と幾何学的量子化において重要な役割を果たし、古典力学における不変トーラスに対応する。

研究の動機

Bergman核評価の一般化: Bergman核関数の漸近評価をBohr-Sommerfeld Lagrangian部分多様体上の正則切断に一般化する。
幾何学と解析の連結: Lagrangian部分多様体の幾何学的性質とその上の正則切断の解析的性質の間の関連性を確立する。
有理凸性の定量化: 定理3における有理凸性定理の定量版を研究する。この定理は全実部分多様体の有理凸性とHodge形式の存在性の等価性を特徴付ける。

核心的貢献

新しい漸近上界の確立: Bohr-Sommerfeld条件を満たす任意のコンパクトLagrangian部分多様体に対して、その上の正則切断の漸近上界評価を与えた。
漸近下界の最適性の証明: 3つの重要な場合（射影多様体、Ricci条件を満たすStein多様体、 $\mathbb{C}^n$ 内の擬凸領域）において、上界評価が最適であることを証明した。
適用範囲の拡張: $M$ が射影的またはSteinであることを仮定せず、既存結果の適用範囲を拡張した。
新しい技術的方法の提供: Demailly のJensen-Lelong公式と複素Monge-Ampère方程式の解を組み合わせ、新しい解析技術を開発した。

方法の詳細説明

核心定理

定理1（漸近上界）: $X \subset M$ を $(M,\omega)$ のコンパクトLagrangian部分多様体とし、 $(X,\nabla^X)$ がBohr-Sommerfeld条件を満たすと仮定する。このとき、 $\limsup_{k \to +\infty} \left( \frac{\text{Vol}(X,\omega)}{(2k)^{n/2}} \sup_{f \in H^0_{(2)}(M,L^k), f \neq 0} \frac{\inf_{x \in X} |f(x)|^2_{h^k}}{\|f\|^2_{h^k}} \right) \leq 1$

定理2（漸近下界）: 定理1の条件下で、 $M$ が以下の条件のいずれかを満たす場合：

(i) $M$ は射影多様体
(ii) $M$ はStein多様体かつ $\text{Ric}(\omega) \geq -C\omega$
(iii) $M$ は $\mathbb{C}^n$ 内の擬凸領域

有限点集合 $A \subset M \setminus X$ に対して、 $\sup_{f \in H^0_{(2),A}(M,L^k), f \neq 0} \frac{\inf_{x \in X} |f(x)|^2_{h^k}}{\|f\|^2_{h^k}} \sim \frac{(2k)^{n/2}}{\text{Vol}(X,\omega)}$

Bohr-Sommerfeld条件の特徴付け

命題1: 以下の条件は等価である：

(a) $(X,\nabla^X)$ はBohr-Sommerfeld条件を満たす
(b) 非ゼロ滑らかな切断 $s \in C^\infty(U,L)$ が存在して $\nabla s = 0$ が $X$ 上で成立する
(c) 切断 $s$ が存在して $\log|s|^2_h = 0$ が $X$ 上で2階で消失し、 $\nabla''s = 0$ が $X$ 上で任意階で消失する
(d) 正則切断 $s_0$ が存在して、任意の $\gamma \in H_1(X,\mathbb{Z})$ に対して $\int_\gamma d^c \log|s_0|^2_h \in 4\pi\mathbb{Z}$ が成立する

技術的方法

実解析化への縮約: Whitney定理を利用して問題を実解析的な場合に縮約し、 $X$ と微分同相な実解析的全実部分多様体 $Y$ を含む複素多様体 $N$ を構成する。
Monge-Ampère方程式: Guillemin-Stenzelの結果を利用して、厳密に多重劣調和な関数 $\rho$ を構成し、 $(dd^c\sqrt{\rho})^n = 0$ が $Y$ の外部で成立するようにする。
Demailly のJensen-Lelong公式: この公式を適用して、正則切断が異なるレベル集合上の積分関係を確立する。
Hörmander の $L^2$ 評価: $\overline{\partial}$ 方程式の $L^2$ 評価を使用して誤差項を制御する。

実験設定

本論文は純粋な理論研究であり、数値実験は含まれない。主に数学的証明を通じて理論結果の正確性を検証する。

証明戦略

上界の証明:
- 適切な重み関数と切断関数を構成する
- Jensen-Lelong公式を適用して積分不等式を確立する
- Monge-Ampère方程式の解を利用して体積漸近を制御する
下界の証明:
- 特殊な正則切断の列を構成する
- Hörmander の $L^2$ 評価を使用して $\overline{\partial}$ 方程式を処理する
- 消融分析を通じて構成の有効性を検証する

実験結果

主要結果の検証

論文は厳密な数学的証明を通じて2つの主要定理を検証した：

漸近上界の普遍性: 定理1は $M$ の射影性またはStein性を仮定しない一般的な場合に成立し、既存の結果より一般的である。
下界の最適性: 定理2は3つの重要な幾何学的条件下で上界評価がsharpであることを証明した。すなわち、同じ漸近次数に達する切断の列が存在する。
体積公式の精密性: 係数 $\frac{\text{Vol}(X,\omega)}{(2k)^{n/2}}$ の出現は、古典的なBergman核評価 $B_k(x) \sim k^n$ と双対関係を形成する。