[논문 리뷰] Local cohomology multiplicities in in terms of étale cohomolgy

Manuel Blickle, Raphaël Bondu|ArXiv.org|2004. 06. 14.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 양의 특성에서 국소 코homology 다중성 λₐ,ᵢ(A)와 ℤ/pℤ 계수를 가진 에탈 코homology 사이의 정확한 연결고리를 설정하며, 이러한 불변량이 특이점에서 국소 에탈 코homology 군의 차원으로 주어진다는 것을 보여준다. 주요 결과는 이전의 고립 특이점에 대한 분석적 결과를 F-유리 다양체에 가까운 더 넓은 특이점의 범주로 일반화하며, 양의 특성에서 D-모듈의 Riemann–Hilbert 대응을 사용한 Emerton와 Kisin의 결과를 활용한다.

ABSTRACT

We give a description of certain local cohomology invariants (introduced by Lyubeznik) for a class of mildly singular varieties in positive characteristic. The novelty of our approuch lies in using the new Riemann-Hilbert type correspondenc of Emerton and Kisin to express these invariants in terms of 'etale cohomology with ZZ/pZZ coefficients. Thus we are able to obtain results in positive characteristic whereas earlier approaches were restricted (due to the use of de Rham theory) to the analytic case.

연구 동기 및 목표

• 고립 특이점 외의 더 넓은 특이점의 범주로 Lyubeznik의 불변량 λₐ,ᵢ(A)의 위상적 해석을 확장하는 것.
• García-López와 Sabbah의 국소 코호몰로지 다중성에 대한 분석적 결과를 양의 특성에서의 일반화를 제공하는 것.
• Emerton–Kisin의 Riemann–Hilbert 대응을 사용하여 국소 대수 불변량과 에탈 코호몰로지 사이의 새로운 연결을 수립하는 것.
• 고립 특이점에서의 λₐ,ᵢ(A) 기술을 Y∖{x}가 교차 호몰로지 다양체인 다양체로 일반화하는 것.
• 특정 차수 외에는 불변량 λₐ,ᵢ(A)가 모두 0이 되며, 이를 에탈 코호몰로지 군을 통해 명시적인 공식으로 기술하는 것.

제안 방법

• 양의 특성에서 D-모듈에 대한 Emerton와 Kisin의 Riemann–Hilbert 유사 대응을 사용하여, de Rham 이론 대신 Artin–Schreier 이론을 도입하는 것.
• 특성 0 결과에 대한 이중성에 의존하지 않는 증명을 구성하여, 이를 양의 특성으로 이전할 수 있도록 하는 것.
• 이 대응을 적용하여 국소 코호몰로지 모듈 Hⁿ⁻ⁱᴵ(R)를 점을 제거한 다양체 Y∖{x}의 ℤ/pℤ 계수를 가진 에탈 코호몰로지와 연결하는 것.
• L(Y,X) ≅ RΓ[Y](𝒪_X)[n−d]에서의 동형사상으로 근처 F-유리 특이점을 특성화하는 것. 여기서 L(Y,X)는 유일한 단순 단위 R[F]-부분모듈이다.
• Hⁿ⁻ⁱᴵ(R) = 0이 되는 것과 Hⁱₘ(A)가 F-_nilpotent일 때가 동치라는 사실을 이용하여, 국소 코호몰로지의 소멸과 모듈 이론적 성질를 연결하는 것.
• 기저 체의 분리 폐쇄로의 기저 변경을 통해 일반적인 경우를 분리 폐쇄 경우로 줄이며, 불변량 λₐ,ᵢ(A)를 유지하는 것.

실험 결과

연구 질문

• RQ1 Lyubeznik의 불변량 λₐ,ᵢ(A)는 양의 특성에서 어떻게 에탈 코호몰로지로 해석될 수 있는가?
• RQ2 어떤 특이점의 범주가 ℤ/pℤ 계수를 가진 에탈 코호몰로지 군을 통해 불변량 λₐ,ᵢ(A)를 기술할 수 있도록 허용하는가?
• RQ3 García-López와 Sabbah의 고립 특이점에 대한 특성 0 결과는 대수적 방법을 사용하여 비고립 특이점으로 일반화될 수 있는가?
• RQ4 Emerton–Kisin의 Riemann–Hilbert 대응은 복소 기하학에서 사용되는 Riemann–Hilbert 대응의 양의 특성에서의 대응을 어떻게 가능하게 하는가?
• RQ5 어떤 정확한 대수기하학적 조건이 다양체 Y에 대해 국소 코호몰로지 다중성 λₐ,ᵢ(A)가 Y∖{x}의 에탈 코호몰로지에 의해 결정됨을 보장하는가?

주요 결과

• 차원 d인 k-다양체 Y가 단일 점 x를 제외하고 근처 F-유리일 경우, 1 ≤ i ≤ d−1에 대해 불변량 λ₀,ᵢ(A)는 dim_{ℤ/pℤ} Hⁱ_{{ x }}(Yét, ℤ/pℤ)로 주어진다.
• 2 ≤ a ≤ d−1인 λₐ,ₙ(A)의 경우, 불변량은 dim_{ℤ/pℤ} H^{d+1−a}_{{ x }}(Yét, ℤ/pℤ)이며, λ_{d,d}(A) = dim_{ℤ/pℤ} H¹_{{ x }}(Yét, ℤ/pℤ) + 1이다.
• 기타 모든 λₐ,ᵢ(A)는 0이 되며, 이는 불변량에서 강력한 소멸 패턴을 확인하는 데 기여한다.
• 불변량 λₐ,ᵢ(A)는 기저 체의 분리 폐쇄로의 기저 변경을 통해 유지되며, 이는 일반적인 경우를 분리 폐쇄 경우로 줄이는 데 기여한다.
• 근처 F-유리 특이점의 범주는 L(Y,X) ≅ RΓ[Y](𝒪_X)[n−d]에서의 동형사상으로 특성화되며, 이는 국소 코호몰로지와 교차 호몰로지 모듈을 연결한다.
• 결과는 복소 해석적 결과인 García-López와 Sabbah의 결과를 비고립 특이점으로 일반화하며, 복소 코호몰로지 대신 양의 특성에서 에탈 코호몰로지를 사용한다.