Localizing subcategories for algebraic stacks

기술 요약: 대수적 스택의 국소화 부분 범주(Localizing Subcategories)

문제 정의
유도 범주(derived category) 내 국소화 부분 범주의 분류는 삼각 범주 이론(triangulated category theory)의 중심적인 문제이다. Neeman는 노테리안 환(Noetherian ring)의 유도 범주에 대한 국소화 부분 범주와 그 스펙트럼의 부분 집합 사이의 전단사 관계를 확립하였으며[Nee92], 이는 노테리안 스킴(Noetherian schemes)으로 확장되었다 [ATJLSS04]. 대수적 스택의 경우, 준코히어런트 코호몰로지(quasi-coherent cohomology)를 갖는 복체들의 유도 범주 $D_{qc}(X)$는 반드시 컴팩트 생성(compactly generated)되는 것은 아니다 [HNR19]. 따라서, $\otimes$-국소화 부분 범주(텐서 곱 작용에 대해 닫혀 있는 것)를 밑 공간의 위상적 공간 $|X|$의 부분 집속으로 분류하는 문제는 이 일반적인 상황에서 여전히 미해결 상태로 남아 있다. Stevenson [Ste13]의 선행 연구 및 최근의 Alonso Tarrío, Jeremiás López, Souto Salorio [AJL24]의 연구는 보편적으로 적용되지 않는 특정 생성 성질이나 컴팩트성 가정을 활용한다. 본 논문이 다루는 구체적인 과제는, $D_{qc}(X)$가 컴팩트 생성된다는 사전 가정 없이도 $\otimes$-국소화 부분 범주의 분류가 대수적 스택으로 확장될 수 있는지 여부이다.

방법론
본 논문은 Balmer와 Mathew가 도입한 내려감 가능성(descendability) 개념[Bal16, Mat16]에 기반한 디센트 원리(descent principle)를 채택한다. 핵심 전략은 매끄러운 프레젠테이션(smooth presentations)을 통해 대수적 스택의 문제를 스킴의 문제로 환원하는 것이다.

1. 점 생성성(Point-Generatedness): 본 논문은 "점 생성적" 스택(정의 1.1)이라는 개념을 도입한다. 준컴팩트 준분리(quasi-compact quasi-separated) 대수적 스택 $X$가 점 생성적이라는 것은, $D_{qc}(X)$가 필드의 스펙트럼의 구조 층의 푸시포워드, 즉 $|X|$의 점을 나타내는 대상 $R(ts)_* \mathcal{O}_{\text{Spec}(k)}$들의 푸시포워드에 의해 생성됨을 의미한다.
2. 매끄러운 디센트(Smooth Descent): 주요 기술적 관찰은 점 생성성이 매끄러운 디센트의 한 형태를 만족한다는 것이다. 저자들은 만약 대수적 스택 $X$가 점 생성적 스킴에 의한 매끄러운 프레젠테이션을 허용한다면, $X$ 자신도 점 생성적임을 증명한다.
3. 기술적 도구:
   • 보조정리 3.1: 작은 코프로덕트(small coproducts)를 보존하는 정확한 함자(exact functor) 하에서 역이미지가 국소화 부분 범주임을 확립한다.
   • 보조정리 3.2: 점들의 집합 $S \subseteq |X|$에 대하여, 잔여 체(residue fields)의 푸시포워드에 의해 생성된 $\otimes$-국소화 부분 범주가 동일한 대상들에 의해 생성된 표준 국소화 부분 범주와 일치하며, 점들의 대표자 선택에 독립적임을 증명한다.
   • 보조정리 3.3 및 3.4: 스킴에서의 컴팩트 생성자와 텐서 곱 및 국소화 부분 범주를 연관시키기 위해 성질들을 활용한다.
   • 보조정리 3.5: 결정적 단계로서, 점 생성적 아핀 스킴으로부터 매끄러운 프레젠테이션을 갖는 농축된(concentrated) 스택 $X$에 대하여, 임의의 $\otimes$-국소화 부분 범주는 $|X|$의 부분 집합에 대응하는 잔여 체들의 푸시포워드에 의해 생성됨을 보여준다.
   • 명제 3.8: 준컴팩트 준분리 스킴이 점 생성적인 아핀 스킴들의 아핀 오픈 커버를 갖는 것과 동치임을 확립한다.

