[논문 리뷰] Reconstructing global fields from Dirichlet L-series

Gunther Cornelissen, Bart de Smit외 3명|arXiv (Cornell University)|2017. 06. 14.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 6

한 줄 요약

이 논문은 두 개의 전역체가 서로 동형임을 보여주며, 그들의 딜리클레 캐릭터 군 사이에 모든 관련 L급수를 보존하는 군 동형사상이 존재할 때이고 그때에만 성립한다. 증명은 계급체론, 츄바테브 밀도 정리, 그룬발트-왕 정리, 그리고 표현 이론을 사용하며, L급수 자료로부터 전역체를 완전히 재구성하는 결과를 제공한다. 특히, 갈루아 군의 단항 표현을 사용함으로써 수체의 경우 더 강력한 결과를 도출한다.

ABSTRACT

We prove that two global fields are isomorphic if and only if there is an isomorphism of groups of Dirichlet characters that preserves L-series.

연구 동기 및 목표

• 전역체가 그들의 딜리클레 L급수로부터 재구성될 수 있는가를 규명하는 것.
• 제타 함수나 아벨화 갈루아 군만으로는 비동형인 전역체를 구별하지 못할 때의 모호성을 해결하는 것.
• 딜리클레 캐릭터와 관련된 전체 L급수 체계를 이용해 전역체에 대한 완전한 불변량을 확립하는 것.
• 캐릭터 군의 동형사상과 함께 L급수 자료가 전역체의 동형류에 대해 유일하게 결정됨을 증명하는 것.
• 기존의 산술 등가성 결과를 확장하여, 캐릭터 군의 동형사상 하에서 L급수 보존이 전역체 동형을 암시함을 보이는 것.

제안 방법

• 계급체론을 사용하여 딜리클레 캐릭터를 아벨 확장과 상호관계화하고, 재귀성 사상( reciprocity map )을 유도하는 것.
• 두 전역체의 캐릭터 군 사이에 L급수 값들을 보존하는 군 동형사상을 구성하는 것.
• 츄바테브 밀도 정리를 적용하여 아벨 확장에서 소수의 분할 행동을 비교하는 것.
• 그룬발트-왕 정리를 사용하여 주어진 갈루아 군과 분할 조건을 갖는 확장을 확보하는 것.
• 수체의 경우 표현 이론을 활용: 캐릭터를 갈루아 표현으로 유도하고, 순서가 ≥3인 군의 경우 단항 구조의 유일성을 이용하는 것.
• 함수체의 경우, 복소수의 사상과 유사하게 재귀성 사상의 핵을 통해 동형사를 구성하는 것 — 우치다의 방법을 일반화한 바탕.

실험 결과

연구 질문

• RQ1 비동형인 두 전역체가 동형 캐릭터 군과 모든 캐릭터에 대해 일치하는 L급수를 가질 수 있는가?
• RQ2 캐릭터 군의 동형사상 하에서 L급수가 보존되면 전역체의 동형이 보장되는가?
• RQ3 전역체를 L급수 자료로부터 재구성하기 위해 추가로 필요한 조건은 무엇인가?
• RQ4 왜 이 방법은 순서 2의 캐릭터에서는 실패하는가? 그리고 이는 동일한 L급수를 갖는 비동형 전역체와 어떻게 관련이 있는가?
• RQ5 이 재구성 결과를 유리 부분체를 고정하지 않은 전역 함수체로 확장할 수 있는가?

주요 결과

• 두 전역체가 서로 동형임은, 그들의 딜리클레 캐릭터 군 사이에 모든 L급수 값을 보존하는 군 동형사상이 존재할 때이고 그때에만 성립한다.
• 수체의 경우, 그 L급수가 다른 어떤 수체의 L급수와도 일치하지 않는 순서 >2의 캐릭터가 존재하므로, 더 강력한 재구성 가능성이 보장된다.
• 순서가 ≥3인 갈루아 군의 유도 표현에서 단항 구조의 유일성은 L급수 자료가 수체를 구별할 수 있음을 보장한다.
• 함수체의 경우, 재귀성 사상의 핵을 통해 동형사상을 구성하며, 이는 우치다의 접근을 일반화한 것이다.
• 이 방법은 순서 2의 캐릭터에서는 실패한다. 이는 Q(√2)와 Q(i√2)와 같은 반례로 입증되며, 이들은 동형 캐릭터 군과 일치하는 L급수를 갖지만 비동형 전역체이다.
• 논문은 함수체의 L급수는 다항식 q−s 형태를 지녀 수체의 L급수보다 더 적은 산술 정보를 담고 있음을 보여준다.