The derived moduli of perverse sheaves

기술 요약: 퍼버스 층(Perverse Sheaves)의 유도된 모듈리

문제 제con (Problem Statement)
본 논문은 복소 대수 다양체 및 컴팩트 실해석적 다양체 상의 퍼버스 층에 대한 모듈리 공간(moduli spaces)의 구성을 다룬다. 고전적인 캐릭터 다양체(character varieties, 기본군의 표현을 매개변수화함)와 그 스태키(stacky) 일반화들은 잘 이해되어 있으나, 이러한 모듈리 구성을 구성적(constructible) 및 퍼버스 층의 영역으로 확장하는 데에는 상당한 어려움이 따른다.

Gelfand, MacPherson, Vilonen [GMV96]에 의한 이전의 접근 방식들은 퍼버스 층을 특정 관계를 가진 쿼이버(quiver) $Q(X, P)$의 표현으로 나타내는 것에 의존한다. 이 방법은 다음과 같은 두 가지 주요 한계를 갖는다:

1. 열악한 함수성(Poor Functoriality): 쿼이버 $Q(X, P)$는 보조적인 선택들(예: 사영 임베딩)에 의존하므로, 모듈리 공간이 기저 층화 공간(stratified space) $(X, P)$에 의존하는 방식이나 층화 자체를 변화시키는 과정을 제어하기 어렵다.
2. 정형적인 유도 구조(Canonical Derived Structure)의 부재: 안정적인 $\infty$-카테고리(stable $\infty$-category)의 유한 유형의 하트(heart)를 통한 모듈리 공간의 유도적 강화(derived enhancement)를 구축하는 표준적인 방법들이 여기서 실패한다. $Q(X, P)$의 표현들의 유도 범주는 일반적으로 유한 유형이 아니며(예: 무한한 호몰로지 차원을 가질 수 있음), 설령 유한 유형이라 할지라도 그 결과로 얻어지는 유도 구조는 층화의 코호몰로지에 민감한 기하학적으로 기대되는 구조와 일치하지 않는다.

방법론 (Methodology)
저자들은 층화된 호모토피 이론(stratified homotopy theory)과 안정적 $\infty$-카테고리 내 대상들의 모듈리 이론을 고차원적으로 합성하여 활용한다.

1. 블랙박스로서의 층화된 호모토피 이론: 저자들은 [HPT26]에서 개발된 엑소드로믹 층화 공간(exodromic stratified spaces) 프레임워크를 활용한다. 쿼이버 표현에 의존하는 대신, 저자들은 탈출 경로(exit-paths) $\infty$-카테고리 $\Pi_\infty(X, P)$를 사용한다. "좋은" 층화 공간(아나리틱 또는 대수적)의 경우, 하이퍼구성적 하이퍼층(hyperconstructible hypersheaves)의 $\infty$-카테고리는 계수 범주(coefficient category)로 가는 펑터들의 카테고리와 동치이다.
2. 대상들의 모듈리 (Moduli of Objects): Toën과 Vaquié [TV07]를 따라, 저자들은 구성적 복합체(constructible complexes)의 거대한 안정적 $\infty$-카테고리 $\text{Cons}_P(X; \text{Mod}_k)$에 대한 대상들의 모듈리 스택을 구축한다. 핵심적인 기술적 통찰은, 이 카테고리가 사전적으로 매우 클 수 있음에도 불구하고, $\Pi_\infty(X, P)$의 유한성 성질([HPT26]에서 증명됨)이 이 카테고리가 가산성(representability)을 위해 요구되는 "유한 유형"임을 보장한다는 점이다.
3. 퍼버스 $t$-구조 및 평탄성 (Perverse $t$-Structure and Flatness): 저자들은 퍼버시티 함수 $p: P \to \mathbb{Z}$에 대해 구성적 하이퍼층의 퍼버스 $t$-구조를 정의한다. 저자들은 퍼버스 조건이 기저 륭(base ring)에 대한 평탄성(flatness) 조건에 대응함을 입증한다. 결정적으로, 저자들은 이 평탄성 조건이 열린 조건(open condition)임을 입증하며(정리 3.3.5), 이를 통해 구성적 복합체의 더 큰 모듈리로부터 퍼버스 층의 모듈리를 추출할 수 있게 한다.

