[논문 리뷰] Positivity in convergence of the inverse $\sigma_{n-1}$-flow

Jian Xiao|arXiv (Cornell University)|2016. 10. 29.

Geometry and complex manifolds참고 문헌 22인용 수 3

한 줄 요약

이 논문은 복소 켈러 다양체 위에서 역 $σ_{n-1}$-유동의 해법 가능성에 대한 Lejmi와 Székelyhidi의 추측의 약화된 형태를 입증한다. 이는 전역 수치적 양성 조건 하에서 $(n-1,n-1)$-형식 $ω^{n-1} - \frac{(n-1)!}{(n-1)!1!}\omega^{0}\wedge\alpha^{n-1}$ 의 국소적 양성 조건을 확립하여 이루어지며, 이는 코homology 클래스 내에 엄밀히 양성인 대표자가 존재함을 확인한다. 주요 결과는 켈러 3-다양체로의 확장과 이동 가능한 곡선 클래스의 차가 이동 가능한 콩의 내부에 놓일 수 있는 충분조건을 제공한다.

ABSTRACT

We study positivity in the conjecture proposed by Lejmi and Sz\\'{e}kelyhidi on finding effective necessary and sufficient conditions for solvability of the inverse $\\sigma_k$ equation, or equivalently, for convergence of the inverse $\\sigma_k$-flow. In particular, for the inverse $\\sigma_{n-1}$-flow we partially verify their conjecture by obtaining the desired positivity for $(n-1, n-1)$ cohomology classes. As an application, we also partially verify their conjecture for 3-folds.

연구 동기 및 목표

• 역 $σ_k$-방정식의 해법 가능성에 대한 Lejmi와 Székelyhidi의 추측의 약화된 형태를 $k = n-1$ 에 대해 검증하는 것.
• 전역 수치적 양성 조건 하에서 역 $σ_{n-1}$-유동과 관련된 $(n-1,n-1)$-형식의 국소적 양성 조건을 확립하는 것.
• 이전의 $k=1$ 및 $k=n-1$ 사례 결과를 바탕으로 켈러 3-다양체로 결과를 확장하는 것.
• 이동 가능한 곡선 클래스의 차가 이동 가능한 콩의 내부에 놓일 수 있는 충분조건을 제공하는 것.

제안 방법

• Boucksom이 확립한, 의사효과적 $(1,1)$-류에 대한 분할형 Zariski 분해를 활용한다.
• Xia(2014) 및 LX(2016a)에서 유래한 모스 유형의 크기 기준을 이동 가능한 $(n-1,n-1)$-류에 적용한다.
• Popovici(2016) 및 Wang-Ning(2016)에서 유도된 제한된 역 Khovanskii-Teissier 부등식의 제한된 형태를 활용한다.
• DK12 및 Sun16의 결과를 활용하여 복소 몽주-아프레 타입 방정식을 적용해 $(k+l)$-하나하나의 대표자를 구성한다.
• 코homological 감소를 통해 복소 토이에서의 교차 수 부등식으로 국소 부등식을 감소시킨다.
• [Pop16]의 방법을 사용해 $(k+l)$-하나하나의 형식을 다루고 체적 형식 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 모든 $p$ 차원 부분다양체에 대해 $k \leq p \leq n-1$ 인 경우에 수치적 양성 조건이 역 $\sigma_{n-1}$-유동의 $(n-1,n-1)$-형식의 국소적 양성 조건을 유도하는가?
• RQ2 일반적인 컴act 켈러 다양체에서 $k = n-1$ 인 경우 약화된 추측을 검증할 수 있는가?
• RQ3 적절한 양성 조건 하에서 두 이동 가능한 곡선 클래스의 차가 이동 가능한 콩의 내부에 놓일 수 있는가?
• RQ4 $(k+l)$-하나하나의 형식과 체적 형식 부등식을 사용해 $(n-1,n-1)$-형식의 양성을 확립할 수 있는가?
• RQ5 이동 가능한 코homology 류에 대한 맥락에서 $(k+l)$-하나하나의 형식에 대해 역 Khovanskii-Teissier 부등식이 성립하는가?

주요 결과

• 논문은 전역 수치적 양성 조건 (3) 하에서, $\{\omega^{n-1} - \frac{(n-1)!}{(n-1)!1!}\omega^{0}\wedge\alpha^{n-1}\}$ 코homology 클래스가 매끄럽고 엄밀히 양성인 $(n-1,n-1)$-형식을 포함함을 증명하며, 이는 $k=n-1$ 에 대해 약화된 추측을 검증한다.
• 그 결과로, 이 추측은 켈러 3-다양체에 대해 완전히 검증되며, 이는 이전의 $k=1$ 및 $k=n-1$ 사례 결과를 확장한다.
• 이동 가능한 곡선 클래스의 차가 이동 가능한 콩의 내부에 놓일 수 있는 충분조건이, 곡선의 이동 가능한 콩의 정교한 구조를 활용하여 확립된다.
• 이 증명은 이동 가능한 $(n-1,n-1)$-류에 대한 분할형 Zariski 분해와 모스 유형의 크기 기준에 의존한다.
• 적절한 가정 하에서 $(k+l)$-하나하나의 형식에 대해 제한된 역 Khovanskii-Teissier 부등식이 성립함을 보이며, 이는 체적 형식 비교를 가능하게 한다.
• 이 방법은 국소 부등식을 코homological 및 기하학적 양성 도구를 활용해 복소 토이에서의 교차 수 부등식으로 감소시킨다.