[論文レビュー] Algebraic tori - thirty years after

Boris Kunyavskiı̆|ArXiv.org|Dec 25, 2007

Geometric and Algebraic Topology参考文献 46被引用数 9

ひとこと要約

この論文は、30年間にわたる代数的トーラスに関する研究をレビューし、ヴォスクレセニスキーの基盤的業績に端を発する算術的性質と双有理的性質に焦点を当てる。2次元トーラスはすべて体上に有理的であることが示され、3次元トーラスは非有理的である可能性がある。また、フラスコ分解やR同値性といった重要な不変量が、有理的性質とガロア加群論およびK理論の間の関係を明らかにする。

ABSTRACT

This is an expanded version of my talk given at the International Conference ``Algebra and Number Theory'' dedicated to the 80th anniversary of V. E. Voskresenskii, which was held at the Samara State University in May 2007. The goal is to give an overview of results of V. E. Voskresenskii on arithmetic and birational properties of algebraic tori which culminated in his monograph "Algebraic Tori" published in Russian 30 years ago. I shall try to put these results and ideas into somehow broader context and also to give a brief digest of the relevant activity related to the period after the English version of the monograph "Algebraic Groups and Their Birational Invariants" appeared.

研究の動機と目的

• ヴォスクレセニスキーの紀元前30年ほど前に発表された画期的な独著から、代数的トーラスの算術的性質および双有理的性質の発展を調査すること。
• ヴォスクレセニスキーのトーラスに関する結果を、ガロア加群論や双有理幾何学を含むより広い数学的文脈に位置づけること。
• 特に3次元および4次元におけるトーラスの分類に関する最近の進展を要約し、有理的性質および非有理的性質への影響を明らかにすること。
• トーラスの有理的性質が数論におけるR同値性やチャウ群に与える応用、および離散対数系を用いた暗号理論への応用を検討すること。
• 特に8次元トーラス $ T_{30} $ の明示的有理的パラメータ表示が、応用代数幾何学における主要な課題であるという点を強調すること。

提案手法

• 代数的トーラスとガロア加群の双対性、特にキャラクター加群 $ \hat{T} $ を用いて、幾何的問題を表現論的問題に翻訳する。
• ガロア加群のフラスコおよびコフランク分解を用いて、トーラスの有理的または非有理的性質を検出する双有理的不変量を構成する。
• 置換加群および加群の類似クラスの理論を用いて、双有理同値の意味でトーラスを分類する。
• $ H^1(k, T^\circ) $ や $ A_0(X) $ といったコhomologicalな道具を用いて、トーラス上のR同値性および0次元サイクルを研究する。
• トーリック多様体のK理論の結果および $ E_8 $ のワイル群の構造を活用して、例外型群における最大トーラスを分析する。
• ウェイル制限やコクセター元の作用といった明示的構成を用いて、有限体上の特定のトーラス（例：$ T_{30} $）を記述する。

実験結果

リサーチクエスチョン

• RQ1 3次元代数的トーラスの双有理的分類は何か？ 2次元トーラスとは有理的性質においてどのように異なるか？
• RQ2 ガロア加群のフラスコおよびコフランク分解が、代数的トーラスの双有理的不変量としてどのように機能するか？
• RQ3 トーラス上のR同値性と、その滑らかなコンactification上の0次元サイクル群 $ A_0(X) $ の関係は何か？
• RQ4 $ T_{30} $ のような安定的に有理的であるトーラスの有理的性質を、パラメータ表示によって明示的に示すことは可能か？ なぜこれが暗号理論において重要なのか？
• RQ5 トーラス群における離散対数問題は、公開鍵暗号理論においてどの程度効率的に利用可能か？ 有理的性質はこの利用にどのように影響を与えるか？

主な発見

• すべての2次元代数的トーラスは体 $ k $ 上に $ k $-有理的である。ヴォスクレセニスキーは1967年に $ GL(2,\mathbb{Z}) $ の有限部分群の分類を用いてこれを証明した。
• 非有理的3次元トーラスが存在し、その双有理的分類は1987年にクニャーヴスキーがガロア加群不変量を用いて達成された。
• 3次元トーラスに関しては、$ T(k)/R \cong H^1(k, T^\circ)/R $ が成り立ち、フラスコ分解やコンパクト化を必要としないR同値性の内因的公式が得られる。
• チャウ群 $ CH_0(T) \cong T(k)/R \oplus \mathbb{Z}_{i_T} $ が成り立ち、ここで $ i_T $ は $ T_L $ が等方的になる体拡張の次数の最大公約数である。
• 8次元トーラス $ T_{30} $ は有限体上に定義され、30次の巡回拡張で分解され、キャラクター加群が $ \mathbb{Z}[\zeta_{30}] $ であるが、安定的に有理的であるにもかかわらず、まだパラメータ表示が得られていない。これは主要な未解決問題の一つである。
• ルービンとスリーバークの提唱するトーラス有理的性を応用した暗号システムの効率性は、明示的有理的パラメータ表示の存在に強く依存しており、$ T_{30} $ の有理的性は理論的・実用的両面で重要な課題である。