[논문 리뷰] Formality of derived intersections

Julien Grivaux|arXiv (Cornell University)|2013. 02. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 5

한 줄 요약

이 논문은 복소다양체 $Z$ 내의 양자화된 해석적 사이클 $X$와 매끄러운 부분다양체 $Y$의 유도적 교차 $j_{Y/Z}^* j_{X/Z*} \mathcal{O}_X$가 유도 범주 $\mathrm{D}^\mathrm{b}(Y)$ 내에서 형식적( formal )이 되기 위한 필수 및 필요조건을 설정한다. 형식성은 오직 그리고 오직 그린다이어그램의 초위치 과잉 정렬 시퀀스 $0\to\mathcal{E}\to\widehat{N}^*\to N^*_{T/Y}\to 0$가 해석적으로 분리될 때 성립하며, 이는 Arinkin-Cáldáraru의 자기교차에 대한 결과를 양자화 조건 하에서 선형 교차로 일반화한 것이다.

ABSTRACT

We study derived intersections of smooth analytic cycles, and provide in some cases necessary and sufficient conditions for this intersection be formal. In particular, if X is a complex submanifold of a complex manifold Y, we prove that X can be quantized if and only if the derived intersection of XxX and Δ_Y is formal in D(XxX).

연구 동기 및 목표

• 유도적 교차의 형식성 기준을 자기교차를 초월하여 더 일반적인 선형 교차로 확장하기 위해.
• 특히 $X$가 양자화된 해석적 사이클일 때, 유도적 텐서곱 $\mathcal{O}_X \otimes^\mathrm{L}_{\mathcal{O}_Z} \mathcal{O}_Y$가 $\mathrm{D}^\mathrm{b}(Y)$ 내에서 형식적일 조건을 조사하기 위해.
• 유도 범주 내에서 형식성이 성립하기 위한 핵심 조건으로서 초위치 과잉 시퀀스의 해석적 분리 조건을 규명하기 위해.
• 특히 양자화된 사이클의 맥락에서 비일반적 교차를 이해하기 위한 유도 범주적 프레임워크를 제공하기 위해.

제안 방법

• 논문은 유도 범주 $\mathrm{D}^\mathrm{b}(Y)$를 사용하여 유도적 교차 $j_{Y/Z}^* j_{X/Z*} \mathcal{O}_X$의 형식성을 분석하며, 주로 그 구조적 성질에 초점을 맞춘다.
• Atiyah 사상과 당김을 적용하여, $\vartheta \to N^*_{X/Y}[1]$을 유도하는 사상 $\vartheta \to N^*_{X/Y}[1]$을 구성하며, 이는 국소 코hom로의 차수 $-1$에서의 동형을 유도함으로써 잘라내기 추론을 가능하게 한다.
• 증명은 잘라내기 수준에 대한 귀납법을 사용하며, $j_*\vartheta$ 위의 링 구조와 외적 곱을 활용하여 곱셈 사상을 잘라낸 대상들을 통과시키는 방식으로 진행된다.
• 특히 $\tau^{\geq -2} \tau^{\leq -1} j_*\vartheta$가 형식적임은 오직 $N^*_{X/Y}$가 $X$의 첫 번째 무한소 이웃에 확장될 때 성립하며, 이는 형식성과 재구성의 존재성 사이의 연결 고리를 제공한다.
• 핵심 기술 도구는 대칭곱에서 잘라낸 유도적 교차로의 준동형을 구성하기 위해 반대칭화 사상의 사용이다.
• 주요 관계는 $\mathcal{H}^{-p}(\vartheta) \cong \Lambda^p \mathcal{E}$라는 표준 동형으로, 이는 유도적 교차의 코homology를 과잉 번들의 외적 거듭제곱과 연결한다.

실험 결과

연구 질문

