Proxy smallness meets $t$-structures

기술적 요약: 프록시 소형성과 t-구조의 만남

1. 문제 및 동기
본 논문은 Dwyer, Greenlees, Iyengar [DGI06a, DGI06b] 가 삼각 범주에서 컴팩트성의 약화로 도입한 개념인 "프록시 소형성 (proxy smallness)"의 한계를 다룬다. 프록시 소형성은 국소적 설정에서 (예: [Pol19]) 국소 완전 교차 (LCI) 특이점을 성공적으로 특징짓고, 텐서 작용을 통해 전역적으로 LCI 스킴을 특징짓도록 정제되어 왔으나 ([BILP22]), $t$-구조의 관점에서 볼 때 전역화 과정에서 잘 작동하지 않는다. 구체적으로, 프록시 소형성의 단순한 전역적 유추는 국소적 설정에서 전역적 설정으로 전환할 때 올바른 기하학적 성질을 포착하지 못한다.

저자들은 $t$-구조와 텐서 작용을 통합하는 프록시 소형성의 자연스러운 정제안을 제시하고자 한다. 핵심 목표는 "t-구조에 대한 프록시 소형성"(구체적으로 $t$-프록시 소형성과 $t$-$\otimes$-프록시 소형성) 에 대한 이론을 개발하여 LCI 스킴에 대한 새로운 특징을 제공하고, 유계 코히런트 층의 유도 범주 $D^b_{\text{coh}}(X)$ 내의 특정 부분 범주 (preaisles) 를 분류하는 것이다.

2. 방법론 및 프레임워크
이 이론은 강하게 컴팩트하게 생성된 텐서 삼각 범주, 특히 Noetherian 스킴 $X$에 대한 $D_{\text{qc}}(X)$의 맥락에서 개발된다. 방법론은 세 가지 주요 기술적 기둥에 의존한다:

• 텐서 작용과 Preaisles: 저자들은 $\text{Perf}(X)$ (완벽 복합체의 범주) 가 $D_{\text{qc}}(X)$ 및 관련 범주 (예: 사영체의 호모토피 범주 $K(\text{Inj}(X))$) 에 작용하는 것을 활용한다. 그들은 $\otimes$-preaisles (양의 시프트, 확장, 직접 합분해, 그리고 $\text{Perf}_{\leq 0}(X)$와의 텐서 곱에 대해 닫힌 부분 범주) 을 정의한다.
• Recollements: 중요한 도구로, $D_{\text{qc}}(X)$, $K(\text{Inj}(X))$, 그리고 특이점 범주 $D_{\text{sg}}(X)$를 연결하는 Krause 의 recollement 가 있다. 저자들은 이 프레임워크를 사용하여 $t$-구조를 "붙이는 (glue)" 것과 프록시 소형성과 같은 성질이 이러한 범주들 사이에서 어떻게 작동하는지 분석한다.
• 준코히런트 생성: 본 논문은 준코히런트 복합체에 의해 생성된 aisles 를 연구함으로써 아핀 사례의 결과를 임의의 Noetherian 스킴으로 확장한다. 주요 기술적 결과 (정리 3.5) 는 준코히런트 복합체에 의해 생성된 $\otimes$-aisles 가 컴팩트하게 생성됨을 입증하여 [ATJLS10] 를 일반화한다.

3. 주요 정의 및 기여

• $t$-프록시 소형성: 대상 $P$가 $t$-프록시 소형이라고 정의되려면, $P$에 의해 생성된 완비 preaisle $\langle P \rangle^{(-\infty, 0]}$이 컴팩트하게 생성되어야 하며, 그 컴팩트 대상들은 $P$의 컴팩트 대상들에 의해 생성된 preaisle 내에 있어야 한다. 이는 고전적 프록시 소형성이 임의의 삼각 연산을 허용하는 것과 달리, "구성" 과정을 양의 suspension 과 확장으로 제한한다.
• $t$-$\otimes$-프록시 소형성: 이는 텐서 작용의 존재로 개념을 확장한 것이다. 대상이 생성하는 $\otimes$-preaisle 이 $t$-프록시 소형 조건을 만족하면 그 대상은 $t$-$\otimes$-프록시 소형이다.
• 구조적 특징 (정리 4.7): 저자들은 recollements 를 통해 $t$-프록시 소형 대상을 특징짓는다. 대상 $P$가 $t$-프록시 소형일 필요충분조건은 다음과 같다:
  1. Preaisle $\langle P \rangle^{(-\infty, 0]}$이 컴팩트하게 생성된다.
  2. 유도된 Hom 과 텐서 곱을 포함하는 특정 엔도펑터가 작은 coproduct 을 보존한다.
  3. $P$의 dg-엔도펑터 대수의 표준 $t$-구조가 관련 recollement 를 따라 붙는다 (glue).
