반분할 그레이드 및 값부 사영대수의 유니터리 SK1

초록

본 논문은 Henselian 체 위의 값부 사영대수와 그에 대응하는 그레이드 사영대수에서, 유니터리 involution을 갖는 반분할 경우의 SK₁ 군을 명시적으로 기술한다. 기존 Yanchevskii와 Platonov‑Ershov의 비유니터리 결과를 확장하여, 단위군의 구조를 잔류 대수와 값군의 노름 이미지의 몫으로 표현한다.

상세 분석

논문은 먼저 사영대수 D에 대한 그레이드 구조와 값 구조를 정리하고, Henselian 체 K 위에서의 값부 사영대수 (D,v)와 그에 대응하는 그레이드 사영대수 gr(D) 사이의 동형성을 이용한다. 반분할(semiramified)이라는 가정은 값군 Γ_D가 기본값군 Γ_K 위에 차수가 2인 확장을 이루며, 잔류 대수 (\overline{D})가 중심체 (\overline{K}) 위의 순환 확장인 경우를 말한다. 이때 D는 최대 순환 확장 L을 포함하고, L/K는 이중 확장으로서 비가역적(비정규)인 구조를 가진다.

유니터리 involution τ는 D에 대해 τ²=Id이며, 중심체 K의 비자명 자동동형 σ와 호환된다. 저자들은 τ가 반분할 구조와 어떻게 상호작용하는지를 면밀히 분석한다. 핵심은 τ가 잔류 대수 (\overline{D})와 값군 Γ_D에 유도하는 involution (\overline{τ})와 τ̂를 정의하고, 이들에 대한 노름 군 N_{\overline{D}/\overline{K}}와 N_{Γ_D/Γ_K}를 고려함으로써 SK₁(D,τ)의 계산을 가능하게 만든다.

주요 정리는 다음과 같다. 반분할 그레이드 사영대수 (E,τ) 에 대해
\