[논문 리뷰] Openness of uniform K-stability in families of $\mathbb{Q}$-Fano varieties

Harold Blum, Yuchen Liu|arXiv (Cornell University)|2018. 08. 28.

Geometry and complex manifolds참고 문헌 58인용 수 31

한 줄 요약

이 논문은 $\r Q$-팔로르 다양체의 가속에서 균일 K-안정성이 안정성 임계값(또는 $\mathrm{delta\text{-}invariant}$)의 하부 연속성 분석을 통해 아르티노-오픈 조건임을 증명한다. 값가치 기준과 로그 정규화 임계값에 기반한 대수적 기법을 사용하여, 저자들은 $\mathrm{Q}$-고렌스타인 가속의 기저에서 균일 K-안정인 섬유들의 집합이 아르티노-오픈 부분집합임을 증명한다. 이는 이전의 해석적 결과를 순수 대수적 설정으로 확장하며, 특이성과 복원 불가능한 다양체를 포함한다.

ABSTRACT

We show that uniform K-stability is a Zariski open condition in Q-Gorenstein families of Q-Fano varieties. To prove this result, we consider the behavior of the stability threshold in families. The stability threshold (also known as the delta-invariant) is a recently introduced invariant that is known to detect the K-semistability and uniform K-stability of a Q-Fano variety. We show that the stability threshold is lower semicontinuous in families and provide an interpretation of the invariant in terms of the K-stability of log pairs.

연구 동기 및 목표

• 모듈리 공간을 구성하기 위한 핵심 단계인, $\r Q$-팔로르 다양체의 가속에서 균일 K-안정성의 아르티노-오픈성을 확립하기 위해.
• 이전 연구에서 스무스 또는 복원 가능한 팔로르 다양체에 대해 사용된 해석적 도구를 피하면서, 오픈성에 대한 순수 대수적 증명을 제공하기 위해.
• 특이성과 로그 팔로르 쌍을 포함한 복원 불가능한 경우까지도 포함하여 결과를 확장하기 위해.
• 안정성 임계값($\r\mathrm{delta\text{-}invariant}$)을 통해 K-안정성과 균일 K-안정성을 특성화하고, 로그 정규화 임계값과 값가치 기준과 연결하기 위해.
• 가속에서 안정성 임계값의 하부 연속성을 증명하여 오픈성 결과를 가능하게 하기 위해.

제안 방법

• 안정성 임계값 $\r\mathrm{delta}(X;L)$을 $m$-기저 유형의 분할에 대한 로그 정규화 임계값의 하한의 극한으로 정의한다.
• 후지타와 리의 K-안정성에 대한 값가치 기준을 사용하여 $\r\mathrm{delta}(X) > 1$이 균일 K-안정성과 관련되고 $\r\mathrm{delta}(X) \to 1$이 K-반안정성과 관련됨을 연결한다.
• 기저의 기저 부위의 구조와 로그 정규화 임계값의 극한 행동을 이용하여 안정성 임계값의 하부 연속성을 증명한다.
• 다각형 $P_{-K_X - \r\mathrm{Delta}}$를 통해 토릭 로그 팔로르 쌍에서 $\r\mathrm{delta}$의 행동을 분석한다. 이는 무게 중심과 로그 불일치를 계산함으로써 이루어진다.
• $\r\mathrm{delta}(X,\r\mathrm{Delta} + (1-\beta)D)$가 매우 일반적인 $D$에 대해 $\r\beta$에 대해 감소함을 이용하고, 도함수의 하한이 $-(m-1)/m \r\mathrm{delta}(X,\r\mathrm{Delta})/\r\beta^2$ 이하임을 보인다.
• 안정성 임계값의 하부 연속성과 가чёт한 교차의 논리를 적용하여 K-반안정성의 위치가 기저에서 가чёт한 개수의 열린 부분집합의 교차임을 증명한다.

실험 결과

연구 질문

• RQ1 균일 K-안정성은 $\r Q$-팔로르 다양체의 가속에서 오픈 조건인가?
• RQ2 균일 K-안정성의 오픈성은 해석적 도구 없이 순수 대수적 방법으로 증명될 수 있는가?
• RQ3 안정성 임계값($\r\mathrm{delta\text{-}invariant}$)은 $\r Q$-팔로르 다양체의 가속에서 어떻게 행동하는가?
• RQ4 안정성 임계값은 가속에서 K-반안정성과 균일 K-안정성을 특성화하는 데 사용될 수 있는가?
• RQ5 퇴화와 기저 없는 선형 계량계의 맥락에서, 안정성 임계값과 로그 정규화 임계값 사이의 관계는 무엇인가?

주요 결과

• 균일 K-안정성은 $\r\mathrm{Q}$-고렌스타인 가속에서 $\r Q$-팔로르 다양체에 대해 아르티노-오픈 조건이다.
• 안정성 임계값 $\r\mathrm{delta}(X;L)$은 $\r Q$-팔로르 다양체의 가속에서 하부 연속적이다.
• 토릭 로그 팔로르 쌍 $(X,\r\mathrm{Delta})$에서 $\r\mathrm{delta}(X,\r\mathrm{Delta}) < 1$이라면, $\r\mathrm{delta} = 1$을 가지며 K-반안정성이 되는 $X$-에 대한 $\r\mathrm{Q}$-분할 $D^*$ 가 존재한다.
• 충분히 나누어 떨어지는 $m$과 매우 일반적인 $H \to |-m(K_X + \r\mathrm{Delta})|$에 대해, 모든 $\r\beta \to (0, \r\mathrm{delta}(X,\r\mathrm{Delta}))$ 에 대해 $(X,\r\mathrm{Delta} + (1-\beta)m^{-1}H)$ 는 균일 K-안정적이다.
• 안정성 임계값 $\r\mathrm{delta}(X,\r\mathrm{Delta} + (1-\beta)D)$ 는 $\r\beta$ 에 대해 미분 가능하고 감소하는 함수이며, 도함수의 하한이 $-(m-1)/m \r\mathrm{delta}(X,\r\mathrm{Delta})/\r\beta^2$ 이하이다.
• K-반안정성의 위치는 가속의 기저에서 가чёт한 개수의 아르티노-열린 부분집합의 교차이므로, 모듈리 공간 구성의 핵심 단계를 확인한다.