[논문 리뷰] Cohomologie de de Rham entiere (Integral de Rham cohomology)

Vincent Franjou|ArXiv.org|2004. 04. 06.

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 정수 위의 de Rham 복합체의 Bockstein 스펙트럴 시퀀스를 사용하여 애핀 공간의 적분 de Rham 코homology를 계산한다. Cartier 동형사상이 스펙트럴 시퀀스의 연속된 페이지들 사이에 동형사를 유도함으로써, 각 계수 조각이 $\mathbb{F}_p$ 위의 de Rham 코homology에 대응하는 $p$-adic 구조를 갖는 필터링된 모듈로서 코homology를 완전히 기술한다. 핵심 결과는 차수 $n$에서의 $p$-primary 부분이 $0 < k \leq \nu_p(n)$인 $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 안의 닫힌 형식들의 공간과 자연스럽게 동형임을 보여준다.

ABSTRACT

The Cartier isomorphism allows a nice description of the Bockstein spectral sequence of the de Rham complex over the integers. It is used to compute the integral de Rham cohomology of affine spaces. ----- On decrit la suite spectrale de Bockstein issue du complexe de de Rham sur les entiers. L'isomorphisme de Cartier intervient comme un endomorphisme du complexe de de Rham modulo p qui identifie les pages successives de la suite spectrale de Bockstein. On en deduit la cohomologie de de Rham entiere des espaces affines.

연구 동기 및 목표

• 정수 위의 애핀 공간의 적분 de Rham 코homology를 계산하는 것.
• Bockstein 스펙트럴 시퀀스를 분석하여 de Rham 코homology의 토르션의 구조를 이해하는 것.
• Cartier 동형사상을 이용하여 코homology 위에 $p$-adic 필터링을 기술하는 것.
• Cartier 사상에 의해 Bockstein 스펙트럴 시퀀스의 연속된 페이지들 사이에 자연스러운 동형사를 확립하는 것.

제안 방법

• 정수 위의 de Rham 복합체와 관련된 Bockstein 스펙트럴 시퀀스를 분석하며, 계수를 $p$로 모듈로 줄인다.
• 스펙트럴 시퀀스의 페이지들 사이의 동형사를 식별하기 위해 Cartier 동형사상 $C^{-1}: \Omega_n \otimes \mathbb{Z}/p\mathbb{Z} \to H(\Omega_{pn}^\star \otimes \mathbb{Z}/p\mathbb{Z})$ 를 사용한다.
• Frobenius 사상 $F_*$ 를 활용하여 차수 $n$과 $pn$의 코homology 군을 연결함으로써 $p$-primary 부분에 대한 동형사를 유도한다.
• 체 $\mathbb{Q}$ 위에서 호모토피 연산자로 Koszul 미분 $\kappa$ 를 사용하지만, $\mathbb{Z}$ 위에서 토르션을 분석하기 위해 관계식 $d\kappa + \kappa d = n$ 을 활용한다.
• de Rham 복합체 $\Omega_n^\star = \bigoplus_{i} S^{n-i}(L) \otimes \Lambda^i L$ 의 계수 구조를 이용하여 $L$ 에 대한 함자적 복합체로 간주함으로써 자연성(Naturality)을 확보한다.
• 총 $H^i(\Omega_n^\star)$ 에 $p$-adic 필터링을 구성하며, 각 계수 조각은 $0 < k \leq \nu_p(n)$ 인 $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 와 동형임을 보인다.

실험 결과

연구 질문

• RQ1 정수 위에서의 적분 de Rham 복합체의 Bockstein 스펙트럴 시퀀스는 어떻게 행동하는가?
• RQ2 Cartier 동형사상은 Bockstein 스펙트럴 시퀀스의 연속된 페이지들을 어떻게 연결하는가?
• RQ3 정수 위 de Rham 코homology의 $p$-primary 토르션은 어떻게 구조화되어 있는가?
• RQ4 애핀 공간의 정수 위 코homology는 $p$-adic 필터링을 통해 완전히 기술될 수 있는가?
• RQ5 $H^i(\Omega_n^\star)$ 의 $p$-adic 필터링의 계수 조각의 정확한 동형 타입은 무엇인가?

주요 결과

• 정수 위 de Rham 복합체의 Bockstein 스펙트럴 시퀀스는 모든 페이지가 $\mathbb{F}_p$ 위의 de Rham 복합체와 동형이므로, 정적이지만 비자명한 스펙트럴 시퀀스임을 나타낸다.
• Cartier 동형사상은 Bockstein 스펙트럴 시퀀스의 $E_1$과 $E_2$ 사이에 동형사를 유도하며, 연속된 페이지들을 식별한다.
• $H^i(\Omega_n^\star)$ 의 $p$-primary 부분은 $0 < k \leq \nu_p(n)$ 인 $\Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 안의 닫힌 형식들의 공간과 동형이며, 그 외에는 영이다.
• 총 코homology $H^i(\Omega_n^\star)$ 는 관계식 $d\kappa + \kappa d = n$ 으로 인해 $n$에 의해 소멸되는 유한 토르션 군이다.
• 스펙트럴 시퀀스는 정적이다: 모든 페이지가 서로 동형이지만, 필터링이 비자명하므로 미분은 비자명하다.
• 총 차수 $n$에서의 코homology 는 $p$-adic 필터링을 갖으며, $k$-번째 계수 조각은 $i > 0$ 이고 $k \leq \nu_p(n)$ 인 경우에 대해 $p^{k-1}H^i(\Omega_n^\star)/p^kH^i(\Omega_n^\star) \cong \Omega_{{n}/{p^k}}^i \otimes \mathbb{Z}/p\mathbb{Z}$ 와 동형이다.