[논문 리뷰] Sheaves via augmentations of Legendrian surfaces

Dan Rutherford, Michael G. Sullivan|arXiv (Cornell University)|2019. 12. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 28인용 수 7

한 줄 요약

이 논문은 1-제트 공간 내의 레지오단리안 표면에 관련된 새로운 심플리시얼 미분가환대수(DGA)의 증강을 이용해 $M \times \mathbb{R}$ 위의 구조적 코호전자복합체를 구성한다. 이 구성은 기저 다양체의 심플리시얼 분할에서 유래한 조합적 자료를 사용하며, 증강에서 유도된 코herent sheaf의 사상 $\mathbf{Sh}^\bullet_\Lambda(M \times \mathbb{R}, \mathbb{K})$의 유도 범주로의 사상으로 이어지며, 2차원에서 레지오단리안 컨택트 호모로지 불변량과 마이크로로컬 코herent sheaf 이론 사이의 추측된 연결 고리를 구체적이고 조합적인 방식으로 실현한다.

ABSTRACT

Given an augmentation for a Legendrian surface in a $1$-jet space, $Λ\subset J^1(M)$, we explicitly construct an object, $\mathcal{F} \in Sh_Λ$, of the (derived) category from arXiv:1402.0490 of constructible sheaves on $M imes R$ with singular support determined by $Λ$. In the construction, we introduce a simplicial Legendrian DGA (differential graded algebra) for Legendrian submanifolds in $1$-jet spaces that, based on arXiv:1608.02984 and arXiv:1608.03011, is equivalent to the Legendrian contact homology DGA in the case of Legendrian surfaces. In addition, we extend the approach of arXiv:1402.0490 for $1$-dimensional Legendrian knots to obtain a combinatorial model for sheaves in $Sh_Λ$ in the $2$-dimensional case.

연구 동기 및 목표

• 1-제트 공간 내 레지오단리안 표면의 증강으로부터 $\mathbf{Sh}^\bullet_\Lambda(M \times \mathbb{R}, \mathbb{K})$ 내에 있는 코herent sheaf의 구체적이고 조합적인 구성 방법을 수립하는 것.
• 정수 계수를 갖는 $\mathbb{Z}$-계수 심플리시얼 DGA를 도입하여 셀룰러 DGA를 일반화하고, 2로 모듈로했을 때 레지오단리안 컨택트 호모로지 DGA와 일치시키는 것.
• 기존의 [30]의 방법을 1차원 끈에서 2차원 레지오단리안 표면으로 확장하여, 기저 다양체의 호환 가능한 심플리시얼 분할을 사용하는 것.
• 고정된 기저 코herent sheaf 자료에 대해 코herent sheaf 구성이 증강에만 의존함을 보여, 대응관계를 명시적이고 계산 가능한 형태로 만드는 것.
• 레지오단리안 표면 위의 국소 시스템을 통해 높은 마이크로로컬 랭크나 비자명한 단형을 갖는 코herent sheaf로 일반화하기 위한 프레임워크를 제공하는 것.

제안 방법

