[论文解读] Classifying Linear Canonical Relations

Jonathan Lorand|arXiv (Cornell University)|Aug 19, 2015

Mathematical and Theoretical Analysis参考文献 8被引用 3

一句话总结

本文通过共厄子空间分解与辛线性代数中的标准型，对线性典范关系——$V \oplus V^{-}$ 中的拉格朗日子空间——在辛共轭下进行分类。它通过将问题约化为分类共厄对并识别约化空间上诱导辛映射中的不变结构，提供了一个部分标准型。

ABSTRACT

In this Master's thesis, we consider the problem of classifying, up to conjugation by linear symplectomorphisms, linear canonical relations (lagrangian correspondences) from a finite-dimensional symplectic vector space to itself. We give an elementary introduction to the theory of linear canonical relations and present partial results toward the classification problem. This exposition should be accessible to undergraduate students with a basic familiarity with linear algebra.

研究动机与目标

• 对有限维辛向量空间到自身的线性典范关系，在线性辛同构共轭下进行分类。
• 通过共厄子空间与辛约化，建立系统化框架以理解线性典范关系的结构。
• 通过将关系分解为基本类型并识别不变量，为分类问题提供部分解法。
• 通过分析共厄分解后在约化空间上诱导的辛映射，为完整标准型的建立奠定基础。
• 将分类结果与几何量子化及经典与量子力学中的范畴结构等更广泛背景相联系。

提出的方法

• 使用 Witt-Artin 分解，将辛向量空间分解为迷向、共厄与拉格朗日子空间。
• 应用 Benenti-Tulczyjew 定理，将线性典范关系表示为一对共厄子空间及其商空间之间的诱导辛同构。
• 利用交集的维数与秩不变量，将分类问题约化为在辛同构下对共厄对的分类。
• 在分裂坐标下构造线性典范关系的矩阵表示，其中块对应于拉格朗日、辛与混合分量。
• 将关系分解为三部分的直和：一个拉格朗日部分、一个辛对部分，以及由 $\phi_{L_0}$ 在 $F \oplus H$ 上诱导的映射所控制的剩余部分。
• 提出一种块矩阵标准型，使用 $Q^{n_i}$、$P^{n_j}$ 的典范基，以及 $\phi_{L_0}$ 的未定形式，暗示通向完整分类的路径。

实验结果

研究问题

• RQ1 哪些不变量能唯一地在辛共轭下对线性典范关系进行分类？
• RQ2 如何通过共厄子空间将线性典范关系分解为更简单、标准的分量？
• RQ3 在共厄约化后，约化空间上诱导的辛映射 $\phi_L$ 的结构是什么？
• RQ4 将辛向量空间分解为 $D \oplus E \oplus F \oplus G \oplus H$ 如何影响关系的分类？
• RQ5 能否通过结合已知的辛矩阵标准型与共厄分解，构造出完整的标准型？

主要发现

• 线性典范关系 $L \subset V \oplus V^{-}$ 完全由一对共厄子空间 $A = \text{dom}(L)$ 与 $B = \text{ran}(L)$，以及一个辛同构 $\phi_L: A/A^\perp \to B/B^\perp$ 决定。
• 分类问题约化为在辛同构下对共厄对 $(A,B)$ 的分类，其不变量来自 $A$、$B$ 及其正交补的交集的维数与秩。
• 关系 $L$ 允许分解为 $L = L_D \oplus L_E \oplus L_0$，其中 $L_D$ 对应一个拉格朗日子空间，$L_E$ 对应一个辛对，$L_0$ 对应由 $\phi_{L_0}$ 控制的剩余部分。
• 候选标准型由如下分块矩阵给出：$\left(\begin{array}{cc}Q^{n_1}&0\\ 0&Q^{n_1}\end{array}\right) \oplus \left(\begin{array}{cc}Q^{n_2}&0\\ 0&P^{n_2}\end{array}\right) \oplus \left(\begin{array}{cccc}Q^{n_4}&\mathbb{R}^{2(n_3+n_4)}&0\\ 0&[\phi_{L_0}]&Q^{n_5}\end{array}\right)$，其中 $[\phi_{L_0}]$ 尚待确定。
• 剩余部分 $L_0$ 由 $\ker(L) = G_1$，$\text{hal}(L) = H_1$，以及 $\phi_{L_0}: F \oplus H \to F \oplus G$ 特征化，其继承了原关系的结构。
• 该方法表明，分类受到 $\phi_{L_0}$ 的标准型与分裂 $F \oplus H$ 之间相互作用的阻碍，提示可能需要采用其他形式的辛矩阵标准型更为合适。