A Derived Legendrian Category for Shifted Contact Stacks

기술적 요약: 이동된 접촉 스택을 위한 유도된 레전드르 범주

문제 제기
유도 대수기하학에서 유도된 모듈라이 공간 간의 기하학적 관계는 일반적으로 Lagrangian 대응을 사상 (morphism) 으로 하는 이동된 심플렉틱 스택의 $(\infty, 2)$-범주 (기호: $\text{Lag}_n$ 또는 $\text{Symp}_n$) 를 사용하여 형식화됩니다. 그러나 Frobenius 작용을 갖는 $\ell$-adic 국소계 (local systems), 사영적 Higgs 번들, 그리고 Lie 2-군과 같은 특정 모듈라이 문제들은 이동된 심플렉틱 몫을 산출하지 않습니다. 대신, 이러한 몫들은 "특수한 캐릭터 (character) 까지 고정된" 구조를 가지며, 저자들은 이를 이동된 접촉 구조라고 명명합니다.

기존의 Lagrangian 대응 프레임워크는 이러한 "홀수 차원" 접촉 설정에는 불충분합니다. 본 논문은 Lagrangian 대응이 레전드르 대응으로 대체되고, 사상의 합성이 접촉 기하학의 특정 등변적 성질을 존중하는 대응하는 범주적 기초의 필요성을 다룹니다.

방법론
저자들은 **유도 심플렉틱화 (derived symplectification)**를 통해 접촉 기하학과 심플렉틱 기하학 사이의 관계를 활용하여, $n$-이동된 접촉 유도 아르틴 스택 $X$에 대한 유도된 레전드르 범주 $\mathcal{F}_c(X)$를 구성합니다.

1. 유도 심플렉틱화: 스택 $X$ 위의 $n$-이동된 접촉 구조는 주 $\mathbb{G}_m$-다발 $\tilde{X}$ (심플렉틱화) 위의 가중치 1 $\mathbb{G}_m$-등변 $n$-이동된 심플렉틱 구조로 인코딩됩니다. 이는 $X \simeq [\tilde{X}/\mathbb{G}_m]$이라는 결과에 기반합니다.
2. 레전드르 사상: 새로운 범주의 대상은 레전드르 사상 $f: L \to X$로 정의됩니다. 이들은 심플렉틱화 $\tilde{X}$에서 $\mathbb{G}_m$-작용에 대해 등변인 Lagrangian 사상인 리프트 $\tilde{f}: \tilde{L} \to \tilde{X}$를 갖는 것으로 특징지어집니다.
3. 내림을 통한 사상 공간: 사상 공간 $\text{Hom}_{\mathcal{F}_c(X)}(L_1, L_2)$는 $\tilde{X}$ 내에서 Lagrangian 리프트 $\tilde{L}_1$과 $\tilde{L}_2$의 유도된 교집합을 취함으로써 구성됩니다. 이 교집합은 $\mathbb{G}_m$-등변 $(n-1)$-이동된 심플렉틱 구조를 물려받습니다. 접촉 범주에서의 실제 사상 공간은 이 교집합의 등변 내림 (equivariant descent) (스택 몫 취하기) 을 통해 얻어지며, 이는 $(n-1)$-이동된 접촉 스택을 산출합니다.
4. 고차 범주적 구조: 합성과 고차 사상은 심플렉틱화 $\tilde{X}$ 내의 Lagrangian 스팬 (spans) 의 $(\infty, 2)$-범주를 사용하여 정의됩니다. 저자들은 이러한 스팬의 $\mathbb{G}_m$-등변성이 접촉 기준 $X$로 내림되어 $(\infty, 2)$-범주에 필요한 일관성 조건을 보존함을 보여줍니다.
5. AKSZ 구성: 저자들은 AKSZ 구성을 활용하여 위상적 코보디즘을 심플렉틱화의 Lagrangian 스팬으로 매핑하고, 이는 접촉 범주에서 유도된 레전드르 수술을 정의하기 위해 내림됩니다.

주요 기여 및 결과

• $\mathcal{F}_c(X)$의 구성: 본 논문은 임의의 $n$-이동된 접촉 유도 아르틴 스택 $X$에 대해 잘 정의된 유도된 레전드르 범주 $\mathcal{F}_c(X)$의 존재를 확립합니다.
  • 대상: 레전드르 사상 $f: L \to X$.
  • 1-사상: 등변 Lagrangian 리프트의 유도된 교집합의 내림으로 얻어진 유도 스택.
  • 2-사상 및 합성: 등변 내림을 통해 Lagrangian 스팬의 $(\infty, 2)$-범주에서 유도됨.
• 전역 범주 $\text{Leg}_n$: 저자들은 모든 $n$-이동된 접촉 유도 스택의 집합을 전역 $(\infty, 2)$-범주 $\text{Leg}_n$으로 승격시킵니다. 여기서 대상은 접촉 스택이고, 1-사상은 레전드르 대응이며, 2-사상은 레전드르 스팬입니다.
• 유도된 레전드르 수술: AKSZ 구성을 사용하여, 본 논문은 방향이 있는 위상적 코보디즘을 레전드르 대응으로 매핑하는 대칭 모노이달 $\infty$-함자 $Z_c: \text{Bord}_d \to \text{Leg}_{k-d+1}$를 정의합니다. 이 함자는 유도된 레전드르 수술을 범주적 연산으로 효과적으로 정의합니다.

모듈라이 이론에의 적용
본 논문은 구체적인 유도된 모듈라이 공간에 이를 적용함으로써 이 프레임워크의 유용성을 입증합니다:

1. 유도된 판별식 영역: 매끄러운 스킴 $L$에 대해, 1-제트 공간 $J^1(L)$의 유도된 레전드르 범주는 유도된 판별식 영역 $\Delta_{\text{loc}}(f)$를 인코딩합니다. 이 범주 내의 합성은 유도된 합성곱 사상을 산출하여, 미국소적 핵 (microlocal kernels) 의 합성에 대한 기하학적 유사체를 제공합니다.
2. 멱영 원뿔 변형: 사영적 Higgs 번들의 유도된 모듈라이 스택 $\mathcal{P}\text{Higgs}_G(C)$에 대해, 사영화된 유도된 멱영 원뿔 $\mathbb{P}N$은 $\mathcal{F}_c(\mathcal{P}\text{Higgs}_G(C))$의 대상입니다. 범주적 합성은 호모토피 풀백 $\mathbb{P}N \times^h_{\mathcal{P}\text{Higgs}_G(C)} \mathbb{P}N$에 $A_\infty$-대수 구조를 부여하여, 멱영 원뿔의 비가환 변형 이론을 통제합니다.
3. 위상 장 이론: 구성의 함자성은 위상적 코보디즘을 접촉 스택의 대수적 구조와 연결하여, 유도된 레전드르 수술을 이해하기 위한 프레임워크를 제공합니다.

의의
본 논문은 심플렉틱 기하학이 아닌 접촉 기하학에서 자연스럽게 발생하는 모듈라이 문제를 연구하기 위해 필요한 범주적 기초를 제공한다고 주장합니다. 저자들은 심플렉틱화로부터 Lagrangian 대응의 내림을 형식화함으로써, "홀수 차원" 유도된 모듈라이 공간에 고차 범주적 도구 (스팬, 합성, 수술) 를 적용할 수 있게 합니다. 이는 유도된 심플렉틱 기하학과 $\ell$-adic 국소계 및 Higgs 번들과 관련된 문제에서 발견되는 특정 기하학적 제약 사이의 간극을 메우며, 이러한 맥락에서 비가환 변형 대수와 합성곱 구조를 정의할 수 있게 합니다.