[論文レビュー] Moore Matrices and Ulrich Bundles on an Elliptic Curve

Ragnar-Olaf Buchweitz, Alexander Pavlov|arXiv (Cornell University)|Nov 17, 2015

Algebraic structures and combinatorial models参考文献 13被引用数 3

ひとこと要約

本稿では、特異点のない楕円曲線をヘッセ形式で表した場合の線形行列式表現の標準形をモア行列を用いて提供し、そのような曲線上のすべての分解不能なランク2、次数0のウルリッヒバンドル（非自明な切断をもたないもの）の行列因子分解を構成する。これらのバンドルが、次数0で自明でない正則切断をもたない直線バンドルの拡張に対応することを確立し、モア行列の構成と発散写像を用いて実現される。

ABSTRACT

We give normal forms of determinantal representations of a smooth projective plane cubic in terms of Moore matrices. Building on this, we exhibit matrix factorizations for all indecomposable vector bundles of rank 2 and degree 0 without nonzero sections, also called Ulrich bundles, on such curves.

研究の動機と目的

• 特徴量 ≠ 2,3 の体上でのヘッセ形式の滑らかな平面三次曲線の線形行列式表現の明示的標準形を提供すること。
• そのような曲線上のすべての分解不能なランク2、次数0のベクトルバンドル（ウルリッヒバンドル）で、非自明な正則切断をもたないもの（＝ウルリッヒバンドル）を分類すること。
• モア行列と余核構成を用いて構成された行列因子分解を通じて、これらのウルリッヒバンドルを実現すること。
• 特に3階捩れ条件を用いて、これらのバンドルと楕円曲線上の点との間の対応関係を、群法則を用いて確立すること。
• 行列空間上の発散写像を用いて、関連する直線バンドルの拡張群を計算し、それが底体上1次元であることを示すこと。

提案手法

• 点 $[a_0:a_1:a_2] \notin E$ で $a_0a_1a_2 \neq 0$ を満たすものに対して、$ M_{(a_0,a_1,a_2),\bold{x}} = (a_{i+j}x_{i-j}) $ の形のモア行列を用いる。
• ヘッセ三次曲線のすべての線形行列式表現が、$ \mathsf{G}_3 = \mathrm{GL}(3,K) \times \mathrm{GL}(3,K)/\mathbb{G}_m(K) $ の作用のもとで、このようなモア行列と同値であることを示す。
• 2つのモア行列が同値な表現をもたらすための必要十分条件は、$ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ であることを証明する。ここで $ \cdot_E $ は、$[0:-1:1]$ を単位元とする楕円曲線上の群法則を表す。
• モア行列とその随伴行列を用いて構成された三角ブロック行列の余核として、ウルリッヒバンドルの行列因子分解を構成する。
• 拡張群 $ \operatorname{Ext}^1_R(\mathbf{L},\mathbf{L}) $ を、行列空間を交換子で割った商として実現し、発散写像 $ \mathsf{div} $ が $ K $ へ同型写像を誘導することを示す。
• アティヤの楕円曲線上のランク2ベクトルバンドルの分類を用いて、すべてのこのようなウルリッヒバンドルが、正則切断が存在しない次数0の直線バンドルの非自明な拡張として生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかなヘッセ形式の楕円曲線の線形行列式表現の標準形は何か？
• RQ2 このような曲線上のすべての分解不能なランク2、次数0のウルリッヒバンドルは、行列因子分解を用いてどのように明示的に構成できるか？
• RQ3 2つのモア行列が同値な行列式表現をもたらすための幾何学的・代数的条件は何か？
• RQ4 関連する直線バンドルの拡張群は、行列空間と発散写像を用いてどのように実現されるか？
• RQ5 3階捩れ条件 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ は、これらの表現の分類において果たす役割は何か？

主な発見

• 滑らかなヘッセ三次曲線のすべての線形行列式表現は、$[a_0:a_1:a_2] \in E$ かつ $a_0a_1a_2 \neq 0$ を満たすモア行列 $ M_{(a_0,a_1,a_2),\bold{x}} $ と同値である。
• 2つのこのようなモア行列が同値な表現をもたらすための必要十分条件は、$ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ である。ここで $ \cdot_E $ は、$[0:-1:1]$ を単位元とする楕円曲線上の群法則を表す。
• その曲線上のすべての分解不能なランク2、次数0のウルリッヒバンドルは、$ \deg \mathbf{L} = 0 $ かつ $ H^0(E, \mathbf{L}) = 0 $ を満たす直線バンドル $ \mathbf{L} = \operatorname{Coker} M_{a,x} $ の非自明な拡張として生じる。
• 拡張群 $ \operatorname{Ext}^1_R(\mathbf{L},\mathbf{L}) $ は $ K $ 上1次元であり、行列 $ M_{b,y} $ 上の発散写像 $ \mathsf{div} $ を通じて $ K $ に同型である。
• このようなウルリッヒバンドルの行列因子分解は、その余核が所望のバンドルを与える三角ブロック行列によって与えられ、非自明性は $ \mathsf{div}(M_{a,x}) = 3 \neq 0 $ によって保証される。
• この構成により、$ a_0a_1a_2 \neq 0 $ を満たす点 $ \mathbf{a} \in E $ との間の自然な対応を通じて、すべてのこのようなウルリッヒバンドルが実現される。ただし、積が0になる3階捩れ点は除かれる。