[論文レビュー] On a result of Imin Chen

Bas Edixhoven|ArXiv.org|Apr 10, 1996

Advanced Algebra and Geometry被引用数 3

ひとこと要約

この論文は、非分裂カルタンモジュラー曲線 X(p)_{non-split} のヤコビアンが、素数 p に対して J_0(p^2) の新規部分とアイソジェニであるという、イミン・チェンの結果の、表現論的証明を提供する。Q-線形擬アーベル圏における GL_2(Z/pZ)-表現論のみを用いて、著者はチェンの結果をより広範なカテゴリカル枠組みへ一般化し、群表現手法を用いてこれらのヤコビアンの間の構造的関係を確立する。

ABSTRACT

We give another proof of Imin Chen's result that the jacobian of the modular curve X(p)_{non-split}, for p a prime number, is isogeneous to the new part of the jacobian of X_0(p^2), using only the representation theory of the group GL_2(Z/pZ). In fact, we prove a generalization of Chen's result for objects with an action by GL_2(Z/pZ) in any pseudo-abelian Q-linear category.

研究の動機と目的

• GL_2(Z/pZ)-表現論を用いて、X(p)_{non-split} のヤコビアンと J_0(p^2) の新規部分の間のアイソジェニ関係を再証明すること。
• チェンの結果を幾何的設定を超えて、任意の GL_2(Z/pZ)-作用をもつ擬アーベル Q-線形カテゴリーへ一般化すること。
• モジュラー形式やコhomologyに依存せずに、群表現技法を用いてモジュラー曲線ヤコビアンの間の構造的関係を確立すること。
• 算術的・幾何的計算に依存せず、アイソジェニを説明する概念的で表現論的な枠組みを提供すること。

提案手法

• 著者は、GL_2(Z/pZ)-作用をもつ擬アーベル Q-線形カテゴリー内で作業する。
• 証明は、特に既約成分に注目した、Q 上での GL_2(Z/pZ) の表現の分解に依存する。
• アーベル対象上の群作用の理論を適用し、X(p)_{non-split} のヤコビアンと J_0(p^2) の新規部分との関係を確立する。
• モジュラー形式やコhomological技法を避け、表現論的分解にのみ依存する。
• 鍵となるアイデアは、関連するアイソジェニが両方のヤコビアンにおいて同じ既約表現成分から生じることを同定することである。
• 一般化は、ヤコビアンの圏論的構造を、適切な GL_2(Z/pZ)-作用をもつ任意のカテゴリに抽象化することで達成される。

実験結果

リサーチクエスチョン

• RQ1 チェンのアイソジェニ関係は、GL_2(Z/pZ) の表現論のみを用いて再証明可能か？
• RQ2 X(p)_{non-split} と X_0(p^2) のヤコビアンの構造的性質は、GL_2(Z/pZ)-表現によってどのように特定されるか？
• RQ3 これらのヤコビアンの間のアイソジェニは、圏論的設定における表現論的構造に内在的か？
• RQ4 この結果は代数幾何を越えて、任意の GL_2(Z/pZ)-作用をもつ Q-線形擬アーベルカテゴリーへ一般化可能か？
• RQ5 GL_2(Z/pZ) の既約表現は、これらのヤコビアンの新規部分を結ぶ役割を果たすか？

主な発見

• 素数 p に対して、非分裂カルタンモジュラー曲線 X(p)_{non-split} のヤコビアンは、X_0(p^2) のヤコビアンの新規部分とアイソジェニである。
• アイソジェニは、アーベル対象のカテゴリーにおける GL_2(Z/pZ)-表現の分解から自然に生じる。
• 証明は完全に表現論的であり、コhomology的またはモジュラー形式に基づく議論を避ける。
• 結果は、適合する GL_2(Z/pZ)-作用をもつ任意の擬アーベル Q-線形カテゴリーへ一般化可能である。
• アイソジェニは、両方のヤコビアンにおいて同じ既約表現成分から誘導され、構造的同値性を確立する。
• この手法は、群表現論を用いたモジュラー曲線ヤコビアン間のアイソジェニを理解する概念的枠組みを提供する。