[논문 리뷰] Moduli spaces of semiorthogonal decompositions in families

Pieter Belmans, Shinnosuke Okawa외 1명|arXiv (Cornell University)|2020. 02. 09.

Algebraic structures and combinatorial models참고 문헌 25인용 수 8

한 줄 요약

이 논문은 매끄럽고 사영적인 스킴의 가족에서 완전 복합체의 준직교 분해를 분류하는 모듈리 공간을 구축하며, 이것이 기저 위에서 에탈레 대수적 공간임을 증명한다. 유도된 범주에서 준직교 분해와 대각 분해 삼각형 사이의 디폼메이션 이론적 비교를 통해, 이러한 분해들이 기저의 점 주변의 에탈레 이웃에서 유일하게 디폼메이션된다는 것을 확립함으로써, 아르틴의 대수성 조건을 만족하는 모듈리 함수를 구성할 수 있다.

ABSTRACT

To a smooth and proper morphism $\mathcal{X} o U$ with quasicompact semiseparated target we associate a sheaf in the étale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed length) of the category $\operatorname{Perf}\mathcal{X}_V$. We use Artin's criterion to prove that, when $U$ is excellent, this is in fact an algebraic space which is moreover étale (though in general non-quasicompact and non-separated) over $U$. We moreover generalise the construction of the sheaf to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions, and conjecture it is an open and closed subspace. Along the way, we prove that for a smooth and proper family of schemes, a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point.

연구 동기 및 목표

• 매끄럽고 사영적인 스킴의 가족에서 완전 복합체의 준직교 분해를 분류하는 모듈리 공간을 구축하는 것.
• 기저의 점 주변의 에탈레 이웃에서 준직교 분해가 유일하게 디폼메이션된다는 것을 증명하여 국소적 강성(rigidity)을 확보하는 것.
• 오르로프의 의미에서 기하학적 비가환 스킴의 가족으로 모듈리 구조를 일반화하는 것.
• 비자명한 준직교 분해만을 분류하는 열린 부분공간을 정의하여, 유도 범주의 분해 불가능성 연구에 유용하게 쓰이는 것.
• 아르틴의 조건을 사용하여, 모듈리 공간이 에탈레 대수적 공간임을 증명하는 것 — 이는 비유계적이거나 비분리적일 수 있음.

제안 방법

• 유도 범주에서 준직교 분해와 대각 분해 삼각형 사이의 비교를 수립하는 것.
• 부록에서 개발된, 목표의 고정된 리프트를 가진 사상에 대한 새로운 디폼메이션 이론을 적용하여, 분해 삼각형의 디폼메이션을 제어하는 것.
• 퍼시코herent성과 유도 기저 전환의 2-중-3 성질을 사용하여, 제약 조건 하에서 완전 복합체에 대한 본질적 상사 조건을 검증하는 것.
• 가족 $ f: X \to S $ 위에서 $ \operatorname{Perf}X $의 준직교 분해를 분류하는 모듈리 함수 $\mathsf{SOD}_f$ 를 구성하는 것.
• 함수 $\mathsf{SOD}_f $ 가 기저 스킴 $ S $ 위에서 에탈레 대수적 공간이 되기 위한 아르틴의 조건을 만족하는지 검증하는 것.
• 대각 분해 삼각형이 준직교 분해의 디폼메이션을 제어한다는 사실을 활용하여, 고정된 목표 리프트를 가진 사상의 디폼메이션 이론으로 문제를 축소하는 것.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 가족의 유도 범주에서 준직교 분해는 기저의 점 주변의 에탈레 이웃에서 유일하게 디폼메이션될 수 있는가?
• RQ2 완전 복합체의 준직교 분해를 분류하는 모듈리 공간이 존재하는가? 그 기하학적 성질은 무엇인가?
• RQ3 고정된 목표 리프트를 가진 사상의 디폼메이션 이론은 어떻게 사용되어 준직교 분해의 디폼메이션을 제어할 수 있는가?
• RQ4 비유계적이거나 비분리적인 경우에도 준직교 분해의 모듈리 공간이 에탈레 대수적 공간임을 증명할 수 있는가?
• RQ5 대각 분해 삼각형은 가족에서 준직교 분해의 디폼메이션을 어떻게 제어하는가?

주요 결과

• 매끄럽고 사영적인 가족의 한 섬유의 유도 범주에서 준직교 분해는 기저 점 주변의 에탈레 이웃에서 유일하게 디폼메이션된다.
• 완전 복합체의 준직교 분해를 분류하는 모듈리 함수 $\mathsf{SOD}_f $ 는 기저 스킴 위에서 에탈레 대수적 공간이며, 비유계적이거나 비분리적일 수 있다.
• 이 구조는 준직교 분해와 대각 분해 삼각형 사이의 비교에 기반하며, 고정된 목표 리프트를 가진 사상의 디폼메이션 이론으로 문제를 축소한다.
• 사상의 리프트에 대한 디폼메이션 방해와 자동형사상 군은 각각 섬유에서의 $\operatorname{Ext}^1$ 과 $\operatorname{Ext}^0 $ 군을 통해 계산된다.
• 비자명한 준직교 분해의 모듈리 공간은 열린 부분공간이며, 예시에서 유도 범주의 분해 불가능성 연구에 사용된다.
• 결과는 오르로프의 의미에서 기하학적 비가환 스킴의 가족으로 일반화되며, 전통적인 스킴을 초월한 모듈리 구조의 확장이 가능하다.