[논문 리뷰] Infinite products in number theory and geometry

Jan Hendrik Bruinier|ArXiv.org|2004. 04. 23.

Analytic Number Theory Research참고 문헌 57인용 수 5

한 줄 요약

이 논문은(signature (2,ℓ)인 정렬군에 대한 모듈라 형식인) 특수한 무한곱인 Borcherds 곱을 도입하고, 이를 힐베르트 모듈라 표면에 적용한다. 이러한 곱을 활용해 기하학적 및 수론적 결과를 도출하며, 특히 산술적 교차 수와 Faltings 높이에 대한 명시적 공식을 유도한다. 이는 그린 함수와 제타 함수의 도함수를 통해 모듈라 형식과 산술기하학을 연결한다.

ABSTRACT

We give an introduction to the theory of Borcherds products and to some number theoretic and geometric applications. In particular, we discuss how the theory can be used to study the geometry of Hilbert modular surfaces.

연구 동기 및 목표

• Borcherds 곱 이론을 개발하고 응용하여 힐베르트 모듈라 표면의 기하학을 연구한다.
• 무한곱 모듈라 형식과 산술 표면 위의 산술적 교차 이론 사이의 연결 고리를 확립한다.
• Borcherds 곱과 그린 함수를 사용하여 산술적 교차 수와 Faltings 높이를 계산한다.
• 크라머, 쿠다, 마야요-로에슬러의 깊은 추측들에 대한 증거를 제공한다.
• 모듈라 곡선과 레벨 구조에 대한 결과들을 특별한 특이점을 가진 산술 표면으로 일반화한다.

제안 방법

• 지정된 영과 극을 가진 모듈라 형식으로서의 Borcherds 곱을 무한곱 전개를 통해 구성한다.
• 무게 −1/2의 약한 헬로모르픽 모듈라 형식 이론을 활용하여 분할 함수와 아이젠슈타인 급수를 연결한다.
• 그린 함수와 그 스타 곱을 사용하여 산술적 교차 수의 아르히메데스 성분을 계산한다.
• 모듈라 곡선 X₀(p)에서 히르체브루흐-자지에르 나눔으로의 정규화 및 비특이 사상에 의해 유한한 자리 기여를 감소시킨다.
• 산술 다양체의 산술 체적 공식을 사용하여 기하적 교차 수와 제타 함수 도함수를 결합한다.
• 최소 정규 모델과 레벨 구조(예: 전체 레벨 N)에 이론을 적용하여 Z[ζ_N, 1/N] 위에서 잘 정의된 산술적 교차 수를 확보한다.

실험 결과

연구 질문

• RQ1 Borcherds 곱은 어떻게 힐베르트 모듈라 표면에서 산술적 교차 수를 계산하는 데 사용될 수 있는가?
• RQ2 모듈라 형식의 맥락에서, 나눔의 기하적 교차와 산술적 교차 수 사이의 관계는 무엇인가?
• RQ3 그린 함수와 그 적분은 아르히메데스 자리에서 산술적 교차 수 계산에 어떻게 기여하는가?
• RQ4 Borcherds 곱은 제타 함수 도함수와 L-함수의 특별한 값에 대한 추측에 대해 어떤 증거를 제공하는가?
• RQ5 레벨 구조는 특이점을 해결하고 전역체 위에서 산술적 교차 수를 정의하는 데 어떻게 활용될 수 있는가?

주요 결과

• 최소 정규 모델에서 힐베르트 모듈라 표면의 선다발 M_k^3의 산술적 자기교차 수는 유한성 기여와 아르히메데스 기여의 조합을 통해 계산된다.
• 아르히메데스 기여는 그린 함수의 적분으로 표현되며, 이는 ζ′(−1)/ζ(−1)와 일반화된 나눗셈 합 σ_m(−1)을 포함하는 합으로 감소된다.
• 히르체브루흐-자지에르 나눔 T(m)의 Faltings 높이는 k², T(m)의 체적, 그리고 σ_m(s)의 s = −1에서의 로그 도함수를 포함하는 공식으로 주어진다.
• 기하적 교차 A(τ)·c₁(M_k(C))가 산술적 교차  Â(τ)·ĉ₁(ℳ_k)²에 비례한다는 것이 밝혀져, 기하학적 및 산술적 불변량 사이의 깊은 연결 고리를 시사한다.
• 유한성 기여와 아르히메데스 기여가 정확히 맞물려, p 위의 섬유 기여를 제외한 완전한 공식을 도출한다. 이 기여는 Borcherds 곱을 다양하게 조정함으로써 해결될 수 있다.
• 전체 레벨 N의 구조를 사용하면 산술적 교차 수가 R_N = R / ⟨∑_{p|N} Q·log p⟩ 안에서 정의된 실수 벡터 공간에서 잘 정의되며, 비자명한 자명변환을 가진 모듈리 문제를 해결한다.