[논문 리뷰] The transformation laws of algebraic theta functions

Luca Candelori|arXiv (Cornell University)|2016. 09. 15.

Polynomial and algebraic computation참고 문헌 3인용 수 4

한 줄 요약

이 논문은 테타 함수의 변환 법칙에 대한 대수적-기하학적 프레임워크를 제안한다. 이를 위해 테타 내림구조, 메타플레틱 스택, 반형식의 복합체를 도입하여, 아벨 스킴의 모듈리 스택 위에서 윌 번들의 자연스러운 동형사상과 쌍대 테타 상수 복합체 간의 동형사상이 존재함을 보인다. 주요 결과는 정리 4.2.1로, 고전적인 변환 법칙의 대수적 동치를 제공하며, 반정수 차수의 모듈러 형식과 벡터 값 모듈러 형식을 윌 표현을 통해 통합한다.

ABSTRACT

We give a comprehensive treatment of the transformation laws of theta functions from an algebro-geometric perspective, that is, in terms of moduli of abelian schemes. This is accomplished by introducing geometric notions of theta-descent structures, metaplectic stacks, and bundles of half-forms, whose analytic incarnations underlie different aspects of the classical transformation laws. As an application, we lay the foundations for a geometric theory of modular forms of half-integral weight and, more generally, for modular forms taking values in the Weil representation. We discuss further applications to the algebraic theory of Jacobi forms and to the theory of determinant bundles of abelian schemes.

연구 동기 및 목표

• 고전적인 테타 함수의 변환 법칙을 해석적 방법과 메타플레틱 군이 신비롭게 작용하는 '데우스 엑스 마치나'로 간주해 온 데서 벗어나, 순수하게 대수적 기하학적 해석을 제공하고자 한다.
• 명시적인 테타 함수나 그들의 영점에 대한 참조 없이도, 대수적 스택과 테타 내림 구조를 이용해 반정수 차수의 모듈러 형식 이론을 수립하고자 한다.
• 테타 함수의 해석적 변환 법칙을 기하학적 대수기하학으로 통합하기 위해, 아벨 스킴의 모듈리 스택 위에서 윌 복합체와 쌍대 테타 상수 복합체 간의 자연스러운 동형사상 수립을 목적으로 한다.
• 에이히러-자지어 동형사상의 고차원 및 일반형으로의 일반화를 통해, 아벨 스킴의 자코비 형식과 행렬식 복합체에 대한 대수적 기반을 제공하고자 한다.

제안 방법

• 아벨 스킴에 대한 더 약한 수준 구조로 '테타 내림 구조'를 도입하여, 이SONOMI에 의한 선다발의 내림을 제어할 수 있도록 한다. 이는 전체 테타 구조와는 다릅니다.
• 메타플레틱 군의 심플렉틱 군에 대한 쌍대 덮개의 기하학적 해석으로서 메타플레틱 스택을 구성하며, 반정수 차수의 모듈러 형식을 표현하는 데 필수적이다.
• 반형식 복합체를 정의하고, 테타 승수 복합체를 이용해 윌 복합체를 구성하며, 그 절단에 윌 표현이 자연스럽게 포함된다.
• 모듈리 스택 A_g,δ(짝수 유형 δ의 편광을 가진 아벨 스킴의 모듈리 스택) 위에서 윌 복합체 W_g,δ와 쌍대 테타 상수 복합체 J∨_g,δ 사이의 자연스러운 대수적 동형사상 ι_alg를 수립한다.
• ι_alg의 해석적 변환( analytification )이 리만-자비 테타 함수의 함수방정식에 의해 고전적인 테타 함수의 변환 법칙과 정확히 일치함을 증명한다.
• 주요 동형사상을 적용하여, 벡터 값 모듈러 형식의 대수적 동치를 도출하고, 에이히러-자지어 동형사상의 고차원 및 임의의 인덱스로의 일반화를 이룩한다.

실험 결과

연구 질문

• RQ1 해석적 계속성이나 복소해석학에 의존하지 않고, 순수하게 대수적 기하학적 프레임워크에서 테타 함수의 변환 법칙을 어떻게 이해할 수 있는가?
• RQ2 메타플레틱 군이 테타 함수의 변환 이론에서 수행하는 기하학적 역할은 무엇이며, 이를 스택과 선다발을 통해 어떻게 형식화할 수 있는가?
• RQ3 반정수 차수의 모듈러 형식은 테타 함수나 그들의 영점에 대한 참조 없이도, 모듈리 문제로부터 내재적으로 구성할 수 있는가?
• RQ4 윌 표현은 대수기하학에서 어떻게 자연스럽게 유도되며, 그 기하학적 실현은 모듈리 스택 위의 벡터 복합체로서 어떻게 기술될 수 있는가?
• RQ5 에이히러-자지어 동형사상에 대한 대수적 일반화는 무엇이 있으며, 자코비 형식과 반정수 차수 모듈러 형식 간의 관계를 어떻게 일반화할 수 있는가?

주요 결과

• 정리 4.2.1은 모듈리 스택 A_g,δ(짝수 유형 δ의 편광을 가진 아벨 스킴의 모듈리 스택) 위에서 윌 복합체 W_g,δ와 쌍대 테타 상수 복합체 J∨_g,δ 사이의 자연스러운 대수적 동형사상 ι_alg를 수립한다.
• ι_alg의 해석적 변환( analytification )에 C를 텐서곱한 결과는 고전적인 테타 함수의 변환 법칙과 정확히 일치하며, 이는 ι_alg가 이러한 법칙의 정확한 대수적 동치임을 증명한다.
• 이 동형사상은 반정수 차수의 모듈러 형식을 순수하게 모듈러적 방법으로 새롭게 구성할 수 있도록 하며, 숨머의 이론과 램지의 p진 동치를 고차원 및 임의의 유형으로 일반화한다.
• 이 동형사상은 에이히러-자지어 동형사상의 일반화로 특수화되며, 인덱스 m/2, 무게 k인 자코비 형식과 무게 k−1/2인 W∨_g,δ 값을 가진 모듈러 형식 간의 자연스러운 대응을 수립한다.
• 이 동형사상의 양변에 행렬식을 취하면 det(W∨_g,δ) ≃ det(J_g,δ) ⊗ ω^−d/2를 얻고, 오른쪽 항의 제곱은 행렬식 복합체 Δ_g,δ로 식별된다. 이는 Pic(A_g,δ)에서 Δ_g,δ의 차수를 계산하는 데 새로운 대수적 접근법을 제공한다.
• 행렬식 복합체 Δ_g,δ의 차수가 (det W∨_g,δ)^⊗2의 차수와 일치함을 보여주며, 이는 [8]에서의 해석적 계산과의 통합을 이룬다. 따라서 기하학적 접근과 해석적 접근이 통합됨을 보여준다.