[논문 리뷰] Stability conditions and moduli spaces for Kuznetsov components of Gushel-Mukai varieties

Perry Alexander, Laura Pertusi외 1명|arXiv (Cornell University)|2019. 12. 14.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 구시엘–무카이 다양체의 쿠즈네цов 성분에서 브리지갈드 안정 조건의 존재를 확립하고, 짝수 차원 케이스에서 반안정 대상의 모듈리 공간의 구조를 기술한다. 또한 K3 유형의 극화된 히퍼카일러 다양체의 새로운 유비탈 가속 가속도를 구축하고, 쿠즈네цов 성분이 K3 표면의 유도 범주와 유도 동치일 때의 호지 이론적 조건을 제공한다.

ABSTRACT

We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel-Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even-dimensional case. As applications, we construct a new infinite series of unirational locally complete families of polarized hyperkähler varieties of K3 type, and characterize Hodge-theoretically when the Kuznetsov component of an even-dimensional Gushel-Mukai variety is equivalent to the derived category of a K3 surface.

연구 동기 및 목표

• 구시엘–무카이 다양체의 쿠즈네цов 성분에서 브리지갈드 안정 조건의 존재를 확립한다.
• 짝수 차원 케이스에서 브리지갈드 반안정 대상의 모듈리 공간의 구조를 기술한다.
• K3 유형의 극화된 히퍼카일러 다양체에 대한 새로운 유비탈 국소 완비 가속도를 구축한다.
• 쿠즈네цов 성분이 K3 표면의 유도 범주와 유도 동치일 때의 호지 이론적 특성 조건을 제공한다.
• 쿠즈네цов 성분 내 안정 대상의 모듈리 공간을 EPW 큐브 및 그라스만이안의 이중 쌍대화와 같은 알려진 히퍼카일러 다양체와 연결한다.

제안 방법

• 삼차 4차원 다양체에서의 방법을 일반화하여, 구시엘–무카이 다양체의 쿠즈네цов 성분에 브리지갈드 안정 조건을 구축한다.
• 안정 조건의 가족 이론을 활용하여 쿠즈네цов 성분의 유도 범주에서 이러한 조건의 존재를 보장한다.
• 쿠즈네цов 성분의 호지 이론적 성질과 그 코homology를 이용해 모듈리 공간의 수치적 불변량을 식별한다.
• 버비츠키의 토렐리 정리를 적용하여 주어진 주기 점을 비교함으로써 모듈리 공간과 알려진 히퍼카일러 다양체 사이의 동형을 확립한다.
• 쿠즈네цов 성분 내 원점 및 원의 구조층의 사영의 무카이 벡터를 식별하여 모듈리 공간과 기하학적 대상 간의 관계를 설정한다.
• 주기 함수와 호지 등급을 활용하여 모듈리 공간의 코homology를 $\widetilde{Y}_A$ 및 $\widetilde{Z}_A$와 같은 관련 히퍼카일러 다양체와 비교한다.

실험 결과

연구 질문

• RQ1 구시엘–무카이 다양체의 쿠즈네цов 성분에서 브리지갈드 안정 조건이 존재하는가?
• RQ2 짝수 차원 구시엘–무카이 다양체의 쿠즈네цов 성분에서 반안정 대상의 모듈리 공간의 구조는 무엇인가?
• RQ3 이러한 모듈리 공간으로부터 K3 유형의 극화된 히퍼카일러 다양체에 대한 새로운 유비탈 가속도를 구축할 수 있는가?
• RQ4 짝수 차원 구시엘–무카이 다양체의 쿠즈네цов 성분이 K3 표면의 유도 범주와 유도 동치일 때의 호지 이론적 조건은 무엇인가?
• RQ5 쿠즈네цов 성분 내 안정 대상의 모듈리 공간은 EPW 큐브나 그라스만이안의 이중 쌍대화와 같은 알려진 히퍼카일러 다양체와 동형인가?

주요 결과

• 구시엘–무카이 다양체의 쿠즈네цов 성분은 삼차 4차원 다양체의 결과를 일반화하여 브리지갈드 안정 조건을 갖는다.
• 매우 일반적인 GM 4차원 다양체에 대해, 모듈리 공간 $M_{\sigma}(\mathcal{K}u(X),\lambda_1)$은 판별군에 대한 작용에 따라 $\widetilde{Y}_A$ 또는 $\widetilde{Y}_{A^\perp}$와 동형이다.
• 만약 $X$와 $\widetilde{Y}_A$가 같은 주기 점을 공유한다면, 모듈리 공간 $M_{\sigma}(\mathcal{K}u(X),\lambda_1)$은 $\mathrm{H}^2(\widetilde{Y}_A,\mathbb{Z})_0$와 호지 등급을 갖는다.
• 모듈리 공간 $M_{\sigma}(\mathcal{K}u(X),\pm(\lambda_1\pm\lambda_2))$는 EPW 큐브와 동일한 수치적 불변량을 가지며, 일반적인 $X$에 대해 그것과 동형일 가능성이 있다.
• X 내의 점의 사영은 $\mathcal{K}u(X)$ 내에서 무카이 벡터 $\lambda_1 + 2\lambda_2$를 가지며, 이러한 대상들은 안정일 것으로 예상되어 12차원 모듈리 공간에 $X$의 유리적 매장이 가능하다.
• 이 구축은 기존의 구성에서 빈도가 적었던 K3 유형의 극화된 히퍼카일러 다양체에 대한 무한히 많은 유비탈 국소 완비 가속도의 새로운 시리즈를 제공한다.