유한체 위 코호몰로지의 유한 생성성: 모티브·프뢰베니우스·와일‑에타레 사이의 중간 이론

초록

이 논문은 모티브 코호몰로지와 와일‑에타레 코호몰로지를 연결하는 새로운 중간 코호몰로지 이론 (H_F)을 정의하고, 이와 Kato 코호몰로지 (H_K)를 포함한 세 이론 모두에 대해 유한 생성성을 예측한다. Bass, Beilinson‑Lichtenbaum, Parshin, Tate 등 기존의 주요 추측과의 관계를 정확히 제시하고, 특히 매끄럽고 적당한 경우에 대한 구체적인 계산과 예시를 제공한다.

상세 분석

논문은 먼저 정규 스킴 (X)에 대해 Bloch의 고차 사이클 복합체 (Z(n))를 이용해 세 종류의 코호몰로지를 정의한다. ① motivic cohomology (H^M_i(X,\mathbb Z(n)))는 기존의 고차 Chow 군과 동형이며, ② Frobenius cohomology (H^F_i(X,\mathbb Z(n)))는 (\bar X) 위의 사이클 복합체에 Weil 군 (G)의 작용을 도입한 이중 복합체의 호몰로지로 정의된다. ③ Kato cohomology (H^K_i(X,\mathbb Z(n)))는 같은 복합체의 (G)-불변 부분의 호몰로지이며, 이는 Kato가 제안한 정수 버전의 Kato 동류와 일치한다.

세 이론 사이에는 자연스러운 사상 (\alpha: H^M \to H^F), (\beta: H^F \to H^K)가 존재하고, 이들을 연결하는 긴 정확한 열 (1)과 (3)이 전개된다. 특히 (3)은
\