[논문 리뷰] The ring of modular forms for the even unimodular lattice of signature (2,10)

Kenji Hashimoto, Kazushi Ueda|arXiv (Cornell University)|2014. 06. 02.

Advanced Algebra and Geometry참고 문헌 6인용 수 12

한 줄 요약

이 논문은 (2,10) 부호를 가진 짝수 미결정 격자에 대한 특성을 가진 모듈라 형식의 링의 구조를 결정하며, 이 링이 무게 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42 및 252인 형식들에 의해 생성되며, 무게 504인 관계 하나를 가짐을 증명한다. 증명은 대칭 도메인의 오비폴드 몫과 가중 투영 공간 위의 루트 스택 구조 간의 이중형 사상(비형식적 사상)을 사용하여, 코디멘션 하나에서의 동형을 확립하고, 캐논리컬 번들의 분석과 피카르 군 분석을 통해 링의 구조를 계산한다.

ABSTRACT

We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of $\mathrm{SL}(V)$ by adding a Borcherds product of weight 132 with one relation of weight 264, where $V$ is a 2-dimensional $\mathbb{C}$-vector space. The proof is based on the study of the moduli space of elliptic K3 surfaces with a section.

연구 동기 및 목표

• 짝수 미결정 격자 (2,10)의 특성을 가진 모듈라 형식의 등급 링의 완전한 구조를 결정하는 것.
• 대칭 도메인의 오비폴드 몫과 가중 투영 공간 위의 루트 스택 간의 이중형 동치를 확립하는 것.
• K3 곡면의 모듈리 공간에 대한 기하학적 및 코homological 기법을 사용하여 모듈라 형식 링의 생성자와 정의 관계를 규명하는 것.

제안 방법

• 대칭 도메인 D와 이산군 Γ의 몫 D/Γ로서 T2,3,7-극성 K3 곡면의 계량 모듈리 공간 M을 구성한다.
• 계량 모듈리 공간 간의 주기 사상(Period map)을 오비폴드 M과 T∗ 사이의 매끄럽지 않은 사상으로 올리며, 여기서 T∗는 가중 투영 공간 P(w) 위의 루트 스택이다.
• 무게 504인 초면 HP에 沿해 차수 2의 루트 스택 구조를 사용하여 오비폴드 T∗를 모델링하며, 이는 Γ의 특성 구조를 포착한다.
• 캐논리컬 번들의 분할 공식을 적용하여 판별자 초면 ∆T의 차수를 계산하여 deg ∆T = 504를 도출한다.
• Pic T∗를 Z⊕Z/2Z로 식별하며, 이는 OP(1)의 역상과 tautological bundle OT∗(HT∗)에 의해 생성되며, OT∗(HT∗)⊗2 ∼= p∗OP(HP)를 만족한다.
• Pic M ≅ Pic T∗의 동형과 관계 s² = ∆T를 사용하여, 모듈라 형식 링이 지정된 무게를 가진 형식들에 의해 생성되며, 무게 504의 관계 하나를 가짐을 결론짓는다.

실험 결과

연구 질문

• RQ1 짝수 미결정 격자 (2,10)의 특성을 가진 모듈라 형식 링의 완전한 구조는 무엇인가?
• RQ2 대칭 도메인의 오비폴드 몫은 가중 투영 공간 위의 루트 스택 구조와 어떻게 관련이 있는가?
• RQ3 모듈라 형식 링의 관계를 정의하는 판별자 초면 ∆T의 차수는 얼마인가?
• RQ4 모듈리 공간의 캐논리컬 번들과 루트 스택 위의 tautological 선다발 간의 관계는 무엇인가?
• RQ5 특성군 Z/2Z는 모듈라 형식 링의 구조에서 정확히 어떤 역할을 하는가?

주요 결과

• 짝수 미결정 격자 (2,10)의 특성을 가진 모듈라 형식 링은 무게 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42 및 252인 형식들에 의해 생성된다.
• 링에는 유일한 정의 관계가 존재하며, 이는 가중 투영 공간 P(w)의 초면 HP의 정의 방정식에서 유래된 무게 504의 관계이다.
• 판별자 초면 ∆T의 차수는 정확히 504이며, 루트 스택 T∗에서 캐논리컬 번들의 분할 공식을 통해 계산되었다.
• 모듈리 공간 M의 피카르 군은 Z⊕Z/2Z와 동형이며, 자유 부분은 OP(1)의 역상에 의해 생성되고, 토파스 부분은 tautological bundle OT∗(HT∗)에 의해 생성된다.
• 오비폴드 T∗와 M 사이의 이중형 사상은 T∗가 특이점을 지닌 반면 M은 매끄럽기 때문에, 코디멘션 하나에서의 동형임에도 불구하고, 이는 성립한다.
• 링의 관계는 ∆T(t) = k(t)/r(t)³의 형태를 가지며, 여기서 k(t)는 판별자이고 r(t)는 다항식 g2와 g3의 결과식(resultant)이다.