푸카야 범주 생성에 대한 기하학적 기준

본 논문은 리우빌리티 다양체 \( (M,\lambda) \) 위에 존재하는 정확 라그랑지안들의 유한 집합 \( \mathcal{L}=\{L_1,\dots ,L_k\} \) 가 푸카야 A∞‑범주 \( \mathcal{F}(M) \) 를 생성하는지를 판단하는 새로운 기하학적 기준을 제시한다. 기존의 Abouzaid‑generation criterion 은 오픈‑클로즈 사상 \( \mathcal{OC}\colon HH_*(\mathcal{F})\to SH^*(M) \) 가 단위 원소 \( e\in SH^*(M) \) 를 포함하는지를 검사함으로써 ‘split‑generation’ 을 보였지만, 그 증명은 복잡한 전역 전이와 가중치 구조에 크게 의존했다. 첫 번째 주요 공헌은 푸카야 범주에 ‘두 출력’ 연산을 도입한 것이다. 저자들은 원판(디스크) 위에 두 개의 출력 경계와 하나의 입력 경계를 배치하고, 입력 경계에 라그랑지안 객체 \( L_i \) 를, 출력 경계에 심플렉틱 코호몰로지 클래스 \( a,b\in SH^*(M) \) 를 삽입한다. 이 원판 모듈 공간을 적절히 정규화하고, 가중치 없이 카운팅함으로써 A∞‑구조의 곱과 코프로덕트 사이의 교차항을 포착하는 새로운 체인 사상 \