[논문 리뷰] Stabilization of the cohomology of thickenings

Bhargav Bhatt, Manuel Blickle외 3명|arXiv (Cornell University)|2016. 05. 31.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 3

한 줄 요약

이 논문은 특성 0인 체 위의 국소 완전교차 부분다양체 $X \subset \mathbb{P}^n$ 에 대해, 두껍게된 다양체 $X_t = V(I^t)$ 위의 벡터(bundle)의 코homology 가 특이점 집합의 여수준 이하의 코homological 차수에서 안정화됨을 확립한다. 핵심 결과는 $k < \operatorname{codim}(\operatorname{Sing} X)$ 인 경우에 대해 모든 $t \gg 0$ 에서 자연스러운 제약 사상 $H^k(X_{t+1}, \mathcal{O}_{X_{t+1}} \otimes F) \to H^k(X_t, \mathcal{O}_{X_t} \otimes F)$ 가 동형이 되며, 이는 정규(bundle)의 $s$-약화 개념과 코 tangent 복합체를 통한 새로운 코지타카라-아키즈끼-나카노 여명 정리의 형태로 이뤄진다.

ABSTRACT

For a local complete intersection subvariety $X=V({\mathcal I})$ in ${\mathbb P}^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$, the cohomology of vector bundles on the formal completion of ${\mathbb P}^n$ along $X$ can be effectively computed as the cohomology on any sufficiently high thickening $X_t=V({\mathcal I^t})$; the main ingredient here is a positivity result for the normal bundle of $X$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $X_t$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $X$, and the main new ingredient is a version of the Kodaira-Akizuki-Nakano vanishing theorem for $X$, formulated in terms of the cotangent complex.

연구 동기 및 목표

• 증가하는 $t$ 에 대해 국소 완전교차 부분다양체 $X \subset \mathbb{P}^n$ 의 두껍게된 다양체 $X_t = V(I^t)$ 위의 벡터(bundle) 코homology 가 언제 안정화되는지 이해하기.
• 매끄러운 다양체에 대해 하츠혼의 안정화 결과를 특이점이 있는 국소 완전교차 경우로 확장하기.
• 특이점 집합의 여수준 이하의 코homological 차수에서 두껍게된 다양체 $X_t$ 에 대해 코지타카라 여명 정리를 확립하기.
• 특이점이 있는 공간에 대해 코 tangent 복합체 $L_X$ 를 사용하여 새로운 형태의 코지타카라-아키즈끼-나카노 여명 정리 개발 및 적용하기.
• 국소 완전교차 부분다양체의 정규(bundle)이 $s$-약화임을 증명하고, $s = \dim \operatorname{Sing} X$ 이며, 이 조건이 최적임을 보여주기.

제안 방법

• 대칭 복합체 $N_X$ 의 코homology 를 제어하기 위해 부분적으로 약화된(또는 $s$-약화된) 벡터(bundle) 이론을 사용하기.
• 국소 완전교차 $X$ 에 대해, $s = \dim \operatorname{Sing} X$ 이며, $i > s$ 이고 $t \gg 0$ 인 경우에 $H^i(X, \operatorname{Sym}^t(N_X) \otimes \mathcal{F})$ 의 영성 분석을 통해 정규(bundle) $N_X$ 가 $s$-약화임을 증명하기.
• 새로운 형태의 코지타카라-아키즈끼-나카노 여명 정리 수립: $H^a(X, \wedge^b L_X(-j)) = 0$ 이며, $a + b < \operatorname{codim}(\operatorname{Sing} X)$ 이고 $j > 0$ 인 경우이며, 코 tangent 복합체 $L_X$ 를 사용하기.
• $s$-약화된 $N_X$ 와 새로운 여명 정리를 적용하여, $k < \operatorname{codim}(\operatorname{Sing} X)$ 이고 $t \gg 0$ 인 경우에 제약 사상 $H^k(X_{t+1}, \mathcal{O}_{X_{t+1}} \otimes F) \to H^k(X_t, \mathcal{O}_{X_t} \otimes F)$ 가 동형임을 증명하기.
• 세르 dualit 및 특성 0에서의 대칭 복합체와 분할 복합체의 동치 관계를 이용하여 두껍게된 다양체의 코homology 를 정규(bundle)의 대칭 복합체의 코homology 와 연결하기.
• 구체적인 예시(예: 프로젝티브 콘, 특이 다양체와의 곱)를 구성하여 코homological 차수의 범위와 $s$-약화 조건이 최적임을 보여주기.

