[论文解读] $G$-invariant Szegö kernel asymptotics and CR reduction

Chin-Yu Hsiao, Rung-Tzung Huang|arXiv (Cornell University)|Feb 16, 2017

Geometry and complex manifolds参考文献 18被引用 4

一句话总结

本文证明了在具有横截 $S^1$ 作用的紧致 CR 流形上，$G$-不变的 Szegö 核是一个复傅里叶积分算子，其在 CR 时刻映射 $\mu$ 的零水平集 $\mu^{-1}(0)$ 之外光滑，并推导出当 $m \to \infty$ 时其 $m$-th 傅里叶分量的渐近展开。关键结果表明，当 $m$ 足够大时，量子化与约化可交换，即 $X$ 上 $G$-不变调和形式的维数等于约化空间 $Y_G$ 的维数，从而证实了几何量子化猜想的等变版本。

ABSTRACT

Let $(X, T^{1,0}X)$ be a compact connected orientable CR manifold of dimension $2n+1$ with non-degenerate Levi curvature. Assume that $X$ admits a connected compact Lie group action $G$. Under certain natural assumptions about the group action $G$, we show that the $G$-invariant Szegö kernel for $(0,q)$ forms is a complex Fourier integral operator, smoothing away $μ^{-1}(0)$ and there is a precise description of the singularity near $μ^{-1}(0)$, where $μ$ denotes the CR moment map. We apply our result to the case when $X$ admits a transversal CR $S^1$ action and deduce an asymptotic expansion for the $m$-th Fourier component of the $G$-invariant Szegö kernel for $(0,q)$ forms as $m o+\infty$. As an application, we show that if $m$ large enough, quantization commutes with reduction.

研究动机与目标

• 建立具有连通紧致李群作用的紧致 CR 流形上 $G$-不变 Szegö 核的微局部结构。
• 分析 $G$-不变 Szegö 核在 CR 时刻映射 $\mu$ 的零水平集 $\mu^{-1}(0)$ 附近的奇异性。
• 在横截 $S^1$ 作用下，推导 $G$-不变 Szegö 核的 $m$-th 傅里叶分量在 $m \to \infty$ 时的渐近展开。
• 证明当 $m$ 足够大时，$X$ 上 $G$-不变的 $(0,q)$-调和形式的维数等于约化空间 $Y_G$ 上调和形式的维数，从而证实量子化与约化可交换。

提出的方法

• 利用复傅里叶积分算子理论，将 $G$-不变 Szegö 核描述为在 $\mu^{-1}(0)$ 附近具有可控奇异性的分布核。
• 应用微局部分析与驻定相位方法，推导核的 $m$-th 傅里叶分量的渐近展开。
• 通过在 $m$ 中的符号展开构造 $G$-不变 Szegö 核的拟逆，其主符号在 $\mu^{-1}(0)$ 附近支撑。
• 利用 CR 时刻映射 $\mu$ 定义约化空间 $Y_G = \mu^{-1}(0)/G$，该空间作为量子化映射的目标。
• 通过谱估计建立 $X$ 上 $G$-不变调和形式与 $Y_G$ 上调和形式之间的酉等价，通过映射 $\sigma_m$ 实现，且对大的 $m$ 成立。
• 通过证明 $\|R_m\| \to 0$ 当 $m \to \infty$，证明约化映射 $\sigma_m$ 的单射性，最终得到同构性，从而推出 $\dim H^q_{b,m}(X)^G = \dim H^{q-r}_{b,m}(Y_G)$。

实验结果

研究问题

• RQ1 在 CR 时刻映射的零纤维 $\mu^{-1}(0)$ 附近，$G$-不变 Szegö 核的微局部行为如何，特别是其奇异性结构？
• RQ2 在横截 $S^1$ 作用下，当 $m \to \infty$ 时，$G$-不变 Szegö 核的 $m$-th 傅里叶分量的渐近结构是什么？
• RQ3 当 $m$ 足够大时，$X$ 上 $G$-不变调和 $(0,q)$-形式的空间维数是否与约化空间 $Y_G$ 的维数相等？
• RQ4 $G$-不变 Szegö 核能否被描述为具有精确奇异性结构的复傅里叶积分算子？
• RQ5 在高频极限下，$G$-不变 Szegö 核在约化空间 $Y_G$ 上的集中程度如何？

主要发现

• $G$-不变 Szegö 核（对于 $(0,q)$-形式）是一个复傅里叶积分算子，在 $\mu^{-1}(0)$ 之外光滑，且在 $\mu^{-1}(0)$ 附近具有精确的奇异性结构。
• 当 $m \to \infty$ 时，$G$-不变 Szegö 核的 $m$-th 傅里叶分量具有渐近展开，其主项由 $S^{n - d/2}$ 中的符号与相位函数 $\Psi$ 决定。
• 约化映射中的余项算子 $R_m$ 满足 $\|R_m\| \to 0$ 当 $m \to \infty$，这意味着 $I + R_m$ 对大的 $m$ 是单射。
• 映射 $\sigma_m: H^q_{b,m}(X)^G \to H^{q-r}_{b,m}(Y_G)$ 对充分大的 $m$ 是同构，从而证明 $\dim H^q_{b,m}(X)^G = \dim H^{q-r}_{b,m}(Y_G)$。
• 当 $m$ 足够大时，量子化与约化可交换，即 $X$ 上的 $G$-不变调和空间与约化空间 $Y_G$ 的维数相等。
• 核的主符号 $\hat{g}_0(x,y)$ 满足对所有 $x_0 \in \mu^{-1}(0) \cap U$ 有 $|\hat{g}_0(x,y)| \leq C |(x,y) - (x_0,x_0)|^{2^{N+1}}$，这确保了谱估计中余项的衰减。