AKSZ Construction for Shifted Contact Structures

기술 요약: 시프트된 접촉 구조를 위한 AKSZ 구성

문제 정의
본 논문은 유도 심플렉틱 기하학(derived symplectic geometry)에서 유도된 **시프트된 접축 구조(shifted contact structures)**의 설정으로 AKSZ(Alexandrov–Kontsevich–Schwartz–Zaboronsky) 구성을 확장하는 문제를 다룬다. 시프트된 심플렉틱 구조에 대한 AKSZ 구성은 잘 확립되어 있으나(Pantev, Toën, Vaquié, 및 Vezzosi [8]), 접촉 구조에 대한 직접적인 적용은 유도된 설정 내에서 근본적인 장애물에 직면한다.

고전적인 등급 접촉 기하학(graded contact geometry)에서, AKSZ 형식론은 종종 전역적으로 가약 가능한(globally trivializable) 접촉 선다발을 가정하여 사상 공간 $\text{Map}(Y, X)$가 약한 접촉 구조를 상속받도록 한다. 그러나 유도 대수 기하학에서, 유도된 접촉 스택은 비자명하게 뒤틀린(twisting) 선다발을 가진다. 본 논문은 $n$-시프트된 접촉 유도 아틴 스택 $X$와 $\mathcal{O}$-컴팩트, $d$-지향된 유도 스택 $Y$에 대하여, 표준 사상 스택 $\text{Map}(Y, X)$가 접촉 구조를 갖는 데 실패함을 식별한다. 이는 사상 스택 위의 필수적인 뒤틀린 선다벨이 타겟으로부터의 접촉 선다발의 유도 푸시포워드(derived pushforward)를 통해 구성되기 때문이다. $d$-지향된 소스(source)에 대해, 이 푸시포워드는 $[0, d]$의 Tor-진폭을 갖는 완전 복합체(perfect complex)를 생성하는 반면, 접촉 구조는 $[0, 0]$의 진폭을 갖는 선다발을 요구한다. 이러한 코호몰로지적 장애는 수정되지 않은 사상 스택에 전역적인 접촉 구조를 정의하는 것을 방해한다.

방법론
이 장애를 해결하기 위해, 저자들은 심플렉티피케이션(symplectification)의 모듈라이 공간이 리우빌 스케일링 작용(Liouville scaling action)에 대해 심플렉티피케이션의 모듈리를 따르는 SFT(Symplectic Field Theory)와 유사하게 정의된다는 점에 착안하여, 몫 사상 스택(quotient mapping stack) 형식을 도입한다.

1. 심플렉티피케이션 및 몫: 저자들은 $n$-시프트된 심플렉틱 구조를 가진 접촉 스택 $X$ 위의 주 $\mathbb{G}_m$-번들인 유도 심플렉티피케이션 $\tilde{X} \to X$를 활용한다. 저자들은 몫 사상 스택을 다음과 같이 정의한다:
   $$X_Y = [\text{Map}(Y, \tilde{X}) / \mathbb{G}_m]$$
   여기서 몫은 타겟 심플렉티피케이션의 파이버(fiber) 상에서 스칼라 곱 작용을 하는 상수 곱셈군($\mathbb{G}_m \hookrightarrow \text{Map}(Y, \mathbb{G}_m)$)에 의해 취해진다.

2. 트랜스그레션(Transgression) 및 내림(Descent): 이 구성은 $\tilde{X}$로부터의 심플렉틱 형식을 사상 스택 $\text{Map}(Y, \tilde{X})$로 트랜스그레션하는 것에 의존한다. $Y$의 지향(orientation)을 따라 심플렉틱 형식의 풀백(pullback)을 적분함으로써, $(n-d)$-시프트된 심플렉틱 구조를 얻는다. 결정적으로, 이 형식은 $\mathbb{G}_m$-작용에 대해 무게(weight) 1을 가진다. 저자들은 유도된 전이성 정리(derived transversality theorem)를 적용하며, 이는 무게 1인 $\mathbb{G}_m$-작용에 의한 심플렉틱 스택의 몫이 베이스에 접촉 구조를 내림(descend)한다는 것을 기술한다.

3. 경계 및 글루잉(Gluing): 이 형식론은 경계를 가진 스택으로 확장된다. 저자들은 **유도 필링(derived fillings)**을 정의하고, 몫 사상 스택 사이의 제한 사상(restriction maps)이 **레전드리안 사상(Legendrian morphisms)**을 유도함을 입증한다. 또한, 코보디즘(cobordism)의 위상적 글루잉이 레전드리안 경계 조건의 유도 교차(derived intersection, homotopy pullback)에 대응함을 증명한다.

