[論文レビュー] Vector bundles on elliptic curves and factors of automorphy

Oleksandr Iena|arXiv (Cornell University)|Sep 16, 2010

Algebraic Geometry and Number Theory参考文献 13被引用数 9

ひとこと要約

この論文は、アティヤの楕円曲線上のベクトル束の分類を自己同型因子の言語に翻訳し、自己同型因子の同値類と複素トーラス上のベクトル束の同型類の間の1対1対応を確立する。主な貢献は、指数関数と単型行列を含む明示的な行列因子を用いて、固定されたランクと次数の分解不能ベクトル束を完全に分類することにある。

ABSTRACT

We translate the Atiyah's results on classification of vector bundles on elliptic curves to the language of factors of automorphy.

研究の動機と目的

• 楕円曲線上のベクトル束のアティヤの分類を、自己同型因子の言語に再定式化すること。
• 専門家には知られているが、以前は未発表または入手困難であった結果を体系的かつアクセス可能な形で扱うこと。
• 特に楕円曲線に対して、複素トーラス上のベクトル束と自己同型因子の間の対応を確立すること。
• 行列値正則関数を用いて、固定されたランクと次数の分解不能ベクトル束を完全に分類すること。

提案手法

• 普遍被覆の下での自明な引き戻しを持つベクトル束と自己同型因子の間の対応を、普遍被覆上の群作用を介して用いる。
• 自己同型因子を、$ r $ 次元の正則関数 $ f: \Gamma \times Y \to \mathrm{GL}_r(\mathbb{C}) $ として定義し、コycle条件 $ f(\lambda\mu, y) = f(\lambda, \mu y)f(\mu, y) $ を満たすものとする。
• $ Y $ 上の正則 $ \mathrm{GL}_r(\mathbb{C}) $-値関数による共役を用いて、自己同型因子の同値関係を導入し、コhomology集合 $ H^1(\Gamma, r) $ を得る。
• 自己同型因子による作用を用いて、$ X $ 上のベクトル束を商 $ E(f) = Y \times \mathbb{C}^r / \Gamma $ の形で構成する。
• 複素トーラス、特に楕円曲線にこの枠組みを適用する際には、普遍被覆 $ \mathbb{C} \to E_\tau $ を特定し、基本群の作用を分析する。
• 次数0の分解不能束の分類（定理5.13）を基盤として、引き戻しとテンソル積を用いて一般の分類（定理5.23）を導出する。

実験結果

リサーチクエスチョン

• RQ1 アティヤの楕円曲線上のベクトル束の分類を、自己同型因子の観点からどのように再定式化できるか？
• RQ2 自己同型因子の同値類と複素トーラス上のベクトル束の同型類との間の正確な対応は何か？
• RQ3 自己同型因子形式を用いて、固定されたランクと次数の分解不能ベクトル束を完全に分類する方法は何か？
• RQ4 ベクトル束の操作（例えば、引き戻し、テンソル積）は、自己同型因子の操作にどのように対応するか？
• RQ5 次数0および一般の次数の分解不能束をパラメータ化する行列因子の構造は何か？

主な発見

• 任意の楕円曲線 $ E_\tau $ 上のランク $ r $、次数 $ d $ の分解不能ベクトル束は、$ h = \gcd(r,d) $、$ r' = r/h $、$ d' = d/h $、$ L' $ を $ E_{r'\tau} $ 上の次数 $ d' $ の線分束、$ F_h $ をランク $ h $ の単型束であるとすると、$ \pi_{r'}^*(L' \otimes F_h) $ の形の押し出しとして得られる。
• 分解不能束の次数0の分類は、$ d = 0 $ の場合にちょうど一致し、このとき $ h = r $、$ r' = 1 $、$ d' = 0 $ となり、単一の行列因子によって定義される束が得られる。
• 主な結果（定理5.23）は、すべてのランク $ r $、次数 $ d $ の分解不能束が、$ \begin{pmatrix} 0 & I_{(r'-1)h} \\ \varphi_0^{d'} A_h(a) & 0 \end{pmatrix} $ の形のブロック行列を用いて明示的にパラメータ化されることを示している。ここで $ \varphi_0(u) = q^{-r/2} u^{-1} $、$ q = e^{2\pi i \tau} $、$ A_h(a) $ は単型ジョルダンブロック行列である。
• 行列因子 $ \varphi_0^{d'} A_h(a) $ は、自己同型データを符号化しており、$ a \in \mathbb{C}^* $ が束の同型類をパラメータ化する。
• この構成により、同種写像 $ \pi_{r'}: E_{r'\tau} \to E_\tau $ による束の引き戻しが、単型束 $ F_h $ とのテンソル積に対応することが示され、この対応は自己同型因子形式論と整合的である。
• この結果は、[10]の補題1を完全に構成的かつ幾何学的に再確認し、正則データに基づく完全で明示的な分類を提供する。