[論文レビュー] 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.

研究の動機と目的

• 有限次元シンプレクティックベクトル空間からそれ自身への線形正則関係を、線形シンプレクティック同型による共役に関して分類すること。
• 共イサイトル部分空間とシンプレクティック縮約を用いて、線形正則関係の構造を理解するための体系的枠組みを構築すること。
• 基本的タイプへの分解と不変量の同定を通じて、分類問題に対する部分的解決を提供すること。
• 共イサイトル分解後の縮約空間における誘導されるシンプレクティック写像の解析を通じて、完全正規形の基礎を築くこと。
• 幾何的量子化および古典的・量子的力学におけるカテゴリカル構造との関連を明らかにすること。

提案手法

• ウィット＝アルチン分解を用いて、シンプレクティックベクトル空間を単位的、余コイサイトル、ラグランジュ部分空間に分解する。
• ベネンティ＝トゥルツキエフの定理を適用し、線形正則関係を共イサイトル部分空間のペアとそれらの商空間間の誘導されるシンプレクティック同型写像として表現する。
• 交差の次元とランクの不変量を用いて、共イサイトル対のシンプレクティック同型写像に関する分類問題に還元する。
• スプリット座標における線形正則関係の行列表現を構成し、ラグランジュ的、シンプレクティック的、混合成分に対応するブロックを有する。
• 関係を三つの部分の直和に分解する：ラグランジュ的部分、シンプレクティックペア的部分、および $F \oplus H$ 上の誘導写像 $\phi_{L_0}$ によって支配される残余部分。
• $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$ の分割の間の相互作用が分類を妨げる要因であることが明らかになった。これにより、シンプレクティック行列の代替正規形がより適切である可能性がある。