Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

기술적 요약: 6-함자 형식주의 내의 매끄러운 범주와 해석 기하학 내의 핵 범주를 위한 콤팩트 생성

문제 제기
본 논문은 비가환 대수기하학의 표준 범주론적 매끄러움과 적절성 정의와 해석적 설정 사이의 근본적인 양립 불가능성을 다룬다. 대수적 맥락에서, 다양체 $X$는 그와 연관된 완전 복소수들의 범주 $\text{Perf}(X)$가 (이중 대각 쌍모듈의 가역성을 통해 정의된) 매끄러운 $\infty$-범주일 때에만 매끄럽다. 그러나 강체 해석 기하학에서, 안정적 가시적 $\infty$-범주들의 표준 텐서 곱은 테이트 대수에 대한 킨너스 공식을 만족하지 못한다 (예: $\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$). 결과적으로, 표준 범주론적 매끄러움 개념은 본질적으로 대수적이며 해석적 다양체에는 적합하지 않다. 이러한 실패는 강체 해석적 다양체 $X$가 기하학적으로 매끄러울지라도, $X$가 대수화 가능하지 않은 한 (즉, 대수적 스킴에서 유래하지 않는 한) $\text{Perf}(X)$가 범주론적으로 매끄럽지 않다는 단절로 이어진다.

방법론
이를 해결하기 위해 저자는 클라우젠과 슐로제가 개발한 응축 수학 (condensed mathematics) 과 해석적 스택의 프레임워크를 활용한다. 방법론은 다음과 같은 주요 단계를 거친다:

1. 유도 강체 해석 기하학: 본 논문은 (미카엘리안과 포르타 - 유를 따르는) 애니메이트드 아피노이드 대수와 유도 강체 해석 공간의 이론을 활용한다. 이러한 공간은 유리 국소화를 따라 애니메이트드 아피노이드 대수들을 접합하여 구성된다.
2. 핵 범주: $\text{Perf}(X)$로 작업하는 대신, 저자는 핵 층 (nuclear sheaves) 의 $\infty$-범주인 $\text{Nuc}(X)$에 초점을 맞춘다. 응축 수학에서 도입된 핵 범주는 강체이며, 강체 다양체에 대한 킨너스 공식을 만족하는 '완비된' 텐서 곱을 허용한다.
3. 6-함자 형식주의: 유도 강체 해석 공간 위의 핵 범주에 대한 견고한 6-함자 형식주의가 확립된다. 이 형식주의에는 풀백 ($f^*$), 푸시포워드 ($f_*$), 그리고 로우 스크라이 ($f_!$) 함자가 포함되며, $f_!$는 준콤팩트, 반분리 사상인 경우 $f_*$와 동일시된다.
4. 상대적 매끄러움: 본 논문은 기준 대칭 모노이드 $\infty$-범주 $\mathcal{V}$ (구체적으로 $\text{Nuc}(k)$) 에 상대적인 내부적으로 매끄러운 $\infty$-범주를 정의한다. $\infty$-범주 $\mathcal{C}$가 내부적으로 매끄러우려면, 공평가 (coevaluation) 사상이 $\mathcal{V}$-선형인 오른쪽 수반을 가지며 콜리미트를 보존해야 한다.
5. 원자 생성: 본 연구는 이러한 범주에 대한 단일 콤팩트 (또는 '원자') 생성자의 존재를 조사하며, 이 성질을 기저 다양체의 대수화와 연결한다.

주요 기여 및 결과

• 기하학적 매끄러움과 범주론적 매끄러움의 동치: 주요 결과 (정리 1.4 / 정리 5.1) 는 비아르키메데스 체 $k$ 위의 고전적 강체 해석적 다양체 $X$에 대해, $X$가 기하학적으로 매끄러울 필요충분조건이 $\infty$-범주 $\text{Nuc}(X)$가 $\text{Nuc}(k)$ 위에서 내부적으로 매끄러운 것임을 확립한다. 이는 대각 사상 $\Delta^* \mathcal{O}_X$가 $\text{Nuc}(X \hat{\times} X)$에서 완전 복소수 (콤팩트 대상) 일 때에만 $X$가 매끄러움을 증명함으로써 달성된다.
• 핵 범주에 대한 GAGA: 본 논문은 분석화 $X^{\text{an}}$의 핵 범주와 대수적 범주를 연결하는 GAGA 유형의 정리를 증명한다 (계 5.7): $\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$.
• 대수화 가능성의 특징화: 정리 1.8 (정리 5.9) 은 대수화를 위한 범주론적 기준을 제공한다. 매끄럽고, 적절하며, 준콤팩트이고, 분리된 강체 해석적 다양체 $X$는 $\text{Nuc}(X)$가 단일 $\text{Nuc}(k)$-원자 (동등하게 콤팩트) 생성자를 허용할 때에만 대수화 가능하다.
• 가설 1.7 에 대한 반례: 본 논문은 모든 매끄럽고 원자적으로 생성된 $\mathcal{V}$-선형 $\infty$-범주가 단일 원자 생성자를 허용한다는 가설 (가설 1.7) 에 대한 반례를 구성한다. 대수화 불가능한 매끄럽고 적절한 강체 해석적 다양체 (예: $p$-진 호프 표면) 를 고려함으로써, 저자는 $\text{Nuc}(X)$가 내부적으로 매끄러우나 단일 콤팩트 생성자를 갖지 않음을 보여준다. 이는 대수기하학에서 성립하는 지역적 콤팩트 생성자들을 접합하여 전역적 생성자를 만드는 성질이 해석적 위상에서는 실패함을 보여준다.

의의
본 논문은 세 가지 주요 영역에서 의의를 주장한다:

1. 비가환 해석 기하학: 표준 텐서 곱을 핵 텐서 곱으로 대체함으로써, 범주론적 매끄러움의 강력한 기계를 강체 해석 기하학으로 성공적으로 이식한다. 이는 고전적 설정에서 킨너스 공식의 실패로 인해 이전에 방해받았던 기하학적 매끄러움의 정확한 비가환적 특징화를 가능하게 한다.
2. 대수화 기준: 강체 해석적 다양체가 대수화 가능한지 여부를 탐지하는 새로운, 순수하게 범주론적인 방법을 제공한다. 이는 핵 범주 내의 전역 콤팩트 생성자의 존재를 대수화라는 기하학적 성질과 연결한다.
3. 근본적 구별: 결과는 대수적 위상과 해석적 위상 사이의 근본적인 구조적 차이를 강조한다. 구체적으로, 해석적 설정에서 '지역적 콤팩트 생성자의 접합'이 실패한다는 사실은 임의의 강체 기저로 대수적 결과들 (가령 가설 1.7) 을 일반화하려는 시도에 대한 반례가 되며, 핵 범주의 거동이 대수적 설정의 환 위 모듈의 거동과 구별됨을 보여준다.

본 논문은 응축 수학 및 핵 범주를 통해 매끄러움의 범주론적 프레임워크를 해석 기하학에 적응시킬 수 있지만, 그 결과로 도출된 이론은 대수적 세계에는 존재하지 않는 콤팩트 생성에 관한 본질적 한계를 드러낸다고 결론지으며 끝난다.