텐서 삼각형 기하학에서의 기하학적 점과 Nerves of Steel 반증

이 논문은 크게 두 파트로 구성된다. 첫 번째 파트는 Balmer가 제시한 “Nerves of Steel” 추측을 반증하는 내용이며, 두 번째 파트는 새로운 “Constructible 스펙트럼” 이론을 전개하고 이를 통해 tt‑기하학에서의 점‑같은 객체들을 구축한다. 1. **서론 및 배경** - 텐서 삼각형 기하학은 고전적인 스펙트럼 이론을 tt‑카테고리 C의 프라임 tt‑이데얼을 이용해 일반화한다. Balmer 스펙트럼 Spc(C)와 호몰로지적 스펙트럼 Spcᵍʰ(C) 사이의 비교 사상 φ가 전단사인지 여부가 핵심 질문이다. - 기존에는 tt‑필드(Spc(F)=∗인 tt‑카테고리)와 그에 대응하는 잔류 함수 C → F를 정의하려는 시도가 있었지만, 두 가지 desiderata (†)와 (‡)를 동시에 만족하는 일반적인 이론은 아직 부재했다. 2. **Nerves of Steel 추측의 반증** - 자유 강체(commutative) 2‑링 A₁⁺와 그 점‑화된 변형 A₁을 고차 Zariski 기하학에서 “affine line”으로 해석한다. - Lurie의 1‑차원 코보리즘 가설과 Deligne의 Rep(GL_t) 반단순성 정리를 이용해 A₁⁺의 일반점 η에 대해 보수적인 tt‑함수 can_η : A₁⁺_η → A₁_η를 구축한다. - A₁_η가 반단순(tt‑field)임을 보이면서도, exact‑nilpotence 조건이 깨지는 구체적인 예시를 제공한다. 이는 비교 사상 φ가 전단사일 수 없음을 의미한다. - 이 결과는 Theorem 5.7 (Theorem A)로 정리되며, “Nerves of Steel” 추측이 일반적인 강체 카테고리에서는 거짓임을 입증한다. 3. **Constructible 스펙트럼의 정의** - Nullstellensatzian 객체(대수적으로 닫힌 필드의 범주적 추상화)를 이용해, 임의의 강화된 tt‑카테고리 C(=Comm₂‑링)의 Constructible 스펙트럼 Spc_cons(C)를 정의한다. - 이 스펙트럼은 compact T₁‑공간이며, 점은 Nullstellensatzian 2‑링 D와 동형인 객체들로 구성된다. - 자연 비교 사상 ψ : Spc_cons(C) → Spc(C) 를 만들고, ψ의 이미지가 “점‑같은” 2‑링 D→C (Spc(D)=∗)에 의해 검출되는 프라임들임을 보인다(Prop 6.10). - 그러나 일반적으로 ψ는 전사적이지 않으며, 특히 양의 유한 높이와 무한 높이(p‑특성) 상황에서 실현 불가능한 프라임이 존재한다(Cor 6.11, Ex 6.12). 4. **유리 경우와 E_∞‑Constructible 스펙트럼** - C가 유리(E_∞‑ring)일 때, Spc_cons(C)와 호몰로지적 스펙트럼 Spcᵍʰ(C) 사이에 자연동형 ψ_h가 전단사임을 증명한다(Theorem E). 이는 모든 호몰로지적 프라임이 Constructible 스펙트럼을 통해 완전히 기술될 수 있음을 의미한다. - 이를 바탕으로 Theorem B를 얻는다: 유리 E_∞‑링 R에 대해 Perf(R)은 충분한 tt‑필드를 가지며, 각 호몰로지적 프라임은 유리 2‑주기적 필드로의 사상으로 실현된다. 또한, 유리 R‑모듈에 대한 나이브 호몰로지적 지원이 실제 지원과 일치함을 보인다. 5. **E_n‑Constructible 스펙트럼과 일반 강화 경우** - C가 E_m‑2‑링(3 ≤ m ≤ ∞)일 때, 각 1 ≤ n < m에 대해 E_n‑Constructible 스펙트럼 Spc_cons^{E_n}(C)를 정의한다. - Burklund의 다중 구조 이론을 이용해 각 호몰로지적 프라임 m에 대응하는 E_n‑알gebra E_n^m을 구성하고, 이를 통해 ψ_hⁿ : Spc_cons^{E_n}(C) ≃ Spcᵍʰ(C) 가 전단사임을 증명한다(Theorem F). - 이 결과를 이용해 Theorem C를 도출한다: 강화된 tt‑카테고리 C의 각 호몰로지적 프라임 m에 대해, Spcᵍʰ(K)=∗인 강체 tt‑카테고리 K와 tt‑함수 C → K가 존재한다. 따라서 (†)와 (‡) 조건을 만족하는 “tt‑필드”를 실제로 구축할 수 있다. 6. **부록 및 기술적 보조 결과** - 부록 A에서는 Deligne의 Rep(GL_t) 반단순성 증명의 핵심 아이디어를 요약한다. - 또한, Rep(GL_t)와 관련된 반단순성 정리를 자유 강체 A₁와 연결시키는 과정이 상세히 전개된다. **결론** 논문은 (i) 자유 2‑링을 통한 Nerves of Steel 추측의 반증, (ii) Nullstellensatzian 객체 기반 Constructible 스펙트럼 이론, (iii) 유리 및 고차 강화 상황에서의 전단사 비교 사상 구축, (iv) 이를 통한 실제 tt‑필드와 점‑같은 객체들의 존재 증명을 순차적으로 제시한다. 고차 범주론·동형론 도구들을 폭넓게 활용함으로써 tt‑기하학의 기본적인 “점” 개념을 새롭게 정립하고, 향후 tt‑필드 이론 및 호몰로지적 지원 연구에 중요한 기반을 제공한다.