[논문 리뷰] Rational homotopy of complex projective varieties with normal isolated singularities

David Chataur, Joana Cirici|arXiv (Cornell University)|2015. 03. 18.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 12

한 줄 요약

이 논문은 복소 프로젝티브 다양체가 정상적인 고립 특이점을 가지며 각 특이점의 링크가 (n−2)-연결이면, 혼합 호지 이론과 곱 구조를 가진 무게 스펙트럴 시퀀스를 사용하여 그 위상공간이 형식적임을 증명한다. 주요 결과는 매끄럽거나 카일러의 경우를 초월해 특이점을 가진 다양체로 형식성의 개념을 일반화하며, 고립 특이점을 가진 초면과 완전교차를 포함한다.

ABSTRACT

Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.

연구 동기 및 목표

• 유리수 호피타피 이론에서의 형식성 개념을 특이점을 가진 복소 프로젝티브 다양체로 확장하기 위해.
• 특이점의 링크에 대한 충분한 위상적 조건((n−2)-연결)을 규명하여 형식성을 보장하기 위해.
• 혼합 호지 이론을 사용하여 매끄러운 프로젝티브 다양체에서의 고전적 형식성 결과를 특이점을 가진 경우로 일반화하기 위해.
• 예를 들어 X/Y와 같은 부분다양체의 수축을 고려한 맥락에서 형식성을 연구하기 위해.
• 특이 대수기하학에서 무게 필터링의 순수성과 유리수 호피타피 형식성 간의 관계를 연결하는 프레임워크를 제공하기 위해.

제안 방법

• 특이 프로젝티브 다양체의 유리수 호피타피 유형을 계산하는 도구로 곱 구조를 가진 무게 스펙트럴 시퀀스를 사용한다.
• 모건과 츄리시-구이옌의 결과를 적용하여 유리수 호피타피 유형을 무게 스펙트럴 시퀀스의 E1-항과 연결한다.
• 혼합 호지 이론을 사용하여 코homology의 무게 필터링을 분석하며, 특히 순수성 조건에 초점을 맞춘다.
• 무게 필터링의 순수성이 차수 k까지 성립하면 형식성이 k까지 성립한다는 사실을 이용하여 핵심적인 기술적 다리를 구축한다.
• 코homological 구조와 무게 필터링 행동을 연구하기 위해 몰러-비에토리 시퀀스를 X/Y에 대해 분석한다.
• 무게 스펙트럴 시퀀스의 E1-항에서 E2-항으로의 준동형이 순수성 조건 하에서 곱 구조를 가진다는 것을 보여주며, 이는 형식성을 보장한다.

실험 결과

연구 질문

• RQ1 정상적인 고립 특이점을 가진 복소 프로젝티브 다양체가 형식적인데 필요한 특이점 링크의 위상적 조건은 무엇인가?
• RQ2 특이 대수기하 다양체에서 무게 필터링의 순수성은 유리수 호피타피 형식성과 어떻게 관련되는가?
• RQ3 특수한 경우로, 매끄러운 프로젝티브 다양체의 부분다양체 수축 X/Y에 대해 형식성이 확장될 수 있는가?
• RQ4 고립 특이점을 가진 초면과 완전교차가 형식성을 얼마나 잘 만족하는가?
• RQ5 무게 스펙트럴 시퀀스의 곱 구조가 유리수 호피타피 유형을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 차원 n인 복소 프로젝티브 다양체 X의 각 고립 정상 특이점의 링크가 (n−2)-연결이면, X는 형식적인 위상공간이다.
• 모든 정상적인 복소 프로젝티브 표면는 형식적이다. 왜냐하면 그들의 특이점은 (n−2)=0-연결 링크(즉, 연결됨)를 가지므로 조건을 만족하기 때문이다.
• 고립 특이점을 가진 완전교차 다양체는 표준 대수기하학에 의해 링크가 (n−2)-연결이므로 형식적이다.
• 정상적인 고립 특이점을 가지며, 매끄러운 예외적 배(super exceptional divisor)를 가진 해소를 갖는 X는 형식적이다.
• 매끄러운 프로젝티브 다양체의 닫힌 포함 Y↪X에 대해, 몫 공간 X/Y는 형식적인 위상공간이다.
• 곱 구조를 가진 무게 스펙트럴 시퀀스는 X/Y의 유리수 호피타피 유형에 대한 구체적인 모델을 제공하며, 순수성 조건 하에서 E1에서 E2로의 분해가 일어나면 형식성이 보장된다.