• RQ1 양자화된 해석적 사이클 $X$와 선형 교차 $X \cap Y$를 가지는 복소다양체 $Z$에서, $j_{Y/Z}^* j_{X/Z*} \mathcal{O}_X$가 $\mathrm{D}^\mathrm{b}(Y)$ 내에서 형식적일 조건은 무엇인가?
• RQ2 초위치 과잉 시퀀스 $0 \to \mathcal{E} \to \widehat{N}^* \to N^*_{T/Y} \to 0$의 해석적 분리 조건이 유도적 교차의 형식성과 어떻게 관련되어 있는가?
• RQ3 모든 $p \geq 0$에 대해 $\tau^{\geq -(p+1)} \tau^{\leq -p} (\mathcal{O}_X \otimes^\mathrm{L}_{\mathcal{O}_Y} \mathcal{O}_X)$의 잘라낸 유도적 교차가 형식적임을 입증할 수 있는가? 그리고 이는 전체 형식성에 어떤 함의를 갖는가?
• RQ4 $\mathrm{D}^\mathrm{b}(X)$에서 $\tau^{\geq -2} \tau^{\leq -1} \vartheta$는 형식적이지 않지만, $\mathrm{D}^\mathrm{b}(Y)$에서 $\tau^{\geq -2} \tau^{\leq -1} j_*\vartheta$는 형식적일 수 있는 이유는 무엇이며, 이는 $j_*$의 비충실성(non-faithfulness)을 어떻게 드러내는가?
• RQ5 $j_*\vartheta$ 위의 링 구조는 어떻게 하여 잘라낸 대칭곱과 외적 거듭제곱 $N^*_{X/Y}[1]$ 사이의 준동형을 구성할 수 있게 하는가?

주요 결과

• 유도적 교차 $j_{Y/Z}^* j_{X/Z*} \mathcal{O}_X$는 $\mathrm{D}^\mathrm{b}(Y)$ 내에서 형식적일 조건은 오직 그리고 오직 초위치 과잉 시퀀스 $0 \to \mathcal{E} \to \widehat{N}^* \to N^*_{T/Y} \to 0$가 해석적으로 분리될 때 성립한다.
• 모든 $p \geq 0$에 대해 잘라낸 대상 $\tau^{\geq -(p+1)} \tau^{\leq -p} (\mathcal{O}_X \otimes^\mathrm{L}_{\mathcal{O}_Y} \mathcal{O}_X)$는 $\mathrm{D}^\mathrm{b}(Y)$ 내에서 형식적이며, $\Lambda^p N^*_{X/Y}[p] \oplus \Lambda^{p+1} N^*_{X/Y}[p+1]$과 준동형이다.
• $\mathrm{D}^\mathrm{b}(Y)$ 내에서 $\tau^{\geq -2} \tau^{\leq -1} j_*\vartheta$의 형식성은 $N^*_{X/Y}$가 $Y$ 내에서 $X$의 첫 번째 무한소 이웃으로 해석적으로 확장될 수 있음을 의미하며, 이는 $X$가 양자화되어 있음을 의미한다.
• 사상 $\theta: \tau^{\geq -(p+1)} (\tau^{\geq -2} \tau^{\leq -1} j_*\vartheta)^{\otimes p} \to \tau^{\geq -(p+1)} \tau^{\leq -p} j_*\vartheta$는 외적 곱에 의해 유도된 코homology에서 준동형이며, 이는 곱셈 사상을 잘라낸 대상들을 통과시키는 데 기여한다.
• $j_*\vartheta$ 위의 링 구조는 곱셈 사상이 잘라낸 대칭곱을 통과시키도록 하며, 이는 외적 거듭제곱으로의 준동형을 구성하는 데 기여한다.
• $j_*$의 비충실성은 $\mathrm{D}^\mathrm{b}(X)$에서 $\tau^{\geq -2} \tau^{\leq -1} \vartheta$는 형식적이지 않지만, $\mathrm{D}^\mathrm{b}(Y)$에서 이에 대응하는 대상은 형식적이라는 사실에서 드러난다.