[논문 리뷰] Moduli of Bridgeland semistable objects on 3-folds and Donaldson-Thomas invariants

Dulip Piyaratne, Yukinobu Toda|arXiv (Cornell University)|2015. 04. 06.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 15

한 줄 요약

이 논문은 보고몰로프-지제커(Bogomolov-Gieseker, BG) 부등식 추측이 참일 경우, 매끄럽고 사영적인 3차 곡면 위의 브리지갈드-세미스테이블 객체의 모듈리 스택이 유한형이며 준준비(quasi-proper) 대수적 스택임을 확립한다. 임의의 매우 약한 안정성 조건에 대해 BG 부등식의 동치 형태를 증명함으로써, 이는 보어몰로프-지제커 부등식 추측을 만족하는 칼라비-양 3차 곡면 위의 브리지갈드-세미스테이블 객체를 세는 잘 정의된 도널드슨-타이틀스(Donaldson-Thomas, DT) 인바리언트를 구축한다. 이는 아벨 3차 곡면의 에테일 몫을 포함한다.

ABSTRACT

We show that the moduli stacks of Bridgeland semistable objects on smooth projective 3-folds are proper algebraic stacks of finite type, if they satisfy the Bogomolov-Gieseker (BG for short) inequality conjecture proposed by Bayer, Macrì and the second author. The key ingredients are the equivalent form of the BG inequality conjecture and its generalization to arbitrary very weak stability conditions. This result is applied to define Donaldson-Thomas invariants counting Bridgeland semistable objects on smooth projective Calabi-Yau 3-folds satisfying the BG inequality conjecture, for example on étale quotients of abelian 3-folds.

연구 동기 및 목표

• 3차 곡면 위의 브리지갈드-세미스테이블 객체의 모듈리 스택의 준준비성과 유한형 성질에 관한 추측 1.1(ii)를 해결하기 위해.
• 칼라비-양 3차 곡면 위의 브리지갈드-세미스테이블 객체를 세는 도널드슨-타이틀스 인바리언트를 정의하기 위한 기초를 마련하기 위해.
• 임의의 매우 약한 안정성 조건 하에서 BG 부등식 추측이 일반화된 안정성 부등식과 동치임을 증명하기 위해.
• 리 대수적 및 모티빅 기법을 통해 DT 인바리언트의 구축을 브리지갈드-세미스테이블 객체로 확장하기 위해.

제안 방법

• BG 부등식 추측이 3차 곡면 위의 브리지갈드-세미스테이블 객체의 모듈리 스택의 준준비성과 유한형 성질을 유도함을 증명한다.
• 임의의 매우 약한 안정성 조건으로 BG 부등식을 일반화하여, B와 ω가 비례하지 않을 경우에도 동치성을 보인다.
• 리만-로흐 정리와 오일러 쌍형을 사용하여 t-구조의 하트 위의 홀 알제브라에 리 대수의 구조를 정의한다.
• 홀 알제브라에서 코히오모로지 특성에 의해 생성되는 리 대수로의 리 대수의 준동형을 통해 DT 인바리언트를 구축한다.
• 중심 임펄스의 동일한 값을 가진 하르러-나라시마인자들에 대한 합으로 DTσ(v)를 정의함으로써, 지지 성질을 통해 유한성을 확보한다.
• σ가 양호한 안정성 조건이 아닐 경우, 이를 양호한 것으로 편향시켜 DT 인바리언트의 정의를 확장하며, 독립성과 유리성 보장.

실험 결과

연구 질문

• RQ1 BG 부등식 추측이 참일 경우, 매끄럽고 사영적인 3차 곡면 위의 브리지갈드-세미스테이블 객체의 모듈리 스택은 준준비적이고 유한형 대수적 스택이 되는가?
• RQ2 BG 부등식 추측은 임의의 매우 약한 안정성 조건 하에서 일반화된 안정성 부등식과 동치인가?
• RQ3 BG 부등식 추측을 만족하는 칼라비-양 3차 곡면 위의 브리지갈드-세미스테이블 객체에 대해 도널드슨-타이틀스 인바리언트를 정의할 수 있는가?
• RQ4 안정성 조건을 편향시킬 때 벽을 횡단할 경우 DT 인바리언트는 어떻게 행동하는가?
• RQ5 브리지갈드 안정성의 맥락에서 세미스테이블 객체의 홀 알제브라에 깔린 정확한 대수적 구조는 무엇인가?

주요 결과

• BG 부등식 추측이 참일 경우, 매끄럽고 사영적인 3차 곡면 위의 브리지갈드-세미스테이블 객체의 모듈리 스택은 준준비적이고 유한형이다.
• B와 ω가 비례하지 않을 경우에도, BG 부등식 추측은 기울기-세미스테이블 객체에 대한 일반화된 부등식과 동치이다.
• BG 부등식 추측을 만족하는 칼라비-양 3차 곡면 위의 브리지갈드-세미스테이블 객체를 세는 도널드슨-타이틀스 인바리언트는 잘 정의되어 있다.
• 인바리언트 DTσ(v)는 유리수이며, 고정된 코히오모로지 특성 v를 가진 σ-세미스테이블 객체를 가상으로 세는 데 쓰인다.
• 홀 알제브라 기법을 통한 DT 인바리언트의 구축은 σ가 양호하지 않을 경우에도 선택에 관계없이 독립적임을 보장한다.
• 인바리언트는 유리성과 벽 횡단 불변성과 같은 기대되는 성질을 만족하며, 끈 이론과 비라시오널 기하학의 기대를 충족시킨다.