[논문 리뷰] Microlocal sheaf categories and the $J$-homomorphism

Xin Jin|arXiv (Cornell University)|2020. 04. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 6

한 줄 요약

이 논문은 다변량의 코탄젠트 번들의 미세국소층 범주에 대한 분류 사상의 위상수학적 기술을 수립한다. 미세국소층 이론과 안정 호모토피 이론을 사용하여, 분류 사상이 $U/O$로의 안정 가우스 사상과 $J$-호모모피즘의 덜로핑으로 인해 인수화됨을 보이며, 컴팩트 라그랑주다양체의 경우 이 사상이 호모토피적으로 자명함을 증명함으로써, Abouzaid–Kragh의 결과를 층 이론적 방법으로 재확인한다.

ABSTRACT

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally assigns a locally constant sheaf of categories on $L$ with fiber equivalent to the category of $\mathbf{k}$-spectra $\mathrm{Mod}(\mathbf{k})$. We show that the classifying map for the local system of categories factors through the stable Gauss map $L ightarrow U/O$ and the delooping of the $J$-homomorphism $U/O ightarrow B\mathrm{Pic}(\mathbf{S})$. As an application, combining with previous results of Guillermou [Gui], we recover a result of Abouzaid--Kragh [AbKr] on the triviality of the composition $L ightarrow U/O ightarrow B\mathrm{Pic}(\mathbf{S})$, when $L$ is in addition compact.

연구 동기 및 목표

• 미세국소층 범주에 대한 분류 사상의 위상수학적 기술을 제공한다. 이는 $T^*X$ 내의 매끄럽고 정확한 라그랑주다양체 $L$에 대해 적용된다.
• 문제 1.1을 해결하기 위해, 분류 사상이 안정 가우스 사상 $L \to U/O$과 $J$-호모모피즘의 덜로핑 $BJ: U/O \to B\mathrm{Pic}(\mathbf{S})$를 통해 인수화됨을 보인다.
• 컴팩트 정확한 라그랑주다양체에 대해 분류 사상의 자명성을 층 이론적 방법으로 증명함으로써, Abouzaid–Kragh의 결과를 재확인한다.

제안 방법

• Kashiwara–Schapira의 미세국소층 이론을 활용하여, 매끄럽고 정확한 라그랑주다양체 $L \subset T^*X$ 위에 국소적으로 상수인 범주층을 할당하며, 그 올은 $\mathrm{Mod}(\mathbf{k})$와 동치이다.
• 범주층의 국소계층을 분류하는 사상 $L \to B\mathrm{Pic}(\mathbf{k})$를 구축하고, 안정 가우스 사상을 통해 $U/O$를 통해 인수화됨을 보인다.
• Bott 주기성과 스펙트럼 분해를 적용하여 $U/O$의 호모토피 유형을 분석하며, 특히 $\Omega(U/O) \simeq \mathbf{Z} \times BO$임을 규명한다.
• 모르스 변환과 $U/O$ 내의 경로를 사용하여 범주국소계층의 단형을 모델링한다.
• fibrant 심플리셜 범주 $\mathsf{QHam}_L(U/O)^{op}$ 에서 $\mathrm{Pr}_{\mathsf{st}}^\mathsf{L}$ 내의 함자를 정의하는 표준 함자 $F_L$를 도입하며, 이는 대응 범주의 구조를 코딩한다.
• $J$-호모모피즘의 덜로핑과 타투로직적 사상 $B\mathrm{Pic}(\mathbf{S}) \to B\mathrm{Pic}(\mathbf{k})$를 활용하여, 구형 스펙트럼과 일반적인 링 스펙트럼 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 매끄럽고 정확한 라그랑주다양체 $L \subset T^*X$ 위의 미세국소층 범주에 대한 분류 사상은 어떻게 위상수학적으로 기술할 수 있는가?
• RQ2 분류 사상 $L \to B\mathrm{Pic}(\mathbf{k})$ 는 $U/O$와 $J$-호모모피즘을 통해 인수화될 수 있는가?
• RQ3 컴팩트 라그랑주다양체에 대해 $L \to U/O \to B\mathrm{Pic}(\mathbf{S})$의 복합 사상의 호모토피류는 무엇인가?
• RQ4 이 복합 사상의 자명성은 플로어 호모토피 유형에 의존하지 않는 미세국소층 이론적 방법으로 증명될 수 있는가?
• RQ5 모르스 변환과 $U/O$ 내의 대응은 범주국소계층의 단형을 어떻게 코딩하는가?

주요 결과

• 매끄럽고 정확한 라그랑주다양체 $L \subset T^*X$ 위의 미세국소층 범주에 대한 분류 사상은 안정 가우스 사상 $L \to U/O$와 $J$-호모모피즘의 덜로핑 $BJ: U/O \to B\mathrm{Pic}(\mathbf{S})$를 통해 인수화된다.
• 모든 컴팩트 매끄럽고 정확한 라그랑주다양체 $L \subset T^*X$에 대해, 복합 사상 $L \to U/O \to B\mathrm{Pic}(\mathbf{S})$ 는 호모토피적으로 자명하다.
• 이 결과는 이전에 플로어 호모토피 유형에 의존했던 Abouzaid–Kragh의 정리에 대해 층 이론적 증명을 제공한다.
• $\mathbf{k} = \mathbf{Z}$ 인 경우의 장벽 클래스는 마스лов 클래스와 두 번째 상대 스티펠–브라이트 클래스로 규명된다.
• 이 구성은 일반적인 가환 또는 $\mathbb{E}_2$ 링 스펙트럼 $\mathbf{k}$에 대해 유효하며, 일반적인 링의 경우를 일반화한다.
• 이 틀은 일반적인 기저 다변량 $X$의 경우로 확장되며, $\infty$-범주 설정에서 유니버설하게 성립한다.