[논문 리뷰] Orbifold slope-rational connectedness

Frédéric Campana|arXiv (Cornell University)|2016. 07. 26.

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

한 줄 요약

이 논문은 특성 0에서의 매끄럽고 사영적인 오비폴드 쌍 $(X,D)$에 대해 오비폴드 기울기 유리연결성과 기울기 유리몫을 도입하며, 가용 클래스와 하르러-나라시안 필터링을 사용하여 고전적 유리연결성과 유리몫 피브레이션을 일반화한다. 주요 기여는 연결성 가닥이 존재하지 않는다는 가정 없이, 최소 기울기의 양성도를 통해 오비폴드 유리몫을 조건 없이 구성하는 데 있다.

ABSTRACT

We define, for smooth projective orbifold pairs $(X,D)$ notions of `slope Rational connectedness', and of orbifold `slope Rational quotient' . These notions extend to this larger context the classical notions of rationally connected manifold and `rational quotient' (sometimes called `MRC fibration'). Our notions and proofs work entirely in characteristic zero, and are based on the consideration of foliations with minimal positive slope with respect to some suitable movable class. The existence of covering or connecting families of `orbifold rational curves' is indeed presently unknown in the orbifold context, in situations analogous to the classical case $D=0$. By contrast, the notions we introduce here, are checkable in practice and can certainly be used to show general properties expected from the existence of connecting families of `orbifold rational curves'. The proofs given here in the orbifold context provide new proofs in the classical case where $D=0$, since the classical proofs did not seem to adapt, with the presently existing techniques, to this broader context.

연구 동기 및 목표

• 연결성 오비폴드 유리곡선의 가닥이 알려져 있지 않은 경우, 매끄럽고 사영적인 오비폴드 쌍 $(X,D)$에 대해 고전적 유리연결성과 유리몫 피브레이션의 개념을 일반화하는 것.
• 유리곡선에 의존하지 않고, 가용 클래스에 대한 최소 기울기의 양성도를 사용하여 오비폴드 기울기 유리연결성을 정의하고 특성화하는 것.
• 기울기 기준을 통해 기존 기법이 오비폴드 설정에 적응하지 못하는 한계를 극복하고, 특성 0에서 조건 없는 오비폴드 유리몫 사상의 구축을 위한 것.
• 기존 기법이 오비폴드 설정에 적합하지 않기 때문에, $D=0$인 경우에 고전 결과에 대한 새로운 증명을 제공하는 것.
• 오비폴드 코탄제이트 배럴의 수치적 차원과 오비폴드 유리몫의 구조 사이의 연관성을 밝혀내며, 특히 코어 맵 분해와의 관련성을 다루는 것.

제안 방법

• 카와마타 코팅 $\pi: X' \to (X,D)$를 통해 오비폴드 접선 및 코탄제이트 층을 정의하고, 고전적 층을 토르션-free 오비폴드 배럴로 옮기는 것.
• X 상의 가용 클래스 $\alpha$를 사용하여 기울기 $\mu_{\alpha}$, (반)안정성, 오비폴드 배럴에 대한 하르러-나라시안 필터링을 정의하는 것.
• 오비폴드 기울기 유리연결성의 기준으로서 최소 기울기의 양성도 $\mu_{\alpha,\text{min}}(\mathcal{E}) > 0$ 를 도입하는 것.
• 모든 정돈된 모델의 오비폴드 기저에서 $K_Z + D_Z$의 비-표준성과, 큰 $m$에 대해 $h^0(X', \otimes^m \Omega^1(X,D) \otimes A) = 0$ 이 되는 것 사이의 동치 관계를 확립하는 것.
• 최소 기울기의 양성도 조건을 사용하여 오비폴드 기울기 유리몫 사상 $\rho: (X,D) \dasharrow (R,D_R)$를 조건 없이 구성하는 것.
• 새로운 구성이 $\kappa$-유리몫과 코어 맵 분해와 어떻게 관련되어 있는지 밝혀내며, $C_{n,m}^{\text{orb}}$ 추측이 성립할 경우 새 유리몫이 고전적 유리몫과 일치함을 보이는 것.

실험 결과

연구 질문

• RQ1 연결성 오비폴드 유리곡선의 가닥이 존재하지 않는다는 가정 없이, 고전적 유리연결성의 개념을 오비폴드 쌍 $(X,D)$로 일반화할 수 있는가?
• RQ2 유리곡선의 명시적 구성에 의존하지 않고, 코homological 및 기울기 기준에 기반하여 오비폴드 기울기 유리연결성을 특성화할 수 있는가?
• RQ3 오비폴드 코탄제이트 배럴의 기울기 양성도를 사용하여 특성 0에서 오비폴드 유리몫 사상을 조건 없이 구성할 수 있는가?
• RQ4 새로운 기울기 유리몫은 오비폴드 설정에서 기존의 코어 맵 분해와 $\kappa$-유리몫과 어떻게 관련되어 있는가?
• RQ5 수치적 차원 $\nu^+(X,D)$와 $(X,D)$의 비틀림 구조 사이의 관계는 무엇인가? 특히 기본군과 $K_X + D$의 준효과성과의 관련성에서 살펴보는 것.

주요 결과

• 정리 1.1은 세 조건의 동치성을 입증한다: 모든 정돈된 모델의 오비폴드 기저에서 $K_Z + D_Z$의 비-표준성, 큰 $m$에 대해 $h^0(X', \otimes^m \Omega^1(X,D) \otimes A) = 0$ 이 되는 것, 그리고 오비폴드 접선 배럴의 모든 몫에 대해 $\mu_{\alpha,\text{min}}(\mathcal{E}) > 0$ 를 만족하는 가용 클래스 $\alpha$의 존재.
• 오비폴드 기울기 유리몫 사상 $\rho: (X,D) \dasharrow (R,D_R)$는 기울기 양성도를 사용하여 조건 없이 구성되었으며, 이는 고전적 유리몫을 일반화하는 비틀림 불변량을 제공한다.
• 이 구성은 $D=0$인 경우에 고전 결과에 대한 새로운 증명을 제공하며, 이는 존재 기반의 기법이 오비폴드 설정에 적합하지 않기 때문이다.
• 논문은 $\nu^+(X,D) = -\infty$ 이다 ⇔ $(X,D)$가 기울기 유리연결적이다 라는 것을 보이며, 이 조건은 큰 $m$에 대해 $h^0(X', \otimes^m \Omega^1(X,D) \otimes A)$ 가 0이 되는 것과 동치임을 밝혀낸다.
• 오비폴드 기울기 유리몫은 추측적으로 [10]의 $\kappa$-유리몫 $r$과 일치하며, 이 새로운 구성은 유리몫 정의에 있어 $C_{n,m}^{\text{orb}}$ 추측의 필요성을 제거한다.
• 기울기 유리연결적인 오비폴드 쌍의 기본군 $\pi_1(X,D)$는 거의 아벨이며, 쌍이 순수 로그적일 경우 또는 $h^0(X, \Omega^1(X,\log D_1)) = 0$ 이면 자명하다. 이는 [10]의 추측을 확장한다.