[논문 리뷰] Jacobian elliptic fibrations on a special family of K3 surfaces of Picard rank sixteen

Adrian Clingher, Thomas J. Hill외 1명|arXiv (Cornell University)|2019. 08. 26.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 4

한 줄 요약

이 논문은 $H \oplus E_7(-1) \oplus E_7(-1)$에 의해 극화된 피카르 계수 16인 특수한 K3 표면의 가족에서, 유형 IV의 유계 대칭 도메인 위의 모듈라 형식을 사용하여 네 개의 서로 동치가 아닌 임의의 야코비안 타원적 다발에 대해 명시적인 바이어슈트라스 모델을 구축한다. 이 구축은 두 개의 윌슨 라인을 가진 8차원에서 F-이론/헤타로틱 이중성의 기하학적 실현을 제공한다.

ABSTRACT

We study a special family of K3 surfaces polarized by the rank-sixteen lattice $H \oplus E_7(-1) \oplus E_7(-1)$. A generic member of this family admits exactly four inequivalent Jacobian elliptic fibrations. Explicit Weierstrass models for these fibrations are determined using modular forms on a suitable bounded symmetric domain of type $IV$. Our construction also provides a geometric interpretation for the F-theory/heterotic string duality in eight dimensions with two Wilson lines.

연구 동기 및 목표

• 특수한 피카르 계수 16인 K3 표면의 가족의 기하학을 연구한다. 이 표면들은 $H \oplus E_7(-1) \oplus E_7(-1)$에 의해 극화된다.
• 이 가족의 일반적인 원소 위에서 서로 동치가 아닌 모든 야코비안 타원적 다발을 규명한다.
• 유계 대칭 도메인의 유형 IV 위의 모듈라 형식을 사용하여 이러한 다발에 대한 명시적인 바이어슈트라스 모델을 구축한다.
• 두 개의 윌슨 라인을 가진 8차원에서 F-이론/헤타로틱 이중성을 기하학적으로 해석한다.

제안 방법

• K3 표면의 네론-세베르 계량의 호지 이론적 구조를 활용하여 네 개의 서로 동치가 아닌 야코비안 타원적 다발의 존재를 식별한다.
• 유형 IV의 유계 대칭 도메인 위의 모듈라 형식을 사용하여 다발의 바이어슈트라스 모델을 구축한다.
• 주기 함수의 모듈라성을 활용하여 다발이 대수적이고 수체 위에서 정의됨을 보장한다.
• $E_7(-1) \oplus E_7(-1)$ 루트 계량의 기하학을 활용하여 다발의 특이 섬유와 단일화군을 제약한다.
• 보르헤르츠 곱과 반사적 모듈라 형식 이론을 적용하여 바이어슈트라스 모델의 정수성과 최소성 검증

실험 결과

연구 질문

• RQ1 피카르 계량이 $H \oplus E_7(-1) \oplus E_7(-1)$인 일반적인 K3 표면은 몇 개인가? 서로 동치가 아닌 야코비안 타원적 다발을 수용하는가?
• RQ2 이 다발에 대한 명시적인 바이어슈트라스 모델은 무엇이며, 어떻게 유형 IV의 유계 대칭 도메인 위의 모듈라 형식을 사용하여 구축할 수 있는가?
• RQ3 이 다발은 두 개의 윌슨 라인을 가진 8차원에서 F-이론/헤타로틱 이중성을 어떻게 실현하는가?
• RQ4 유형 IV의 유계 대칭 도메인은 다발을 매개변수화하는 데 어떤 역할을 하는가?

주요 결과

• 이 가족의 일반적인 원소는 정확히 네 개의 서로 동치가 아닌 야코비안 타원적 다발을 수용하며, 이는 K3 표면 위의 서로 다른 타원적 구조에 해당한다.
• 모든 네 개의 다발에 대해 명시적인 바이어슈트라스 모델이 유형 IV의 유계 대칭 도메인 위의 모듈라 형식을 사용하여 구축되었다.
• 다발은 특이 섬유가 $E_7$ 루트 체계의 구조를 반영하며, 단일화군이 모듈라 데이터에 암묵적으로 포함된 기하학적 실현을 한다.
• 이 구축은 두 개의 윌슨 라인을 가진 8차원에서 F-이론/헤타로틱 이중성의 완전하고 기하학적인 실현을 제공하며, 이중성은 K3 표면의 모듈라 성질과 연결된다.