Kernel theorems for rigidly-compactly generated $\infty$-categories

기술 요약: 강하게 압축 생성되는 $\infty$-범주에 대한 커널 정리 (Kernel Theorems for Rigidly-Compactly Generated $\infty$-Categories)

문제 제lement (Problem Statement)
본 논문은 강하게 압축 생성되는(rigidly-compactly generated) $\infty$-범주 사이의 선형 함자(linear functors)의 표현 가능성(representability)을 다루며, 특히 $t$-구조를 통해 정의된 "유한한" 대상들의 부분 범주로 제한되는 "유한한(finitary)" 설정에 초점을 맞춘다. 고전적인 커널 정리(예: ind-완성(ind-completion)에서의 colimit 보존 함자와 커널 사이의 동치)는 강하게 압축 생성되는 범주에 대해 잘 확립되어 있으나, 도메인이 의사-코히어런트(pseudo-coherent) 또는 코히어런트(coherent) 대상들로 제한될 경우에는 직접 적용되지 않는다. 핵심 문제는, 이러한 유한한 부분 범주(예: $PCoh(B)$또는$Coh(B)$) 상에서 정의된 정확한 선형 함자들이, 클래식한 요네다 임베딩(Yoneda embedding)과 유사하게 대상 범주(또는 그 쌍대) 내의 대상들에 의해 표현될 수 있는지 여부를 결정하는 것이다. 구체적으로, 저자는 특정 유한성 조건 하에서 함자 범주와 "커널"(대상 범주의 대상들) 범주 사이의 동치를 확립하고자 한다.

방법론 (Methodology)
본 논문은 가산적 안정 $\infty$-범주($PrL_{st}$)의 프레임워크 내에서 작동하며, 작은 아이뎀포텐트 완전 안정 범주($Cat^{perf}$)의 대칭 단조 합성(symmetric monoidal) 범주 내의 가환 대수 대상들의 언어를 활용한다. 방법론은 세 가지 상호작용하는 유한성 개념에 의존한다:

1. 압축성 (Compactness): 필터링된 colimit을 보존하는 대상들.
2. 쌍대성 (Dualizability): 쌍대를 갖는 대상들로서, 이는 단조 구조의 강성(rigidity)에 필수적이다.
3. 코히어런스/의사-코히어런스 (Coherence/Pseudo-coherence): $t$-구조를 통해 정의되며, 대수 기하학에서의 유계성(boundedness) 및 유한 생성성을 일반화한다.

핵심 기술적 접근 방식은 다음과 같다:

• 선형 요네다 임베딩 (Linear Yoneda Embeddings): 강한 대수 $A$ 위의 모듈을 함자와 연결하기 위해 $A$-선형 요네다 임베딩을 활용한다. 본 논문은 표준적인 동치 $Ind(M^{op} \otimes_A N) \simeq Fun^{ex}_A(M, Ind(N))$을 유한한 설정으로 정교화한다.
• Tor-유한 범주 (Tor-Finite Categories): 저자는 "tor-유한 범주"를 공리화하는데, 이는 유한한 tor-차원을 가진 압축 대상들에 의해 생성되는 접근 가능하고(accessible), 호환되며(compatible), 완전한(complete) $t$-구조를 갖춘 강하게 압축 생성되는 범주이다. 이는 압축 대상들과 텐서 곱을 하는 것이 $t$-구조의 유한성 속성을 보존함을 보장한다.
• 보편적 하강 (Universal Descent): 코히어런트 대상들로부터의 함자(소스가 압축 대상들만으로 생성되지 않는 경우)의 표현 가능성을 다루기 위해, 저자는 "보편적 하강의 사상(morphisms of universal descent)"을 도입한다. 이는 "정규(regular)" 범주(압축 대상과 코히어런트 대상이 일치하는 곳)로의 함자 $h: B \to R$이며, 이를 통해 항등 사상의 유한 단계 retract를 거쳐 타겟으로부터 소스로 성질을 하강시킬 수 있다.
• 사영 클래스와 근사 (Projective Classes and Approximation): 증명에는 Neeman의 의사-콤팩트 대상(pseudo-compact objects) 이론과 근사 시스템이 사용된다. 저자는 함자를 근사하기 위해 압축 대상들에 의해 생성되는 사영 클래스를 구축하며, Barr-Beck 정리와 코모나딕 하강(comonadic descent)을 사용하여 동치를 확립한다.

주요 기여 및 결과 (Key Contributions and Results)
본 논문은 tor-유한 범주 사이의 함자에 대한 두 가지 주요 표현 정리(커널 정리)를 확립한다:

