[논문 리뷰] Stable vector bundles on a hyper-Kahler manifold with a rank 1 obstruction map are modular

Eyal Markman|arXiv (Cornell University)|2021. 07. 29.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 초카일러 다양체에서 계수 1의 장애 지도를 가진 기울기 안정 반사적 층이 유도 범주에 대한 변형으로부터 '매우 모odu라르'임을 증명한다. 즉, 그 층의 내적 대수는 다양체와 함께 변형된다. 주요 결과는 이러한 층이 Looijenga-Lunts-Verbitsky 격자에서 직선을 정의하며, 세 가지 주요 예시가 구성된다: Hilbert 스킴의 유도 동치를 통한 방법, 천체 층의 상을 통한 방법, 그리고 유리 캐논리컬 번들의 라그랑주 부분다양체 위의 선다발을 통한 방법.

ABSTRACT

Let X be an irreducible 2n-dimensional holomorphic symplectic manifold. A reflexive sheaf F is very modular, if its Azumaya algebra End(F) deforms with X to every Kahler deformation of X. We show that if F is a slope-stable reflexive sheaf of positive rank and the obstruction map from the second Hochschild cohomology of X to $Ext^2(F,F)$ has rank 1, then F is very modular. We associate to such a sheaf a vector in the Looijenga-Lunts-Verbitsky lattice of rank equal to the second Betti number of X plus 2. Three sources of examples of such modular sheaves emerge. The first source consists of slope-stable reflexive sheaves F of positive rank which are isomorphic to the image of the structure sheaf via an equivalence of the derived categories of two irreducible holomorphic symplectic manifolds. The second source consists of such F, which are isomorphic to the image of a sky-scraper sheaf via a derived equivalence. The third source consists of images of torsion sheaves L supported as line bundles on holomorphic lagrangian submanifolds Z, such that Z deforms with X in co-dimension one in moduli and L is a rational power of the canonical line bundle of Z.

연구 동기 및 목표

• 초카일러 다양체에서 계수 1의 장애 지도를 가진 반사적 층이 매우 모듈러리함을 증명한다. 즉, 그 층의 내적 대수는 모든 카일러 변형과 함께 변형된다.
• 이러한 층을 초카일러 다양체의 Looijenga-Lunts-Verbitsky (LLV) 격자에서 잘 정의된 직선과 연관짓는다. 이 격자의 계수는 $ b_2(X) + 2 $ 이다.
• 유도 범주, Hilbert 스킴, 그리고 라그랑주 부분다양체를 사용하여 이러한 모듈러 층의 세 가지 서로 다른 가족을 구성한다.
• O'Grady의 $ K3^{[2]} $-유형 다양체에 대한 결과를 고차원 초카일러 다양체로 일반화하고 확장한다.

제안 방법

• 장애 지도 $ \mathrm{obs}_F: HH^2(X) \to \mathrm{Ext}^2(F,F) $ 를 사용하여 최소한의 변형 장애를 가진 층을 특성화한다.
• 모든 카일러 변형에서 $ X $ 와 함께 변형되는 $ \mathcal{E}nd(F) $ 를 가지는 층을 '매우 모듈러리' 층으로 정의한다.
• Hochschild 코hom올로지와 유도 범주 변형을 이용하여 장애 지도의 상을 통해 LLV 격자에 정규 직선을 구성한다.
• BKR 대응을 적용하여 $ X^n $ 위의 등변 벡터다발을 Hilbert 스킴 $ X^{[n]} $ 위의 층으로 올리며, 반사성과 모듈러리티를 보장한다.
• 유도 동치 $ \Phi: D^b(X) \to D^b(Y) $ 를 사용하여 알려진 모듈러 대상들(예: 구조층, 천체 층)을 $ X^{[n]} $ 위의 새로운 예로 이전한다.
• Fourier-Mukai 변환의 캐런 차수와 무카이 벡터를 분석하여 모듈러리티를 위한 정수성 및 양성 조건을 검증한다.

실험 결과

연구 질문

• RQ1 초카일러 다양체 $ X $ 위의 반사적 층 $ F $ 가 $ X $ 의 모든 카일러 변형과 함께 변형되기 위한 조건은 무엇인가?
• RQ2 장애 지도 $ \mathrm{obs}_F: HH^2(X) \to \mathrm{Ext}^2(F,F) $ 가 계수 1을 가질 때, 이는 언제 $ F $ 가 매우 모듈러리임을 의미하는가?
• RQ3 $ X^{[n]} $-유형 초카일러 다양체에서 계수 1의 장애 지도를 가진 안정 반사적 층의 기하학적 및 범주론적 기원은 무엇인가?
• RQ4 Looijenga-Lunts-Verbitsky 격자를 사용하여 이러한 모듈러 층을 분류하고 구성할 수 있는가?
• RQ5 유도 단일화군의 작용과 캐런 차수를 통해 층의 모듈러리티를 감지할 수 있는가?

주요 결과

• 계수 1의 장애 지도를 가진 기울기 안정 반사적 층 $ F $ 는 초카일러 다양체 $ X $ 에서 매우 모듈러리하다. 즉, $ \mathcal{E}nd(F) $ 는 $ X $ 가 모든 카일러 변형으로 갈 때 함께 변형된다.
• 이러한 층은 $ X $ 의 LLV 격자에서 잘 정의된 직선을 결정하며, 이는 유도 자동동치에 대해 보존된다.
• 첫 번째 예시의 기원은 $ \Phi(\mathcal{O}_X) $ 이다. 여기서 $ \Phi: D^b(X) \to D^b(Y) $ 는 두 개의 무비틀리다이어트리브 힐버트 스킴 다양체 사이의 유도 동치이다.
• 두 번째 기원은 $ \Phi(\mathcal{O}_x) $ 이며, 천체 층의 유도 동치에 의한 상으로서 $ X^{[n]} $ 위의 매우 모듈러리 층을 얻는다.
• 세 번째 기원은 $ \Phi(L) $ 이며, $ L $ 은 라그랑주 부분다양체 $ Z \subset X $ 위의 캐논리컬 번들의 유리수 거듭제곱이며, 모듈라이 공간에서 여수 1의 차원에서 변형된다.
• 특히 $ X = S^{[n]} $ 인 경우, $ S $ 가 $ K3 $ 표면일 때 BKR 대응을 $ G^{oxtimes n} $ 에 적용하여 $ S^{[n]} $ 위의 매우 모듈러리 다발을 명시적으로 구성한다.