Semiorthogonal decompositions for stacks

기술적 요약: 스택을 위한 준직교 분해

문제 제기
본 논문은 $\mathbb{C}$ 위의 준매끄러운 대수적 스택 $X$에 대한 일관된 벡터 다발의 유도 범주 $\text{Coh}(X)$에 대한 체계적인 준직교 분해 (SODs) 의 구성을 다룹니다. 선형 몫 스택과 특정 모듈라이 공간 (예: 퀴버 표현이나 곡선 위의 벡터 다발에 대한 것) 에 대한 SOD 들은 Ballard–Favero–Katzarkov, Halpern-Leistner, Špenko–Van den Bergh, Pădurariu–Toda 등의 이전 연구에서 확립되었으나, 이러한 구성들은 종종 특정 선형 구조에 의존하거나 제한적인 안정성 조건을 필요로 했습니다. 과제는 이러한 분해들을 내재적 Donaldson–Thomas (DT) 이론에서 발생하는 비선형 준매끄러운 스택의 광범위한 클래스, 즉 일반 재귀적 군 $G$(A 형으로 제한되지 않음) 에 대한 $G$-다발, 히그스 다발, 접속, 그리고 국소 계수 (local systems) 의 모듈라이 스택을 포함하는 클래스로 일반화하는 데 있습니다.

방법론
저자들은 내재적 Donaldson–Thomas 이론 (참고문헌 [17–19] 에서 개발됨) 의 프레임워크를 사용하여 **성분 격자 (component lattice)**라고 불리는 조합론적 구조, 즉 $\text{CL}_\mathbb{Q}(X)$를 정의합니다. 이 격자는 $X$ 내 점들의 자동형 군의 코특성 (cocharacters) 과 웨일 군을 인코딩합니다.

방법론은 다음과 같은 단계를 거칩니다:

1. 성분 격자와 등급 점: 분해는 유리화된 성분 격자 $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$에 의해 인덱싱됩니다. 각 원소 $\lambda$는 등급 점의 스택 $X_\lambda$와 필터링된 점의 스택 $X^+_\lambda$에 해당합니다.
2. 홀 유도 (Hall Induction): 저자들은 대응 $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$를 통해 정의된 홀 유도 함자 $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$를 활용합니다. 이 함자는 파라볼릭 유도 함자를 일반화합니다.
3. 윈도우 부분 범주: 각 $\lambda$에 대해 "윈도우 부분 범주" $W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$가 정의됩니다. 이들은 $X_\lambda$ 위의 $\mathbb{G}_m$-작용에 대한 가중치 조건에 의해 결정되며, 격자 위의 선형 함수 $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$와 이차 노름 $q$에 의해 중심이 잡힙니다.
4. 국소에서 전역으로의 논증:
   • 선형 경우: 분해는 먼저 $V$가 준대칭 표현인 선형 몫 스택 $V/G$에 대해 확립됩니다 (정리 2.1.6).
   • 매끄러운 경우: 좋은 모듈라이 공간을 가진 매끄러운 스택이 선형 몫에 에탈 국소적으로 모델링된다는 사실을 이용하여, 강하 (descent) 논증을 통해 결과를 전역화합니다 (정리 3.2.3).
   • 준매끄러운 경우: 준매끄러운 스택 (이들은 $(-1)$-시프트 심플렉틱 스택의 국소 모델임) 에 대해서는, 코스줄 쌍대성을 활용하여 $\text{Coh}(X)$를 매끄러운 스택 위의 행렬 인자 (matrix factorizations) 범주 $\text{MF}(Y, f)$와 연관시킵니다. 행렬 인자에 대한 분해 (정리 3.5.4) 는 그 후 준매끄러운 설정으로 다시 전이됩니다 (정리 4.1.3).
5. 특이 지지 (Singular Supports): 구성은 특이 지지가 포화 닫힌 부분집합 $Z \subset |T^*[-1]X|$에 포함된 대상들의 부분 범주를 포함하도록 정제됩니다 (정리 4.3.3).

주요 기여 및 결과
본 논문은 다양한 모듈라이 스택에 대한 SOD 의 통일된 구성을 제공합니다. 주요 결과는 다음과 같습니다:

• 일반 분해 (정리 4.1.3): 좋은 모듈라이 공간을 가진 준대칭, 준매끄러운, qca 유도 스택 $X$에 대해, 다음과 같은 SOD 가 존재합니다:
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  항들은 성분 격자에 의해 인덱싱되며, $\lambda$의 $q$-노름에 따라 순서화됩니다. 함자 $\star_\lambda$는 완전히 충실하며, 그 상은 허용 가능하고 $\text{Perf}(X)$-선형입니다.