주요 기여 및 결과
본 논문은 다음의 주요 결과를 확립한다:

• 정리 1.2: $X$가 아핀-포인티드(affine-pointed) 농축 대수적 스택일 때, $X$의 점 생성적 스킴에 의한 매끄러운 프레젠테이션이 존재하면 $X$는 점 생성적이다.
• 따름정리 1.3: 정리 1.2의 가설 하에서, $D_{qc}(X)$의 $\otimes$-국소화 부분 범주의 집합과 밑 공간 $|X|$의 부분 집합 사이에는 전단사가 존재한다.
  • 사상 $\phi$는 부분 범주 $\mathcal{T}$를 점 $p \in |X|$ (대상 $t: \text{Spec}(k) \to X$로 표현됨)의 집합으로 보내며, 이때 $Rt_* \mathcal{O}_{\text{Spec}(k)} \in \mathcal{T}$이다.
  • 역사상 $\theta$는 부분 집합 $S \subseteq |X|$를 $\{R(ts)_* \mathcal{O}_{\text{Spec}(k)}\}_{s \in S}$에 의해 생성된 국소화 부분 범주로 보낸다.

이 결과들은 (아핀 안정자(affine stabilizers)와 유한하게 제시된(finitely presented) 관성(inertia)을 갖거나, 동특성(equicharacteristic) 스택을 포함하는) 광범위한 대수적 스택에 대하여, $\otimes$-국소화 부분 범주가 스택의 위상 구조에 의해 완전히 결정되며, 필드의 스펙트럼의 구조 층의 푸시포워드에 의해 생성됨을 입증한다.

의의 및 범위
본 논문은 아핀 스킴에 대한 국소화 부분 범주의 분류를 직접적으로 이용하기보다는[AJL24], 디센터빌리티(descendability)와 매끄러운 프레젠테이션을 활용함으로써 노테리안 대수적 스택(및 스킴)에 대한 $\otimes$-국소화 부분 범수의 분류를 다른 방법으로 회복한다고 주장한다.

저자들은 자신의 증명이 스킴의 경우를 직접 모방하는 것이 아니라, 매끄러운 프레젠테이션의 성질을 사용하여 문제를 스킴의 경우로 환원하는 것임을 명시한다. 결과는 데리뉴-무디(Deligne–Mumot) 스택 중 필드 위에서 유한하게 제시된 것들과 모든 노테리안 대수적 공간에 적용된다.

또한 본 논문은 다음과 같은 한계와 반례를 강조한다:

• 병리 현상 1.7: Balchin–Omar Gómez–Stevenson [BOS26]을 인용하며, 무한 개의 변수를 갖는 다항 환(polynomial ring)에 대해서는 점 생성성이 실패함을 언급한다. 결과적으로 정리 1.2는 이러한 스킴들의 매끄러운 프레젠테이션에 대해서도 점 생성성이 실패함을 시사하며, 이는 스킴에 대해서도 분류가 실패하는 새로운 사례를 제공한다.
• 주석 1.5: 본 논문은 Balmer 스펙트럼에서 발생하는 호몰로지 잔여 체와 본 분류에서 사용된 특정 대상 $R(ts)_* \mathcal{O}_{\text{Spec}(k)}$를 구분하며, 이들이 반드시 일치하지는 않는다는 점을 언급한다.

요약하자면, 본 연구는 "점 생성" 성질에 대한 디센트 원리를 확립함으로써, 컴팩트 생성을 요구하지 않고도 $D_{qc}(X)$의 범주적 구조를 밑 공간 $|X|$의 위상과 직접 연결하여, 더 넓은 범위의 대수적 스택으로 $\otimes$-국소화 부분 범수의 분류를 확장한다.