1. $(B^\omega)^{op}$로부터의 함자 (Theorem 1.0.1):
   준-적절한(quasi-proper) 함자 $f^L: A \to B$에 대하여 (여기서 우측 부가 함자는 의사-코히어런트 대상들을 보존한다), $B$가 coconnective 대상들을 탐지하는 유한한 생성 압축 대상 집합을 가진다는 가정하에 다음의 동치가 존재한다:
   $$PCoh(B) \simeq Fun^{ex}_{A^\omega}((B^\omega)^{op}, PCoh(A))$$
   $$Coh(B) \simeq Fun^{ex}_{A^\omega}((B^\omega)^{op}, Coh(A))$$
   이 결과는 perfect 대상들을 값으로 갖는 (의사-)코히어런트 대상들에 대한 반변 선형 범함수를 (의사-)코히어런트 커널들로 표현한다.

2. $Coh(B)$로부터의 함자 (Theorem 1.0.2):
   준-적절한 함자 $f^L: A \to B$에 대하여, 만약 $B$가 정규 범주 $R$로의 보편적 하강 사상을 가진다면, 다음의 동치가 존재한다:
   $$(B^\omega)^{op} \simeq Fun^{ex}_{A^\omega}(Coh(B), Coh(A))$$
   이 결과는 코히어런트 대상들을 값으로 갖는 코히어런트 대상들에 대한 공변 선형 범함수를 압축 커널들(쌍대 요네다 임베딩을 통해)로 표현한다. 이는 $Coh(B)$가 일반적으로 압축 대상들만으로는 생성되지 않기 때문에 하강 조건을 요구한다.

응용 및 예시 (Applications and Examples)
추상적인 결과들은 다음과 같은 구체적인 기하학적 맥락에 적용된다:

• $E_\infty$-링 스펙트럼 ( $E_\infty$-Ring Spectra): $B$가 거의 압축적인(almost compact) $A$-모듈인 연결된 $E_\infty$-링들의 사상 $f: A \to B$에 대하여, 이 정리들은 의사-코히어런트/코히어런트 모듈과 perfect 모듈 사이의 함자들 사이의 동치를 제공한다.
• 스킴 (Schemes): $Y$가 노터리안(noetherian)인 준-콤팩트 준-분리 스킴들의 proper map $f: X \to Y$에 대하여, 본 논문은 $D^-_{coh}(X)$ 및 $D^b_{coh}(X)$와 관련된 결과들을 회복하고 일반화한다. 구체적으로, $Perf(Y)$-선형 함자들을 포함하는 동치들을 확립한다. 만약$X$가 quasi-perfect regular alteration를 가진다면, $Perf(X)^{op}$에 대한 쌍대성이 확립된다.
• 스펙트럴 대수 공간 (Spectral Algebraic Spaces): 결과는 proper, locally almost of finite presentation인 quasi-compact quasi-separated 스펙트럴 대수 공간들의 경우로 확장되어, pseudo-coherent 및 coherent 대상들을 perfect 대상들에 대한 함자들과 연결한다.

의의 및 주장 (Significance and Claims)
저자는 본 연구를 강하게 압축 생성되는 범주에 대한 "커널 정리"의 정교화로 위치시키며, 특히 소스가 $t$-구조에 의해 정의된 유한한 대상들로 제한되는 "유한한(finitary)" 경우를 다룬다.

• 일반화: 첫 번째 정리는 Neeman의 결과([Nee25, Theorem 0.4.(i)])의 일반화로 제시되며, 두 번째 정리는 [Nee25, Theorem 0.4.(ii)]의 부분적인 일반화로 설명된다.
• 그로텐디크 쌍대성 (Grothendieck Duality): 본 논문은 준-적절한 함수와 의사-코히어런트 대상 보존 사이의 관계를 명확히 함으로써, 내부 좌측 부가 함수(internal left adjoints)의 관점에서 그로텐디크 쌍대성을 재구성한다.
• 겸손함 (Modesty): 저자는 두 번째 정리($Coh(B)$로부터의 함자)가 Neeman의 작업에 대한 "불완전한" 일반화임을 명시적으로 밝힌다. 이는 정규 범주로의 보편적 하강 사상이 존재해야 한다는 조건에 의존하며, 이 조건은 가장 일반적인 설정(예: 일반적인 스펙트럴 대수 공간)에서 항상 만족되는 것은 아니다. 본 논문은 이러한 하강 가정이 없는 모든 코히어런트 범주에 대한 표현 가능성 문제를 해결한다고 주장하지 않는다.
• 동기 (Motivation): 이 작업은 [Nee25]에서의 비공식적인 질문, 즉 유의적 대수 기하학(derived algebraic geometry)에서의 표현 가능성 결과(Ben-Zvi, Nadler, Preygel)와 안정 호모토피 이론(stable homotopy theory)에서의 결과(Neeman) 사이의 평행 관계에 대한 질문에서 동기를 얻었다. 본 논문은 이러한 현상들을 위한 통일된 추상적 프레임워크를 제공하는 것을 목표로 한다.