• 특이 지지 분해 (정리 4.3.3): 포화 부분집합 $Z$ 내의 특이 지지를 가진 일관된 벡터 다발의 부분 범주인 $\text{Coh}_Z(X)$에 대한 병렬 분해가 존재합니다. 이는 멱영 원뿔 (nilpotent cone) 에 특히 관련이 있습니다.

• 행렬 인자 (정리 3.5.4): DT 이론의 임계 범주 (critical categories) 에 대한 국소 모델인 매끄러운 스택 위의 행렬 인자 범주 $\text{MF}(X, f)$에 대한 SOD 가 구성됩니다.

• 구체적 응용: 이 이론은 다음과 같은 것들에 대한 명시적 SOD 를 얻기 위해 적용됩니다:

  • 곡선 위의 준안정 $G$-다발 ($\text{Bun}^{ss}_G$), $G$-히그스 다발 ($\text{Higgs}^{ss}_G$), 그리고 $G$-접속 ($\text{Conn}_G$) 의 모듈라이 스택.
  • 2-다양체 위의 $G$-국소 계수 ($\text{Loc}_G$) 의 모듈라이 스택.
  • 퀴버와 전사영 대수 (preprojective algebras) 의 준안정 표현의 모듈라이 스택.
  • 곡면 위의 준안정 일관된 벡터 다발의 모듈라이 스택.

이러한 예시들에서 항들은 리 부군 (Levi subgroups) $L \subset G$와 특정 가중치 매개변수에 의해 인덱싱되며, 종종 $GL(n)$으로 제한되거나 복잡한 순서 조건을 필요로 했던 이전 결과들을 일반화합니다.

의의 및 주장
본 논문은 재귀적 군의 유형 (A 형이 아닌 군 허용) 과 스택의 성질 (선형 범주에서 내재적 DT 스택으로 이동) 에 대한 이전의 제한을 제거하는 체계적이고 일반적인 구성을 제공한다고 주장합니다.

• 순서화의 단순화: 저자들은 이전 연구들 (예: [64; 68; 71]) 에 비해 항들의 순서화에 대한 훨씬 간단한 설명을 도출한다고 지적합니다. 순서는 격자 원소의 $q$-노름에 의해 결정되는 반면, 이전 방법들은 종종 정교한 안정성 정제나 복잡한 부등식을 필요로 했습니다.
• 범주적 DT 이론: 분해들은 **상동적 정수성 (cohomological integrality)**의 범주적 유사체로 제시됩니다. **준-BPS 범주 (quasi-BPS categories)**라고 불리는 항들은 BPS 불변량을 범주화 (categorify) 하도록 의도되었습니다. 논문은 가법 불변량 (주기적 사이클릭 호몰로지 등) 이 직접적으로 상동적 정수성 분해를 복원하지는 않지만, 이러한 범주들의 구조가 범주적 DT 이론과 BPS 구조를 이해하는 데 근본적일 것으로 기대된다고 언급합니다.
• 기하학적 랭글랜즈: $\text{Conn}_G$ 및 $\text{Loc}_G$와 같은 스택에 대한 분해들은 기하학적 랭글랜즈 프로그램과 연결됩니다. 저자들은 돌보 (Dolbeault) 기하학적 랭글랜즈 추측의 정제된 버전과 드람 (de Rham) 설정에 대한 유사한 추측 (추측 4.4.9) 을 공식화하여, 윈도우 부분 범주들이 랭글랜즈 동치 하에서 D-모듈의 특정 미국소 범주에 해당함을 시사합니다.
• 한계: 저자들은 겸손하게도 이러한 범주적 분해와 가법 불변량을 통한 BPS 상동 분해의 동치를 증명하지 않으며, 준-BPS 범주들의 구조 (예: 비가환 분해인지 여부) 를 완전히 특징짓지 않는다고 명시합니다. 이들은 향후 연구의 방향으로 식별됩니다.

요약하자면, 본 논문은 준매끄러운 스택 위의 일관된 벡터 다발 유도 범주를 분해하기 위한 견고한 조합론적 프레임워크를 확립하여, 다양한 알려진 결과들을 통일하고 현대 계수 기하학 및 표현론의 핵심이 되는 더 넓은 기하학적 맥락으로 확장합니다.