4. 마스터 방정식: 저자들은 정형적인 접촉 1-형식의 트랜스그레션을 확립하고, 결과적인 기하학이 **유도 고전 마스터 방정식(Derived Classical Master Equation, CME)**을 만족함을 검증한다. 이는 유도된 드 람 미분(derived de Rham differential)에 의해 제어되는 유도된 분포가 비퇴화(non-degenerate)임을 보임으로써 달성된다.

주요 기여 및 결과

• 정리 A (몫 사상 스택): $X$가 $n$-시프트된 접촉 유도 아틴 스택이고 $Y$가 $\mathcal{O}$-컴팩트, $d$-지향된 유도 스택이면, 몫 사상 스택 $X_Y = [\text{Map}(Y, \tilde{X})/\mathbb{G}_m]$가 $(n-d)$-시프트된 접촉 구조를 가짐을 증명한다. 이는 수정되지 않은 사상 스택에 존재하는 장애를 해결한다.
• 정리 B (약한 구조): **약한 시프트된 접촉 구조(weak shifted contact structures)**의 개념을 정형화한다. 만약 $X$의 접촉 선다-bundle이 전역적으로 가약 가능하다면($L_X \simeq \mathcal{O}_X$), 수정되지 않은 사상 스택 $\text{Map}(Y, X)$는 소스의 지향 클래스의 비자명한 Tor-진폭으로 인해 오직 약한 접촉 구조만을 상속받음을 증명한다. 이는 그레이디드 접촉 다양체에 대한 결과(Contreras et al. [3])를 유도된 틀 안에서 회복하고 맥락화한다.
• 정리 C & D (레전드리안 필링 및 위상적 글루잉): 유도 필링이 몫 사상 스택 사이의 레전드리안 사상을 유도함을 확립한다. 나아가, 코보디즘의 호모토피 푸시아웃(homotopy pushout)의 몫 사상 스택은 상응하는 레전드리안 경계 조건의 유도 교차(derived intersection)와 정형적으로 동치이며, 이를 통해 유도 접촉 설정에서의 위상적 글루잉을 정형화한다.
• 정리 E & F (트랜스그레션 및 CME): 적분 범함수가 $\tilde{X}$ 상의 정형적인 $n$-시프트된 1-형식을 몫 스택 상의 무게 1, $(n-d)$-시프트된 1-형식으로 트랜스그레션함을 보여준다. 이 형식은 비퇴화 분포를 유도하며, 유도된 고전 마스터 방정식(CME)의 기하학적 요구사항을 만족한다.
• 응용 (시그마 모델): 저자들은 $n$과 $d$의 특정 차원을 선택하여 특정 위상적 필드 이론의 유도된 아날로그를 정의한다:
  • 유도 자코비 시그마 모델 (Derived Jacobi Sigma Model): $n=1, d=2$ (타겟: 1-시프트된 접촉 스택; 소스: 2-매니폴드).
  • 유도 코랑-자코비 시그마 모델 (Derived Courant-Jacobi Sigma Model): $n=2, d=3$ (타겟: 2-시프트된 접촉 스택; 소스: 3-매니폴드).
  • 유도 루프 공간 적분 (Derived Loop Space Integration): $n=1, d=1$ (타겟: 1-시프트된 접촉 스택; 소스: 원/Circle), 자코비 구조의 적분을 유도 접촉 그루포이드(derived contact groupoids)로 실현한다.
• 정리 G (선형화된 ETFT): "퍼버스 선형화(perverse linearization)"(동반 논문 [7]에서 개발됨)와 이 기하학적 구성을 결합함으로써, 저자들은 이 모듈라이 공간들을 **코호몰로지 접촉 확장 위상적 필드 이론(Cohomological Contact Extended Topological Field Theories, ETFTs)**으로 격상시킨다. 이는 위상적 코보디즘을 선형화된 레전드리안 스팬(linearized Legendrian spans)으로 매핑하며, $\ell$-adic vanishing cycles를 통해 수치적 불변량을 추출한다.

의의
본 논문은 AKSZ-접촉 형식을 유도 대수 기하학으로 성공적으로 이송함으로써, 유도된 설정의 대수적 장애물을 극복했다고 주장한다. 몫 사상 스택을 도입함으로써, 저자들은 필드의 모듈라이 공간 위에 시프트된 접촉 구조를 정의하기 위한 엄밀한 기하학적 틀을 제공한다. 이 틀은 이전의 그레이디드 접촉 다양체에 대한 결과들을 일반화할 뿐만 아니라, 확장 위상적 필드 이론(ETFT)을 구축하기 위한 필요한 기하학적 데이터(레전드리안 사상, 글루잉, CME 만족)를 제공한다. 이 연구는 유도 심플렉틱 기하학과 접촉 위상학 사이의 간극을 메우며, 자코비 및 코랑-자코비 구조를 포함하는 위상적 필드 이론에 대한 통합된 접근 방식을 제시한다.