[논문 리뷰] K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: the structure of invariant

Shouhei Ma, Kenichi Yoshikawa|arXiv (Cornell University)|2015. 06. 01.

Advanced Algebra and Geometry참고 문헌 26인용 수 5

한 줄 요약

이 논문은 $K3$ 표면의 표면에 대한 호로모르픽 토파스 불변량 $\tau_M$ 의 구조를 완전히 규명하여, 각 성분에서 이가 보르체르스 상승과 고전적 시겔 모듈라 형식의 곱임을 보여준다. 이는 비틀린 형태의 모듈라리티를 증명하고, 보르체르스의 추측에 대한 등변적 일반화를 수립하며, 위일 표현과 심플렉틱 상승을 통해 명시적인 자동형 표현을 제공한다.

ABSTRACT

A holomorphic torsion invariant of K3 surfaces with involution was introduced by the second-named author. In this paper, we completely determine its structure as an automorphic function on the moduli space of such K3 surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds' conjecture.

연구 동기 및 목표

• 2-요소적 $K3$ 표면의 모듈리 공간 위에서 호로모르픽 토파스 불변량 $\tau_M$ 의 자동형 함수로서의 구조를 완전히 규명하는 것.
• 모듈리 공간의 각 연결 성분에서 $\tau_M$ 가 보르체르스 상승과 고전적 시겔 모듈라 형식의 곱으로 명시적으로 표현되는 것.
• 모듈라리티를 증명하고 고유성 및 자동형 형식과의 연결 고리를 확립하기 위해 $\tau_M$ 의 비틀린 형태를 도입하고 증명하는 것.
• 이러한 구조를 바탕으로 보르체르스 추측의 등변적 일반화를 제안하고 증명하는 것.
• 실수 $K3$ 표면과 스피너 번들 관점에서 결과에 대한 거울 대칭적 해석을 제공하는 것.

제안 방법

• K3 격자에서의 수직 보완 $\rho = M^\bot$ 의 판별군 $A_\rho$ 와 관련된 위일 표현 $\rho_\rho$ 의 사용.
• 군환 ${\bf C}[A_\rho]$ 내의 벡터 ${\bf e}_0$ 와 페테르손 슬래시 연산자를 이용한 모듈라 형식 $F_\rho$ 의 구성.
• 페테르손 상승을 $F_\rho$ 에 적용하여 무한곱 전개를 가진 유리형 자동형 형식 $\Psi_\rho(\cdot, F_\rho)$ 를 생성하는 것.
• 토렐리 사상 $J_M: \tilde{\frak M}_\rho^0 \to \mathcal{A}_g$ 를 통한 시겔 모듈라 형식의 페테르손 노름의 인플로우, 각각 무게 $2^{g+1}(2^g+1)$ 과 $2(2^g-1)(2^g+2)$.
• 스피너 번들 구성과 고정 곡선 $X^\rho$ 위에서 디랙 연산자 $D_{S_\rho}^2$ 를 돌베오르트 연산자와 동일시하여 분석적 토파스를 $\tau_M^{\rm spin}$ 과 연결하는 것.
• 초등각 기하학적 구조와 실수 $K3$ 표면 위의 반해석적 표면에 의한 거울 대칭적 해석의 수립.

실험 결과

연구 질문

• RQ1 호로모르픽 토파스 불변량 $\tau_M$ 는 2-요소적 $K3$ 표면의 모듈리 공간 위에서 어떤 자동형 함수로 표현될 수 있는가?
• RQ2 $\tau_M$ 는 보르체르스 상승과 시겔 모듈라 형식의 관계에서 어떻게 정확히 분해되는가?
• RQ3 모듈라리티를 유지하는 $\tau_M$ 의 비틀린 형태가 존재하는가? 만약 존재한다면, 그 고유성은 어떠한가?
• RQ4 이러한 구조를 바탕으로 보르체르스 추측의 등변적 일반화를 제안하고 증명할 수 있는가?
• RQ5 표면에 대한 거울 대칭은 $K3$ 표면의 표면에 대한 분석적 토파스 불변량과 어떻게 관련되는가?

주요 결과

• 모듈리 공간의 각 성분에서 $\tau_M$ 는 $C_M \cdot \|\Psi_\rho(\cdot, 2^{g-1}F_\rho + f_\rho)\|^{-1/2}$ 로 표현되며, 여기서 $\Psi_\rho$ 는 보르체르스 상승이고 $f_\rho$ 는 특정한 모듈라 형식이다.
• 비틀린 호로모르픽 토파스 불변량은 모듈라리티를 가지며, 자동형 성질에 의해 유일하게 결정되며, 이는 해당 시겔 모듈라 형식에 대한 고유성 결과를 증명한다.
• $\tau_M$ 의 구조는 명시적으로 보르체르스 상승과 고전적 시겔 모듈라 형식의 곱으로 주어지며, 2-요소적 $K3$ 표면의 비예외적 유형에 대해 항상 성립한다.
• 이 결과는 $\tau_M$ 의 완전한 자동형 기술을 수립하여, 모듈리 공간 위에서의 기능적 구조를 해결한다.
• 실수 $K3$ 표면를 통해 거울 대칭적 해석을 확보하였으며, 여기서 $\tau_M^{\rm spin}$ 은 복소화 켈러 콩 내의 점에서 평가된 보르체르스 상승으로 표현된다.
• 증명은 디랙 연산자 $D_{S_\gamma}^2$ 가 고정 곡선 위에서 돌베오르트 연산자와 동일시됨을 이용하여, 분석적 토파스를 스펙트럼 제타 함수와 연결한다.