[论文解读] Fundamentals for Symplectic $\mathcal{A}$-modules

Anastasios Mallios, Patrice P. Ntumba|ArXiv.org|Dec 8, 2007

Geometric and Algebraic Topology参考文献 10被引用 5

一句话总结

本文通过抽象微分几何构建了辛几何的层论框架，用代数结构替代经典可微性。它证明了在自由 τ-模上的辛 ω-同态存在规范基，此时 ω 的矩阵为块反对角矩阵且块为单位阵，并建立了辛变换特征值的层论版本的Cayley-Hamilton定理。

ABSTRACT

Sheaf theoretically based Abstract Differential Geometry incorporates and generalizes all the classical differential geometry. Here, we undertake to partially explore the implications of Abstract Differential Geometry to classical symplectic geometry. The full investigation will be presented elsewhere.

研究动机与目标

• 在不依赖 C^\infty-可微性的前提下，将经典辛几何重新表述为代数的、层论的框架。
• 利用 τ-模与层论构造，推广基本辛结构（如辛形式与辛群）。
• 建立自由 τ-模有限秩上辛 τ-同态存在规范基的结论。
• 为 τ-模自同态发展层论版本的Cayley-Hamilton定理。
• 定义并研究 τ-模的辛群层，推广经典辛群。

提出的方法

• 使用 τ-张量作为经典张量的层论类比，通过 τ(U)-模多线性截面预层的层化定义。
• 将外代数层构造为 τ-模 \mathcal{E} 上外 τ-k-形式芽层的直和，配备外积 \wedge。
• 证明任意非退化、反对称的 τ-同态 \omega 在 \mathcal{A}^n(X) 上，存在一个基使得其矩阵为 \begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}，利用局部平凡化与层的凝聚性。
• 将辛群层 \mathcal{S}p\,\mathcal{E} 定义为保持给定辛结构 \omega 的 τ-自同构层。
• 将特征向量层 \mathcal{PV}(\mathcal{E}) 定义为局部特征向量预层的层化，并通过预层 \Gamma(\mathcal{A}) 的完备性证明整体特征向量的存在性。
• 通过证明特征多项式 P(t) 满足函数方程 P(t) = t^{2n}P(1/t)，在层论设定下应用Cayley-Hamilton定理，表明若 \lambda 是辛变换 \varphi 的特征值，则 \lambda^{-1} 也是特征值。

实验结果

研究问题

• RQ1 能否在不依赖 C^\infty-可微性的前提下，完全在层论代数框架中重构辛几何？
• RQ2 在自由 τ-模有限秩上，非退化反对称 τ-同态的规范矩阵形式为何？
• RQ3 如何将辛群推广为保持辛结构的自同构层？
• RQ4 在层论设定下，辛变换特征值之间存在何种关系？
• RQ5 Cayley-Hamilton定理能否推广至取值于层代数的 τ-模自同态？

主要发现

• 任意非退化反对称 τ-同态 \omega 在自由 τ-模 \mathcal{A}^n(X) 上，存在一个基使得其矩阵为 \begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}，其中 I_n 为单位矩阵。
• 此规范形可推广至向量层，即对有限秩局部自由 τ-模也成立。
• 辛群层 \mathcal{S}p\,\mathcal{E} 被良好定义为保持给定辛结构 \omega 的 τ-自同构层。
• 对 \mathcal{A}^{2n}(X) 上任意辛变换 \varphi，若 \lambda 是其特征值，则 \lambda^{-1} 也是特征值，此结论由特征多项式 P(t) 满足函数方程 P(t) = t^{2n}P(1/t) 所证明。
• 当局部特征向量在限制下满足相容性条件时，τ-模自同态的整体特征向量存在，这是由于预层 \Gamma(\mathcal{A}) 的完备性。
• 特征向量层 \mathcal{PV}(\mathcal{E}) 被良好定义为局部特征向量预层的层化，且由于 \Gamma(\mathcal{A}) 的完备性，满足层公理。