[論文レビュー] Duality and polarization form for abelian Anderson T-motives

Dmitry Logachev|arXiv (Cornell University)|Nov 13, 2007

Advanced Algebra and Geometry参考文献 3被引用数 2

ひとこと要約

本稿は、アーベル型アンドゥーソン T-モチーフに対して双対性理論を確立し、シーゲル行列を用いて代数的双対性が解析的双対性を導くことを証明するとともに、一様化可能な T-モチーフの格子上に極形式を構成する。主な結果として、次元 r−1 の純粋 T-モチーフで双対を持つもの同士の 1 対 1 対応が得られ、自己双対的かつ一様化可能な T-モチーフについて、codimension 1 におけるホッジ予想の定式化がなされる。

ABSTRACT

Abstract. We introduce the notion of duality for an abelian Anderson T-motive M. Main results of the paper (all M have N = 0): 1. Algebraic duality implies analytic duality (Theorem 4.4). Explicitly, this means that a Siegel matrix of the dual of a uniformizable M is the minus transposed of a Siegel matrix of M. 2. There is a 1 – 1 correspondence between pure T-motives of dimension r − 1 having dual (Corollary 4.9.1.4). 3. Pure T-motives have duals which are pure T-motives as well (Theorem 2.3). 4. For a self-dual uniformizable M a polarization form on its lattice L(M) is defined. For some M this form is skew symmetric like in the number field case, but for some other M it is symmetric. An example is given. 5. We define Hodge filtration of cohomology and for the above self-dual M we formulate Hodge conjecture in codimension 1 (Section 4.8). 6. Some explicit results are proved for M having complete multiplication. The

研究の動機と目的

• 複素幾何学における既知の結果を正標数の設定へと拡張し、アーベル型アンドゥーソン T-モチーフに対する包括的な双対性理論を構築すること。
• 一様化可能な T-モチーフの文脈において、代数的双対性と解析的双対性の関係を明確にすること。
• 自己双対的かつ一様化可能な T-モチーフの格子上に極形式を定義し、それらが対称的または反対称的である場合を含めて研究すること。
• コホモロジーにホッジフィルトレーションを定義し、自己双対的 T-モチーフについて codimension 1 におけるホッジ予想のバージョンを定式化すること。
• 複素乗法をもつ T-モチーフに対して明示的な結果を得ることで、特殊な場合における構造的理解を深めること。

提案手法

• 双対 T-モチーフの構成により代数的双対性を確立し、シーゲル行列のマイナス転置を用いてそれが解析的双対性を導くことを証明する。
• 一様化可能な T-モチーブの理論を用いて格子 L(M) を定義し、それに対して極形式を構成する。この極形式は、モチーフの性質に応じて対称的または反対称的である可能性がある。
• de Rham コホモロジーおよびホッジ–ド・ラーム複体の構造を用いて、T-モチーブのコホモロジーにホッジフィルトレーションを定義する。
• 自己双対的かつ一様化可能な T-モチーブについて、代数的サイクルとホッジ類を関係付けることで、codimension 1 におけるホッジ予想を定式化する。
• ドリーフィン・モジュールおよび T-モジュールの理論からの技術を応用し、複素乗法をもつ T-モチーブを分析する。
• シーゲル行列の概念を用いて、一様化可能な T-モチーブの周期行列を符号化し、それを転置によって双対モチーブと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 代数的双対性と解析的双対性の関係は、アーベル型アンドゥーソン T-モチーブにおいてどのように規定されるのか。また、シーゲル行列を用いてこの関係を明示的に記述できるか。
• RQ2 純粋 T-モチーブが双対を持つ場合、その双対が再び純粋 T-モチーブであるための条件は何か。また、この双対性の構造はどのようなものか。
• RQ3 自己双対的かつ一様化可能な T-モチーブの格子上に極形式が存在するための条件は何か。また、その極形式が対称的または反対称的であるのはどのような場合か。
• RQ4 自己双対的かつ一様化可能な T-モチーブについて、codimension 1 におけるホッジ予想を定式化できるか。また、コホモロジー上のホッジフィルトレーションとどのように関係するか。
• RQ5 複素乗法をもつ T-モチーブでは、どのような明示的な構造が現れるのか。また、それらは双対性や極形式にどのように影響を与えるか。

主な発見

• 代数的双対性は解析的双対性を含意する：一様化可能な T-モチーブの双対のシーゲル行列は、元のモチーブのシーゲル行列のマイナス転置に一致する。
• 次元 r−1 の純粋 T-モチーブで双対を持つもの同士の 1 対 1 対応が存在し、構造的分類が得られる。
• すべての純粋 T-モチーブは、双対としても純粋 T-モチーブである。これは、双対性の下での純粋性の安定性を示している。
• 自己双対的かつ一様化可能な T-モチーブに対して、格子 L(M) 上に極形式を構成でき、その極形式は対称的または反対称的であり得る。明示的な例も提示されている。
• 自己双対的かつ一様化可能な T-モチーブのコホモロジーにホッジフィルトレーションを定義でき、これにより codimension 1 におけるホッジ予想の定式化が可能になる。
• 複素乗法をもつ T-モチーブに対して明示的な結果が得られ、その双対性および極形式構造において特別な対称性や単純化が明らかになった。