[논문 리뷰] Derived geometry of the first formal neighborhood of a smooth analytic cycle

Julien Grivaux|arXiv (Cornell University)|2015. 05. 17.

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

한 줄 요약

이 논문은 유도 대수기하학을 사용하여 매끄러운 해석적 사이클의 일阶 무한소 두껍게 하기에서 유도된 자기교차를 계산한다. Hochschild-Kostant-Rosenberg Isomorphism을 국소 자유층을 초월하여 두껍게 한 공간 위의 임의의 층으로 일반화하며, H^2(X, Hom(V, I⊗V))에서 코homological 장애를 통한 형식성 기준을 설정한다. 이는 Arinkin-Căldăraru의 결과를 국소 자유층을 초월하여 확장한다.

ABSTRACT

If $X$ is a smooth scheme of characteristic zero or a complex analytic manifold, and $S$ is a locally split infinitesimal thickening of $X$, we compute explicitly the derived self-intersection of $X$ in $S$.

연구 동기 및 목표

• 매끄러운 스킴 또는 복소다양체의 일阶 두껍게 한 공간에서 국소 자유층을 초월하여 유도된 자기교차 계산을 일반화하기.
• Arinkin과 Căldăraru의 형식성 기준을 국소 자유층에서 임의의 코herent 층으로 두껍게 한 환경에서 확장하기.
• 지역 HKR 클래스의 내재적 구성법을 제공하고, H^2(X, Hom(V, I⊗V))에서 장애 클래스와 연관지기.
• 모형 범주론적 기법을 통해 dg-범주에서 유도된 등차수 기술을 유도된 당김에 대해 수립하기.
• 일반적인 층, 특히 국소 자유층이 아닌 경우에도 세 가지 코homological 장애(gerbe, 자르기 삼각형, Yoneda 곱)를 통합하기.

제안 방법

• 유도 범주와 dg-범주를 사용하여 두껍게 한 공간 S에서 매끄러운 사이클 X로의 층의 유도된 당김을 모델링한다.
• C^b(C) ⊗ C^b(C)^op 위의 dg-모듈에 대한 Toën-Vaquié 모형 구조를 적용하여, fibrant 대체와 유도 함자를 정의한다.
• 유도된 등차수를 대각선 사상 i_n: X → X^n에 沿한 오른쪽 유도 당김 R𝑖_n^*를 통해 구성하며, 이는 유도 기하학에서의 곱을 모델링한다.
• 반복적인 맵핑 콘과 림프 모노이드 함자를 사용하여 유계 복합체 위의 dg-자기함수를 묘사한다.
• 팔각형 공리와 유도된 등차수를 활용하여 자르기 삼각형과 장애 클래스를 식별한다.
• Atiyah 클래스와 Kodaira-Spencer 클래스의 Yoneda 곱을 사용하여 H^2(X, Hom(V, I⊗V))에서 장애를 정의한다.

실험 결과

연구 질문

• RQ1 임의의 코herent 층 V에 대해 일阶 두껍게 한 공간에서 유도된 당김 Lj^*(j_*V)가 형식적일 조건은 무엇인가?
• RQ2 일반적인 층, 특히 국소 자유층이 아닌 경우에 세 가지 코homological 장애(gerbe, 자르기 삼각형, Yoneda 곱)가 어떻게 일치하는가?
• RQ3 매끄러운 해석적 사이클의 첫 번째 형식적 이웃에서의 유도된 자기교차를 모형 범주론적 기법을 사용해 명시적으로 계산할 수 있는가?
• RQ4 임의의 층이 두껍게 한 공간 위에 있을 때 지역 HKR 클래스의 내재적 기하학적 의미는 무엇인가?
• RQ5 R𝑖_n^*를 통한 유도된 등차수 구성이 유도된 교차 설정에서 유도된 당김을 어떻게 복원하는가?

주요 결과

• 유도된 당김 Lj^*(j_*V)는 Atiyah 클래스와 두껍게 한 공간의 Kodaira-Spencer 클래스의 복합사상이 H^2(X, Hom(V, I⊗V))에서 0이 되는 경우에만 형식적이다.
• 임의의 코herent 층 V에 대해 세 가지 코homological 장애(gerbe, 자르기 삼각형, Yoneda 곱)는 자연스럽게 동형이며, Arinkin-Căldăraru의 식별을 국소 자유층이 아닌 층으로 확장한다.
• n중 대각선 사상 i_n: X → X^n의 유도된 등차수는 dg-모듈의 모형 범주 구조를 통해 R𝑖_n^*(H^n)과 동형이다.
• 유도된 등차수 Δ̃_H^[n]에서 H^n으로 향하는 자연스러운 사상은 dg-모듈의 모형 범주에서 약한 동치이다.
• R𝑖_n^*를 통한 유도된 자기교차의 구성은 반복 콘과 fibrant 대체를 통해 Lj^*(j_*V)의 표준적 해체를 제공한다.
• 결과는 특성 0의 체 위에서 대수적 및 해석적 설정 모두에서 성립하며, 고전적 HKR Isomorphism을 일阶 두껍게 한 공간 위의 임의의 층으로 일반화한다.