[논문 리뷰] Stability conditions on product varieties

Yucheng Liu|arXiv (Cornell University)|2019. 07. 22.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 6

한 줄 요약

이 논문은 $X$가 임의의 매끄러운 프로젝티브 다양체이고 $C$가 매끄러운 곡선일 때, $D(X)$의 주어진 안정성 조건의 중심 질량(image)이 이산적임을 가정할 경우, 매끄러운 프로젝티브 다양체 $X \times C$의 유도 범주에 연속적인 가중치 조건의 가중치 조건을 구성한다. 이 구성은 아브라모비치-폴리슈추크 심장에서의 약한 안정성 조건과 양의 레마를 기반으로 하며, 궁극적으로 임의의 곡선의 곱에 대한 안정성 조건의 존재를 증명한다. 이는 모든 인자들이 타원 곡선인 경우 임의의 차원의 칼라비-야우 다양체를 포함한다.

ABSTRACT

Given a stability condition on a smooth projective variety $X$, we construct a family of stability conditions on $X imes C$, where $C$ is a smooth projective curve. In particular, this gives the existence of stability conditions on arbitrary products of curves. The proof uses, by following an idea of Toda, the positivity lemma established by Bayer and Macrì and weak stability conditions on the Abramovich-Polishchuk heart of a bounded t-structure in $D(X imes C)$.

연구 동기 및 목표

• 매끄러운 프로젝티브 다양체 $X$와 매끄러운 프로젝티브 곡선 $C$에 대해, $D(X)$에 주어진 안정성 조건이 있을 경우, $X \times C$의 유도 범주에 브리지갈란드 안정성 조건의 존재를 확립하는 것.
• 곡선과 곡면에서 알려진 안정성 결과를 고차원 다양체, 특히 곡선을 포함하는 곱 다양체로 확장하는 것.
• 모든 인자가 타원 곡선인 곱으로서의 칼라비-야우 다양체의 차원이 4 이상인 경우에 대한 안정성 조건을 구성하는 오랜 동안 미해결된 문제를 해결하는 것.
• 임의의 차원에서의 곱 다양체에 대해 보고몰로프-기세커 부등식을 이차 부등식을 통해 일반화하는 것.
• t-구조와 다항 중심 질량을 사용하여 $D(X)$의 안정성 조건을 $D(X \times C)$로 올리는 체계적인 방법을 제공하는 것.

제안 방법

• 아브라모비치-폴리슈추크 구성에 기반하여 $D(X \times C)$에 유계 t-구조의 전역 심장을 구성한다.
• 원래 $D(X)$의 안정성 조건에서 유도된 다항 중심 질량을 사용하여 이 심장에서의 약한 안정성 조건을 정의한다.
• 베이어와 맥라이의 양의 레마를 적용하여 약한 안정성 조건에서 안정된 대상에 대한 이차 부등식을 확립한다.
• 중심 질량의 허수부에 대한 귀납법을 사용하여, 지지 성질을 암시하는 더 강력한 이차 부등식을 증명한다.
• 유리수 매개변수 근처의 중심 질량 변동을 유계화하여 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 위에서 안정성 조건의 가중치 조건의 연속성을 확보한다.
• 중심 질량의 이산적 이미지와 유리수 근사법을 활용하여, 이 구성이 유리수 매개변수에서 실수 매개변수로 확장됨을 보인다.

실험 결과

연구 질문

• RQ1 주어진 $D(X)$의 안정성 조건이 중심 질량 이미지가 이산적일 경우, 임의의 매끄러운 프로젝티브 다양체 $X$와 매끄러운 프로젝티브 곡선 $C$에 대해 $D(X \times C)$에 안정성 조건을 구성할 수 있는가?
• RQ2 구성된 안정성 조건이 $D(X \times C)$에서 지지 성질을 만족하는가? 이는 연속적인 가중치 조건의 존재를 보장한다.
• RQ3 이 구성은 임의의 곡선의 곱, 특히 차원 $\geq 4$인 칼라비-야우 다양체로 확장될 수 있는가?
• RQ4 임의의 차원에서의 곱 다양체에 대해 보고몰로프-기세커 부등식이 일반화될 수 있는가?
• RQ5 매개변수 공간 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 내에서 중심 질량이 변형에 어떻게 반응하는가? 연속성이 유지되는가?

주요 결과

• 임의의 매끄러운 프로젝티브 다양체 $X$와 매끄러운 곡선 $C$에 대해, $D(X)$에 중심 질량 이미지가 이산적인 안정성 조건이 있을 경우, $D(X \times C)$에 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$로 매개변수화된 연속적인 안정성 조건의 가중치 조건이 구성된다.
• 이 구성은 아브라모비치-폴리슈추크 심장에서의 약한 안정성 조건과 양의 레마를 기반으로 하며, 지지 성질을 암시하는 이차 부등식을 도출한다.
• 지지 성질은 초기 구성에서 사용된 것보다 더 강력한 이차 부등식을 사용하여 귀납적으로 검증되며, 이는 안정성 조건이 잘 행동함을 보장한다.
• 이 방법은 보고몰로프-기세커 부등식을 임의의 차원에서의 곱 다양체로 일반화하여, $D(X \times C)$의 안정된 대상에 대한 새로운 부등식을 제공한다.
• 이 구성은 임의의 매끄러운 프로젝티브 곡선 $C_1, \dots, C_n$에 대해 $D(C_1 \times \cdots \times C_n)$에 안정성 조건의 존재를 암시한다. 이는 타원 곡선의 곱으로서의 칼라비-야우 다양체 예제를 포함한다.
• 사상 $\eta: \text{RStab}(X) \times \mathbb{R}_{>0} \times \mathbb{R}_{>0} \to \text{Stab}(X \times C)$는 연속적이며, 이는 가중치 조건의 가중치 조건이 잘 정의되어 있고 소규모 매개변수 변형에 대해 안정적임을 확인한다.