[논문 리뷰] Mixed Hodge structures on the intersection homotopy type of complex varieties with isolated singularities

David Chataur, Joana Cirici|arXiv (Cornell University)|2016. 03. 30.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 4

한 줄 요약

이 논문은 고립된 특이점을 가진 복소 프로젝티브 다양체의 편향된 대수적 모델에 혼합 히지 필드 구조를 수립하여 교차 코hom로지의 호모토피적 개선을 가능하게 한다. 이는 무게 스펙트럴 시퀀스와 마시 프로덕트 및 포멀리티의 히지 이론적 분석을 통해 대규모 클래스의 다양체—예를 들어 고립된 표면 특이점과 일반적인 고립된 특이점을 가진 다양체—에 대한 교차-포멀리티를 증명한다.

ABSTRACT

A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove some intersection-formality results for large families of complex projective varieties, such as isolated surface singularities and varieties of arbitrary dimension with ordinary isolated singularities.

연구 동기 및 목표

• 특이 복소 프로젝티브 다양체에 대한 유리 호모토피 이론을 편향된 대수적 모델을 사용하여 확장하기 위해.
• 고립된 특이점을 가진 다양체의 편향된 대수적 모델에 자연스러운 혼합 히지 필드 구조를 부여하기 위해.
• 혼합 히지 이론의 맥락에서, 특히 중간이 아닌 편향된 코homology의 경우에 대해 교차-포멀리티를 조사하기 위해.
• 무게 스펙트럴 시퀀스를 통해 델리뉴-그리피스-모건-서울러 포멀리티 정리의 특이 다양체로의 일반화를 위해.
• 특이 다양체의 교차 코호몰로지에서의 마시 프로덕트와 코호몰로지 연산자에 대한 연구를 위한 호모토피적 프레임워크를 제공하기 위해.

제안 방법

• 조각별 선형 형식을 사용하여 링크 포함 $ L \hookrightarrow X_{\text{reg}} $ 에서 편향된 대수적 모델 $ I\mathcal{A}_{\overline{\bullet}}(X) $ 를 구성한다.
• 모건과 둘피-하인에 의해 확립된 $ X_{\text{reg}} $ 와 링크 $ L $ 의 유리 호모토피 유형에 대한 혼합 히지 필드 구조를 활용한다.
• 시리시-구이옌(2014)의 혼합 히지 다이어그램의 상대 모델을 적용하여 히지 필드 구조를 편향된 cdga로 올린다.
• 편향된 무게 스펙트럴 시퀀스 $ IE_{1,\overline{\bullet}}^{*,*}(X) $ 를 정의하며, 이 시퀀스의 $ E_2 $-페이지는 무게-등급 교차 코호몰로지 $ Gr_\bullet^W IH^*_{\overline{\bullet}}(X;\mathbb{Q}) $ 를 계산한다.
• 이 시퀀스를 사용하여 미분형의 소멸을 통한 마시 프로덕트의 소멸을 통해 포멀리티를 분석한다.
• 무게 스펙트럴 시퀀스가 $ E_2 $ 에서 분해될 경우 편향된 cdga가 포멀리티를 가짐을 보여, 특히 코호몰로지에서 무게 필터가 자명한 경우에 대해 교차-포멀리티를 증명한다.

실험 결과

연구 질문

• RQ1 고립된 특이점을 가진 복소 프로젝티브 다양체의 편향된 대수적 모델에 자연스럽게 혼합 히지 필드 구조를 부여할 수 있는가?
• RQ2 편향된 무게 스펙트럴 시퀀스는 특이 다양체에서 교차 호모토피 유형의 포멀리티를 제어하는가?
• RQ3 고립된 특이점을 가진 복소 프로젝티브 다양체의 대규모 가족 중에서 교차-포멀리티인 것이 있는가?
• RQ4 특이 다양체의 교차 코호몰로지에서 마시 프로덕트는 어떻게 행동하며, 어떤 조건에서 소멸하는가?
• RQ5 편향된 cdga의 혼합 히지 필드 구조는 델리뉴-그리피스-모건-서울러 포멀리티 정리를 특이 공간으로 일반화하는 데 얼마나 넓은 범위로 적용되는가?

주요 결과

• 고립된 특이점을 가진 복소 프로젝티브 다양체 $ X $ 의 편향된 대수적 모델 $ I\mathcal{A}_{\overline{\bullet}}(X) $ 에 자연스러운 혼합 히지 필드 구조가 존재한다.
• 편향된 무게 스펙트럴 시퀀스 $ IE_{1,\overline{\bullet}}^{*,*}(X) $ 는 무게-등급 교차 코호몰로지를 계산한다: $ IE_{2,\overline{\bullet}}^{*,*}(X) \cong Gr_\bullet^W IH^*_{\overline{\bullet}}(X;\mathbb{Q}) $.
• 고립된 표면 특이점을 가진 다양체의 경우, 무게 스펙트럴 시퀀스가 $ E_2 $ 에서 분해되므로 편향된 cdga는 교차-포멀리티를 가진다.
• 일반적인 고립된 특이점을 가진 다양체는 $ \mathrm{Ker}(\gamma^4)/\mathrm{Im}(\eta^4) $ 의 소멸으로 인해 $ \mathbb{C} $ 위에서 교차-포멀리티를 가진다.
• 구불림 특이점의 예에서는 비자명한 무게 필터가 확인된다: $ Gr^W_2 IH^2_{\overline{0}}(X;\mathbb{Q}) \cong \mathbb{Q}^{12} $, $ Gr^W_0 IH^2_{\overline{0}}(X;\mathbb{Q}) \cong \mathbb{Q} $, 이는 비자명한 혼합 히지 필드 구조를 확인한다.
• 무게 스펙트럴 시퀀스가 $ E_2 $ 에서 분해됨에 따라 마시 프로덕트의 소멸이 유도되며, 이는 특히 단일 고립된 특이점의 경우에 대해 교차-포멀리티가 증명된다.