주요 기여 및 결과 (Key Contributions and Results)

• 구성적 모듈리 스택의 구축: 본 논문은 완벽한 엽(perfect stalks)을 가진 $P$-구성적 층들의 복합체를 매개변수화하는 기하학적 유도 스택 $\text{Cons}_P(X)$를 구축한다.

  • 정리 3: 컴팩트 서브아나리틱(subanalytic) 또는 대수적 층화 공간 $(X, P)$에 대하여, $\text{Cons}_P(X)$는 유한 제시(finite presentation)되는 기하학적 유도 스택이다.
  • 정리 4: 저자들은 이를 일반화하여 층화를 변화시킬 수 있도록 하며, 어떤 서브아나리틱(또는 대수적) 층화에 대해서도 구성적인 층들을 매개변수화하는 유도 스택 $\text{Cons}(X)$를 구축한다.

• 퍼버스 캐릭터 스택 (The Perverse Character Stack): 퍼버스 $t$-구조에 대한 평탄한 패밀리들의 열린 부분 스택을 잘라냄으로써, 저자들은 퍼버스 층의 모듈리를 얻는다.

  • 주요 결과: 임의의 퍼버시티 함수 $p$에 대하여, $\text{Cons}_P(X)$의 열린 1-Artin 부분 스택 $\text{}_p\text{Perv}_P(X)$가 존재한다.
  • 특성: 이 스택은 유한 제시되며 일반적인 캐릭터 스택들을 일반화한다. 쿼이버 접근법과 달리, 이 구축은 정형적(canonical)이며 그 접 복합체(tangent complex)는 층(strata)과 그 링크(links)의 코호몰로지에 민감하다.

• 코호몰로지 홀 대수 (Cohomological Hall Algebras, CoHA): 유도 구조의 유용성을 보여주는 시연으로서, 저자들은 퍼버스 코호몰로지 홀 대수를 구축한다.

  • 응용: 표식(marked points)이 있는 구멍 뚫린 리만 곡면 $X$에 대하여, 유도 스택의 퍼버스 층들의 Borel–Moore 호몰로지는 자연스러운 결합(associative product, Hall convolution)을 가진다. 이 결과는 [Lam25]에서 확립된 관련 Quot 스킴의 적절성(properness)과 본 논문에서 구축된 유도 스택의 특수성에 기초한다.

의의 및 주장 (Significance and Claims)
본 논문은 퍼버스 층의 모듈리에 대해 쿼이버 기반 접근법의 한계를 극복하는 견고하고 정형적인 유도적 강화를 제공한다고 주장한다.

• 정형적 유도 구조: 유도 구조는 층화의 기하학에 내재되어 있다. 한 점에서의 접 복합체는 층과 링크의 코호몰로지를 반영하며, 이는 쿼이버 표현의 유도 범주에서는 포착되지 않는 특징이다.
• 일반성: 이 구축은 사영성 가정이나 Whitney 층화를 요구하지 않으며, 대신 서브아나리틱 및 대수적 층화 공간을 다룬다. 또한 중간 퍼버시티(middle perversity)뿐만 아니라 임의의 퍼버시티 함수에도 적용된다.
• 향-연구를 위한 토대: 저자들은 이 작업을 기초적인 단계로 위치시킨다. 저자들은 이 스택들에 대한 정형적인 이동된 포아송 구조(shifted Poisson structure)의 존재(최근 Christ–Lampetti [CL26]에 의해 입증됨)와 좋은 모듈리 공간의 구축(Lam [Lam25])이 본 연구의 결과들을 잇는 연속 작업임을 언급한다. 논문은 CoHA의 구축이 유도 구조가 견고하다는 것을 보여주는 "첫 번째 증거"라고 명시적으로 밝히고 있다.

저자들은 자신들의 방법이 [HPT26]의 엑소덤(exit-path) $\infty$-카테고리의 유한성 정리에 의존하며, 특정 쿼이버의 호몰로지 유한성에 의존하지 않음으로써, 후자가 알려져 있지 않거나 실패하는 경우에도 진행할 수 있음을 강조한다.