[논문 리뷰] Homotopy abelianity of the DG-Lie algebra controlling deformations of pairs (variety with trivial canonical bundle, line bundle)

Donatella Iacono, Marco Manetti|arXiv (Cornell University)|2019. 02. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 6

한 줄 요약

이 논문은 캘라비-야우 다양체인 X와 그 위의 선다발 L로 구성된 쌍 (X, L)의 변형을 제어하는 미분가환 리 대수(DG-Lie 대수)가 호모토피 아벨임을 증명한다. 증명은 X 위에 P¹-_bundle Y를 구성하고, 그 위에 매끄러운 초곡면 ∆를 취함으로써 (Y, ∆)가 로그 캘라비-야우 쌍이 되도록 하며, (X, L)의 DG-Lie 대수와 (Y, ∆)의 DG-Lie 대수 사이에 준동형을 수립한다. 핵심 결과는 이러한 쌍의 변형이 항상 차단되지 않음을 보여주며, 보고몰로프-티앙-토도로프 정리의 일반화로 해석된다.

ABSTRACT

We investigate the deformations of pairs (X,L), where L is a line bundle on a smooth projective variety X, defined over an algebraically closed field of characteristic 0. In particular, we prove that the DG-Lie algebra controlling the deformations of the pair (X,L) is homotopy abelian whenever X has trivial canonical bundle, and so these deformations are unobstructed.

연구 동기 및 목표

• X가 자명한 캘라비-야우 번들의 매끄러운 프로젝티브 다양체이고 L이 X 위의 선다발일 때, 쌍 (X, L)의 변형을 제어하는 DG-Lie 대수가 호모토피 아벨임을 확립하는 것.
• 유도 대수기하학을 통한 변형 이론 분석을 통해, X에서의 보고몰로프-티앙-토도로프 비차단성 결과를 쌍 (X, L)으로 일반화하는 것.
• 제어 DG-Lie 대수가 아벨 대수와 준동형임을 보여줌으로써, (X, L)의 변형 함수자가 매끄럽다는 것을 입증하는 것.

제안 방법

• X 위에 P¹-_bundle Y = P(O_X ⊕ L)를 구성하고, ∆ = ∆₀ + ∆∞로 주어진 매끄러운 초곡면 ∆를 갖춘다.
• X가 자명한 캘라비-야우 번지를 갖는다면, (Y, ∆)는 로그 캘라비-야우 쌍이 되며, 즉 KY + ∆ ≡ 0 임을 보인다.
• D(X, L)가 쌍의 미분의 층으로서의 리 대수의 층임을 고려할 때, 자연스러운 O_X-선형 리 대수의 층 동형 Ψ: D(X, L) ≅ p*Θ_Y(−log ∆)를 수립한다.
• 톰-유티니-설리반 총합화(totalization)를 사용하여, RΓ(X, D(X, L))와 RΓ(Y, Θ_Y(−log ∆))의 유도 전역 단면을 DG-Lie 대수로 모델링한다.
• Ψ의 사상이 DG-Lie 대수 RΓ(X, D(X, L))와 RΓ(Y, Θ_Y(−log ∆)) 사이에 준동형을 유도함을 증명한다.
• 기존의 로그 캘라비-야우 쌍에 대한 결과를 적용하여, RΓ(Y, Θ_Y(−log ∆))가 호모토피 아벨임을 결론 내리며, 따라서 RΓ(X, D(X, L)) 역시 호모토피 아벨임을 유도한다.

실험 결과

연구 질문

• RQ1 X가 자명한 캘라비-야우 번지를 갖는다 하더라도, 쌍 (X, L)의 변형을 제어하는 DG-Lie 대수가 호모토피 아벨인가?
• RQ2 X 위에 P¹-_bundle를 구성하는 기하적 방법을 통해 (X, L)의 변형이 비차단됨을 입증할 수 있는가?
• RQ3 적절한 기하적 확장을 통해 (X, L)의 변형 이론이 로그 캘라비-야우 쌍 (Y, ∆)의 이론과 동치가 될 수 있는가?
• RQ4 선다발 L의 일阶 미분 연산자 층 D¹(L)은 (X, L)의 변형 함수자를 제어하는 데 어떤 역할을 하는가?
• RQ5 D(X, L)와 p*Θ_Y(−log ∆) 사이의 준동형이 호모토피 아벨성의 증명을 어떻게 지원하는가?

주요 결과

• X가 자명한 캘라비-야우 번지를 갖는 한, 쌍 (X, L)의 변형을 제어하는 DG-Lie 대수는 항상 호모토피 아벨이다.
• P¹-_bundle Y = P(O_X ⊕ L)와 ∆ = ∆₀ + ∆∞의 구성은 X가 캘라비-야우일 경우 (Y, ∆)가 로그 캘라비-야우 쌍이 됨을 보여준다.
• 자연스러운 O_X-선형 리 대수의 층 동형 Ψ: D(X, L) → p*Θ_Y(−log ∆)가 존재한다.
• 사상 Ψ는 DG-Lie 대수 RΓ(X, D(X, L))와 RΓ(Y, Θ_Y(−log ∆)) 사이에 준동형을 유도한다.
• Y, ∆가 로그 캘라비-야우 쌍이므로, RΓ(Y, Θ_Y(−log ∆))는 호모토피 아벨이며, 따라서 RΓ(X, D(X, L)) 역시 호모토피 아벨이다.
• 결과적으로, (X, L)의 변형 함수자는 매끄럽다. 즉, 이러한 쌍의 변형은 항상 비차단된다.