[논문 리뷰] Characteristic classes and stability conditions for projective Kleinian orbisurfaces

Bronson Lim, Franco Rota|arXiv (Cornell University)|2020. 01. 24.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 2

한 줄 요약

이 논문은 ADE 특이점을 가진 매끄러운 딜레인–무프ord 표면인 프로젝티브 클레인리안 오르비표면의 유도 범주에서 브리지갈란 안정 조건을 구성한다. 이를 위해 오르비표면의 보고몰로프–지제커 부등식의 버전을 도입하고, 토엔의 리만–로흐 정리를 활용한다. 주요 결과는 복소수 매개변수 w와 실수 매개변수 γ로 매개화된 안정 조건의 가닥으로, 매킨시 등치와 오르비표면 체르니 캐릭터리를 통해 매끄러운 표면과 클레인리안 특이점의 구성이 통합된다.

ABSTRACT

We construct Bridgeland stability conditions on the derived category of smooth quasi-projective Deligne-Mumford surfaces whose coarse moduli spaces have ADE singularities. This unifies the construction for smooth surfaces and Bridgeland's work on Kleinian singularities. The construction hinges on an orbifold version of the Bogomolov-Gieseker inequality for slope semistable sheaves on the stack, and makes use of the To\"en-Hirzebruch-Riemann-Roch theorem.

연구 동기 및 목표

• 기본 스택의 유도 범주를 통해 매끄러운 표면과 클레인리안 특이점의 브리지갈란 안정 조건을 통합하기 위해.
• 오르비표면 위의 기울기 준안정층에 대해 오르비표면 판별식 불변량을 사용하여 보고몰로프–지제커 부등식을 확장하기 위해.
• 군 작용으로부터 유도되는 유리수 계수를 포함하는 오르비표면 코homology 계열을 포함하는 중심 질량 정의하기 위해.
• 중심 질량의 핵에 대한 오르비표면 판별식의 음의 정부호성에 기반해 안정 조건의 지지 성질을 확립하기 위해.
• 클레인리안 특이점의 최소 해소를 안정 객체의 모듈리 공간 간의 벽교차 사상으로 실현하기 위해.

제안 방법

• 안정자군의 기약 표현으로 분해되는 잔여 게르베 아래에서 층의 푸시포워드의 분해를 이용해 오르비표면 체르니 캐릭터를 정의한다.
• 맥케이 등치 Φ: D(S) ≅ Db(Coh( ˜S))를 통해 오르비표면 판별식 ∆orb(E)를 ∆(Φ(E))로 정의한다.
• δ(E) = ∑ aiTi (여기서 Ti는 군 G에 따라 결정되는 유리수 계수)를 사용해 중심 질량 Zw,γ(E) = −ch2(E) + w ch0(E) + γ·δ(E) + iH·ch1(E)를 구성한다.
• 강화된 보고몰로프–지제커 부등식을 증명한다: S 위의 임의의 µH-준안정층 E에 대해 ∆orb(E) ≥ 0이다.
• Zw,γ의 핵에서 ∆orb의 음의 정부호성을 이용해 안정 조건의 지지 성질을 검증한다.
• 브리지갈란의 변형 정리를 적용하여 천체 층에서 음의 실수 중심 질량을 갖는 중심 질량 근처에서 안정 조건을 구성한다.

실험 결과

연구 질문

• RQ1 기본 스택의 유도 범주에서 ADE 특이점을 가진 프로젝티브 오르비표면에 대해, 매끄러운 표면과 클레인리안 특이점의 경우를 통합하는 브리지갈란 안정 조건를 구성할 수 있는가?
• RQ2 특히 스택 위의 기울기 준안정층에 대해 오르비표면 설정으로 보고몰로프–지제커 부등식을 어떻게 일반화할 수 있는가?
• RQ3 오르비표면 체르니 캐릭터와 토엔의 리만–로흐 정리는 안정성과 호환되는 중심 질량을 정의하는 데 어떤 역할을 하는가?
• RQ4 안정 조건 간의 벽교차는 어떻게 클레인리안 특이점의 최소 해소를 모듈리 공간 사상으로 실현하는가?
• RQ5 스택의 안정 조건과 매킨시 대응의 퀘일 안정성 간의 관계는 무엇인가?

주요 결과

• 논문은 복소수 매개변수 w ∈ C와 실수 매개변수 γ ∈ (0, 1/(N−1))로 구성된 두 개의 실수 부분 부등식을 만족하는 조건 하에서, ADE 특이점을 가진 프로젝티브 표면의 기본 스택 S의 유도 범주에 대해 안정 조건의 가닥 (Zw,γ, Coh−Im w(S))를 구성한다.
• 모든 µH-준안정층 E에 대해 오르비표면 판별식 ∆orb(E)는 비음수이며, 이는 고전적 보고몰로프–지제커 부등식을 오르비표면 설정으로 일반화한 것이다.
• 중심 질량 Zw,γ는 ι∗E가 안정자군의 기약 표현으로 분해될 때의 계수 ai로부터 유도되는 함수 δ(E) = ∑ aiTi를 통해 오르비표면 코homology를 포함한다.
• 클래스 [Ox]의 σ∗-준안정 객체의 모듈리 공간 Mσ∗([Ox])는 군집 모듈리 공간 S와 동형이며, Mσ0([Ox])는 최소 해소 ˜S와 동형이다.
• 벽교차 사상 Mσ0([Ox]) → Mσ∗([Ox])는 정확히 최소 해소 사상이며, 이는 예외적 다발의 수축으로서 해소를 실현한다.
• 안정 조건 σ0는 퀘일 표현 이론에서 일반적인 안정 매개변수에 해당하며, 이 구성은 킹의 퀘일 안정성 이론과 [7]의 웨일 침대 기하학적 구조와 일치한다.