Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences

기술 요약: 공변적 접촉 다르부 몫과 퍼버스 범주화된 레전드리 대응

문제 정의
본 논문은 유도 접촉 기하학(derived contact geometry) 내에서 수치적 불변량을 정의하고 범주적 구조를 선형화하는 과제를 다룬다. 이전 연구들은 변위된 접촉 유도 아틴 스택(shifted contact derived Artin stacks)이 매끄러운 다르부 아틀라스(Darboux atlases)를 가짐을 확립했으나, 이러한 국소 모델들은 수치적 이론(예: 도날드슨-토마스 불변량)에 필수적인 공변적 에탈레 소멸 순환(equivariant étale vanishing cycles)을 계산하기에는 불충분하다. 저자가 이전에 구축한 레전드리 대응의 전역적 비선형 2-범주들은, 접촉 모듈라이 공간을 마이크로로컬 층 이론(microlocal sheaf theory)과 연결하는 선형화된 프레임워크가 결여되어 있다. 핵심적인 어려움은 접촉 공간의 구조적 $\mathbb{G}_m$-작용(Reeb flow)으로 인한 "일반적 위상적 비가약성(generic topological acyclicity)"에 있으며, 이로 인해 단순한 위상적 오일러 표수(Euler characteristic)가 소멸하게 된다.

방법론
저자는 유도 대수 기하학, 공변적 기하학, 그리고 $\ell$-적 층 이론( $\ell$-adic sheaf theory)의 조합을 활용한다. 방법론은 다음 단계들을 통해 진행된다:

1. 공변적 국소 모델: 본 논문은 **공변적 접촉 다르부 정리(Equivariant Contact Darboux Theorem)**를 확립한다. $-1$-변위된 접촉 스택의 유도 심플렉틱화(derived symplectification)를 활용하고, 몫 스택에 의한 층화에 관한 Kresch의 정리를 적용함으로써, 저자는 국소 매끄러운 아틀라스를 기하적 몫 스택 $[\Delta_{\text{loc}}(s)/G]$로 정교화한다. 여기서 $\Delta_{\text{loc}}(s)$는 상대적 단면(relative section) $s$와 관련된 유도 판별 불변량(derived discriminant locus)이며, $G$는 환원 가능한 안정자 군(reductive stabilizer group)이다.
2. 퍼버스 층의 강하(Descent of Perverse Sheaves): 심플렉틱화 상의 소멸 순환에 대한 BBDJS(Beilinson-Bernstein-Deligne-Gabber-Joyce-Schürmann) 최소 모델을 사용하여, 저자는 이러한 구조들을 접촉 스택으로 강하시킨다. 이 강하는 모노드로믹 층(monodromic sheaves)에 대한 Verdier의 특수화 동치(specialization equivalence)에 의존한다. 심플렉틱화 상의 $\mathbb{G}_m$-작용은 결과적인 $\ell$-적 퍼버스 층 상에 온순한 기하적 모노드로미 오토모피즘(tame geometric monodromy automorphism) $T$를 유도한다.
3. 범주의 선형화: 저자는 비선형 레전드리 범주를 선형화하기 위해 Joyce의 추측에 대한 접촉 유사물을 공식화한다. $\ell$-적 층의 여섯 가지 함자 형식(six-functor formalism)과 Fourier-Mukai pull-push 함자를 활용하여, 저자는 2-모피즘이 모노드로믹 퍼버스 층의 에탈레 하이퍼코호몰로지(étale hypercohomology)로 정의되는 선형화된 2-범주를 구축한다.
4. 트레이스 공식을 통한 불변량: 위상적 비가약성 문제를 해결하기 위해, 본 논문은 변위된 모노드로미 연산자 $\tau$가 퍼버스 층 상에서 작용하는 $\ell$-적 Grothendieck-Lefschetz 트레이스를 사용하여 수치적 불변량을 정의한다. 이는 접촉 Behrend 함수를 정의하는 데 이어진다.

주요 기여 및 결과

