스키마 위의 Grothendieck‑Witt 군에 대한 Mayer‑Vietoris 원리

논문은 크게 네 부분으로 구성된다. 첫 번째 부분(섹션 1‑2)에서는 Grothendieck‑Witt 군의 전통적 정의와 이를 일반화하기 위한 정확 범주, 약한 동형사상, 이중대칭성의 개념을 정리한다. 특히, (E, w, *, η) 형태의 사분쌍을 도입해, 약한 동형사상이 이중대칭성에 호환되는 경우를 정확히 규정한다. 이때, 대칭형식( X, ϕ )이 비특이(singular)라면 ϕ가 약한 동형사상이므로, 이를 기반으로 GW₀(E, w, *, η)와 Witt 군 W₀(E, w, *, η)를 정의한다. 두 번째 부분(섹션 3‑5)에서는 Hermitian K‑이론의 기본 정리들을 구축한다. 섹션 3에서는 가법성(additivity) 정리를 증명한다. 여기서는 두 개의 정확 서열이 주어졌을 때, 해당 서열들의 Grothendieck‑Witt 군이 직접합으로 분해되는 것을 보이며, 이는 Waldhausen의 가법성 정리와 유사하지만, 이중대칭성 보존을 위한 추가 검증이 필요하다. 섹션 4에서는 Waldhausen식 섬유화 정리를 Hermitian 상황에 맞게 변형한다. 핵심은 약한 동형사상이 이중대칭성에 의해 보존되는 경우, S•‑구조의 edgewise subdivision이 동형동형을 유지한다는 점이다. 섹션 5에서는 근사 정리(approximation theorem)를 두 가지 형태로 제시한다. 첫 번째는 정확 구조가 바뀌어도 GW 군이 불변임을, 두 번째는 특정 사상(예: 차원 이동 사상)이 유도하는 동형동형을 보장한다. 이때 2가 가역이 아닌 경우에도 적용 가능하도록, 저자는 자신의 cone construction을 활용한다. 세 번째 부분(섹션 6‑9)에서는 위의 정리들을 스키마에 적용한다. 섹션 6에서는 정확 범주를 체인 복합체 범주로 옮겨, 벡터 번들의 유한 복합체를 다루는 DG‑알제브라 구조를 도입한다. 섹션 7에서는 스키마 위의 DG‑알제브라와 그에 대한 이중대칭성을 정의하고, 이를 통해 GWⁿ(X, L) 공간을 구성한다. 섹션 8에서는 이러한 공간을 실제 스키마 X에 적용해, Grothendieck‑Witt 스페이스 GW(X)와 그 고차 군 GWᵢ(X)를 정의한다. 섹션 9에서는 두 핵심 정리, 즉 지역화 정리와 Zariski‑엑시전 정리를 증명한다. 지역화 정리는 폐쇄 부분 Z와 그 보완 U에 대해 GWⁿ(X on Z, L) → GWⁿ(X, L) → GWⁿ(U, j⁎L) 가 동형섬유임을 보이며, 엑시전 정리는 Z⊂U일 때 GWⁿ(X on Z, L) ≃ GWⁿ(U on Z, j⁎L) 임을 보인다. 이 두 정리를 결합하면, 정리 1.1에 제시된 Mayer‑Vietoris 긴 정확한 시퀀스를 얻는다. 특히, 이 결과는 2가 단위가 아니어도, 스키마가 특이점이 있더라도 성립한다는 점에서 기존 결과와 차별된다. 마지막 부분(섹션 10)에서는 음 차원의 Grothendieck‑Witt 군을 정의하고, 앞서 증명한 정리들을 스펙트럼 수준으로 확장한다. 이를 위해 GW 스페이스를 Ω‑스펙트럼으로 정규화하고, 음 차원의 군을 π₋ᵢ(GW) 형태로 정의한다. 이렇게 함으로써, 전체 이론이 양·음 차원 모두에서 완전한 장을 형성한다. 논문 말미에서는 Balmer와 Hornbostel의 이전 연구와 비교하면서, 본 연구가 2가 가역이 아닌 경우와 특이 스키마에서도 적용 가능하다는 점을 강조한다. 또한, 향후 연구 방향으로 비가환 스키마, 스택, 그리고 더 일반적인 모듈 범주에 대한 확장을 제시한다.