체흐 근사와 브라운거스텐 스펙트럴 시퀀스

** 본 논문은 ‘체흐 근사’를 이용해 브라운‑거스텐(또는 디센트) 스펙트럴 시퀀스를 구체화하고, 이를 통해 뒤틀린 에타일 K‑이론의 차분을 계산함으로써 브라유 클래스 \(\alpha\) 의 에타일 지수 \(eti(\alpha)\) 가 그 주기 \(per(\alpha)\) 에 나누어짐을 증명한다. 1. **배경 및 동기** - 스키마 \(X\) 위의 코호몰로지적 브라유 군 \(Br'(X)=H^2_{\text{ét}}(X,\mathbb G_m)_{\text{tors}}\) 에는 두 정수 불변량, 즉 주기 \(per(\alpha)\) 와 지수 \(ind(\alpha)\) 가 존재한다. 일반적으로 \(per(\alpha)\mid ind(\alpha)\) 이며, ‘주기‑지수 추측’은 \(ind(\alpha)\) 이 \(per(\alpha)^{d-1}\) (여기서 \(d\) 는 코호몰로지 차원) 이하라는 강한 제안을 담고 있다. - 저자는 이전 논문에서 ‘에타일 지수’ \(eti(\alpha)\) 를 정의했으며, 이는 \(ind(\alpha)\) 보다 작거나 같다. 본 논문의 목표는 \(per(\alpha)\mid eti(\alpha)\) 임을 보이는 것이다. 2. **스펙트럴 시퀀스의 일반 이론** - 섹션 2에서는 ‘피브레이션 탑’ \(\cdots\to X_{s}\to X_{s-1}\to\cdots\) 에 대해 Exact couple \((D,E,i,j,k)\) 을 구성하고, 이로부터 일반화된 스펙트럴 시퀀스 \(E^{r}_{s,t}\) 을 도출한다. 차분 \(d_r\) 은 \((r,r-1)\) 차수를 갖는다. - 섹션 3‑4에서는 코시미플리컬 공간 \(X^\bullet\) 에 대한 두 스펙트럴 시퀀스를 소개한다. ‘호몰로지 극한(holim) 스펙트럴 시퀀스’는 총화 \(Tot_\infty X^\bullet\) 의 탑을 이용하고, ‘포스트니키(Postnikov) 스펙트럴 시퀀스’는 각 단계에서 포스트니키 체인을 적용한다. 3. **전설적인 정리와 그 증명** - 핵심 정리(정리 4.7)는 “코시미플리컬 공간에 대해 holim 스펙트럴 시퀀스와 Postnikov 스펙트럴 시퀀스는 E₂ 페이지부터 동일하다”는 내용이다. 저자는 코시미플리컬 모델 구조와 SM7 공리를 이용해, 각 단계에서 섬유가 \(Map_*(S^s,NX^s)\) 와 동형임을 보이고, 차분이 동일하게 정의됨을 확인한다. 이 정리는 기존 문헌에 명시된 바 없으므로, 상세한 증명을 제공한다. 4. **체흐 근사와 디센트 스펙트럴 시퀀스** - 섹션 5에서는 Grothendieck 사이트 위의 프레시브(또는 시프) 스펙트럼을 코시미플리컬 객체로 바꾸고, 그 총화에 대한 체흐 근사를 정의한다. 이 근사는 ‘체흐 복합’ \(U_\bullet\) 에 대해 \(X_{U_\bullet}\) 을 평가함으로써 얻어진다. - 섹션 6‑7에서는 holim 스펙트럴 시퀀스의 차분 \(d_2\) 을 명시적으로 계산한다. 특히, \(d_2^{0,1}:H^0_{\text{ét}}(X,\mathbb Z)\to H^2_{\text{ét}}(X,\mathbb G_m)\) 가 체흐 근사에서 나타나는 ‘가장 기본적인’ 차분이며, 이는 뒤틀린 K‑이론 층 \(K_{\alpha,0}\cong\mathbb Z\), \(K_{\alpha,1}\cong\mathbb G_m\) 을 이용해 직접 계산된다. 5. **주요 결과와 증명** - 핵심 계산은 \(d_2^{0,1}(1)=\alpha\) 임을 보이는 것이다. 여기서 \(1\) 은 \(H^0_{\text{ét}}(X,\mathbb Z)\) 의 기본 원소이며, 차분이 바로 브라유 클래스 \(\alpha\) 와 일치한다. 따라서 \(d_2^{0,1}(n)=n\alpha\) 이며, 최소 \(n\) (즉 \(eti(\alpha)\)) 가 차분을 소멸시키려면 \(n\) 가 \(per(\alpha)\) 의 배수여야 함을 얻는다. 결과적으로 \