[논문 리뷰] Geometric and algebraic presentations of Weinstein domains

Oleg Lazarev|arXiv (Cornell University)|2019. 10. 02.

Geometric and Algebraic Topology참고 문헌 32인용 수 5

한 줄 요약

이 논문은 Weinstein 다각형 내 기하학적 핸들 상호작용과 그들의 람부르트 프리카 범주에서의 대수적 관계 사이의 대응을 수립하며, 색인 $n$과 $n-1$ 핸들이 상호작용할 때 이에 의해 유도되는 약한 복합체가 약한 복합체임을 보여준다. 이는 특이 코homology에서 그로텐디크 군으로의 전사 사상, 심플렉틱 코hom로지와 덴니스 추적사상 간의 연결, 그리고 레그렌드리안의 $C^0$-근접성을 차단하는 $C^0$-연속 Viterbo 함자를 구성함으로써, 유도 모리타 동치를 통한 이국적인 Weinstein 표현을 가능하게 한다.

ABSTRACT

We prove that geometric intersections between Weinstein handles induce algebraic relations in the wrapped Fukaya category, which we use to study the Grothendieck group. We produce a surjective map from middle-dimensional singular cohomology to the Grothendieck group, show that the geometric acceleration map to symplectic cohomology factors through the categorical Dennis trace map, and introduce a Viterbo functor for $C^0$-close Weinstein hypersurfaces, which gives an obstruction for Legendrians to be $C^0$-close. We show that symplectic flexibility is a geometric manifestation of Thomason's correspondence between split-generating subcategories and subgroups of the Grothendieck group, which we use to upgrade Abouzaid's split-generation criterion to a generation criterion for Weinstein domains. Thomason's theorem produces exotic presentations for certain categories and we give geometric analogs: exotic Weinstein presentations for standard cotangent bundles and Legendrians whose Chekanov-Eliashberg algebras are not quasi-isomorphic but are derived Morita equivalent.

연구 동기 및 목표

• Weinstein 다각형 내 기하학적 핸들 부착이 람부르트 프리카 범주에 어떤 대수적 관계를 유도하는지 이해하는 것.
• 라그랑주안의 코어와 벨트 원환면 사이의 기하학적 및 대수적 교차수의 범주론적 해석을 수립하는 것.
• $C^0$-연속 Viterbo 함자를 구성하여 레그렌드리안이 $C^0$-근접하지 못하도록 차단하는 것.
• 텀슨의 대응을 활용하여 아보자이드의 분할 생성 기준을 전반적 생성 기준으로 확장하는 것.
• 표준 코탄제이트 번들의 이국적인 Weinstein 표현과, 서로 비동치이지만 유도 모리타 동치인 케카노프-엘리아시버그 대수를 가진 레그렌드리안을 생성하는 것.

제안 방법

• $n-1$-핸들에 대한 $h$-원리(정리)를 활용하여, $n-1$-핸들 본체 내 이소트로픽 라그랑주 디스크의 이동 가능성을 분석하며, 이는 $n$-핸들의 코어로 표현된 왜곡 복합체로 나타난다.
• 레그렌드리안 부착 원환면 $\Lambda^{n-1}$과 코이소트로픽 벨트 원환면 $\Gamma^n$ 사이의 교차 데이터로부터 $\mathcal{W}(X)$ 내에서 약한 복합체를 구성하며, 양의 및 음의 교차 수를 매개변수로 사용한다.
• 정지점 $m$개가 있는 디스크의 부분적으로 람부르트 프리카 범주(즉, $A_{m-1}$-쿼버 표현과 유사형)를 사용하여 $n-1$-핸들의 스켈레톤을 모델링하고, 약화의 성질을 도출한다.
• 디펜스 추적 사상으로 기하학적 가속화 사상과 심플렉틱 코hom로지를 연결하며, 이가 범주적 추적을 통해 인수화됨을 보여준다.
• 정리 1.21을 적용하여, 단일 $n$-핸들을 $2s-1$개의 평행한 코어로 대체하는 Weinstein 호모토피를 수행하며, 이로써 서로 다른 레그렌드리안 원환면 $\Lambda_s$를 생성한다.
• $WH(L,C)$의 유한 차원성을 활용하여, 서로 다른 $s$에 대해 다른 코어 $D_s$를 식별함으로써, 비동치인 대상임을 증명하고, 따라서 비동치인 레그렌드리안임을 보인다.

실험 결과

연구 질문

• RQ1 Weinstein 다각형 내 $n$-와 $(n-1)$-핸들 간의 기하학적 교차가 람부르트 프리카 범주에 어떤 대수적 관계를 유도하는가?
• RQ2 중간 차원 특이 코homology에서 $\mathcal{W}(X)$의 그로텐디크 군으로의 전사 사상이 존재하는가? 이는 심플렉틱 불변량과 어떻게 관련되는가?
• RQ3 심플렉틱 코hom로지로의 가속화 사상이 범주적 맥락에서 덴니스 추적 사상으로 인수화되는가?
• RQ4 $C^0$-연속 Viterbo 함자를 구성하여 레그렌드리안이 $C^0$-근접하지 못하도록 차단할 수 있으며, 그 결과는 무엇인가?
• RQ5 표준 코탄제이트 번들의 이국적인 Weinstein 표현 또는 Chekanov-Eliashberg 대수가 비동치이지만 유도 모리타 동치인 레그렌드리안에 대해 존재하는가?

주요 결과

• 중간 차원 특이 코homology에서 $\mathcal{W}(X)$의 그로텐디크 군으로의 전사 사상이 구성되었으며, 이는 위상수학적 불변량과 범주론적 불변량 간의 연결을 제공한다.
• 기하학적 가속화 사상이 심플렉틱 코hom로지로 가는 과정이 범주적 덴니스 추적 사상으로 인수화됨을 보여, 심플렉틱 이론과 대수적 K-이론 사이의 다리를 쌓는다.
• $C^0$-연속 Viterbo 함자가 도입되었으며, 이는 레그렌드리안이 $C^0$-근접하지 못하도록 하는 새로운 장벽을 제공한다. 이는 레그렌드리안이 매끄럽게 동치일지라도 성립한다.
• 표준 코탄제이트 번들 $T^*S^n$에 대해 이국적인 Weinstein 표현이 구성되었으며, 서로 다른 레그렌드리안 원환면 $\Lambda_s$는 비동치인 케카노프-엘리아시버그 대수를 지닌다 하더라도, 동치인 다각형으로 호모토피됨을 보였다.
• 모든 Weinstein 다각형 $X$에 대해 닫힌 정확한 라그랑주 서브맨포ลด $L$과 $WH(L,C) \neq 0$가 성립할 경우, 무수히 많은 비-레그렌드리안-동치인 $\Lambda_s$가 존재하며, $X_0 \cup H^n_{\Lambda_s}$는 $X$와 Weinstein 호모토피적이다. 이는 서로 다른 랭크를 가진 별개의 코어 객체 $D_s$를 통해 이루어진다.
• 단일 $n$-핸들의 코어는 $\mathcal{W}(X)$를 생성하지만, $T^*S^n_{flex}$와 같은 탄성 다각형에서는 코어가 오직 분할 생성만 가능하며, 이는 생성과 분할 생성 사이의 차이를 드러낸다.