[논문 리뷰] Dolbeault dga of a formal neighborhood

Shilin Yu|arXiv (Cornell University)|2012. 06. 22.

Algebraic structures and combinatorial models참고 문헌 14인용 수 4

한 줄 요약

이 논문은 복소다양체의 컴acts한 복소부다양체의 형식적 이웃에서의 Dolbeault 미분가환대수(dga)를 도입하여, 형식적 이웃에서의 코herent sheaf에 대한 복소해석적 접근법을 가능하게 한다. 이는 이 dga 위의 완전 모듈의 dg-카테고리가 형식적 이웃에서의 코herent sheaf의 유계 유도 카테고리에 대한 dg-강화를 제공한다는 것을 증명하며, 스무스 다양체에 대한 Block의 결과를 일반화한다.

ABSTRACT

Inspired by a work of Kapranov, we define the notion of Dolbeault complex of the formal neighborhood of a closed embedding of complex manifolds. This construction allows us to study coherent sheaves over the formal neighborhood via complex analytic approach, as in the case of usual complex manifolds and their Dolbeault complexes. Moreover, our the Dolbeault complex as a differential graded algebra can be associated with a dg-category according to Block. We show this dg-category is a dg-enhancement of the bounded derived category over the formal neighborhood under the assumption that the submanifold is compact. This generalizes a similar result of Block in the case of usual complex manifolds.

연구 동기 및 목표

• 스무스 복소다양체에서의 Dolbeault 복합체 구성법을 컴팩트한 복소부다양체의 형식적 이웃으로 확장하는 것.
• 형식적 이웃에서의 코herent sheaf를 미분가환대수를 통해 복소해석적 프레임워크로 연구할 수 있도록 하는 것.
• 스무스 다양체의 경우에 Block가 확보한 유도 카테고리의 dg-강화를 형식적 이웃의 경우로 일반화하는 것.
• Dolbeault dga 위의 완전 모듈의 dg-카테고리가 형식적 이웃에서의 코herent sheaf의 유계 유도 카테고리와 동치임을 확립하는 것.

제안 방법

• 형식적 이웃의 복소다양체에서의 미분형식의 (0,•)형 미분형식의 층과 형식적 기저층의 완비 텐서곱으로서 Dolbeault dga를 정의한다.
• Dolbeault 층이 형식적 기저층 위에서 평탄함을 이용하여, 완비 텐서곱을 통한 코herent sheaf의 해상도를 구성한다.
• Stein 이론과 Mittag-Leffler 조건을 적용하여, Stein 열린 집합 위의 해상도의 프로젝티브 극한이 정확함을 보장한다.
• 미분가환대수 카테고리의 삼각형 및 호모토피 이론적 구조를 활용하여, Dolbeault dga 위의 완전 모듈의 dg-카테고리를 구성한다.
• 이 dg-카테고리의 호모토피 카테고리가 형식적 이웃에서의 코herent sheaf의 유계 유도 카테고리와 동치임을 증명한다.
• 부다양체의 컴팩트성을 이용하여 해상도 및 극한 추론에 필요한 유한성 및 코herent 조건을 확보한다.

실험 결과

연구 질문

• RQ1 복소다양체의 컴팩트한 복소부다양체의 형식적 이웃으로의 Dolbeault 복합체를 일반화할 수 있는가?
• RQ2 형식적 이웃의 Dolbeault dga가 그 이웃에서의 코herent sheaf의 유도 카테고리에 대한 dg-강화를 제공하는가?
• RQ3 Dolbeault dga의 구조는 형식적 이웃에서의 정규다양체의 기하학과 어떻게 관련되는가?
• RQ4 이 구성에서 이동된 정규다양체 위의 $L_\infty$-대수다형체($L_\infty$-algebroid)의 구조는 어떤 역할을 하는가?
• RQ5 형식적 이웃에서의 코herent sheaf의 해상도는 Dolbeault dga와의 완비 텐서곱을 통해 구성될 수 있는가?

주요 결과

• 형식적 이웃의 Dolbeault dga는 $(\mathcal{A}^{\bullet}(\hat{Y}), \overline{\partial})$로 정의되며, 여기서 $\mathcal{A}^{\bullet}(\hat{Y})$는 미분형식의 층과 형식적 기저층의 완비 텐서곱이다.
• Dolbeault dga는 형식적 기저층 $\mathscr{O}_{\hat{Y}}$ 위에서 평탄하므로, 코herent sheaf의 해상도와의 호환성을 보장한다.
• 모든 코herent $\mathscr{O}_{\hat{Y}}$-모듈 $\mathscr{F}$에 대해, 완비 텐서곱 $\mathscr{F} \hat{\otimes}_{\hat{\mathscr{O}}} \mathscr{A}^{\bullet}_{\hat{Y}}$는 $\mathscr{A}^{\bullet}_{\hat{Y}}$-모듈에 의한 $\mathscr{F}$의 해상도를 제공한다.
• Dolbeault dga $A$ 위의 완전 모듈의 dg-카테고리 $\mathcal{P}_A$의 호모토피 카테고리는 $\mathcal{D}^{b}_{coh}(\hat{Y})$, 즉 $\hat{Y}$ 위의 코herent sheaf의 유계 유도 카테고리와 동치이다.
• 이 구성은 이동된 정규다양체 $N[-1]$ 위에 $L_\infty$-대수다형체의 구조를 드러내며, 정규다양체의 접선다양체로 향하는 $\infty$-anchor 사상이 존재한다.
• 결과적으로, 부다양체의 컴팩트성 조건 하에, 이는 스무스 다양체의 경우에 Block가 확보한 유도 카테고리의 dg-강화를 형식적 이웃의 경우로 일반화한다.