[论文解读] 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

一句话总结

本文引入了卡西米尔配对——一种受李代数不变量启发的新颖算术工具——用于研究完全实数域上的整数迹作为完全不变量的性质。证明了对于基本判别式的完全实数域，整数迹可完全刻画该域，非二次情形下其同构群平凡，二次情形下则由伽罗瓦群诱导出对称性，并表明在足够高次时，$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$-数域可由其整数迹配对的同构类完全刻画，即此类域在同构意义下由其迹形式唯一确定。
• 卡西米尔配对被引入为一种新颖的算术工具，其应用使上述结果得以证明，且在数论中此前未被研究过。
• 卡西米尔配对提供了一套系统化的方法来分析迹形式及其不变量，具有在算术几何与代数数论中更广泛应用的潜力。