매끄러운 다양체 원뿔의 K이론

초록

이 논문은 특성 0의 체 위에 정의된 매끄러운 사영다양체 X의 동형좌표환 R에 대한 K-이론을, X의 사영임베딩과 연관된 기하학적 데이터로 완전히 기술한다. 특히 곡선인 경우 K₀(R), K₁(R)를 구하고, K₋₁(R) 가 H¹(C,𝒪(n))의 직접합임을 증명한다. K₀(R)의 공식은 뒤틀린 Kähler 미분형식의 자이슈 코호몰로지를 포함한다.

상세 분석

논문은 먼저 R=⊕_{n≥0}H⁰(X,𝒪_X(n))이라는 동형좌표환을 정의하고, 이 환이 X의 원뿔(affine cone) 구조를 제공함을 상기한다. 특성 0에서의 정규성 및 Cohen‑Macaulay 성질을 이용해, R의 K-이론을 사영다양체 X와 그 임베딩을 통해 유도된 복합체와 비교한다. 핵심 도구는 Quillen의 Q‑구조와 Bass‑Thomason‑Trobaugh의 비가환 K-이론 기술이며, 특히 K₀와 K₁에 대해서는 장의 K-이론과 K‑정리(K‑theory localization sequence)를 결합해 정확한 계산을 수행한다.

곡선 C에 대해서는, R이 2‑차원 정규 도메인임을 이용해 K₀(R)≅ℤ⊕Pic(C)⊕⊕_{n≥1}H⁰(C,Ω¹_C⊗𝒪_C(n)) 로 전개한다. 여기서 Ω¹_C는 Kähler 미분형식이며, 뒤틀린 형태의 자이슈 코호몰로지가 등장한다. K₁(R)은 R*와 Pic(C)의 직접합으로 기술되며, 이는 곡선의 Jacobian과 연관된다. K₋₁(R)의 경우, Bass의 정의에 따라 음의 차원 K-그룹이 존재함을 보이고, 이를 정확히 H¹(C,𝒪_C(n))의 직접합으로 식별한다. 이는 원뿔의 비정규성(특히 정점)에서 발생하는 ‘숨은’ 코호몰로지 정보를 반영한다.

고차원 경우에는, 일반적인 차원 d의 매끄러운 다양체 X에 대해 K₀(R)의 공식에 Ω^i_X⊗𝒪_X(n) (0≤i≤d)의 자이슈 코호몰로지가 나타난다. 저자들은 이때의 차원별 ‘전이’ 현상을 분석하고, 특히 H^{d-1}(X,𝒪_X(n))가 K₋₁(R)와 연결되는 구조를 제시한다. 전체적으로 논문은 기존의 K‑이론 계산이 주로 정규 혹은 완전 교차 경우에 국한되었던 점을 넘어, 원뿔이라는 특수한 비정규 상황에서도 정확한 동형좌표환의 K‑그룹을 기하학적 데이터와 일대일 대응시킨다.