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

Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds

基本信息

论文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$ 上的线丛，具有Hermitian度量 $h$ ，其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子流形的几何性质与其上全纯截面分析性质之间的联系。
量化有理凸性：研究Theorem 3中有理凸性定理的定量版本，该定理刻画了全实子流形的有理凸性与Hodge形式存在性的等价性。

核心贡献

建立了新的渐近上界：对任意满足Bohr-Sommerfeld条件的紧致Lagrangian子流形，给出了全纯截面在其上的渐近上界估计。
证明了渐近下界的最优性：在三种重要情形（射影流形、满足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$ 上二阶消失且 $\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定理将问题约简到实解析情形，构造复流形 $N$ 包含与 $X$ 微分同胚的实解析全实子流形 $Y$ 。
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}$ 方程
- 通过消融分析验证构造的有效性

实验结果

主要结果验证

论文通过严格的数学证明验证了两个主要定理：

渐近上界的普遍性：定理1在不假设 $M$ 射影性或Stein性的一般情形下成立，这比现有结果更一般。
下界的最优性：定理2证明了在三种重要几何条件下，上界估计是sharp的，即存在截面序列使得下界达到相同的渐近阶。
体积公式的精确性：系数 $\frac{\text{Vol}(X,\omega)}{(2k)^{n/2}}$ 的出现与经典的Bergman核估计 $B_k(x) \sim k^n$ 形成对偶关系。