[논문 리뷰] An introduction to Casimir bilinear pairings and some arithmetic applications

Carlos Rivera-Guaca, Guillermo Mantilla-Soler|arXiv (Cornell University)|2018. 12. 07.

Advanced Topics in Algebra인용 수 1

한 줄 요약

이 논문은 리 대수의 불변량에서 영감을 얻은 새로운 산술 도구인 카시미르 쌍형(Casimir pairing)을 도입하여, 기본 판별식을 가진 완전 실수 수체에서 정수 추적을 완전한 불변량으로 연구한다. 이는 기본 판별식을 가진 완전 실수 수체에서 정수 추적은 필드를 유일하게 결정하며, 비이차적 경우는 등급이 자명하고, 이차적 경우는 갈루아에 의해 유도된 대칭성을 가지며, 또한 차수 $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$에 대해 이러한 수체가 추적 형식에 의해 동형류에 따라 결정된다는 뜻이다.
• 카시미르 쌍형은 이 결과들을 증명하는 데 쓰이는 새로운 산술 도구로서, 수학에서 이전에 다뤄지지 않은 개념으로 보인다.
• 카시미르 쌍형은 추적 형식과 그 불변량을 체계적으로 분석할 수 있는 방법을 제공하며, 산술기하학과 대수적 수론 분야에 광범위한 응용 가능성이 있다.