A Deep Dive Into the Tangent Category of Schemes

기술 요약: 스킴의 접선 범주에 대한 심층 연구

문제 제기
본 논문은 스킴의 범주 $\mathbf{Sch}/S$ 상에서의 접선 구조(tangent structure)에 관한 명시적 구성 및 해설의 문헌적 공백을 다룬다. 접선 범주론(Rosický가 개척하고 Cockett와 Cruttell이 재활성화함)은 미분 기하학과 미분 논리를 위한 통합적 틀을 제공하지만, 대수 기하학에 대한 적용은 종종 암묵적인 정의에 의존하거나 준코히어런트 층(quasi-coherent sheaves) 및 자리스키 내림(Zariski descent)의 직접적인 사용을 회피해 왔다. 반대로, 대수 기하학자들은 접선 구조를 정식화하는 데 필요한 범주론적 기계론에 익숙하지 않은 경우가 많다. 본 논문은 가환 대수, 층 이론, 그리고 범주적 파이버레이션(fibrations) 사이의 상호작용을 통해 접선 구조의 모포즘(morphisms)이 어떻게 발생하는지를 상세히 기술함으로써, 스킴의 접선 범주에 대한 완전히 명시적이고 "바닥에서부터 시작하는(from-scratch)" 설명을 제공하여 이 간극을 메우고자 한다.

방법론
저자는 그로텐디크 구성(Grothendieck construction)을 활용하여 모듈과 링 위의 대수의 파이브레이션(fibrations of modules and algebras)을 그에 대응하는 스킴론적 대응물과 연결하는 엄밀한 범주론적 접근법을 채택한다. 방법론은 다음과 같은 뚜xt한 단계로 진행된다:

1. 범주적 대수 배경: 논문은 가환 링의 범주($\mathbf{Cring}$) 상에서 가환 대수와 모듈의 의사함자적(pseudofunctorial) 성질을 확립하는 것으로 시작한다. 저자는 $\mathbf{CAlg} \to \mathbf{Cring}$ 및 $\mathbf{Mod} \to \mathbf{Cring}$의 바이파이브레이션(bifibrations)을 명시적으로 구축하며, 대칭 대수 함자 $\mathbf{Sym}$과 기저 모듈 함자 $\mathbf{Und}$가 이 파이브레이션들 사이의 인접(adjunction)을 형성함을 입증한다. 결정적으로, 대칭 대수 함자가 코뮤테이티브 호프 대수(cocommutative Hopf algebras)를 생성하는 함자로 격상됨을 확립한다.
2. 층화(Sheafification) 및 글루잉(Gluing): 논문은 이러한 대수적 결과들을 스킴의 범주로 확장한다. 준코리언트 층의 범주 $\mathbf{QCoh}(X)$를 단순히 층들의 범주가 아니라, 아핀 열린 덮개(affine open covers) 상의 모듈 범주들의 의사극한(pseudolimit)으로 취급한다. 이 관점은 $\mathbf{QCoh}(X)$가 국소적으로 제시 가능(locally presentable)함을 증명하고, 일반적인 모포즘에 대한 풀백 함자($f^\square$)의 우측 인접(right adjoint)을 구축하는 데 사용된다.
3. 상대적 스펙트럼 및 아핀 모포즘: 핵심적인 기술적 도구인 상대적 스펙트럼 함자 $\mathbf{Spec}_X$는 $X$ 위에 아핀인 스킴들의 범주와 준코리언트 $\mathcal{O}_X$-대수의 반대 범주 사이의 동등성을 확립한다. 이를 통해 호프 대수와 같은 대수적 구조를 군 스킴(group schemes)과 같은 기하학적 구조로 번역할 수 있다.
4. 카헬 미분(Kähler Differentials)의 표현 가능성을 통한 구축: 표준적인 대수 기하학 텍스트들이 대각 삽입(diagonal embedding)을 통해 상대적 카헬 미분 층 $\Omega_{X/S}$를 정의하는 것과 달리, 본 논문은 유도(derivations)의 함수를 표현하는 대상으로서 $\Omega_{X/S}$를 직접 구축한다. 이 접근법은 rig-이론적 일반화(음의 원소가 없는 링)와 호환되도록 선택되었다.
5. 접선 구조 구축: 카헬 미분의 대칭 대수의 상대적 스펙트럼을 사용하여, 논문은 접선 함자 $T(X) = \mathbf{Spec}_X(\mathbf{Sym}_{\mathcal{O}_X}(\Omega_{X/S}))$를 구축한다. 또한, 준코리언트 층 수준에서의 대응하는 대수적 사상들을 리프팅(lifting)하고 상대적 스펙트럼 함자를 적용함으로써, 접선 범주에 필요한 다섯 가지 구조 모포즘(번들 투영, 영 섹션, 덧셈, 버티컬 리프트, 캐노니컬 플립)을 명시적으로 정의한다.
6. 재구성(Reconstruction): 마지막으로, 논문은 미분 번들(differential bundles)과 준코리언트 층 사이의 동등성을 이용하여 준분리 스킴(quasi-separated schemes)에 대한 재구성 정리를 증명한다.

