[논문 리뷰] Todd class via homotopy perturbation theory

Shilin Yu|arXiv (Cornell University)|2015. 10. 27.

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

한 줄 요약

이 논문은 형식적 이웃의 Dolbeault dga에 호모토피 섭동 이론을 적용하여 복소다양체의 닫힌 포함에 대한 일반화된 Todd 계수를 계산한다. 양자화된 사이클 계수 $\operatorname{Td}_{\sigma}(X/Y)$가 반복적 호모토피 공식에서 자연스럽게 유도되며, 베르누이 수가 섭동 전개에서 나타나고, 두 번째 순서의 형식적 이웃을 통해 기하학적 방해 이론이 제공됨을 보여준다.

ABSTRACT

We compute the quantized cycle class of a closed embedding of complex manifolds defined by Grivaux using homotopy perturbation theory. In the case of a diagonal embedding, our approach provides a novel perspective of the usual Todd class of a complex manifold.

연구 동기 및 목표

• 복소다양체의 닫힌 포함 $i: X \hookrightarrow Y$ 에 대해 Grivaux의 양자화된 사이클 계수 $q_\sigma(X)$ 를 계산하기.
• 대각 포함의 경우에서 Todd 계수에 대한 새로운 호모토피 이론적 유도를 제공하기.
• 두 번째 순서의 형식적 이웃 $X^{(2)}_Y$ 를 통해 일반화된 Todd 계수 $\operatorname{Td}_\sigma(X/Y)$ 를 특성화하기.
• $R^\bot_2$ 와 $\gamma_\sigma$ 를 포함하는 코homological 클래스를 통해 $X^{(2)}_Y$ 상에서의 정규부속(bundle)의 확장을 위한 장애를 규명하기.

제안 방법

• 형식적 이웃 $X^{(\infty)}_Y$ 의 Dolbeault 미분가환대수(dga)에 호모토피 섭동 이론(HPT)을 적용하기.
• Dolbeault dga 위의 코hesiv 모듈의 dg-카테고리를 사용하여 $\mathscr{O}_X$-모듈의 유도 범주를 모델링하기.
• 코호몰로지 모듈의 범주에서 코즐 유사 분해를 구성하여 유도 텐서곱 $\mathscr{O}_X \otimes^L_{\mathscr{O}_Y} \mathscr{O}_X$ 를 모델링하기.
• 섭동 보조정리를 적용하여 호모토피 자료에 대한 반복 공식을 도출하고, 베르누이 수의 출현을 이끌어내기.
• 첫 번째 순서의 형식적 이웃 $X^{(1)}_Y$ 에서 $X$ 로의 허브로 미분가환대수의 선형성을 보장하기 위해 허브 $\sigma$ 가 존재함을 가정하기.
• 확장된 정규부속(bundle) $\overline{N}^\vee$ 에 대한 $\overline{\partial}$-접속을 분석하여 통합 조건을 도출하기.

실험 결과

연구 질문

• RQ1 일반적인 복소다양체의 닫힌 포함에 대해 양자화된 사이클 계수 $q_\sigma(X)$ 를 어떻게 명시적으로 계산할 수 있는가?
• RQ2 두 번째 순서의 형식적 이웃 $X^{(2)}_Y$ 는 일반화된 Todd 계수 $\operatorname{Td}_\sigma(X/Y)$ 를 결정하는 데 어떤 역할을 하는가?
• RQ3 베르누이 수는 호모토피 섭동 전개에서 Todd 계수에 어떻게 나타나는가?
• RQ4 정규부속(bundle) $p_\sigma^*N^\vee$ 가 $X^{(2)}_Y$ 상에서 허브로 미분가환 벡터(bundle)로 확장될 수 없는 기하학적 장애는 무엇인가?
• RQ5 일반화된 Todd 계수 $\operatorname{Td}_\sigma(X/Y)$ 가 1이 되는 조건은 무엇인가?

주요 결과

• 일반화된 Todd 계수 $\operatorname{Td}_\sigma(X/Y)$ 는 첫 번째 순서 이웃 뿐 아니라 두 번째 순서의 형식적 이웃 $X^{(2)}_Y$ 에 의해 완전히 결정된다.
• 클래스 $\gamma_\sigma = [R^\top_2 \circ R_N]$ 이 0이 되는 것은 정규부속(bundle) $p_\sigma^*N^\vee$ 가 $X^{(2)}_Y$ 상에서 허브로 미분가환 벡터(bundle)로 확장될 수 있음을 보장하며, 이는 코homological 장애를 제공한다.
• 섭동 전개는 고전적 Todd 계수와 유사한 공식을 도출하며, 베르누이 수는 반복적 호모토피 공식에서 유래된다.
• 만약 $\gamma_\sigma = 0$ 이고 $[R^\bot_2] = 0$ 이면, 일반화된 Todd 계수는 $\operatorname{Td}_\sigma(X/Y) = 1$ 을 만족하며, 이는 정규부속(bundle) $\overline{N}$ 의 영단면에 대해 횡단하는 허브가 존재할 때 정확히 발생한다.
• 그러한 허브의 존재는 $[R^\bot_2] = 0$ 과 동치이며, 일반화된 Todd 계수의 단순성에 대한 기하학적 기준을 수립한다.
• $\overline{N}^\vee$ 에 대한 $\overline{\partial}$-접속은 $D_{\overline{N}^\vee} = \overline{\partial} + R^\top_2 \circ \nabla^\bot + C$ 의 형태이며, 통합성은 $R^\top_2 \circ R_N + \overline{\partial}C = 0$ 과 동치이며, 즉 $\gamma_\sigma = 0$ 이다.