실험 결과

연구 질문

• RQ1 제약 사상 $H^k(X_{t+1}, \mathcal{O}_{X_{t+1}} \otimes F) \to H^k(X_t, \mathcal{O}_{X_t} \otimes F)$ 가 $t \to \infty$ 일 때 어떤 코homological 차수 $k$ 에서 동형이 되는가?
• RQ2 국소 완전교차 부분다양체의 특이점 집합은 그 두껍게된 다양체 위의 코homology 안정화에 어떤 영향을 미치는가?
• RQ3 코지타카라 여명 정리는 특이점이 있는 다양체의 두껍게된 다양체 $X_t$ 로 확장될 수 있는가? 만약 가능하면 어느 코homological 차수에서 가능한가?
• RQ4 특이점이 있는 공간에 대해 코지타카라-아키즈끼-나카노 여명 정리의 올바른 일반화 형태는 무엇이며, 이를 어떻게 코 tangent 복합체를 사용하여 기술할 수 있는가?
• RQ5 $s$-약화된 정규(bundle) 조건(여기서 $s = \dim \operatorname{Sing} X$) 이 코homological 안정화에 대해 최적 조건인지, 그리고 이것이 최적임을 보일 수 있는가?

주요 결과

• 모든 $t \gg 0$ 에 대해 $k < \operatorname{codim}(\operatorname{Sing} X)$ 이면 제약 사상 $H^k(X_{t+1}, \mathcal{O}_{X_{t+1}} \otimes F) \to H^k(X_t, \mathcal{O}_{X_t} \otimes F)$ 가 동형이 되며, 이는 특성 0에서 국소 완전교차 다양체의 두껍게된 다양체에서의 코homological 안정화를 확립한다.
• 국소 완전교차 부분다양체 $X \subset \mathbb{P}^n$ 의 정규(bundle) $N_X$ 는 $s = \dim \operatorname{Sing} X$ 인 $s$-약화이며, 이는 $i > s$ 이고 $t \gg 0$ 인 경우에 $H^i(X, \operatorname{Sym}^t(N_X) \otimes \mathcal{F}) = 0$ 이라는 뜻이다.
• 새로운 형태의 코지타카라-아키즈끼-나카노 여명 정리가 성립한다: $H^a(X, \wedge^b L_X(-j)) = 0$ 이며, $a + b < \operatorname{codim}(\operatorname{Sing} X)$ 이고 $j > 0$ 인 경우이며, 여기서 $L_X$ 는 $X$ 의 코 tangent 복합체이다.
• 안정화 정리에서 $k < \operatorname{codim}(\operatorname{Sing} X)$ 의 조건은 최적임이 증명되었으며, $k = \dim X - s$ 에서 안정화가 실패하는 구체적인 예시로 이를 보여주었다.
• 특성 0이 아닐 경우, 심지어 매끄러운 $X$ 에 대해서도 안정화가 실패하므로, 특성 0 조건이 필수적임을 보여준다.
• 그리고 $k > \operatorname{ht}(I) + \dim(\operatorname{Sing} X)$ 이면, $t \gg 0$ 에서 그레이드된 국소 코hom로지 시스템에서 사상 $\operatorname{Ext}^k_R(R/I^t, R)_j \to H^k_I(R)_j$ 가 단사임이 보장되며, 이 조건 역시 최적임을 보였다.