고차원에서의 보강 카테고리 구축과 불변성

초록

본 논문은 정확한 심플렉틱 다양체 (M)와 그 접촉화 (M\times\mathbb R)에 포함된 Legendrian 부분다양체 (\Lambda)에 대해, 특성 2인 체 위에서 Chekanov‑Eliashberg DGA의 보강(augmentation)들을 객체로 하는 단일 (A_\infty) 카테고리 (\mathsf{Aug}_+ (M,\Lambda))를 정의한다. 기존 3차원 경우의 Ng‑Rutherford‑Shende‑Sivek‑Zaslow 구성을 고차원으로 일반화하고, 임의의 교란을 허용하는 새로운 보조 카테고리를 도입해 로컬라이제이션 기법으로 불변성을 증명한다. 또한 일관된 DGA 연속체와의 동등성을 확인한다.

상세 분석

이 연구는 Legendrian 접촉동형동학에서 핵심적인 Chekanov‑Eliashberg 차등 그레이디드 대수(CHE)와 그 보강(augmentation) 사이의 관계를 고차원으로 확장한다. 기존 3차원에서는 평행 복사(parallel copies)를 이용해 일관된 DGA 시퀀스를 만들고, 그 위에 (A_\infty) 연산 (m_k)를 정의함으로써 보강 카테고리 (\mathsf{Aug}+)를 구성하였다. 고차원에서는 이러한 일관성을 확보하기 위한 교란 선택이 매우 제한적이었으나, 저자는 Abouzaid‑Seidel의 랩드 Fukaya 카테고리 구축 아이디어를 차용해, 교란에 대한 일관성 요구를 완전히 포기하고 대신 “보조 카테고리” (\mathcal B)를 정의한다. (\mathcal B)는 각 보강마다 무한히 많은 객체를 갖는 포셋(poset) 구조를 가지며, 사상은 포셋에서 위쪽으로만 이동하도록 제한한다. 그런 다음 “동일성(identity) 사상”을 로컬라이즈함으로써 실제 관심 대상인 (\mathsf{Aug}+)를 얻는다. 이 과정에서 핵심 기술은 양자 흐름 트리(quantum flow tree)를 이용한 다중 스케일 디스크 전개와, 그에 대응하는 전산적 차등 연산을 정의하는 것이다. 특히, 특성 2 체 위에서는 스핀 구조와 방향 부호 문제를 회피할 수 있어, 복잡한 코호몰로지 계산 없이도 (A_\infty) 관계를 검증할 수 있다. 논문은 주요 정리(정리 3.14)에서 (\mathsf{Aug}+(M,\Lambda))가 교란 선택과 거의 복소 구조에 대해 (A\infty) 동등하게 불변이며, Legendrian 동형동형동등에 대해서도 불변임을 증명한다. 마지막으로, 일관된 DGA 시퀀스를 제공하는 경우 기존 NRS+20 구성과 정확히 일치함을 보이며, 이는 새로운 증명이 기존 결과의 강인성을 제공한다는 점에서 의미가 크다.