[논문 리뷰] Infinite global fields and the generalized Brauer--Siegel theorem

M. A. Tsfasman, Serge Vlăduţ|ArXiv.org|2002. 05. 13.

Coding theory and cryptography참고 문헌 27인용 수 5

한 줄 요약

이 논문은 수체 또는 함수체의 탑승 구조의 극한으로서의 무한 전역체 이론을 개발하며, 이러한 체에 대한 불변량과 제타함수를 도입한다. 표준 가정 $ n / \log\sqrt{|D|} \to 0 $을 제거함으로써 브라우어-시겔 정리를 일반화하고, 비분할 탑승 구조를 포함한 경우에 대해 $ \log hR / \log\sqrt{|D|} $의 점근적 경계를 증명하며, 이 가정이 필수적임을 보여주는 예시를 제시함으로써 조정자 및 아이디얼 수 경계를 개선한다.

ABSTRACT

The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of ${\mathbb{Q}}$ or of ${\mathbb{F}}_r(t)$. We produce a series of invariants of such fields, and we introduce and study a kind of zeta-function for them. Second, for sequences of number fields with growing discriminant we prove generalizations of the Odlyzko--Serre bounds and of the Brauer--Siegel theorem, taking into account non-archimedean places. This leads to asymptotic bounds on the ratio ${{\log hR}/\log\sqrt{| D|}}$ valid without the standard assumption ${n/\log\sqrt{| D|}} o 0,$ thus including, in particular, the case of unramified towers. Then we produce examples of class field towers, showing that this assumption is indeed necessary for the Brauer--Siegel theorem to hold. As an easy consequence we ameliorate on existing bounds for regulators.

연구 동기 및 목표

• 무한 전역체에 대한 기초 이론을 수립하며, 불변량과 제타함수를 포함하여 그 점근적 산술적 성질을 연구한다.
• growing 판별식을 갖는 수체의 수열에 대해 고전적 브라우어-시겔 정리를 $ n / \log\sqrt{|D|} \to 0 $ 라는 가정 없이 일반화한다.
• 비분할 체계탑 구조를 포함한 경우에 브라우어-시겔 비율 $ \log hR / \log\sqrt{|D|} $ 의 점근적 경계를 수립한다.
• 표준 가정이 필요함을 보여주는 무한 전역체의 구체적 예시(예: 비분할 2-탑)를 제작함으로써 고전 정리에서의 가정의 필수성을 입증한다.
• 비아르키메데스적 자리 분석과 명시적 공식을 활용하여 조정자 및 아이디얼 수 경계를 향상시킨다.

제안 방법

• 수체의 계수를 $ g = \log\sqrt{|D|} $ 로 정의하고, 함수체의 경우 기저 곡선의 계수를 사용하며, 일관된 로그 기저를 통해 결과를 통합한다.
• 유한 확장의 제타함수의 극한을 통해 무한 전역체에 대한 제타함수를 도입하고, 그 해석적 성질을 분석한다.
• 명시적 공식과 소정의 자리 수에 대한 추정치를 활용하며, 리만 가설(GRH)과 조건 없이도 적용 가능한 추정치를 사용한다.
• 명시적 공식에서 유도된 부등식을 활용하여 소정의 자리 수의 수를 최적화하여 브라우어-시겔 비율을 제약한다.
• 비분할 탑승 구조(예: 마르티네의 체)를 통해 무한 전역체의 예를 제작하고, 정밀한 추정치를 사용하여 브라우어-시겔 비율의 상한과 하한을 계산한다.
• 제타함수의 아델 적분 표현을 활용하고 추정치를 정밀화하여 GRH 하에서 및 조건 없이 효과적인 경계를 도출한다.

실험 결과

연구 질문

• RQ1 비분할 탑승 구조의 경우에 $ n / \log\sqrt{|D|} \not\to 0 $ 인 수체 수열에 대해 브라우어-시겔 정리를 일반화할 수 있는가?
• RQ2 일반화된 리만 가설(GRH)을 가정하지 않고도 점근적으로 정확한 수체 가족에 대해 브라우어-시겔 비율이 잘 정의되는가?
• RQ3 무한 전역체, 특히 비분할 탑승 구조의 경우에 브라우어-시겔 비율의 최고의 상한 및 하한은 무엇인가?
• RQ4 명시적인 오차 항을 포함한 일반화된 브라우어-시겔 정리의 효과적 형태를 도출할 수 있는가?
• RQ5 브라우어-시겔 비율이 이전에 알려진 경계를 초과하거나 미만인 체계탑의 예가 존재하는가?

주요 결과

• 논문은 $ n / \log\sqrt{|D|} \to 0 $ 가정 없이도 특정 수체 가족에 대해 브라우어-시겔 비율 $ \log hR / \log\sqrt{|D|} $ 가 약 0.7108 이하로 유계임을 증명한다.
• 실수 마르티네의 체 $ K = \mathbb{Q}(\sqrt{2}, \sqrt{3\cdot5\cdot7\cdot23\cdot29}) $ 의 비분할 2-탑승 구조에 대해 브라우어-시겔 비율이 $ (0.8009, 0.9248) $ 구간 내에 있음을 보이며, 비분할 환경에서 비자명한 행동을 보임을 입증한다.
• 저자들은 고전적 브라우어-시겔 정리에서 표준 가정 $ n / \log\sqrt{|D|} \to 0 $ 이 필수적임을 입증하기 위해, 비율이 1로 수렴하지 않는 예시(예: 비분할 탑승 구조)를 제작함으로써 이를 입증한다.
• 소정의 자리 수에 대한 최적화를 통해 개선된 가정 하에서 브라우어-시겔 비율의 상한을 약 0.623 으로 도출하였으며, 이는 이전 추정치를 향상시킨다.
• 논문은 점근적으로 정확한 가족에 대해 브라우어-시겔 비율에 대한 조건 없는 상한을 제공하며, 정밀한 기법을 활용하면 유사한 하한도 확립할 수 있을 것이라 추측한다.
• 효과적인 일반화된 브라우어-시겔 정리의 형태를 제안하며, 제타함수의 아델 적분 표현에서 추정치를 정밀화함으로써 나머지 항을 향상시킬 수 있다.