[논문 리뷰] Perverse schobers and wall crossing

Will Donovan|arXiv (Cornell University)|2017. 03. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 3

한 줄 요약

이 논문은 GIT 벽 교차에 대해 디스크 위에 악성 슈뢰버(Perverse Schobers)—삼각형 카테고리의 분류된 악성 층—를 구성한다. 이는 구조적 쌍을 통해 GIT 몫 사이의 유도 동치를 표현한다. 주요 기여는 복소화된 그로텐디크 군이 교차 호몰로지 복합체를 유도할 조건을 특성화하는 것으로, 카테고리적 단일화를 기하학적 벽 교차 현상과 연결한다.

ABSTRACT

For a balanced wall crossing in geometric invariant theory, there exist derived equivalences between the corresponding GIT quotients if certain numerical conditions are satisfied. Given such a wall crossing, I construct a perverse sheaf of categories on a disk, singular at a point, with half-monodromies recovering these equivalences, and with behaviour at the singular point controlled by a GIT quotient stack associated to the wall. Taking complexified Grothendieck groups gives a perverse sheaf of vector spaces: I characterise when this is an intersection cohomology complex of a local system on the punctured disk.

연구 동기 및 목표

• 알제브라기하학에서의 비라시오널 변환을 악성 슈뢰버를 통해 이해하기 위한 카테고리적 프레임워크를 수립하기 위해.
• GIT 벽 교차에서의 유도 동치를 디스크 위의 카테고리의 층 이론적 구조로 일반화하기 위해.
• 이러한 층의 그로텐디크 군이 교차 호몰로지 복합체를 유도할 조건을 특성화하기 위해.
• 카테고리적 설정에서의 단일화 함수를 알려진 플롭과 벽 교차에서의 유도 동치와 연결하기 위해.
• 수치 조건을 만족하는 균형 잡힌 벽 교차로부터 구조적 쌍을 체계적으로 구성하기 위해.

제안 방법

• 유도된 카테고리의 GIT 몫과 안정된 불변량의 부분카테고리로, 특이점이 한 점에 있는 디스크 위에 카테고리의 악성 층을 구성한다.
• 스켈레톤에서 두 개의 호를 가진 구조적 쌍을 정의하여 중심 카테고리에 카테고리의 임bedding을 코딩한다.
• Halpern-Leistner와 Ballard–Favero–Katzarkov의 결과를 적용하여 수치 조건 하에서 $X//_{\text{--}}G$와 $X//_{+}G$ 사이의 유도 동치를 보장한다.
• 복소화된 그로텐디크 군을 사용하여 벡터 공간의 층을 생성하고, 이것이 교차 호몰로지 복합체와 동형일 조건을 특성화한다.
• 구조적 함수와 회전을 이용해 단일화 작용을 카테고리적으로 복원한다.
• 코즐 해상과 K-이론 계산을 활용해 단일화 연산자의 질량을 분석하고 부등식의 포화 여부를 테스트한다.

실험 결과

연구 질문

• RQ1 GIT 벽 교차로부터 유도된 구조적 쌍의 그로텐디크 군이 언제 교차 호몰로지 복합체를 유도하는가?
• RQ2 GIT 몫 사이의 유도 동치는 어떻게 카테고리적으로 단일화 함수로 표현될 수 있는가?
• RQ3 어떤 조건이 벽 교차에서 관련된 구조적 쌍이 잘 정의된 단일화 작용을 유도하는가?
• RQ4 중앙 카테고리의 그로텐디크 군이 언제 교차 호몰로지 복합체를 유도하지 못하는가?
• RQ5 구조적 함수와 그 회전은 플롭의 맥락에서 카테고리적 단일화를 어떻게 복원하는가?

주요 결과

• 일개의 파arameter 부분군을 가진 단순한 균형 잡힌 벽 교차에서, 수치 조건 하에 $X//_{\text{--}}G$와 $X//_{+}G$의 유도 카테고리들은 동치이다.
• 구성은 $(\text{D}(X//_{\text{--}}G), \text{D}(X//_{+}G), \text{C})$ 형태의 구조적 쌍을 유도하며, 여기서 $\text{C}$는 $\text{D}(X^{\text{ss}}(\text{M}_0)/G)$의 부분카테고리로, 구조적 쌍의 공리들을 만족한다.
• 복소화된 그로텐디크 군이 국소적 구멍이 있는 디스크 위의 국소계의 교차 호몰로지 복합체와 동형일 조건은 중심 카테고리의 K-이론에서 단일화 연산자에서의 단위 빼기의 질량이 포화되어 있을 때이다.
• 만일 $X = V \bigoplus \det V^\vee$이고 $\mathbb{C}^*$-작용이 있을 경우, 그로텐디크 군은 교차 호몰로지 복합체를 유도하며, 포화 조건을 만족한다.
• 만일 $X = V \bigoplus V^\vee$이고 $\mathbb{C}^*$-작용이 있을 경우, 그로텐디크 군은 교차 호몰로지 복합체를 유도하지 않으며, 단일화 연산자의 질량 조건이 포화되지 않기 때문이다. 이는 $\text{rk}(m - \mathds{1}) = 0$ 이지만 $\dim \text{K}(\mathcal{D}) = 1$ 이기 때문이다.
• 그로텐디크 군 위의 단일화 작용은 구조적 함수의 코-tw리스트를 통해 카테고리적으로 실현되며, 그 질량은 교차 호몰로지 복합체 특성화에서 부등식의 포화 여부를 결정한다.