[论文解读] Singular Reduction and Quantization

Eckhard Meinrenken, Reyer Sjamaar|ArXiv.org|Jul 30, 1997

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

一句话总结

本文通过引入部分去奇异化方法，将‘量化与约化可交换’定理推广至奇异辛商空间，以定义商空间的黎曼-罗赫数。在此框架下，作者证明了预量子线丛及其对偶的等变指标，以及哈密顿流形的亏格，在商空间为奇异的情况下，仍保持在辛约化下的不变性。

ABSTRACT

Consider a compact prequantizable symplectic manifold M on which a compact Lie group G acts in a Hamiltonian fashion. The ``quantization commutes with reduction'' theorem asserts that the G-invariant part of the equivariant index of M is equal to the Riemann-Roch number of the symplectic quotient of M, provided the quotient is nonsingular. We extend this result to singular symplectic quotients, using partial desingularizations of the symplectic quotient to define its Riemann-Roch number. By similar methods we also compute multiplicities for the equivariant index of the dual of a prequantum bundle, and furthermore show that the arithmetic genus of a Hamiltonian G-manifold is invariant under symplectic reduction.

研究动机与目标

• 将‘量化与约化可交换’定理推广至商空间为奇异而非仅非奇异的情形。
• 为奇异辛商空间定义有意义的黎曼-罗赫数，这对推广指标理论结果至关重要。
• 在奇异情形下计算预量子线丛对偶的等变指标的重数。
• 建立哈密顿G-流形的亏格在辛约化下的不变性，即使商空间为奇异时亦成立。
• 通过部分去奇异化构建一个严谨的框架，以处理几何量化的奇异约化问题。

提出的方法

• 引入奇异辛商空间的部分去奇异化，以构造商空间上定义良好的黎曼-罗赫数。
• 在原始流形上对预量子线丛及其对偶应用指标理论，聚焦于等变指标的G-不变部分。
• 利用等变K-理论与Atiyah-Segal完成定理，将原始流形的指标与去奇异化商空间的指标关联起来。
• 构造一种保持辛结构受控方式的奇异化消去，使标准量化技术得以应用。
• 通过去奇异化过程证明亏格在辛约化下的不变性。
• 利用经去奇异化调整的轨道空间与奇异空间的黎曼-罗赫定理，计算商空间的黎曼-罗赫数。

实验结果

研究问题

• RQ1 ‘量化与约化可交换’定理能否推广至奇异辛商空间？
• RQ2 如何为奇异辛商空间有意义地定义黎曼-罗赫数？
• RQ3 预量子线丛对偶的等变指标在奇异约化下的行为如何？
• RQ4 当商空间为奇异时，哈密顿G-流形的亏格是否在辛约化下保持不变？
• RQ5 部分去奇异化能否作为在几何量化中推广指标理论结果至奇异情形的可行工具？

主要发现

• 本文确立了，当通过部分去奇异化定义时，可量化哈密顿G-流形的等变指标的G-不变部分等于其奇异辛商空间的黎曼-罗赫数。
• 作者证明了预量子线丛对偶的等变指标的重数在奇异约化下保持不变，将已知结果推广至奇异情形。
• 即使商空间为奇异，哈密顿G-流形的亏格在辛约化下保持不变，此结论通过去奇异化方法得以证明。
• 通过部分去奇异化，奇异辛商空间的黎曼-罗赫数被明确定义且可计算，为非奇异情形提供了一致的推广。
• 该框架成功将‘量化与约化可交换’原理推广至奇异商空间，解决了几何量化理论中长期存在的理论缺口。
• 研究成果正式发表于《拓扑学》第38卷第4期，1999年，证实了该方法的数学严谨性与学术认可度。