[논문 리뷰] Non-commutative deformations of simple objects in a category of perverse coherent sheaves

Yūjirō Kawamata|arXiv (Cornell University)|2018. 06. 13.

Algebraic structures and combinatorial models참고 문헌 18인용 수 3

한 줄 요약

이 논문은 프로젝티브 사상에서 틸팅 생성자를 통해 유도된 페르세이브 코herent sheaf 범주에서 단순 집합의 베르살 비가환 변형을 결정한다. 전체 또는 부분 단순 집합의 베르살 변형이 Donovan과 Wemyss의 수축 대수를 복원함을 보여주며, 이 대수가 자신의 반대환과 동형이 되고, 사상이 점의 위상에서의 영역 외부에서 동형사상이 아닐 때에만 유한차원임을 증명한다.

ABSTRACT

We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.

연구 동기 및 목표

• 틸팅 생성자를 통해 유도된 페르세이브 코herent sheaf 범주의 단순 대상의 비가환 변형을 연구하는 것.
• 기저가 애피니인 프로젝티브 사상에 대해 이러한 범주에서 단순 집합의 베르살 변형을 결정하는 것.
• 결과로 유도된 매개변수 대수를 Donovan과 Wemyss의 수축 대수와 같은 알려진 불변량과 연결하는 것.
• 수축 대수가 자신의 반대환과 동형임을 증명하고, 그것이 언제 유한차원이 되는지 특성화하는 것.

제안 방법

• Bondal과 Rickard를 통한 유도 모리타 동치를 이용해 Y 위의 코herent sheaf의 유도 범주를 대수의 층 A 위의 모듈러 범주와 연결한다.
• 유도 동치에 따라 mod-A에 대응하는 아벨 범주로 페르세이브 코herent sheaf를 구성한다.
• 닫힌 점 x₀ ∈ X에서의 완비화를 통한 변형 분석을 수행하며, 특히 틸팅 생성자 P̂의 완비화에 집중한다.
• 비가환 변형 이론을 적용하여 Perv(Y/X)에서 단순 집합의 베르살 변형을 계산한다. 자연스러운 사상 f* f* P̂ → P̂의 핵과 여핵을 사용한다.
• 매개변수 대수를 Â = f* End(P̂)의 몫 Â/ I 또는 Â′/I′로 식별한다.
• 다이어그램 추적과 코homological 소멸을 이용하여 변형 매개변수 대수가 수축 대수와 그 반대환과 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 페르세이브 코herent sheaf 범주에서 단순 집합의 베르살 비가환 변형이 Donovan과 Wemyss의 수축 대수를 복원하는 조건은 무엇인가?
• RQ2 이러한 변형에서 유도된 수축 대수는 자신의 반대환과 동형인가?
• RQ3 베르살 변형의 매개변수 대수가 k-벡터 공간으로서 유한차원일 조건은 무엇인가?
• RQ4 매개변수 대수가 유한차원이라는 것은 점의 위상 외부에서 사상이 동형사상임을 특성화하는가?
• RQ5 단순 대상의 비가환 변형 이론은 3-다양체에서 유리 곡선의 해석적 수축 가능성을 감지할 수 있는가?

주요 결과

• 닫힌 점 x₀ ∈ X 위에서 전체 단순 집합 {s_j}의 베르살 비가환 변형은 틸팅 생성자 P̂의 완비화로 주어지며, 매개변수 대수는 Â = f_* End(P̂)이다.
• 부분 단순 집합 {s_j}_{j=1}^r의 베르살 변형은 수축 대수 Â/ I ≅ Â′/I′를 복원하며, 이 대수는 자신의 반대환과 동형이다.
• 수축 대수가 k 위에서 유한차원이 되는 것은 사상 f가 x₀ 위의 위상 외부에서 동형사상이 될 때에만 성립한다.
• −1-틸트 범주와 0-틸트 범주에서 단순 집합의 변형은 서로 다른 아벨 범주임에도 불구하고 동형 대상 Q ≅ Q′을 유도한다.
• 소형 크립란트 해소에서 3-다양체의 종단 특이점의 예시에서 매개변수 대수 Â/ I는 대수 k⟨⟨x,y⟩⟩/(xy + yx, x² − y³)의 완비화와 동형이다.
• 매개변수 대수 Â′/I′의 코서포트는 판별자 다양체 D ⊂ X와 일치하며, D가 단일 점이 되는 것은 Â′/I′가 유한차원이 될 때에만 성립한다.