[論文レビュー] An introduction to Casimir bilinear pairings and some arithmetic applications

Carlos Rivera-Guaca, Guillermo Mantilla-Soler|arXiv (Cornell University)|Dec 7, 2018

Advanced Topics in Algebra被引用数 1

ひとこと要約

本稿では、半単純リー代数の不変量にインspされた、新しい算術的道具「カシミール対応」を導入し、基本的判別式を持つ完全実数体における整数的トレースが完全不変量として機能することを研究する。完全実数体が基本的判別式を持つ場合、整数的トレースが体を一意に特徴づけることを証明し、非二次の場合には自明な等長群をもち、二次の場合にはガロア群に由来する対称性を示す。さらに、次数 $n$ の完全実 $S_n$-体が、そのトレース対応の同型類によって最終的に特徴づけられることを示す。

ABSTRACT

In the past the first named author has studied to what extent the integral trace can characterize a number field beyond what the discriminant does. The cases of cyclic number fields and non-totally real fields are somehow settled, each one using very different techniques, concluding that for such fields the integral trace does not always characterize the field. In this paper we show that the integral trace is a complete invariant for totally real number fields of fundamental discriminant, and for such fields we show that the trace has a trivial isometry group in the non-quadratic case; in the quadratic case there are the extra elements coming from the Galois group. Furthermore, we show that degree $n$ totally real $S_n$ number fields are eventually characaterized by the isomorphism class of their integral trace. We develop a new tool, the $ extit{Casimir pairing}$, that when applied to trace pairings on number fields gives us a method to prove our results. Such concept was inspired by the Casimir invariant of a semisimple Lie algebra. Even though that for us the main applications of the pairing are of arithmetic nature, this seems to be an interesting concept that as far as we can tell it has not been studied before.

研究の動機と目的

• 数体の整数的トレースが判別式を超えて完全不変量として機能するかどうかを特定すること。
• 完全実数体の整数的トレース対応の等長群の構造を調査すること。
• 整数的トレース対応の同型類が体を特徴づける条件を確立すること、特に $S_n$-拡張の場合を含む。
• 新規のカシミール対応を構築し、数体におけるトレース形式の分析に応用すること。

提案手法

• 半単純リー代数におけるカシミール不変量にインスパイドされた、数体のトレース形式上の双線形形式としてカシミール対応を導入する。
• 完全実数体のトレース形式にカシミール対応を適用し、その等長群を分析する。
• カシミール対応を用いて、基本的判別式を持つ非二次完全実数体では、等長群が自明であることを示す。
• 二次の場合に、ガロア群がトレース対応に追加の等長変換をもたらすことを示す。
• 次数 $n$ の完全実 $S_n$-数体が、その整数的トレース対応の同型類によって最終的に特徴づけられることを証明する。
• カシミール対応の代数的性質を活用し、トレース形式およびその不変量に関する構造的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 整数的トレース対応が、判別式が示す範囲を超えて完全実数体を一意に特徴づけられるか。
• RQ2 基本的判別式を持つ完全実数体の整数的トレース対応の等長群の構造は何か。
• RQ3 二次の場合に、ガロア対称性はトレース対応の等長群にどのように影響を与えるか。
• RQ4 整数的トレース対応の同型類が、完全実数体の中での $S_n$-拡張をどの程度まで区別できるか。
• RQ5 数体の文脈において、新たに導入されたカシミール対応の算術的意義は何か。

主な発見

• 基本的判別式を持つ完全実数体に対して、整数的トレースは完全不変量である。つまり、体の同型を除いて一意に決定する。
• 非二次の場合、整数的トレース対応の等長群は自明であり、トレース形式を保存する非自明な対称性は存在しない。
• 二次の場合、ガロア群が追加の等長変換をもたらすため、等長群は非自明であり、非自明な自己同型を含む。
• 次数 $n$ の完全実 $S_n$-数体は、その整数的トレース対応の同型類によって最終的に特徴づけられる。つまり、十分に大きな $n$ に対して、このような体はトレース形式の同型を除いて一意に決定される。
• カシミール対応は、これらの結果の証明を可能にする新規な算術的道具であり、数論においてこれまで未発表の概念であると思われる。
• カシミール対応は、トレース形式およびその不変量を体系的に分析するための方法を提供し、算術幾何学および代数的数論における広範な応用が期待される。