전이 사상과 공동 행렬식의 존재 불가능성

초록

본 논문은 Bass‑Tate 가 정의한 Milnor K‑이론의 전이 사상이 Kato 가 증명한 함수성을 만족함을 Goodwillie 군의 전이 사상과 비교하여 보이고, 이를 통해 Milnor K‑군과 Goodwillie 군 사이의 동형을 구축한다. 이 동형을 이용해 서로 교환되는 가역 행렬들의 공동 행렬식(다중 행렬식) 개념을 정의하려고 시도하지만, 유리수, 실수, 복소수 및 유한체와 같은 일반적인 체에서는 l≥2 인 경우 그러한 사상이 존재하지 않음을 증명한다.

상세 분석

논문은 먼저 Milnor K‑이론 Kⁿᴹ(k) 의 정의와 기본 관계식, 특히 2차 기호에 대한 다중선형성, 교환법칙, 그리고 {a,−a}=0 와 같은 항등식을 정리한다. 이를 바탕으로 전이 사상의 근본적인 구성요소인 고차 tame 기호 ∂ᵥ 를 도입하고, Bass‑Tate 가 제시한 전이 사상 Nₖᵥ/k 를 Kato 가 증명한 함수성(합성에 대한 일관성)과 연결한다. 이어서 Goodwillie 군 GWₗ(k) 에서는 행렬의 Kronecker 곱과 블록 대각합을 이용해 자연스러운 전이 사상이 정의되며, 이는 체 확장 L/k 에 대해 L을 k‑벡터공간으로 보는 표준적인 선형대수적 전이와 일치한다. 핵심 정리에서는 두 전이 사상이 동일함을 보이기 위해, Milnor 기호와 행렬식의 관계를 정밀히 계산한다. 특히 Proposition 2.4 와 Lemma 2.3 에서 나타나는 복잡한 기호 연산을 이용해, 전이 사상이 {−1,…,−1} 와 같은 2‑torsion 원소들의 조합으로 표현될 수 있음을 보인다. 이러한 계산을 통해 Kⁿᴹ(k) 와 GWₙ(k) 가 동일한 그레이드 환 구조를 가진다는 동형을 구축하고, 그 동형을 이용해 “공동 행렬식” D: (GLₙ(k))ˡ → k× 를 정의하려는 시도를 공식화한다. 마지막 단계에서는 l≥2 일 때, D 가 다중선형성, 블록 대각합, 동형불변성, 다항식 동형성 네 가지 자연스러운 성질을 동시에 만족할 수 없음을 보인다. 이는 Kⁿᴹ(k) 가 l≥2 일 때 유일하게 나눠지는 구조(예: ℂ에서는 무한히 나눠짐)와 연관되어, 특히 ℚ, ℝ, ℂ, 그리고 유한체에 대해 존재하지 않음을 구체적인 코호몰로지 계산과 Milnor K‑군의 차수별 성질을 통해 증명한다.