• 기저 다양체 $M$의 호환 가능한 심플리시얼 분할 $\mathcal{E}$를 사용하여 레지오단리안 표면에 대해 심플리시얼 DGA $\mathcal{A}(\Lambda, \mathcal{E})$를 도입하고, 계수를 $\mathbb{Z}$로 설정한다.
• 증강의 조합적 모델로 체인 호모토피 다이어그램(CHD)을 정의하여, 증강 $\epsilon: \mathcal{A}(\Lambda, \mathcal{E}) \to \mathbb{K}$와 CHD 사이의 전단사 관계를 확립한다.
• CHD 자료를 사용하여 셀에 벡터 공간과 인cidense 관계에 대한 체인 사상을 할당함으로써 $\mathbf{Fun}^\bullet_\Lambda(\mathcal{S}, \mathbb{K})$ 내의 조합적 코herent sheaf를 구성한다.
• 모서리와 변에 대한 단체 다이어그램으로부터 일반화된 매핑 цили더를 구축하고, 명시적 호모토피 추론을 통해 총 복합체의 순환성을 확보한다.
• 코herent sheaf 복합체로의 승격을 위해 $\Gamma_\mathcal{S}: \mathbf{Sh}^\bullet_\Lambda(\mathcal{S}, \mathbb{K}) \to \mathbf{Fun}^\bullet_\Lambda(\mathcal{S}, \mathbb{K})$ 의 준동치를 사용한다.
• 결과로 얻어진 코herent sheaf가 라그랑주 복합체 위에 있는 $\Lambda$의 영역에 포함된 특이 지지부를 갖는다는 것을 검증함으로써, $\mathbf{Sh}^\bullet_\Lambda(M \times \mathbb{R}, \mathbb{K})$ 내에 속한다는 것을 보장한다.

실험 결과

연구 질문

• RQ1 2차원 레지오단리안 표면에 대한 레지오단리안 컨택트 호모로지 DGA의 증강을 사용하여, 구조적 코herent sheaf의 유도 범주 내에 명시적인 대상을 구성할 수 있는가?
• RQ2 셀룰러 DGA를 일반화하고 $\mathbb{Z}$-계수에서 작동하는 조합적, 국소적, 공식적인 DGA 구성이 레지오단리안 표면에 대해 존재하는가?
• RQ3 1D 프레임워크 [30]를 확장하여 2D의 경우에 증강과 코herent sheaf 사이의 대응관계를 명시적이고 계산 가능한 형태로 만들 수 있는가?
• RQ4 기저 다양체의 심플리시얼 분할이 코herent sheaf 구성의 조직화와 DGA의 구조와의 호환성 확보에 어떤 역할을 하는가?
• RQ5 비자명한 국소 시스템을 이용하여 레지오단리안 표면 위에서 높은 마이크로로컬 랭크나 비자명한 단형을 갖는 코herent sheaf를 구성할 수 있는가?

주요 결과

• 논문은 증강에서 유도된 사상 $\Phi: \mathit{Aug}(\Lambda; \mathbb{K}) \to \mathbf{Sh}^\bullet_\Lambda(M \times \mathbb{R}, \mathbb{K})$ 를 잘 정의된 방식으로 구성하여, 컨택트 불변량과 코herent sheaf 이론 사이의 직접적인 연결 고리를 확립한다.
• 심플리시얼 DGA $\mathcal{A}(\Lambda, \mathcal{E})$ 는 $\mathbb{Z}$-계수 DGA로 증명되었으며, 2로 모듈로한 결과 셀룰러 DGA와 일치한다. 이는 기존에 알려진 바로, 레지오단리안 컨택트 호모로지 DGA와 안정적으로 타임이소모픽임을 의미한다.
• 고정된 기저 코herent sheaf 자료에 대해 코herent sheaf의 구성은 증강에만 의존하며, 미분은 증강에 의해 조합적으로 결정되므로 명시적이고 구체적인 실현이 보장된다.
• 변과 정점에 대한 단체 다이어그램과 관련된 총 복합체의 순환성은 호모토피 추론을 통해 증명되었으며, 이는 결과로 얻어진 코herent sheaf 복합체가 잘 정의되어 있음을 보장한다.
• 결과로 얻어진 코herent sheaf는 마이크로로컬 랭크 1을 갖는다. $\mathbb{K}$-계수 생성자를 $n$차원 벡터 공간으로 대체함으로써 이는 높은 랭크 코herent sheaf로 일반화될 수 있다.
• 저자들은 증강에서 코herent sheaf로의 사상이 적어도 $\mathbb{Z}/2$에서 및 $M = \mathbb{R}^2$일 경우, 무한대에서 스태크가 순환인 마이크로로컬 랭크 1 코herent sheaf의 부분범주로 본질적으로 전성임을 추측한다.