완비화에 의해 유도된 Grothendieck 군 사상의 비단사성 예시

초록

본 논문은 복소수 위의 2차원 비정규 지역환 A를 구성하여, 그 완비환 ˆA에 대한 유리계 계수를 갖는 Grothendieck 군 G₀(A)⊗ℚ → G₀(ˆA)⊗ℚ 사상이 전사이지만 핵이 비자명함을 보인다. 이는 완비화가 G₀‑군에 대해 항상 단사성을 유지하지 않음을 보여주는 최초의 구체적 예시이다.

상세 분석

논문은 먼저 Grothendieck 군 G₀(R)⊗ℚ의 정의와 완비화 ˆR에 대한 사상 φ:R→ˆR 가 유도하는 G₀‑사상 φ_*:G₀(R)⊗ℚ→G₀(ˆR)⊗ℚ 를 소개한다. 일반적으로 완비환은 원환과 동형사상 수준에서 많은 구조적 정보를 보존하지만, 모듈 범주 수준에서는 미세한 차이가 발생할 수 있다. 특히, 정상성(normality)이나 정규화 정리와 같은 가정이 없을 경우, 완비화가 모듈의 동형류를 완전히 반영하지 못한다는 점이 핵심이다.

저자는 복소수 체 ℂ 위에서 차원이 2인 지역환 A를 구체적으로 구성한다. A는 ℂ