스무스 아핀 3차원 다양체 위의 자유 모듈

초록

본 논문은 특성 2가 아닌 대수적으로 닫힌 체 위의 매끄러운 아핀 3차원 다양체에 대해, 모든 안정적으로 자유인 모듈이 실제로 자유임을 증명한다. 이를 위해 베이스 체의 정규성, 베이즈-쿼이엔 정리, 그리고 오일러 클래스 군을 활용한 새로운 사슬 복합체를 구축한다. 결과적으로 차원 3 이하에서의 스테이블 자유 모듈의 취소 현상이 완전하게 성립함을 확인한다.

상세 분석

논문은 먼저 매끄러운 아핀 3차원 다양체 X=Spec A에 대해 A가 정규이며 차원이 3인 정규 고유체 위의 유한형 대수임을 상정한다. 특성 2를 배제함으로써 2-주기성 문제가 사라지고, 특히 K₁‑군과 SK₁‑군 사이의 차이가 사라지는 점을 이용한다. 저자는 기존의 Bass‑Quillen 정리와 Suslin‑Vaserstein‑Quillen의 취소 정리를 고차원으로 끌어올리는 과정에서, 오일러 클래스 군 E(A)와 그와 동형인 Chow‑그룹 CH²(X) 사이의 동형성을 핵심 도구로 삼는다. 구체적으로, 임의의 차원 3의 매끄러운 아핀 스키마에 대해 프로젝트IVE 모듈 P가 충분히 큰 자유 모듈 Rⁿ과 직접합될 때 P⊕Rⁿ≅Rⁿ⁺ᵐ이라면, 오일러 클래스 e(P)가 0이면 P가 자유임을 보인다. 여기서 e(P)=0임을 증명하기 위해 저자는 Voevodsky의 A¹‑동형 이론을 차용해, A¹‑동형 불변량인 π₁^{A¹}(GL)와 π₂^{A¹}(GL)의 계산을 수행한다. 특히, π₂^{A¹}(GL)≅K₂^{MW}가 차원 3에서 사라지는 것을 이용해, 모든 스테이블 자유 모듈의 오일러 클래스가 강제로 영이 됨을 보인다. 또한, 정규성에 의해 발생하는 유일한 비자명한 고윳값을 제거하기 위해, 저자는 Popescu의 평탄화 정리를 적용해 A를 정규 체의 직접극한으로 표현하고, 각 단계에서 자유성 여부를 검증한다. 최종적으로, 이 모든 과정을 종합해 차원 3 이하에서 스테이블 자유 모듈이 자유라는 강력한 취소 정리를 얻는다.