[논문 리뷰] The Voisin map via families of extensions

Huachen Chen|arXiv (Cornell University)|2018. 06. 15.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 7

한 줄 요약

이 논문은 평면을 포함하지 않는 삼차 4차곡면 $ Y $ 에 대해 Voisin 사상 $ v: F(Y) \times F(Y) \dashrightarrow Z(Y) $ 를 해결한다. 이는 교차하는 직선들의 집합인 $ \Gamma \subset F(Y) \times F(Y) $ 를 블로잉업함으로써 사상의 정의되지 않는 부분을 제거하는 방식으로 이루어지며, 매우 일반적인 $ Y $ 에 대해서는 이 블로잉업이 $ Z(Y) $ 위의 상대 Quot 스킴임을 보여주어, 유도 범주 내에서의 확장 가중치 가중치의 가중치 가중치를 통해 Voisin 사상의 모듈리 이론적 해석을 제공한다.

ABSTRACT

We prove that given a cubic fourfold $Y$ not containing any plane, the Voisin map $v: F(Y) imes F(Y) \dashrightarrow Z(Y)$ constructed in \cite{Voi}, where $F(Y)$ is the variety of lines and $Z(Y)$ is the Lehn-Lehn-Sorger-van Straten eightfold, can be resolved by blowing up the incident locus $Γ\subset F(Y) imes F(Y)$ endowed with the reduced scheme structure. Moreover, if $Y$ is very general, then this blowup is a relative Quot scheme over $Z(Y)$ parametrizing quotients in a heart of a Kuznetsov component of $Y.$

연구 동기 및 목표

• Voisin 사상 $ v: F(Y) \times F(Y) \dashrightarrow Z(Y) $ 를 해결함. 이 사상은 직선들이 교차하는 부분인 $ \Gamma $ 에서 정의되지 않음.
• Bridgeland 안정성 조건을 활용하여 Kuznetsov 범주 $ Ku(Y) $ 내에서의 비분열 확장의 가중치 가중치를 기반으로 Voisin 사상의 기하학적 해석을 제공함.
• 직선이 교차하는 부분인 $ \Gamma $ 에 대해 $ F(Y) \times F(Y) $ 를 블로잉업함으로써 사상을 해결하고, 매우 일반적인 $ Y $ 에서는 이 블로잉업이 $ Z(Y) $ 위의 상대 Quot 스킴임을 보임.

제안 방법

• 유도 범주 분해 $ D^b(Y) = \langle Ku(Y), \mathcal{O}_Y, \mathcal{O}_Y(1), \mathcal{O}_Y(2) \rangle $ 를 이용하여, $ Y $ 의 기하학을 결정짓는 Kuznetsov 성분 $ Ku(Y) $ 에 집중함.
• Bridgeland 안정성 조건 $ \sigma $ 하에서 $ F(Y) $ 와 $ Z(Y) $ 를 각각 $ Ku(Y) $ 내의 안정 대상의 모듈리 공간으로 간주함. 이들 대상의 클래스는 $ \lambda_1 $, $ \lambda_1 + \lambda_2 $, $ 2\lambda_1 + \lambda_2 $ 이다.
• 유도된 Hom 함자 $ R\mathcal{H}om_f $ 를 통해 일반 가중치 $ \mathcal{P} $ 와 $ \mathcal{F} $ 의 비분열 확장의 가중치 가중치를 구성함. 이때 기저 변경에 대한 호환성을 확보하기 위해 $ \text{Hom}(\mathcal{O}_T, Lg^* R\mathcal{H}om_f(\mathcal{P}, \mathcal{F})[1]) $ 를 사용함.
• 이러한 확장의 가중치 가중치는 $ \text{Bl}_\Gamma(M_\sigma(\lambda_1) \times M_\sigma(\lambda_1 + \lambda_2)) $ 에 의해 표현되며, 이는 Voisin 사상을 해결함.
• 전역 확장을 기본으로 하는 원소 수정을 통해 분리되지 않는 가중치 가중치를 구성함으로써 보편 몫을 얻고, 이로써 블로잉업을 $ Z(Y) $ 위의 상대 Quot 스킴으로 표현함.
• 유도 Torelli 정리와 격자 이론적 결과를 활용하여, $ Y $ 가 Hodge 특별인 경우를 분석함. 이 경우에도 사상의 차수는 여전히 여섯으로 유지됨을 보임.

실험 결과

연구 질문

• RQ1 Voisin 사상 $ v: F(Y) \times F(Y) \dashrightarrow Z(Y) $ 는 도메인의 기하학적 수정을 통해 해결될 수 있는가? 만약 그렇다면, 어떤 수정인가?
• RQ2 직선이 교차하는 부분인 $ \Gamma $ 에 대해 $ F(Y) \times F(Y) $ 를 블로잉업한 것은 Voisin 사상의 자연스러운 컴actsification인가? 그리고 이는 모듈리 해석을 허용하는가?
• RQ3 매우 일반적인 삼차 4차곡면에 대해, 해결된 Voisin 사상은 $ Z(Y) $ 위의 상대 Quot 스킴과 동형인가? 만약 그렇다면, 이 스킴이 어떤 종류의 대상을 매개화하는가?
• RQ4 만약 $ Y $ 가 매우 일반적이지 않다면, Voisin 사상의 차수는 여전히 여섯일까? 이는 유도적 또는 격자 이론적 계산으로 설명될 수 있는가?

주요 결과

• Voisin 사상 $ v: F(Y) \times F(Y) \dashrightarrow Z(Y) $ 는 직선들이 교차하는 부분인 $ \Gamma \subset F(Y) \times F(Y) $ 를 블로잉업함으로써 해결된다.
• $ \text{Bl}_\Gamma(F(Y) \times F(Y)) $ 는 안정 대상의 비분열 확장의 가중치 가중치의 모듈리 공간과 동형이며, 이들 대상의 클래스는 $ \lambda_1 $ 과 $ \lambda_1 + \lambda_2 $ 이고, 결과적으로 클래스 $ 2\lambda_1 + \lambda_2 $ 를 얻는다.
• 매우 일반적인 $ Y $ 에 대해, 이 블로잉업은 $ Z(Y) $ 위의 상대 Quot 스킴이며, Kuznetsov 범주의 심장 $ \mathcal{A} $ 내에서 클래스 $ \lambda_1 + \lambda_2 $ 의 몫을 매개화한다.
• 해결된 사상 $ q: \text{Bl}_\Gamma(F(Y) \times F(Y)) \to Z(Y) $ 는 전사적이며 차수가 여섯이다. 이는 Voisin 원래의 구성과 일치한다.
• Hodge 특별인 경우 $ Y \in \mathcal{C}_d $ 에서도 차수는 여전히 여섯이다. 이는 Hilbert 스킴 $ S^{[2]} $ 상의 타우토로지컬 번들 $ V^{[2]} $ 의 최고 차수 코homology 클래스 $ c_4(V^{[2]}) $ 를 계산함으로써 보여지며, 이는 두 점의 아이디얼 층으로의 여섯 개의 전사 사상에 해당한다.
• 이 구성은 $ \text{Hom}(\mathcal{O}_T, Lg^* R\mathcal{H}om_f(\mathcal{P}, \mathcal{F})[1]) $ 를 사용한 정교한 확장 가중치 가중치 함자를 활용하며, 이는 기저 변경 호환성을 보장하고 모듈리 해석을 가능하게 한다.