유한체 F2와 F3에서의 Grassmannian 동류학과 차수 2 고차 Chow 군의 소멸

초록

본 논문은 유한체 F₂와 F₃에 대해 Bloch의 입방형 고차 Chow 군 CH²(Spec Fₚ, 3) 내에 존재하는, 프로젝트 Grassmannian 동류학 ^PGH₁²(Fₚ) 의 이미지가 전부 사라짐을 컴퓨터 계산을 통해 증명한다. 이를 위해 선형 부분공간으로부터 얻어지는 1‑차원 사이클들을 명시적으로 구성하고, 경계 연산자를 행렬 형태로 구현해 그 이미지가 전부 경계에 포함됨을 확인한다. 결과는 해당 차수의 고차 Chow 군이 Grassmannian 동류학으로부터 비자명한 원소를 얻지 못한다는 것을 의미한다.

상세 분석

Bloch가 제시한 입방형 고차 Chow 군 CHⁿ(X, m)은 X 위의 (m‑1)‑차원 입방체 □^{m‑1} 에 대한 사이클 복합체를 통해 정의되며, 특히 Spec Fₚ 와 같은 스펙트럼에서는 순수 차원의 사이클만이 비자명하게 존재한다는 점이 알려져 있다. 이와 동시에 Grassmannian 동류학 ^PGH₁²(Fₚ) 은 P²(Fₚ) 내의 1‑차원 선형 부분공간(즉, 직선)들을 이용해 정의되는 동류군으로, 각 직선은 입방형 복합체 Δ³ 에 대응되는 3‑차원 사이클을 만든다. 논문은 이러한 직선‑사이클들의 이미지가 CH²(Spec Fₚ, 3) 내에서 경계에 의해 소멸한다는 사실을 보이고자 한다.

우선 저자들은 P²(Fₚ) 의 모든 직선을 전산적으로 열거한다. p=2 일 때는 직선이 7개, p=3 일 때는 13개가 존재한다. 각 직선 L 에 대해, L 을 (ℙ¹)³ 의 좌표에 삽입해 입방형 사이클 Z(L) 을 만든다. 이때 Z(L) 은 Δ³ 의 면에 대한 적절한 교차조건을 만족하도록 정의되며, Bloch의 복합체 Z⁽²⁾(Spec Fₚ, 3) 의 1‑차원 원소가 된다.

다음 단계는 경계 연산자 ∂: Z⁽²⁾(Spec Fₚ, 3) → Z⁽²⁾(Spec Fₚ, 2) 의 행렬을 구성하는 것이다. 저자들은 각 Z(L) 에 대해 ∂Z(L) 를 계산하고, 이를 ℤ‑모듈 ℤ^{N} (여기서 N 은 모든 2‑차원 입방형 사이클의 수) 의 기저에 대한 좌표벡터로 표현한다. 이렇게 얻어진 행렬은 p=2, 3 에 대해 각각 7×M, 13×M 형태이며, M은 2‑차원 사이클의 총 개수이다.

컴퓨터 대수 시스템(예: SageMath, Magma)을 이용해 행렬의 랭크를 구하면, 모든 Z(L) 의 이미지가 ∂의 이미지에 완전히 포함됨을 확인할 수 있다. 즉, Ker(∂) 내에 존재하는 ^PGH₁²(Fₚ) 의 원소들은 모두 Im(∂) 에 속하므로, CH²(Spec Fₚ, 3) 에 대한 해당 부분은 0이 된다.

이 결과는 두 가지 중요한 의미를 가진다. 첫째, 유한체 F₂, F₃ 에 대해 Grassmannian 동류학이 고차 Chow 군에 비자명한 원소를 제공하지 못한다는 구체적 증거가 된다. 둘째, 입방형 모델을 이용한 고차 Chow 군의 계산이 실제로 구현 가능함을 보여주며, 향후 더 복잡한 체(예: Fₚ with p>3) 혹은 다른 차수에 대한 전산적 접근법의 토대를 마련한다.

또한 논문은 기존 문헌에서 제시된 “Grassmannian 동류학 → 고차 Chow 군” 사상의 전사성(또는 전단성) 문제와 연결한다. 유한체에서는 전사가 성립하지 않으며, 오히려 전단성(이미지가 0)임을 확인함으로써, 특성 0 체와 특성 p 체 사이의 근본적인 차이를 강조한다.