[논문 리뷰] Sheaf quantization and intersection of rational Lagrangian immersions

Tomohiro Asano, Yuichi Ike|arXiv (Cornell University)|2020. 05. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 미세국소 층 이론을 이용하여 코탄젠트 번들의 유리 라그랑주 임베딩에 대한 층 양자화를 구축하며, 이는 순수하게 층 이론적인 방법으로 이동 에너지의 상한을 제공하고, 라그랑주 임베딩과 그 해밀토니안 이미지 사이의 교차점 수에 대한 베티 수/컵 길이 추정을 가능하게 한다. 이 방법은 주기적 구조를 지닌 삼각형 오비트 카테고리에서의 새로운 층 양자화에 기반하며, 타마르킨 카테고리 기법을 활용하여 에너지 및 교차점 추정을 도출한다.

ABSTRACT

We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the sheaf quantization, we give an explicit bound for the displacement energy and a Betti/cup-length estimate for the number of the intersection points of the immersion and its Hamiltonian image by a purely sheaf-theoretic method.

연구 동기 및 목표

• 코탄젠트 번들의 컴acts부분집합의 이동 에너지를 추정하기 위한 층 이론적 프레임워크를 개발하는 것.
• 리프 채널이 있는 레이지언드라 서브맨포이드의 콘화된 형태인 강력 유리 라그랑주 임베딩에 대한 층 양자화를 구축하는 것.
• 플로어 homology에 의존하지 않고 순수하게 층 이론적 방법으로 이러한 임베딩의 이동 에너지에 대한 상한을 제공하는 것.
• 라그랑주 임베딩과 그 해밀토니안 이미지 사이의 교차점 수에 대한 베티 수 및 컵 길이 추정을 도출하는 것.
• 주기적 층 구성 기법을 통해 타마르킨 카테고리 기법을 비정확하고 비컴팩트 라그랑주 임베딩에까지 확장하는 것.

제안 방법

• 짧은 리프 채널 길이보다 작은 $a$에 대해, 삼각형 오비트 카테고리 $\mathbf{D}^{\mathrm{b}}_{/[1]}(M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z})$ 안의 객체로 층 양자화를 구성한다.
• 콘화된 레이지언드라의 층 양자화를 나타내는 극한 객체로 수렴하는 $M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z}$ 위의 층의 가중치를 이용한다.
• 타마르킨 카테고리 $\mathcal{D}(M)$ 및 그 주기적 변형 $\mathcal{D}^{P}_{\theta}(M)$을 이용하여 내부 함자 $\mathop{{\mathcal{H}}\rm{om}}\nolimits^{\star}$를 통한 이동 거리 정의를 수행한다.
• 층 이론적 이동 에너지 $e_{\mathcal{D}^{P}(M)_{\theta}}(F,G)$를 $\tau_{0,c}(Rq_{*}\mathop{{\mathcal{H}}\rm{om}}\nolimits^{\star}(F,G)) = 0$인 최소 $c$로 정의한다.
• 마이크로스포프를 제어하고 에너지 추정을 유도하기 위해 $R\bar{s}_{*}(\bar{q}_{1}^{-1}\mathcal{H} \otimes \bar{q}_{2}^{-1}\mathbf{k}_{M\times P\times\gamma}) \to \mathcal{H}$의 표준 사상 적용.
• 마이크로스포프 포함 조건 $\operatorname{{\operatorname{SS}}}(\mathcal{H}) \subset T^{*}(M\times P)\times(S^{1}_{\theta}\times\mathbb{R})\times\gamma^{\circ}$를 이용하여 정확한 마이크로스포프 포함을 보장한다.

실험 결과

연구 질문

• RQ1 표준 구축 방법이 방해되는 리프 채널이 존재하는 상황에서도 강력 유리 라그랑주 임베딩에 대한 층 양자화를 구성할 수 있는가?
• RQ2 플로어 homology에 의존하지 않고 순수하게 층 이론적 자료만으로 이러한 임베딩의 이동 에너지를 상한으로 제시할 수 있는가?
• RQ3 층의 마이크로스포프와 그에 대응하는 라그랑주의 해밀토니안 역학 사이의 관계는 무엇인가?
• RQ4 라그랑주 임베딩과 그 해밀토니안 이미지 사이의 교차점 수는 층 불변량을 통해 어떻게 추정할 수 있는가?
• RQ5 타마르킨 카테고리 프레임워크는 주기적 또는 오비트와 유사한 구조로 일반화되어 유리 라그랑주를 다룰 수 있는가?

주요 결과

• 강력 유리 라그랑주 임베딩에 대해, 짧은 리프 채널 길이보다 작은 $a$에 대해 $\mathbf{D}^{\mathrm{b}}_{/[1]}(M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z})$ 안의 객체로 층 양자화가 구성된다.
• 코탄젠트 번들의 컴팩트 부분집합 $A,B \subset T^{*}M$에 대해 이동 에너지 $e(A,B)$는 임의의 $F \in \mathcal{D}^{P}_{A}(M)_{\theta}$, $G \in \mathcal{D}^{P}_{B}(M)_{\theta}$ 이며 적절한 투영 조건을 만족할 때 $e(A,B) \geq e_{\mathcal{D}^{P}(M)_{\theta}}(F,G)$를 만족한다.
• 층 이론적 이동 에너지는 $e_{\mathcal{D}^{P}(M)_{\theta}}(F,G) = \inf\{c \in \mathbb{R}_{\geq 0} \mid \tau_{0,c}(Rq_{*}\mathop{{\mathcal{H}}\rm{om}}\nolimits^{\star}(F,G)) = 0\}$로 주어진다.
• 라그랑주 임베딩과 그 해밀토니안 이미지 사이의 교차점 수에 대한 베티 수 및 컵 길이 추정이 층 이론적 프레임워크를 통해 도출된다.
• 논문 [AI20]의 주요 정리의 개선된 형태를 제공하며, $M\times\mathbb{R}/\theta\mathbb{Z}$ 대신 $(0,a)\times\mathbb{R}/\theta\mathbb{Z}$를 사용함으로써 더 정교한 에너지 추정이 가능해진다.
• 매개변수 공간을 $(0,a)$로 제한함으로써 기존 길리에르무의 층 양자화를 비정확한 라그랑주 다양체에 리프 채널이 존재하는 경우로 일반화한다.