[논문 리뷰] Lagrangian tens of planes, Enriques surfaces and holomorphic symplectic fourfolds

Igor Dolgachev, Dimitri Markushevich|arXiv (Cornell University)|2019. 06. 04.

Algebraic Geometry and Number Theory참고 문헌 53인용 수 9

한 줄 요약

이 논문은 삼차 4차곡면과 이중 EPW 6차곡면을 통해 에르니케스 표면, ℙ⁵ 내의 라그랑주 10개 평면의 10중항, 그리고 해석적 심플렉틱 4차곡면 사이에 기하학적 다리를 구축한다. 모듈리 공간이 기약임을 증명하고, 동일한 초기 자료로부터 두 개의 서로 다른 해석적 심플렉틱 4차곡면을 구성한다: 하나는 삼차 4차곡면 위의 직선의 패러미터화된 다양체로서의 파노 다양체이고, 另一个是 특이 이중 EPW 6차곡면의 최소 해소로서의 구성으로, 이러한 구성 간의 비-비라소모르피함을 보여준다.

ABSTRACT

The Fano models of Enriques surfaces produce a family of tens of mutually intersecting planes in $\mathbf P^5$ with a $10$-dimensional moduli space. The latter is linked to several 10-dimensional moduli spaces parametrizing other types of objects: a) cubic fourfolds containing the tens of planes, b) Beauville--Donagi holomorphically symplectic fourfolds, and c) double EPW sextics. The varieties in b) parametrize lines on cubic fourfolds from a). The double EPW sextics are associated, via O'Grady's construction, to Lagrangian subspaces of the Plücker space of the Grassmannian $Gr(2,\mathbf P^5)$ spanned by 10 mutually intersecting planes in $\mathbf P^5$. These links imply the irreducibility of the moduli space of supermarked Enriques surfaces, where a supermarking is a choice of a minimal generating system of the Picard group of the surface. Also some results are obtained on the variety of tens of mutually intersecting planes, not necessarily associated to Fano models of Enriques surfaces.

연구 동기 및 목표

• 에르니케스 표면의 파노 모델과 삼차 4차곡면 및 이중 EPW 6차곡면을 통한 해석적 심플렉틱 4차곡면 사이의 기하학적 대응을 수립한다.
• 초마킹된 에르니케스 표면의 모듈리 공간이 기약임을 증명한다. 여기서 초마킹은 파이카르 군의 최소 생성계를 선택하는 것을 의미한다.
• ℙ⁵ 내의 10개의 상호 교차하는 평면의 다양체를 분석하고, ⋀³ℂ⁶ 내의 라그랑주 부분공간을 구성하는 데서의 역할을 규명한다.
• 동일한 10개 평면 구성에서 유도된 두 해석적 심플렉틱 4차곡면을 비교한다: 하나는 삼차 4차곡면 위의 직선의 파노 다양체로서이고, 다른 하나는 이중 EPW 6차곡면의 최소 해소로서이다.
• 유한 체 위에서 10개 평면의 구성에 대한 명시적 대수적 구성과 수치적 증거를 제공하여, 이러한 라그랑주 체계의 존재성과 성질를 뒷받침한다.

제안 방법

• Gr(2, ℙ⁵)의 플루커 임bedding을 사용하여 ℙ⁵ 내의 각 10개 평면을 ⋀³ℂ⁶ 내의 플루커 벡터로 표현한다.
• 10개 평면 간의 쌍별 교차가 자연스러운 심플렉틱 형식 하에서 10개 플루커 벡터가 ⋀³ℂ⁶ 내의 라그랑주 부분공간 A ⊂ ⋀³ℂ⁶를 생성함을 보인다.
• 11개의 독립적인 삼차 형식이 생성하는 이상을 사용하여, 10개 평면 위에서 영이 되는 유일한(스칼라배수를 제외하고는) 초곡면으로서 삼차 4차곡면 𝒞를 구성한다.
• 오그레이디의 구성에 라그랑주 부분공간 A를 적용하여 ℙ¹⁹ 내의 EPW 6차곡면 X_A ⊂ ℙ¹⁹를 정의하고, 이는 차수 53의 표면 위에서 특이성을 띤다.
• X_A의 이중 쌍대를 해소하여 해석적 심플렉틱 4차곡면 X̃를 얻고, 그 기하학적 구조를 분석한다. 이는 K3 표면 위의 ℙ¹-_bundle과 동일한 디바이저를 포함한다.
• 컴퓨터 대수 시스템을 사용하여, 예를 들어 𝔽₂₉에서의 핵심 성질을 검증한다. 이는 플루커 벡터의 선형 독립성과 삼차계의 기저 위치의 구조를 포함한다.

실험 결과

연구 질문

• RQ1 주어진 기하학적 제약 조건 하에서 초마킹된 에르니케스 표면의 모듈리 공간은 여전히 기약인가?
• RQ2 에르니케스 표면의 파노 모델에서 유도된 ℙ⁵ 내의 10개 상호 교차 평면의 10중항으로부터 유일한 삼차 4차곡면을 구성할 수 있는가?
• RQ3 동일한 10개 평면 구성에서 유도된 두 해석적 심플렉틱 4차곡면—한편은 삼차 4차곡면 위의 직선의 파노 다양체로서이고, 另一个是 이중 EPW 6차곡면의 최소 해소로서—는 일반적인 구성에서 비-비라소모르피적인가?
• RQ4 라그랑주 10개 평면 구성에 대응하는 EPW 6차곡면의 특이성 집합의 기하학적 구조는 무엇이며, 원래 10개 평면과 함께 큼직한 곡면, 표면 등 추가 기하 대상에서 유래하는 성분은 무엇인가?
• RQ5 삼차 선형계의 기저 위치의 힐베르트 다항식과 이상의 구조는 10개 평면 구성의 기하학을 어떻게 반영하는가?

주요 결과

• 초마킹된 에르니케스 표면의 모듈리 공간은 라그랑주 10개 평면의 10차원 모듈리 공간과 연결됨으로써 기약임을 보였다.
• ℙ⁵ 내의 10개 평면는 ⋀³ℂ⁶ 내의 차원 10인 라그랑주 부분공간 A ⊂ ⋀³ℂ⁶를 생성하며, 구성의 기하학적 최대성은 확인되었다.
• 10개 평면를 포함하는 유일한 삼차 4차곡면 𝒞가 존재하며, 이는 x₃x₄x₅의 곱으로 주어진다. 45개의 교차점 이상은 차수 ≥3인 형식들로 생성된 이상에 의해 주어진다.
• 10차원 삼차계의 일반적인 9차원 부분계의 기저 위치는 10개의 각각의 평면 Λ_km 내에 있는 10개의 삼차 곡선 B_j의 합집합이다.
• EPW 6차곡면 X_A의 특이성 집합 R의 힐베르트 다항식은 53P₂ − 198P₁ + 322P₀이며, 이는 차수 53의 표면임을 나타내며, 기존의 10개 평면, 3개의 곡면 곡면, 그리고 차수 16의 기약 표면 S를 포함하는 기약 성분을 가진다.
• 이중 EPW 6차곡면 구성은 특이 심플렉틱 다양체를 생성하며, 그 최소 해소 X̃는 해석적 심플렉틱 4차곡면이 되며, 동일한 10개 평면 데이터를 공유하나, 삼차 4차곡면 위의 직선의 파노 다양체와는 비-비라소모르피적이다.