• 정리 1.1 (공변적 접촉 다르부 정리): 대수적으로 닫힌 체 $K$ (표수 0) 위에서 모든 $-1$-변위된 접촉 유도 아틴 스크택이 접촉 다르부 스킴$\text{Spec}(A) \simeq \Delta_{\text{loc}}(s)$에 의한 매끄러운 아틀라스를 가짐을 증명한다. 환원 가능한 안정자$G$가 존재하는 경우, 해당 스택은 매끄러운 위상에서 기하적 몫$[\Delta_{\text{loc}}(s)/G]$와 국소적으로 동치이다.
• 정리 1.2 (모노드로믹 $\ell$-적 퍼버스 층): 모든 방향성이 있는 $-1$-변위된 접촉 유도 아틴 스택이 온순한 기하적 모노드로미 오토모피즘$T$를 갖는$\ell$-적 퍼버스 층$P_Z$를 가짐을 확립한다. 이 구조는 심플렉틱화로부터 BBDJS 소멸 순환을 강하함으로써 유도된다.
• 정리 1.3 (범주화된 레전드리 범주): $1$-변위된 접촉 스택$X$에 대한 선형화된 2-범주$\mathcal{LF}_c(X)$를 구축한다. 1-모피즘은 적절한 방향성 레전드리 대응이며, 2-모피즘은 유도 교차(derived intersections) 상의 모노드로믹 퍼버스 층의 에탈레 하이퍼코호몰로지로 주어진다. 또한 $0$-변위된 접축 스택을 위한 전역적 범주화된 선형 약 2-범주$\mathcal{LLeg}_0$도 구축된다.
• 정리 7.2 ($\ell$-적 접촉 위상적 적분): 접촉 도날드슨-토마스(DT) 불변량을 모노드로미 연산자의 트레이스로 가중치를 둔 접촉 Behrend 함수 $\nu^{\text{contact}}_Z$의 $\ell$-적 위상적 적분으로 제공하는 공식을 제시한다. 이는 모노드로미 연산자의 트레이스를 통해 층(strata)에 가중치를 부여함으로써 위상적 불변량의 소멸 문제를 해결한다.
• 계산 예시: 본 논문은 $A_k$-특이점과 비퇴화 이차 특이점에 대한 접촉 Behrend 함수를 계산한다. 두 경우 모두에서 국소 접촉 곱(local contact multiplicity)은 1로 발견되었는데, 이는 고전적인 Behrend 함수 값(예: $A_k$의 경우 $k$)과 대조되며, 이는 순환 모노드로미의 교대 트레이스가 다중 시트 분기(multi-sheeted branches)의 기여를 상쇄함을 보여준다.

의의 및 주장
본 논문은 공변적 국소 모델과 모노드로믹 퍼버스 층 형식을 도입함으로써 유도 접측 기하학에서 수치적 불변량을 정의하는 데 따르는 장애물을 해결한다고 주장한다. 레전드리 범주를 선형화함으로써, 이 연구는 유도 접촉 모듈라이 공간을 마이크로로컬 층 이론과 연결하며, "Joyce의 추측에 대한 접촉 유사물"을 제공한다.

저자는 이 프레임워크가 $\ell$-적 Grothendieck-Lefschetz 트레이스를 통해 유도 수치적 불변량을 추출할 수 있게 하며, 결과적으로 접촉 공간에 내재된 일반적 위상적 비가약성을 효과적으로 우회한다고 주장한다. 이 결과들은 모티빅 접촉 DT 불변량, 코호몰로지 홀 대수(CoHAs), 그리고 잠재적인 "접촉 Nadler-Zaslow 대응"을 통한 "접촉 호몰로지 미러 대칭"을 위한 향후 발전을 위한 토대를 마련한다. 본 논문은 이러한 결과들이 대수적으로 정식화된 유도 심플렉틱 필드 이론(SFT)을 위한 필수적인 기하학적 및 코호몰로지적 기초임을 위치시킨다.