[논문 리뷰] Cohen-Macaulayness of absolute integral closures

Bhargav Bhatt|arXiv (Cornell University)|2020. 08. 18.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 18

한 줄 요약

이 논문은 우수한 노에테르 도메인의 절대 정수적 폐쇄를 소수 $p$의 거듭제곱으로 나눈 것의 코hen–맥컬레이 성질을 확립한다. 로그 프라스틱 코호몰로지와 $p$-진 리만-힐베르트 함자를 사용하여, 유한 커버에 대해 혼합 특성의 코다이라 퇀장성의 유사판을 증명함으로써, 오랫동안 남아 있던 교환 대수학과 $F$-특이점 이론 분야의 질문들을 해결한다.

ABSTRACT

We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed characteristic. Our main tools are (log) prismatic cohomology (which yields a Frobenius action in mixed characteristic) and the $p$-adic Riemann-Hilbert functor for constructible étale $\mathbf{F}_p$-sheaves on varieties over a $p$-adic field (which almost controls perfectified prismatic cohomology).

연구 동기 및 목표

• 우수한 노에테르 도메인 $R$에 대해 $R^+/p^nR^+$의 코헨–맥컬레이 성질을 증명하여, 등차 특성 $p$의 경우에 알려진 결과를 혼합 특성으로 확장한다.
• 안드레와 가브르가 제기한 문제를 해결하기 위해, 약한 함수적 코헨–맥컬레이 대수를 구성적이고 명시적으로 생성하는 방법을 제공한다.
• 국소 코헨–맥컬레이 결과의 전역 기하학적 변형을 확립하여, 유한 커버에 대해 혼합 특성의 코다이라 퇀장성의 유사판을 도출한다.
• 호크스터–후네케와 하이트만의 $F$-특이점 및 차원 3에서의 거의 퇀장성 정리에 관한 결과들을 통합하고 일반화한다.
• 프라스틱 코호몰로지와 $p$-진 리만-힐베르트 함자를 확장하여 혼합 특성에서 국소 코호몰로지와 코호몰로지 군의 토르션을 제어한다.

제안 방법

• 혼합 특성에서 코호몰로지 퇴적의 제어를 가능하게 하는 프레보쿠스 작용을 생성하기 위해 로그 프라스틱 코호몰로지를 사용한다.
• $p$-진 다양체 위의 $\mathbf{F}_p$-층에 $p$-진 리만-힐베르트 함자를 적용하여, 거의 완전한 프라스틱 코호몰로지를 제어한다.
• 유도 범주와 국소 코호몰로지를 활용하여 $R^+$-모듈의 구조를 이용해 문제를 인도-코헨–맥컬레이 복합체로 환원한다.
• 절대 정수적 폐쇄와 $R^+$에서 피카르 군의 유일한 나눗셈 성질을 사용한 유한 커버의 논증을 통해, 앰플 라인 번들 경우로 환원한다.
• 정리 3.12를 적용하여, 부정확한 코호몰로지 계열을 제거하기 위한 유한 커버를 구성한다.
• 보크슈타인 수열과 일관된 코호몰로지 강도를 사용하여, $H^d(X, L^b)$의 토르션과 $H^{d-1}(X_{p=0}, L^b)$ 사이의 관계를 설정함으로써, 토르션의 퇴적을 보장한다.

실험 결과

연구 질문

• RQ1 우수한 노에테르 도메인의 절대 정수적 폐쇄 $R^+$는 혼합 특성에서 $p^n$으로 나눈 경우 코헨–맥컬레이인가?
• RQ2 특히 반암백과 큰 라인 번들에 대해, 혼합 특성에서 유한 커버에 대해 코다이라 퇀장성이 복원될 수 있는가?
• RQ3 암시적 존재 증명을 피하면서 혼합 특성에서 약한 함수적 코헨–맥컬레이 대수를 명시적으로 구성할 수 있는가?
• RQ4 $R^+/p^nR^+$의 코호몰로지 성질이 원래의 링 $R$의 기하학을 어느 정도 반영하는가?
• RQ5 프라스틱 코호몰로지와 $p$-진 리만-힐베르트 함자를 사용하여 혼합 특성에서 토르션과 국소 코호몰로지를 어떻게 제어할 수 있는가?

주요 결과

• 모든 우수한 노에테르 도메인 $R$에 대해, 모든 $n \geq 1$에 대해 $R/p^nR$-모듈 $R^+/p^nR^+$는 코헨–맥컬레이이다. 이는 교환 대수학에서 핵심적인 질문을 해결한다.
• 모든 국소 우수한 도메인 $R$에 대해, $p$-진 완비화 $\widehat{R^+}$는 $R$에 대해 코헨–맥컬레이이다. 완비성 조건을 가정하지 않더라도 성립한다.
• 유한 전사 사상 $\pi: Y \to X$가 존재하여, $b < 0$일 때 $H^*(X, L^b)_{\text{tors}} \to H^*(Y, \pi^*L^b)_{\text{tors}}$가 영 사상이 된다. 이는 유한 커버에 대해 혼합 특성의 코다이라 퇀장성의 유사판을 확립한다.
• $X/V$가 $p$-헤네릴리안 DVR $V$ 위에서 올바르고 평탄하며, $L$이 반암백이고 크다면, 유한 커버 $Y \to X$가 존재하여, 모든 $b < 0$에 대해 $H^{<d}(X_{p^n=0}, L^b) \to H^{<d}(Y_{p^n=0}, \pi^*L^b)$가 영 사상이 된다. 여기서 $d = \dim(X_{p^n=0})$이다.
• 약한 함수적 코헨–맥컬레이 대수의 구성이 명시적이고 효과적으로 이루어졌으며, 혼합 특성에서 호모로지 추측에 대한 새로운 증명을 제공한다.
• 결과는 $V$ 위의 유한 생성 대수 $T$에 대한 상대적 경우로 확장되었으며, 이후 근사법을 통해 모든 $p$-헤네릴리안 우수한 도메인으로 일반화되었다.