[논문 리뷰] Formality of canonical symplectic complexes and Frobenius manifolds

Sergei Merkulov|ArXiv.org|1998. 05. 15.

Geometry and complex manifolds참고 문헌 2인용 수 24

한 줄 요약

이 논문은 하드 레프셰츠 조건을 만족하는 심플렉틱 다양체의 드 레함 복합체가 형식적임을 증명하고, 심플렉틱 구조와 관련된 미분 게르스텐하버-바탈린-빌코비치 대수를 이용하여 그 드 레함 코homology 위에 프로베누스 다양체 구조를 구성한다. 이 구성은 마우어-카르탕 방정식의 형식적 해와 표준 적분 쌍대성에 기반하며, 바라니코프-콘체비치의 프레임워크를 심플렉틱 기하학으로 일반화한다.

ABSTRACT

It is shown that the de Rham complex of a symplectic manifold $M$ satisfying the hard Lefschetz condition is formal. Moreover, it is shown that the differential Gerstenhaber-Batalin-Vilkoviski algebra associated to such a symplectic structure gives rise, along the lines explained in the papers of Barannikov and Kontsevich [alg-geom/9710032] and Manin [math/9801006], to the structure of a Frobenius manifold on the de Rham cohomology of $M$.

연구 동기 및 목표

• 캘리비-야우 도르베오르트 복합체에서 프로베누스 다양체를 구성하는 방법을 하드 레프셰츠 조건을 만족하는 심플렉틱 다양체로 확장한다.
• 표준 미분 Δ를 사용하여 하드 레프셰츠 조건 하에서 드 레함 복합체의 형식성을 확립한다.
• 이러한 심플렉틱 다양체와 관련된 미분 게르스텐하버-바탈린-빌코비치 대수가 드 레함 코homology 위에 프로베누스 다양체 구조를 유도함을 보인다.
• 마우어-카르탕 방정식의 형식적 해를 통해 바라니코프-콘체비치 및 마닌의 프레임워크를 심플렉틱 기하학으로 일반화한다.

제안 방법

• 초다양체 ΠTM를 사용하여 구조층 O_M 위에 기저 벡터장 d와 두 번째 순서 미분 연산자 L*를 정의한다.
• Δ = [L*, d]로 정의된 연산자로, Δ² = 0 및 [Δ, d] = 0를 만족하며, 드 레함 동형사상 하에서 *d*에 대응한다.
• 하드 레프셰츠 조건, (Ω*M, Δ)의 코homological 형식성, 심플렉틱 조화 대표자 존재성 간의 동치를 적용하여 드 레함 복합체의 형식성을 증명한다.
• K⊗Ω*M 내에서 마우어-카르탕 방정식 dΓ + ½[Γ, Γ] = 0에 대한 형식적 해 Γ를 구성하며, Γ₁ = ∑xⁱcᵢ 및 n ≥ 2일 때 Γₙ ∈ Im Δ를 만족한다.
• ψ([cᵢ]) = ∂Γ/∂xⁱ를 통해 H_K = K⊗H*(M, ℂ) 위에 곱을 정의하고, Im d_Γ 모odulo에서 초공형곱을 유도한다.
• 적분 ∫_M 및 쌍대성 성질을 이용하여 프로베누스 다양체의 공리, 특히 잠재 함수 Φ와 올리버 벡터장의 존재를 검증한다.

실험 결과

연구 질문

• RQ1 하드 레프셰츠 조건을 만족하는 심플렉틱 다양체의 드 레함 복합체는 형식적 구조를 갖는가?
• RQ2 이러한 다양체의 미분 게르스텐하버-바탈린-빌코비치 대수는 그 드 레함 코homology 위에 프로베누스 다양체 구조를 유도하는가?
• RQ3 심플렉틱 기하학의 맥락에서 하드 레프셰츠 조건을 만족하는 표준 형식적 해가 존재하는가?
• RQ4 표준 코homology Δ-복합체는 하드 레프셰츠 조건 하에서 드 레함 코homology와 어떻게 관련되는가?
• RQ5 적분 쌍대성 ∫_M은 프로베누스 다양체 구조를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 하드 레프셰츠 조건을 만족하는 심플렉틱 다양체의 드 레함 복합체는 형식적이다. 이는 dΔ의 상이 Im d ∩ Ker Δ와 일치하기 때문이다.
• Ω*M 위에서 Δ는 심플렉틱 호지 스타 연산자 하에서 Δ|ΩᵏM = (−1)ᵏ⁺¹* d *를 만족하며, 이는 쌍대성과 연결된다.
• (Ω*M, Δ)의 코homology는 하드 레프셰츠 조건이 성립할 때에만 드 레함 코homology와 동형이다.
• K⊗Ω*M 내에서 Γ₁ = ∑xⁱcᵢ 및 n ≥ 2일 때 Γₙ ∈ Im Δ를 만족하는 마우어-카르탕 방정식의 형식적 해 Γ가 존재하며, 이는 프로베누스 구조와의 호환성을 보장한다.
• H*(M, ℂ) 위의 곱은 잠재 함수 Φ = ∫_M (⅙Γ³ − ½dBΔB)를 갖는 잠재 곱이며, 계량 gᵢⱼ = ∫_M [cᵢ] ∧ [cⱼ]는 피카르 에이핑이다.
• 최종적으로 H*(M, ℂ) 위의 구조는 평탄한 계량, 교환 법칙을 만족하는 결합 법칙 곱, 그리고 올리버 벡터장을 갖는 프로베누스 다양체이다.