[논문 리뷰] Nonarchimedean Bornologies, Cyclic Homology and Rigid Cohomology

Guillermo Cortiñas⋆, Joachim Cuntz외 2명|arXiv (Cornell University)|2017. 08. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 6

한 줄 요약

이 논문은 완비 이산 평가환환 V에 대한 V-대수의 보른로지컬 완비화를 사용하여, 유한 생성 k-대수 A의 Berthelot의 강한 코homology를 계산하기 위한 함자적이고 명시적인 체인 복합체를 제안한다. 이 복합체가 강한 코homology를 계산하며, J-적 보른로지컬 완비화로 구성된 프로-대수의 주기적 순환 동형과의 동형사상이 있음을 보여주어, 스펙트럴 반경 추정과 도르프 완비화를 통해 강한 코homology와 순환 동형을 연결한다.

ABSTRACT

Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot's rigid cohomology. This chain complex is related to the periodic cyclic homology of certain complete bornological $V$-algebras.

연구 동기 및 목표

• 유한 생성 k-대수에 대해 Berthelot의 강한 코homology를 계산하는 자연스럽고 명시적이며 함자적인 체인 복합체를 구성하기.
• 완비 보른로지컬 V-대수에서 스펙트럴 반경 추정을 사용하여 Monsky–Washnitzer 완비화를 명확히 하기.
• 가환 V-대수의 보른로지컬 완비화를 통해 강한 코hom로지와 주기적 순환 동형 사이의 함자적 연결을 수립하기.
• 약한 완비화를 일반화하고, 이를 강한 해석기하학의 튜브 대수와 적합한 커버링과 연결하는 개념적 프레임워크를 제공하기.

제안 방법

• 스펙트럴 반경 성장에 대한 제어를 갖는 유계 부분집합으로 정의된 J-적 보른로지컬 구조를 V-대수 R에 정의하며, 매개변수 α ∈ [0,1]에 따라 매개화한다.
• J의 유한 생성 V-부분대수의 스펙트럴 반경이 ǫ^α 이하가 되는 최소 완비화로 RJ,α를 구성하며, 여기서 ǫ = |π|이다.
• k-대수 A에 대해, R = V[A]가 A 위의 자유 V-대수이므로, R → A의 몰입을 통해 표현한다.
• 자연수 m ∈ ℕ≥1에 대해 프로계산체 (RJ,1/m)를 구성하고, de Rham 복합체 (RJ,1/m ⊗R Ω*_{R}, d)의 호모토피 극한을 취한다.
• 이 호모토피 극한 복합체가 강한 해석기하학에서 튜브 ]Z[ 위의 de Rham 복합체와 준동형사상이 되며, 따라서 강한 코homology를 계산함을 보인다.
• 도르프 연속 호모토피의 평탄성과 호모토피 불변성에 기반하여, 프로-대수 (RJ,1/m)의 주기적 순환 동형과 A의 주기적 강한 코homology 사이의 동형사상을 수립한다.

실험 결과

연구 질문

• RQ1 비표준적인 리프트 선택에 의존하지 않고, 강한 코homology를 계산하는 함자적이고 명시적인 체인 복합체를 구성할 수 있는가?
• RQ2 보른로지컬 구조를 사용하여, 비유한 생성이거나 비노에테르이안인 V-대수에 대해 Monsky–Washnitzer 완비화를 어떻게 일반화할 수 있는가?
• RQ3 보른로지컬 대수의 유계 부분집합의 스펙트럴 반경과 도르프 완비화의 수렴 성질 사이의 정확한 관계는 무엇인가?
• RQ4 혼합 특성수에서 주기적 순환 동형과 강한 코hom로지 사이에 자연스러운 연결이 존재하는가?

주요 결과

• de Rham 복합체 (RJ,1/m ⊗R Ω*_{R}, d)의 호모토피 극한은 유한 생성 k-대수 A의 강한 코hom로지를 계산한다.
• 이 복합체는 표현 R → A의 선택과 무관하게 함자적이며, 도르프 연속 호모토피 불변성에 의해 보장된다.
• 프로-대수 (RJ,1/m)의 주기적 순환 동형은 A의 주기적 강한 코호몰로지와 동형사상이 된다.
• J-적 보른로지컬 완비화 RJ,α는 튜브 대수 T1/α(R,J)† ⊗K의 완비화와 동형이며, 강한 해석기하학과 연결된다.
• 스펙트럴 반경 조건 ̺(S) ≤ ǫ^α는 RJ,α를 특징짓는 조건이며, 이는 비유한 생성 대수로의 Monsky–Washnitzer 완비화의 일반화를 가능하게 한다.
• Sp(RJ,1/m)로 구성된 튜브 ]Z[의 적합한 커버링 덕분에, 코호몰로지가 이들 아핀 도르프 공간 위의 de Rham 복합체의 호모토피 극한을 통해 계산될 수 있다.