Classification and nonexistence for $t$-structures on derived categories of schemes

기술적 요약: 스킴의 유도 범주에 대한 t-구조의 분류와 비존재성

문제 제기
본 논문은 노에터 스킴 위의 일관된 층 ($D^b_{\text{coh}}(X)$) 과 완벽한 복소수 ($\text{Perf}(X)$) 의 유도 범주에서, 특히 닫힌 부분집합 $Z$에 지정된 지원을 갖는 텐서 t-구조의 분류를 다룬다. 준일관된 층의 유계되지 않은 유도 범주 ($D_{\text{qc}}(X)$) 에 대한 컴팩트 생성 텐서 t-구조의 분류는 톰슨 필터레이션 (Thomason filtrations) 을 통해 잘 이해되고 있으며 ([ATJLS10], [DS23], [Lan25] 등의 연구에서 확립됨), 일관된 복소수 또는 완벽한 복소수의 부분 범주로 이러한 구조가 제한되는 시점을 결정하는 문제는 여전히 미묘한 문제이다.

주된 동기는 안티에우–게프너–헬러 (Antieau–Gepner–Heller) 추측으로, 이는 $\text{Perf}(X)$가 유계 t-구조를 허용할 필요충분조건이 $X$가 정칙 (regular) 임을 주장한다. 이는 최근 네만 [Nee24] 에 의해 일반 경우에, 스미스 [Smi22] 에 의해 아핀 경우에 해결되었다. 본 논문은 이러한 결과를 임의의 닫힌 부분집합 $Z$로 확장하고, $D_{\text{qc}}(X)$ 위의 t-구조가 $D^b_{\text{coh}, Z}(X)$와 $\text{Perf}_Z(X)$로 제한되는 시점에 대한 위상적 특징을 제공하고자 한다.

방법론
저자들은 스킴 위의 t-구조의 많은 성질이 아핀 열린 부분 스킴이나 국소환 (stalks) 에서 국소적으로 감지될 수 있다는 사실을 활용하는 "국소에서 전역으로 (local-to-global)" 전략을 사용한다. 핵심 기술적 도구들은 다음과 같다:

1. 톰슨 필터레이션: 분류는 $D_{\text{qc}}(X)$ 위의 컴팩트 생성 텐서 t-구조와 톰슨 필터레이션 (전문화 폐쇄 부분집합의 열) 사이의 일대일 대응에 의존한다.
2. 상대적 약한 사촌 조건: 저자들은 닫힌 부분집합 $Z$를 가로지르는 톰슨 필터레이션에 대해 "상대적 약한 사촌 (relative weak Cousin)" 조건을 도입하고 활용한다. 이는 [ATJLS10] 의 고전적 약한 사촌 조건을 상대적 설정으로 일반화한 것이다.
3. 제한과 국소화: 본 논문은 닫힌 부분집합 $Z$(또는 열린 부분 스킴) 로의 t-구조의 제한이 연관된 톰슨 필터레이션의 제한에 해당함을 확립한다. 보조정리 3.5, 3.6, 3.17 은 절단 함자가 아핀 열린 집합과 국소환으로의 제한과 가환함을 보여주어, 전역적 질문을 국소적 대수적 조건으로 축소할 수 있게 한다.
4. 지지 이론과 정칙성: 비존재성 결과는 코zul 복소수와 국소 코호몰로지의 거동을 분석하는 데 의존한다. 구체적으로, 저자들은 지지의 차원과 국소환의 성질 (정칙 대 비정칙) 을 사용하여, t-구조가 비정칙 설정에서 완벽한 복소수로 제한된다고 가정할 때 모순을 도출한다.

주요 기여 및 결과

• 지원을 갖는 일관된 층에 대한 분류 (정리 1.2 및 명제 1.1):
  유한 크룰 차원을 갖는 콤팩트 CM-우수 (CM-excellent) 스킴 $X$와 닫힌 부분집합 $Z$에 대해, 본 논문은 다음 사이의 일대일 대응을 확립한다:

  • $D^b_{\text{coh}, Z}(X)$ 위의 텐서 t-구조 (또는 $\otimes$-aisles).
  • $Z$를 가로지르는 "약한 사촌"인 $X$ 위의 톰슨 필터레이션.

  필터레이션 $\phi$가 $Z$를 가로지르는 약한 사촌이라는 것은, $Z$ 내의 임의의 직접 일반화 $p \leadsto q$에 대해, $q \in \phi(n)$이면 $p \in \phi(n-1)$이어야 함을 의미한다. 이 결과는 아핀 분류 결과 [ATJLS10, Tak23] 를 전역 설정으로 일반화하여, 그러한 제한의 존재에 대한 위상적 기준을 제공한다.

• 비존재성과 정칙성 탐지 (정리 1.3):
  본 논문은 노에터 스킴 $X$의 공집합이 아닌 닫힌 부분집합 $Z$가 $X$의 정칙 영역에 포함될 필요충분조건이, $D_{\text{qc}}(X)$ 위의 연관된 t-구조가 $\text{Perf}_Z(X)$로 제한되는 비상수 톰슨 필터레이션이 $X$에 존재하는 것임을 증명한다.

  • $Z$가 특이점을 포함하면, 어떤 비상수 t-구조도 $\text{Perf}_Z(X)$로 제한될 수 없다.
  • 이는 아핀 경우 ($Z=X$) 에 네만의 정리 [Nee24] 를 회복하고, 임의의 크룰 차원으로 스미스의 결과 [Smi22] 를 확장한다.
  • 증명에는 네만이 사용한 근사 가능 삼각 범주 방법 대신 국소 대수 기법 (특히 국소 코호몰로지와 코줄 복소수의 성질) 이 활용된다.

• 지원을 갖는 완벽한 복소수에 대한 분류 (귀결 1.4):
  위의 결과들을 결합하여, 저자들은 $\text{Perf}_Z(X)$ 위의 t-구조를 분류한다. 톰슨 필터레이션 $\phi$가 $\text{Perf}_Z(X)$로 제한되는 t-구조를 생성할 필요충분조건은, $Z$의 각 연결 성분 $Z_t$에 대해 다음이 성립하는 것이다:

  • $Z_t$가 정칙 영역에 있으면, $\phi \cap Z_t$는 약한 사촌 조건을 만족해야 한다.
  • $Z_t$가 정칙 영역에 없으면, $\phi \cap Z_t$는 상수여야 한다.

의의 및 주장
본 논문은 잘 이해된 아핀 경우와 전역 스킴 설정 사이의 간극을 메우는 텐서 t-구조에 대한 견고한 국소에서 전역으로의 원리를 확립한다고 주장한다. 톰슨 필터레이션에 대한 위상적 조건을 통해 t-구조의 일관된 복소수와 완벽한 복소수로의 제한을 특징짓음으로써, 이 CM-우수 가설 하의 이러한 부분 범주에 대한 완전한 분류를 제공한다.

또한, 비존재성 결과는 호몰로지 대수와 기하학적 정칙성 사이의 관계에 대한 새로운 관점을 제공한다. 저자들은 그들의 방법이 안티에우–게프너–헬러 추측의 아핀 경우에 대한 대체 증명을 제공하며, 호치스터 [Hoc73] 가 구성한 특정 비정칙 노에터 정역 예제에 적용되는 무한 크룰 차원으로 이를 확장한다고 지적한다. 또한 이 결과들은 $D^b_{\text{coh}}(X)$ 위의 해당 분류 문제에 대한 효과적인 결론을 제공하는, 비약성 함수 (perversity functions) 에서 비롯된 t-구조의 분류에도 파급 효과를 가진다.