[논문 리뷰] Torsion in the crystalline cohomology of singular varieties

Bhargav Bhatt|arXiv (Cornell University)|2012. 05. 08.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 특이점이 있는 사영 대상의 격자코homology—특히 일반적인 이중점이나 고립된 토릭 특이점을 가진 대상—이 라그랑주-비특이성(lci)이고 근본적으로 감소된 상태임에도 불구하고, 위트 벡터의 환 위에서 자주 무한 생성됨을 보여준다. 이는 Illusie의 유도된 de Rham 코homology와 그 격자코homology와의 비교를 통해, Frobenius twist 위의 공리적 코homology와 공액 스펙트럴 시퀀스를 통해 여러 차수에서 무한 생성이 드러남을 보여주며, 특이점이 있는 대상에 대해서도 격자코homology가 잘 행동한다는 기대와는 반대로 도전한다.

ABSTRACT

This note discusses some examples showing that the crystalline cohomology of even very mildly singular projective varieties tends to be quite large. In particular, any singular projective variety with at worst ordinary double points has infinitely generated crystalline cohomology in at least two cohomological degrees. These calculations rely critically on comparisons between crystalline and derived de Rham cohomology.

연구 동기 및 목표

• 특이 사영 대상, 특히 온화한 특이점을 가진 대상에 대한 격자코homology의 구조를 조사하기 위해.
• 특이점이 존재함에도 불구하고 라그랑주-비특이성 상태일지라도 왜 격자코homology가 다루기 어려운 무한 생성성을 띠는지 이해하기 위해.
• 이러한 무한 생성성이 병리적인지, 아니면 더 깊은 기하학적 또는 코homological 구조의 징후인지 탐색하기 위해.
• 유도된 de Rham 코homology를 활용한 방법론적 프레임워크를 제공하여 특이 설정에서 격자코homology를 분석하기 위해.
• 특이 대상 중에서 양의 특성의 체 위에서 유한 차원 격자코homology를 가지는 것이 존재하는지 확인하기 위해.

제안 방법

• 특이 대상에 대해 고전적 de Rham 코homology의 개선으로서 Illusie의 유도된 de Rham 코homology를 활용하기 위해.
• 라그랑주-비특이성 대상에 대해 유도된 de Rham 코homology와 격자코homology를 동치로 만드는 비교 정리를 적용하기 위해.
• 유도된 de Rham 코hom로의 공액 스펙트럴 시퀀스를 사용하며, 그 E2-항은 Frobenius twist 위의 공리적 코homology에서 유래됨.
• 접선 복합체와 그 외적 거듭제곱을 통해 공액 필터링의 계수 조각을 분석하기 위해.
• 헤네릴라이제이션과 접선 복합체의 에탈 불변성에 의해 특이점 근처의 국소 계산으로 문제를 축소하기 위해.
• 유한 차원 계수 조각을 가진 필터링의 추론을 통해 격자코homology에서의 무한 생성을 탐지하기 위해.

실험 결과

연구 질문

• RQ1 유한 차원 격자코homology를 가지는 특이한 완전한 k-대상이 존재하는가?
• RQ2 특이한 유한 유형의 k-대수는 A^(1) 위에서 유한 생성된 격자코homology를 가질 수 있는가?
• RQ3 특이한 경우에 격자코homology가 무한 생성되는 것은 병리적인가, 아니면 더 깊은 코homological 구조의 징후인가?
• RQ4 유도된 de Rham 코homology 프레임워크는 특이 설정에서 격자코homology를 계산하는 데 신뢰할 수 있는 방법을 제공하는가?
• RQ5 유도된 de Rham 코hom로의 공액 스펙트럴 시퀀스는 어떤 조건에서 격자코homology의 무한 생성을 탐지하는가?

주요 결과

• 임의의 완전한 lci k-대상에서 고립된 토릭 특이점(예: 곡선 위의 노드)을 가진 경우, 격자코homology는 적어도 두 개의 코homological 차수에서 무한 생성된다.
• 임의의 완전한 lci k-대상에서 임베딩 차원 N인 일반적인 이중점이 있는 경우, p가 정의 방정식의 차수 d를 나누지 않을 때, H^N_crys(X/k)와 H^{N-1}_crys(X/k)는 모두 무한 차원 k-벡터 공간이다.
• 라그랑주-비특이성 특이점의 유도된 de Rham 코homology는 유한 차원 계수 조각을 가진 공액 필터링을 가지며, 이 필터링은 접선 복합체의 외적 거듭제곱의 직합으로 이동된 차수와 동형이다.
• 무한 생성은 고차수에서의 유도된 de Rham 복합체의 무한 직합 분해에서 비롯되며, 이는 비교 동형에 의해 격자코homology로 번역된다.
• 비라이플리터블 특이점, 예를 들어 고차원 일반 이중점의 경우에도, W_2로의 국소 라이프트와 Frobenius 호환성을 사용함으로써 이 방법이 적용된다.
• 결과는 유리성과 비-로그-칸토니컬 특이점 모두에 대해 성립하며, p ≥ 7일 때는 차수 ≤5인 매끄러운 곡선의 원뿔을 포함한다.