[논문 리뷰] Indefinite theta series of signature (1,1) from the point of view of homological mirror symmetry

Alexander Polishchuk|ArXiv.org|2000. 03. 13.

Advanced Algebra and Geometry참고 문헌 11인용 수 7

한 줄 요약

이 논문은 (1,1) 부호를 가진 비정적 제타 함수와 타원 곡선에 대한 호모로지 거울 대칭 사이의 연결을 수립하며, 이러한 함수가 고전적 제타 함수와 Appell의 초함수 시리즈 κ로 표현될 수 있음을 증명한다. 핵심 결과는 모듈라 비정적 제타 함수가 타원 곡선의 계수 코herent sheaf의 유도 범주에서의 보편 단일값 삼중 마싸 프로덕트와 정확히 일치한다는 것이다. 이는 표준 모듈라 형식을 이용한 명시적 유리수 표현을 제공한다.

ABSTRACT

We apply the homological mirror symmetry for elliptic curves to the study of indefinite theta series. We prove that every such series corresponding to a quadratic form of signature (1,1) can be expressed in terms of theta series associated with split quadratic forms and the usual theta series. We also show that indefinite theta series corresponding to univalued Massey products between line bundles on elliptic curve are modular.

연구 동기 및 목표

• 서명 (1,1)을 가진 이차형식과 관련된 비정적 제타 함수의 모듈라 성질을 이해하는 것.
• 이러한 모듈라 시리즈와 타원 곡선의 계수 코herent sheaf의 유도 범주에서의 단일값 삼중 마싸 프로덕트 사이의 대응을 수립하는 것.
• 비정적 제타 함수를 표준 제타 함수와 Appell의 이중 초함수 시리즈 κ로 표현하는 것.
• 호모로지 거울 대칭을 통합적 프레임워크로 삼아, 적절한 조건 하에서 이러한 시리즈가 자지 형식(Jacobi forms)임을 증명하는 것.

제안 방법

• 타원 곡선에 대한 호모로지 거울 대칭을 활용하여 코homological 구조를 모듈라 형식과 연결한다.
• 유도 범주 프레임워크를 적용하여 마싸 프로덕트가 비정적 제타 함수의 모듈라성의 근원임을 해석한다.
• 비정적 제타 함수 표현의 기본 구성 요소로 Appell 시리즈 κ(y,x;τ)를 사용한다.
• 격자 위의 유리선형 함수를 통해 일반 비정적 제타 함수를 κ와 표준 제타 함수의 조합으로 환원한다.
• 제타 함수의 성질과 모듈라 변환을 이용해 함수 방정식과 변환 법칙을 유도한다.
• SL(2,Z)와 격자 이동에 대한 변환 행동을 검증함으로써, 결과 함수가 자지 형식임을 확립한다.

실험 결과

연구 질문

• RQ1 서명 (1,1)을 가진 비정적 제타 함수가 언제 모듈라인가?
• RQ2 이러한 모듈라 시리즈는 타원 곡선의 유도 범주적 구조와 어떻게 관련되는가?
• RQ3 모든 유리뿔을 가진 비정적 제타 함수는 표준 제타 함수와 Appell 시리즈로 표현될 수 있는가?
• RQ4 단일값 삼중 마싸 프로덕트는 비정적 모듈라 제타 함수를 생성하는 데 어떤 정확한 역할을 하는가?
• RQ5 이러한 시리즈의 변환 성질은 자지 형식의 구조와 어떻게 관련되는가?

주요 결과

• 서명 (1,1)을 가진 이차형식과 유리뿔을 가진 모든 비정적 제타 함수는 표준 제타 함수와 Appell의 시리즈 κ의 유리함수로 표현될 수 있다.
• 모듈라 비정적 제타 함수는 타원 곡선의 계수 코herent sheaf의 유도 범주에서의 보편 단일값 삼중 마싸 프로덕트와 정확히 일치한다.
• 함수 F_{l,S}는 이차형식 Q+Q₀에 대해 부분격자 Λ′과 임의의 군합 Γ에 대해 무게 (d−d₀)/2 + 1인 자지 형식이다.
• Q+Q₀는 d₀ > 1일 때 양의 정부호이고, d₀ = 1일 때는 퇴화하며, 후자의 경우 단일 변수 자지 형식이 된다.
• d₁ = d₂ = 2, d₀ = 1일 때, 결과 함수 F는 제타 함수의 행렬식이며, (x₁+x₂, τ)에서 무게 2, 인덱스 2인 자지 형식이다.
• 명시적 항등식이 유도되며, F(x₁,x₂;τ)는 제타 함수의 곱과 3에 대한 비자명한 디리클레 문자 χ₃ 모듈로 3를 포함하는 시리즈의 곱과 같다.