[논문 리뷰] Formes automorphes et theoremes de Riemann-Roch arithmetiques

Vincent Maillot, Damian Rössler|ArXiv.org|2008. 06. 10.

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

한 줄 요약

이 논문은 산술 리만-로흐 정리와 산술 레프셰츠 추적 공식을 사용하여 세 가닥의 자동형식에 대한 산술기하학적 기원을 확립한다. Yoshikawa의 시에겔 모듈라 형식과 이구사 유형의 형식이 기저 공간에 정수 모델이 존재할 경우 대수적이고 정수적임을 증명하며, 고정점이 없는 변환을 가진 K3 표면 모듈리 공간 위의 특정 자동형식이 산술 기하학적으로 유래됨을 보이며, 보르체르스의 $Φ$-함수들이 산술 기원을 가짐을 확인한다.

ABSTRACT

Nous construisons trois familles de formes automorphes au moyen du theoreme de Riemann-Roch arithmetique et de la formule de Lefschetz arithmetique. Deux de ces familles ont deja ete construites par Yoshikawa et notre construction met en lumiere leur origine arithmetique. ----- We construct three families of automorphic forms following the arithmetic Riemann-Roch theorem and the arithmetic Lefschetz formula. Two of these families were already constructed by Yoshikawa and our construction illuminates their arithmetic origin.

연구 동기 및 목표

• 해석적 표현을 가진 세 가닥의 자동형식에 대한 산술기하학적 해석을 제공한다.
• 기저 공간이 정수 모델을 가질 경우 이러한 자동형식이 대수적이고 정수적임을 확립한다.
• 이전에 해석적으로 구성된 요시카와의 시에겔 모듈라 형식과 이구사 유형의 형식의 산술 기원을 명확히 한다.
• 고정점이 없는 변환을 가진 K3 표면 모듈리 공간 위의 자동형식이 보르체르스의 $Φ$-함수와 일치하고 산술 기하학에서 기인함을 보인다.
• 미래의 악화된 환원 하에서 모듈라 형식의 열화를 다룰 수 있도록 유한 피보리에 이상성이 허용되는 산술 레프셰츠 추적 공식의 추측적 확장 제안

제안 방법

• 도수 1의 산술 리만-로흐 정리를 사용하여 캐논리컬 메트릭을 가진 산술 선다발에서 자동형식을 구성한다.
• 산술 레프셰츠 추적 공식을 적용하여 코homology 위의 자기형사상의 추적을 고정점 집합 위의 기하학적 자료와 연결한다.
• 세 가닥의 자동형식을 구성한다: (1) 요시카와의 구성에 의한 시에겔 모듈라 형식, (2) 테타 상수의 곱으로서의 이구사 유형의 형식, (3) 정수 선다발 계수를 가진 K3 모듈리 공간 위의 자동형식.
• 차수 계산을 통해 체른 클래스와 초위상 이론을 이용해 테타 배경의장의 주요 기하 성질을 확립하기 위해 가우스 사상과 그 차수를 활용한다.
• 선다발 위의 모레-베일리 메트릭과 아벨 스킴 위의 유도된 켈러 구조를 사용하여 산술 특성류를 정의한다.
• μ_n-등변 구조와 국소화된 역원을 가진 그로텐디크 군을 사용하여, 피보리에 이상성이 허용되는 추측적 산술 레프셰츠 공식을 도입한다.

실험 결과

연구 질문

• RQ1 요시카와의 시에겔 모듈라 형식의 해석적 구성이 산술 리만-로흐 정리와 레프셰츠 추적 공식을 통해 산술기하학적 기원을 가질 수 있는가?
• RQ2 기저 공간에 정수 모델이 존재할 경우, 짝수 테타 상수의 곱으로서 구성된 이구사 유형의 모듈라 형식은 대수적이고 정수적인가?
• RQ3 고정점이 없는 변환을 가진 K3 표면 모듈리 공간 위의 자동형식은 산술 기하학에서 기인하는가, 그리고 보르체르스의 $Φ$-함수와 일치하는가?
• RQ4 모듈리 공간의 맥락에서 자동형식의 정수성과 대수성을 증명하는 데 산술 리만-로흐 정리가 수행하는 역할은 무엇인가?
• RQ5 산술 레프셰츠 추적 공식은 피보리에 이상성을 허용하도록 확장될 수 있는가, 그리고 악화된 환원 하에서 모듈라 형식의 열화에 대해 그 의미는 무엇인가?

주요 결과

• 기저 공간이 정수 모델을 가질 경우 요시카와가 구성한 첫 번째 시에겔 모듈라 형식 가닥이 대수적이고 정수적임을 증명하며, 요시카와의 푸리에 계수에 관한 추측의 약한 형태를 입증한다.
• 두 번째 가닥, 짝수 테타 상수의 곱으로서의 이구사 유형의 형식은 동일한 산술기하학적 기반을 통해 대수적이고 정수적임이 증명된다.
• 세 번째 가닥, 고정점이 없는 변환을 가진 K3 표면 모듈리 공간 위의 자동형식은 보르체르스의 $Φ$-함수와 일치하며 산술 기원을 가짐을 보였다.
• 논문은 섹션 $t$의 $L^2$-노름을 포함하는 핵심 항등식을 증명하며, $|t|_{L^2}^{-1/(4\kappa)}$ 가 산술 특성류의 곱과 산술 선다발의 첫 번째 체른 클래스를 포함한 지수항의 곱과 같음을 보였다.
• 악화된 환원 하에서 모듈라 형식의 열화를 다룰 수 있도록, 피보리에 이상성이 허용되는 산술 레프셰츠 추적 공식의 추측적 확장이 제안되었으며, 이는 수체에서 정의된 변환을 가진 K3 표면이 유한 소수에서 악화된 환원을 겪을 경우 특히 중요하다.
• 가우스 사상의 차수는 $g!$ 로 계산되었으며, 이는 사상이 일반적으로 유한함을 확인하고 자동형식 구성의 기하학적 기초를 제공한다.