[논문 리뷰] The Thom-Sebastiani theorem for the Euler characteristic of cyclic L-infinity algebras

Yunfeng Jiang|arXiv (Cornell University)|2015. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 5

한 줄 요약

이 논문은 차원 3인 순환 $L_∞$-대수에서 유한차원 코homology가 1차와 2차에 놓여 있는 경우, 오일러 특성에 대한 톰-세바스티아니 유형의 공식을 수립한다. 코homology 위의 순환 $L_∞$-구조로부터 초위상함수를 구성함으로써, 저자들은 분석적 밀놀러 피브어의 에탈 코hom로 오일러 특성을 정의하며, 직합에 대해 곱셈 공식을 증명한다. 이는 칼라비-양 3차원에서 조이스-송 항등식과 동역학적 도널드슨-토머스 불변량에 대한 결과를 함의한다.

ABSTRACT

Let $L$ be a cyclic $L_\infty$-algebra of dimension $3$ with finite dimensional cohomology only in dimension one and two. By transfer theorem there exists a cyclic $L_\infty$-algebra structure on the cohomology $H^*(L)$. The inner product plus the higher products of the cyclic $L_\infty$-algebra defines a superpotential function $f$ on $H^1(L)$. We associate with an analytic Milnor fiber for the formal function $f$ and define the Euler characteristic of $L$ is to be the Euler characteristic of the étale cohomology of the analytic Milnor fiber. In this paper we prove a Thom-Sebastiani type formula for the Euler characteristic of cyclic $L_\infty$-algebras. As applications we prove the Joyce-Song formulas about the Behrend function identities for semi-Schur objects in the derived category of coherent sheaves over Calabi-Yau threefolds. A motivic Thom-Sebastiani type formula and a conjectural motivic Joyce-Song formulas for the motivic Milnor fiber of cyclic $L_\infty$-algebras are also discussed.

연구 동기 및 목표

• 순환 $L_\infty$-대수에 대해 분석적 밀놀러 피브어를 이용한 기하학적 오일러 특성을 정의한다.
• 이러한 대수의 직합에 대해 오일러 특성에 대한 톰-세바스티아니 공식을 수립한다.
• 결과를 적용하여 칼라비-양 3차원의 유도 범주에서 반-슈어 대상의 비헤르트 함수에 대한 조이스-송 항등식을 증명한다.
• 동역학적 밀놀러 피브어를 사용하여 조이스-송 공식의 동역학적 형태를 제안하고 추측한다.

제안 방법

• 컨츠비치-소이벨만 전이 정리에 의해 $H^*(L)$ 위에 순환 $L_\infty$-대수 구조를 구성한다.
• 복소수 형식적 멱급수환 $\mathbb{C}[[t]]$ 위에 값을 갖는 $H^1(L)$ 위의 초위상함수 $f$를 순환 $L_\infty$-구조에서 정의한다.
• 특수한 형식적 $R$-스키마 $\mathfrak{X} = \mathrm{spf}(R\{T\}[[S]]/ (f-t))$를 구성하며, 그 일반성 섬유 $\mathfrak{X}_\eta$ 는 단위 디스크의 곱 속에 존재한다.
• 특성화 사상에 대한 역상으로서 분석적 밀놀러 피브어 $\mathfrak{F}_P(f)$를 정의하고, $\chi(L)$를 그 에탈 코homology의 오일러 특성으로 설정한다.
• 톰-세바스티아니 공식을 증명한다: 직합에 대해 $(1 - \chi(L_1 \oplus L_2)) = (1 - \chi(L_1))(1 - \chi(L_2))$ 이며, 이는 코homology가 1차와 2차에 놓여 있는 순환 $L_\infty$-대수에 대해 성립한다.
• 동역학적 밀놀러 피브어에 대해 동역학적 톰-세바스티아니 공식을 추측하며, 조이스-송 항등식을 동역학적 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 에탈 코homology로 정의된 분석적 밀놀러 피브어의 오일러 특성이 직합에 대해 톰-세바스티아니 성질을 만족하는가?
• RQ2 칼라비-양 3차원에서 비헤르트 함수에 대한 조이스-송 항등식이 $L_\infty$-대수를 통한 기하학적 오일러 특성의 구성으로 유도될 수 있는가?
• RQ3 순환 $L_\infty$-대수에 관련된 동역학적 밀놀러 피브어에 대해 동역학적 톰-세바스티아니 공식이 존재하는가?
• RQ4 유도 범주에서 코herent sheaf의 동역학적 밀놀러 피브어는 칼라비-양 3차원에서 직합과 확장 자료에 대해 어떻게 행동하는가?

주요 결과

• 순환 $L_\infty$-대수 $L$의 오일러 특성 $\chi(L)$는 그 초위상함수 $f$의 분석적 밀놀러 피브어의 에탈 코homology의 오일러 특성으로 정의된다.
• 논문은 코homology가 1차와 2차에 놓여 있는 순환 $L_\infty$-대수에 대해 톰-세바스티아니 공식을 증명한다: $(1 - \chi(L_1 \oplus L_2)) = (1 - \chi(L_1))(1 - \chi(L_2))$.
• 이 공식은 칼라비-양 3차원의 유도 범주에서 반-슈어 대상의 비헤르트 함수에 대한 조이스-송 항등식을 함의한다.
• 동역학적 톰-세바스티아니 공식을 추측한다: $(1 - \mathcal{S}_{(0,0)}(E_1 \oplus E_2)) = (1 - \mathcal{S}_0(E_1))(1 - \mathcal{S}_0(E_2))$ 이며, 이는 동역학적 밀놀러 피브어에 대해 성립한다.
• 이 추측은 동역학적 홀 알제브라에서 동역학적 양자 토러스로의 호모모르피즘이 파울슨 호모모르피즘임을 함의하며, 동역학적 도널드슨-토머스 불변량의 벽을 넘는 공식을 뒷받침한다.