[论文解读] The spectral density function of a toric variety

D. Burns, Victor Guillemin+1 more|ArXiv.org|Jun 20, 2007

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

一句话总结

本文通过在 Delzant 多面体上应用 Euler-Maclaurin 公式，推导出在 toric 簇上全纯截面的谱密度测度的精确渐近展开。结果表明，与环面权相对应的特征截面的 $L^2$-范数收敛到在矩量多面体上的类似狄拉克测度，且具有显式的 $1/N^j$ 修正项，并证明了特征基构成 Bohr-Sommerfeld 基，且在此设定下渐近结果为精确形式。

ABSTRACT

For a Kahler manifold (X, ω) with a holomorphic line bundle L and metric h such that the Chern form of L is ω, the spectral measures are the measures μ_N = \sum |s_{N,i}|^2 ν, where \{s_{N,i}\}_i is an L^2-orthonormal basis for H^0(X, L^{\otimes N}), and νis Liouville measure. We study the asymptotics in N of μ_N for (X, L) a Hamiltonian toric manifold, and give a precise expansion in terms of powers 1/N^j and data on the moment polytope Δof the Hamiltonian torus K acting on X. In addition, for an infinitesimal character k of K and the unique unit eigensection s_{Nk} for the character Nk of the torus action on H^0(X, L^N), we give a similar expansion for the measures μ_{Nk} = |s_{Nk}|^2 ν. A final remark shows that the eigenbasis \{s_{k}, k \in Δ\cap \mathbb{Z}^{\dim K} \} is a Bohr-Sommerfeld basis in the sense of Tyurin. Some of the present results are related to work of Shiffman, Tate and Zelditch. The present paper uses no microlocal analysis, but rather an Euler-Maclaurin formula for Delzant polytopes.

研究动机与目标

• 理解当 $N \to \infty$ 时，在 toric Kähler 流形上谱测度 $\mu_N = \sum |s_{N,i}|^2 \nu$ 的渐近行为。
• 在矩量多面体 $\Delta$ 的数据基础上，为这些测度建立关于 $1/N^j$ 的幂级数展开。
• 分析与环面权 $k$ 相关的单个特征截面 $s_{Nk}$ 的渐近性质，重点关注 $\mu_{Nk} = |s_{Nk}|^2 \nu$。
• 证明特征基 $\{s_k\}_{k \in \Delta \cap \mathbb{Z}^n}$ 构成 Bohr-Sommerfeld 基，且在此情形下渐近结果为精确形式。

提出的方法

• 使用 Delzant 多面体上的 Euler-Maclaurin 公式，分析全纯截面 $L^2$-范数的 Riemann 和。
• 将 $H^0(X, L^{igotimes N})$ 分解为由 $N\Delta$ 中格点索引的权空间，并配备标准正交基 $\{s_{N,i}\}$。
• 在预量子圆丛 $P$ 中，构造 $K$-轨道 $\phi^{-1}(k)$ 的水平提升 $Y_k \subset P$。
• 应用李导数与联络结构，证明 $s_k^\flat$ 在 $Y_k$ 上为常数，且投影 $\Pi_1(\delta_{Y_k})$ 是 $s_k$ 的非零常数倍。
• 利用 Szegö 核的微局部结构，以及 $[\mathcal{L}_{\xi_A^\sharp}, \Pi] = 0$ 的事实，将谱测度与几何数据关联。
• 建立谱测度 $\mu_{Nk}$ 与 $Y_k$ 上狄拉克函数之间的对应关系，从而导出精确的渐近展开。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，tropic 簇上谱测度 $\mu_N = \sum |s_{N,i}|^2 \nu$ 的渐近行为如何？
• RQ2 谱测度 $\mu_N$ 的渐近性质能否以矩量多面体 $\Delta$ 为参数，表示为关于 $1/N^j$ 的幂级数？
• RQ3 当权重 $k$ 沿 $\mathfrak{k}^*$ 中某条射线趋于无穷时，单个特征截面 $s_{Nk}$ 的渐近行为如何？
• RQ4 特征基 $\{s_k\}_{k \in \Delta \cap \mathbb{Z}^n}$ 是否在 [9] 的意义下构成 Bohr-Sommerfeld 基？
• RQ5 文献 [1] 的渐近结果在 toric 情形下在多大程度上是精确的？

主要发现

• 谱测度 $\mu_N$ 允许关于 $N$ 的负幂次的完整渐近展开，其系数由矩量多面体 $\Delta$ 的几何结构决定。
• 对每个权 $k \in \Delta \cap \mathbb{Z}^n$，测度 $\mu_{Nk} = |s_{Nk}|^2 \nu$ 收敛到在 $K$-轨道 $\phi^{-1}(k)$ 上支撑的狄拉克测度，且具有显式的 $1/N^j$ 修正项。
• 特征基 $\{s_k\}_{k \in \Delta \cap \mathbb{Z}^n}$ 是 Bohr-Sommerfeld 基，意味着这些截面在预量子丛中的 Lagrangian 环面附近集中。
• 由于 Delzant 多面体上 Euler-Maclaurin 公式的精确性，文献 [1] 的渐近结果在 toric 情形下为精确形式。
• 投影 $\Pi_1(\delta_{Y_k})$ 在全纯子空间上是截面 $s_k$ 的非零常数倍，建立了几何对应关系。
• 范数平方 $|s_k|^2$ 在 $\phi^{-1}(k)$ 上达到最大值，且在水平提升 $Y_k$ 上为常数，确认了其在轨道上的集中性。