주요 기여 및 결과

• $\mathbf{Sch}/S$ 상의 명시적 접선 구조: 논문은 $\mathbf{Sch}/S$가 접선 범주임을 공리별로 완벽하게 검증한다. 저자는 접선 함자 $T(-)/S$와 모든 연관된 자연 변환($p, 0, \text{add}, \ell, c$)을 층론적 연산과 상대적 스펙트럼 함자를 통해 명시적으로 정의한다.
• 의사함자성(Pseudofunctoriality): 접선 구조가 기저 스킴 $S$에 따라 의사함자적으로 변화하며, $\mathbf{Sch}^{op}_S$로부터 접선 범주들의 2-범주로의 의사함자를 유도함을 입증한다.
• 쌍대 접선 구조: 논문은 함자 $(-) \times_S W_S$ (여기서 $W_S$는 듀얼 넘버의 스킴)에 의해 유도되는 반대 범주 $\mathbf{Sch}^{op}_S$ 상의 쌍대 접선 구조를 구축하며, 이 구조가 기존 문헌에 기록되지 않았음을 언급한다.
• 미분 번들에 대한 재구성 정리: 논문은 준분리 스킴 $X$와 $Y$에 대하여, $X \cong Y$인 것은 그들의 미분 번들 범주 $\mathbf{DBun}(X) \simeq \mathbf{DBun}(Y)$ 사이에 범주적 동등성이 존재하는 것과 동치임을 증명한다. 이는 준분리 스킴의 범주가 $\mathbf{Sch}/S$의 엄격한 접선 부분 범주(strict tangent subcategory)이며, 준분리 스킴 위의 미분 번들의 범주가 그 준코리언트 층의 반대 범주와 동등함을 보여줌으로써 달성된다.
• 기술적 명료화: 논문은 분야에서 흔히 가정되는 "민속적(folklore)" 결과들, 예를 들어 $\mathbf{QCoh}(X)$의 의사극한 분해와 준코리언트 층의 푸시포워드(pushforward)가 준코리언트성을 유지하기 위한 구체적인 조건(준컴팩트 및 준분리 모포즘)에 대한 명시적인 증명을 제공한다.

의의
본 논문은 주로 범주론과 대수 기하학 사이의 기술적, 설명적 가교로서의 중요성을 주장한다.

• 범주론자들에게: 접사 구조가 글루잉(자리스키 내림)을 통해 어떻게 구축되는지, 그리고 그것이 준코리언트 층과 어떻게 상호작용하는지를 보여줌으로써, 매끄러운 다양체에 기반하지 않은 구체적이고 상세한 모델로서의 접선 범주를 제시한다.
• 대수 기하학자들에게: 표준적인 기하학적 대상(예: 접번들 및 카헬 미분)을 접선 범주와 미분 번들의 추상적 언어 내에 프레임화하여, 이에 대한 범주적 관점을 제공한다.
• 기초적 유용성: 접선 구조를 명시적으로 구축하고 미분 번들의 재구성 정리를 증명함으로써, 본 논문은 이가-변이 대수 기하학(equivariant algebraic geometry) 및 범주적 재구성을 통한 비가환 공간 연구를 위한 토대를 마련한다. 저자는 여기서 개발된 기법들이 접선 범주론의 맥락에서 모포즘(예: 임머전 및 서브머전)을 분류하는 데 필수적임을 언급하며, 이는 저자와 동료들의 관련 연구에서도 수행되는 작업이다.

본 논문은 정의된 구조들과 그 직접적인 결과들(재구성 정리 등)의 범위를 넘어 새로운 실험적 응용이나 미래 연구 방향을 제안하지 않으며, 기존의 이론적 연결을 엄밀하게 설명하고 명료화하는 데 집중한다.