[논문 리뷰] On a question of Perlis and Stuart regarding arithmetic equivalence

Guillermo Mantilla-Soler|arXiv (Cornell University)|2018. 07. 09.

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

한 줄 요약

이 논문은 Perlis와 Stuart가 제기한 질문을 해결한다: 산술적으로 동치인 수체가 각 소수에서의 분해도수의 합이 항상 같은가? 이는 치수 7인 수체에 대해, 잔여도수 유형이 (1,3), (1,1,2), 또는 (1,1,1,2)가 아닌 한, 이 합이 보존됨을 증명한다. 반면 이러한 유형에서는 반례가 존재한다. 결과는 날카롭게 성립함이 입증되었으며, 이는 이러한 경우에 서로 동형이 아니면서 분해도수 합이 다른 산술적으로 동치인 수체의 명시적 구성에 의해 보여진다.

ABSTRACT

Let $K$ be a number field. The $K$-arithmetic type of a rational prime $\ell$ is the tuple $A_{K}(\ell)=(f^{K}_{1},...,f^{K}_{g_{\ell}})$ of the residue degrees of $\ell$ in $K$, written in ascending order. A well known result of Perlis from the 70's states that two number fields have the same Dedekind zeta function if and only if for almost all primes $\ell$ the arithmetic types of $\ell$ in both fields coincide. By the end of the 90's Perlis and Stuart asked if having the same zeta function implies that for ramified primes the sum of the ramification degrees coincide. Here we study and answer their question for septic number fields.

연구 동기 및 목표

• 산술적으로 동치인 수체가 각 소수에서 분해도수의 합이 항상 같은가를 판단하는 것.
• 산술 동치성 하에서 치수 7인 수체의 분해도수 행동을 조사하는 것.
• 동일한 잔여도수를 가짐에도 불구하고 분해도수 합이 다를 수 있는 정확한 조건을 규명하는 것.
• 분해도수 합의 동일성이 실패하는 조건의 날카움을 보여주는 명시적 반례를 구성하는 것.

제안 방법

• 산술 동치성과 그 가osl러스 코어의 쌍대군의 준동형성 간의 동치성을 사용한다.
• 군론적 기법을 적용하여 치수 7인 수체에서의 분해도수 및 잔여도수 패턴을 분석한다.
• 컴퓨터 대수 시스템(MAGMA)을 활용하여 다항식으로 정의된 수체의 인수분해 유형과 판별식을 검증한다.
• 소수의 개수와 잔여도수에 따라 가능한 산술 유형을 분류하고, 분해도수 합의 불일치가 가능한 경우에 집중한다.
• 산술적으로 고립적이지 않은 치수 7인 수체는 그 가osl러스 코어의 갈루아 군이 PSL₂(𝔽₇)임을 이용하여 가능한 분해도수 유형을 제한한다.
• 판별식의 2차 수렴 공식 vₗ(disc(O_K)) = [K:ℚ] − Σfᵢ를 활용하여 잠재적 반례의 경우에 가능한 판별식 지수를 제약한다.

실험 결과

연구 질문

• RQ1 산술 동치성은 각 소수에서 분해도수의 합이 동일하다는 것을 의미하는가?
• RQ2 산술적으로 동치인 치수 7인 수체 중에서 주어진 소수에서 총 분해도수가 다른 경우가 존재하는가?
• RQ3 치수 7인 수체에서 어떤 잔여도수 유형이 산술 동치성 하에서도 분해도수 합의 차이를 허용하는가?
• RQ4 야생 분해도수와 갈루아 군의 구조는 잠재적 반례에 어떤 제약을 가하는가?
• RQ5 산술 유형이 동일함에도 불구하고 분해도수 합이 다를 수 있는 명시적 예를 구성할 수 있는가?

주요 결과

• 치수 7인 수체에 대해, 산술적으로 동치인 수체 간에 분해도수 합은 잔여도수 유형이 (1,3), (1,1,2), 또는 (1,1,1,2)가 아닌 한 보존된다.
• 각 예외 유형에 대해 명시적 반례가 존재한다: (1,3), (1,1,2), (1,1,1,2 유형에 대해, 서로 동형이 아니면서 산술적으로 동치인 치수 7인 수체에서 분해도수 합이 다른 경우가 존재한다.
• 야생 분해도수가 아닌 소수 ℓ에 대해, 분해도수 합이 다를 경우 판별식의 2차 수렴 vₗ(disc(O_K))는 주어진 조건 하에 {2,4}에 속해야 한다.
• 야생 분해도수를 가진 소수에 대해서는 ℓ = 2와 ℓ = 3만 잠재적 반례를 낳을 수 있으며, 이러한 경우 vₗ(disc(O_K)) ∈ {6,8}이 된다.
• 결과는 날카롭다: 논문은 동일한 판별식, 서명, 인수분해 유형을 가진 치수 7인 수체 쌍을 구성하였으며, 이는 예외 유형에 대해 분해도수 합이 다를 수 있음을 보여준다.
• 산술적으로 고립적이지 않은 치수 7인 수체는 반드시 갈루아 군이 PSL₂(𝔽₇)여야 하며, 이는 가능한 분해도수 유형을 제한하고 {(1,2,2),(3,1,1)}과 같은 구성은 배제한다.