• 고전적 프록시 소형성과의 차이: 본 논문은 $t$-프록시 소형성이 엄격히 더 강한 조건임을 보여준다. 예제 4.11 은 (여기서 $R$은 특정 국소 아르틴 환임) $D^b_{\text{coh}}(R)$에서 프록시 소형이지만 $t$-프록시 소형이 아닌 대상을 구성한다. 이는 [JŞ04] 와 [GP90] 에서 발견된 Eisenbud 와 Auslander 의 추측에 대한 모듈 이론적 반례에 의존한다.

4. 주요 결과

• LCI 스킴의 특징 (명제 1.2): 본 논문은 국소 완전 교차 스킴에 대한 새로운 특징을 제공한다. Noetherian 스킴 $X$에 대해 다음은 동치이다:

  1. $X$는 국소적으로 완전 교차이다.
  2. $D^b_{\text{coh}}(X)$의 모든 대상이 $\otimes$-프록시 소형이다.
  3. $D^b_{\text{coh}}(X)$의 모든 대상이 $t$-$\otimes$-프록시 소형이다.
     참신함은 기존 특징들의 정제안인 조건 (3) 에 있다. 증명은 $K(\text{Inj}(X))$에서 컴팩트하게 생성된 aisle 에 속하는 것이 stalk-국소 조건임을 보여주는 보조정리 6.8 을 통해 확립된 국소 - 전역 성질을 활용한다.

• Preaisles 의 분류 (정리 1.1 및 정리 5.4): 저자들은 $t$-$\otimes$-프록시 소형 대상에 의해 생성된 $D^b_{\text{coh}}(X)$의 $\otimes$-suspended 부분 범주들의 집합에서 다음들의 카테시안 곱으로 가는 단사 사상 $\Theta$를 확립한다:

  • 특이점 범주 $D_{\text{sg}}(X)$의 $\star$-suspended 부분 범주.
  • $X$ 위의 Thomason 필터링.
    사상은 $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$로 주어지며, 여기서 $\pi$는 Verdier 국소화이고 $\phi_A$는 $D_{\text{qc}}(X)$에서 생성된 aisle 와 관련된 Thomason 필터링이다.

• 구체적 사례에 대한 명시적 분류:

  • 초곡면 특이점 (정리 1.3): $X$가 초곡면 특이점만을 가진다면, $\Theta$는 $D^b_{\text{coh}}(X)$의 $\otimes$-suspended 부분 범주들과 쌍 $(W, \phi)$ 사이의 전단사 함수가 되는데, 여기서 $W$는 특이점 집합의 전파 닫힌 부분집합이고 $\phi$는 특정 포함 조건을 만족하는 Thomason 필터링이다.
  • 단면의 영집합 (정리 1.5): 정규 스킴 위의 벡터 다발의 단면들의 영집합으로 나타나는 스킴 $X$ (해결 성질을 만족함) 에 대해, 분류는 관련 초곡면 스킴 $Y$의 특이점 집합을 포함하도록 정제된다. 이 결과는 구조 층을 포함하는 suspended 부분 범주에 대한 Takahashi 의 분류 [Tak25] 의 비아핀 일반화를 제공한다.

5. 의의 및 주장
본 논문은 $t$-구조에 민감한 프록시 소형성의 "자연스러운 정제안"을 제공한다고 주장한다. 그 의의는 다음과 같이 두 가지 측면이 있다:

1. 기하학적 특징: 이는 국소 완전 교차 스킴을 식별하기 위한 새로운 $t$-구조적 기준을 제시하여, 비분리 (non-separated) 사례를 처리할 수 있도록 이전 결과를 업그레이드하고 더 강력한 국소 - 전역 원리를 제공한다.
2. 분류 이론: 이는 특정 클래스의 스킴 (초곡면과 영집합) 에 대한 $D^b_{\text{coh}}(X)$의 $\otimes$-preaisles 에 대한 위상적 분류를 산출한다. 이 분류는 스킴의 기하학 (Thomason 필터링을 통해) 과 그 특이점 (특이점 범주를 통해) 을 유도 범주의 구조와 연결한다.

저자들은 그들의 접근 방식이 Takahashi 의 최근 연구 [Tak25] 에서 사용된 방법과 무관하며, 비아핀 설정으로의 대안적 증명과 일반화를 제공한다고 강조한다. 또한, 반례의 구성 (예제 4.11) 은 비-LCI 환 위의 모듈의 행동에 관한 가환 대수학의 깊은 결과를 활용하여 고전적 개념과 $t$-구조적 소형성 개념 사이의 미묘한 차이를 부각시킨다.