[論文レビュー] Non-commutative Laurent phenomenon for two variables

Alexandr Usnich|arXiv (Cornell University)|Jun 7, 2010

Algebraic structures and combinatorial models参考文献 4被引用数 11

ひとこと要約

この論文は、$ H(x) $ が可逆多項式であるとき、2変数自己同型 $ F_{\text{nc}}: (x,y) \mapsto (y^{-1}H(x), y^{-1}xy) $ における非可換ローレンツ現象を証明する。$ \mathbb{P}^1 \times \mathbb{P}^1 $ の繰り返しのブLOWアップによる幾何的解消を用いて、表面 $ Y_i $ の列を構成し、非可換代数 $ \mathbf{C}\langle x,x^{-1},y,y^{-1}\rangle $ 上の誘導自己同型がローレンツ多項式構造を保存することを示し、コンツェビッチの予想を裏付ける。

ABSTRACT

We prove the non-commutative Laurent phenomenon for two variables.

研究の動機と目的

• 2変数の有理写像に関するコンツェビッチの非可換ローレンツ現象予想を証明すること。
• 非可換写像 $ F_{\text{nc}} $ の繰り返し適用が、非可換ローレンツ多項式の構造を保存することを確立すること。
• 2n個のトーリック除法子の鎖上の点における繰り返しのブLOWアップを用いて、有理写像の幾何的解消を構成すること。
• 導来圏と半直交分解を用いて、自己同型を非可換設定に持ち上げること。
• 自己同型の像が非可換ローレンツ多項式部分代数 $ \mathbf{C}\langle x,x^{-1},y,y^{-1}\rangle $ 内にあることを示すこと。

提案手法

• トーリック表面 $ Y_i^0 $（これは $ \mathbb{P}^1 \times \mathbb{P}^1 $ の重み付きブLOWアップ）を基に、トーリック除法子の鎖上の2n個の点における繰り返しのブLOWアップとして、表面 $ Y_i $ の列を構成する。
• 元の有理写像 $ F $ を正則自己同型に拡張する、各 $ Y_i $ 上で定義された双正則同型 $ F_i: Y_i \to Y_{i+1} $ を定義する。
• 一貫性のある層の有理関手 $ D(Y_i) $ と、$ \widetilde{D}(Y_i) $ を $ \mathcal{O}_{Y_i} $ に対して左直交する対象からなるものとし、商圏 $ \widetilde{C}(Y_i) = \widetilde{D}(Y_i)/\widetilde{D}^1(Y_i) $ を定義する。
• $ \widetilde{C}(Y_i) $ が単一の対象 $ Q_i $ によって生成されることを示し、$ Q_i $ は $ \pi_i^*\mathcal{O}(1,1) $ の像である。また、$ \operatorname{Hom}_{\widetilde{C}(Y_i)}(Q_i, Q_i) \cong A $ であり、$ A $ は $ x,y $ 上の非可換代数である。
• 同型 $ \mathbb{L}F_i^*: \widetilde{C}(Y_{i+1}) \to \widetilde{C}(Y_i) $ を構成し、$ Q_i $ と $ \mathbb{L}F_i^*Q_{i+1} $ 間の同型を用いて、$ A $ 上の一貫した自己同型 $ F_{\text{nc}} $ を定義する。
• 商圏 $ \widetilde{D}(Y_0)/\widetilde{D}_B(Y_0) $ を通じた降下を用いて、$ F_{\text{nc}}^k(x), F_{\text{nc}}^k(y) $ が $ \mathbf{C}\langle x,x^{-1},y,y^{-1}\rangle \subset A $ に属することを示し、$ F_{\text{nc}}^k $ の像がこの部分代数内にあることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非可換自己同型 $ F_{\text{nc}}: (x,y) \mapsto (y^{-1}H(x), y^{-1}xy) $ が繰り返し適用されても、非可換ローレンツ多項式の構造が保存されるか？
• RQ2 $ q = x^{-1}y^{-1}xy $ が中心であると仮定しないで、幾何的解消と導来圏を用いて非可換ローレンツ現象を確立できるか？
• RQ3 $ F_{\text{nc}}^k $ は非可換ローレンツ多項式代数 $ \mathbf{C}\langle x,x^{-1},y,y^{-1}\rangle $ に値をとる well-defined な自己同型か？
• RQ4 解消された表面 $ Y_i $ 上の導来圏構造は、非可換自己同型 $ F_{\text{nc}} $ のダイナミクスをどのように符号化するか？
• RQ5 商圏 $ \widetilde{D}(Y_0)/\widetilde{D}_B(Y_0) $ は非可換ローレンツ多項式代数を実現するために果たす役割は何か？

主な発見

• 非可換自己同型 $ F_{\text{nc}}^k $ は $ x $ と $ y $ を非可換ローレンツ多項式代数 $ \mathbf{C}\langle x,x^{-1},y,y^{-1}\rangle $ の元に写し、非可換ローレンツ現象を証明する。
• $ F_{\text{nc}} $ は明示的に $ (x,y) \mapsto (y^{-1}H(x), y^{-1}xy) $ と与えられ、繰り返し適用されてもこの形が保存される。
• $ F_{\text{nc}}^k(x) $ と $ F_{\text{nc}}^k(y) $ の像は、商圏 $ \widetilde{D}(Y_0)/\widetilde{D}_B(Y_0) $ を通じた降下により、部分代数 $ \mathbf{C}\langle x,x^{-1},y,y^{-1}\rangle \subset A $ に属することが示された。
• 2n個の点におけるトーリック除法子の鎖上の繰り返しのブLOWアップを用いた幾何的解消により、双正則同型 $ F_i: Y_i \to Y_{i+1} $ を持つ表面 $ Y_i $ の列が得られる。
• $ \widetilde{C}(Y_i) $ は単一の対象 $ Q_i $ によって生成され、自己同型 $ F_{\text{nc}} $ は $ \mathbb{L}F_0^* \circ \cdots \circ \mathbb{L}F_{k-1}^* $ の合成として、$ Q_i $ と $ \mathbb{L}F_i^*Q_{i+1} $ 間の同型を介して持ち上げられる。
• 結果は $ q = x^{-1}y^{-1}xy $ が中心であると仮定しないでも成立し、非可換性の完全な一般性において現象が確認された。