[논문 리뷰] Topology of singular algebraic varieties

Burt Totaro|ArXiv.org|2003. 04. 21.

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

한 줄 요약

이 논문은 특이 대수다양체의 위상수학적 이해를 향상시키기 위해 교차 호몰로지와 무게 필터링과 같은 불변량을 특이 및 해석적 공간으로 확장한다. 이는 특이점의 해소와 대수적 K-이론을 통해 이루어지며, 주요 결과로는 실 및 복소 폴프에 대해 유지되는 특성 수를 규명하고, Ochanine 타원형이 이러한 불변량을 통해 윤곽 있는 bordism에 의해 이미지로 나타남을 보여, 특이 실해석적 다각체에 대한 일반화된 형이 존재할 가능성을 시사한다.

ABSTRACT

I will discuss recent progress by many people in the program of extending natural topological invariants from manifolds to singular spaces. Intersection homology theory and mixed Hodge theory are model examples of such invariants. The past 20 years have seen a series of new invariants, partly inspired by string theory, such as motivic integration and the elliptic genus of a singular variety. These theories are not defined in a topological way, but there are intriguing hints of their topological significance.

연구 동기 및 목표

• 부드러운 다각체에서 특이 및 해석적 공간으로 교차 호몰로지와 무게 필터링과 같은 위상 불변량을 일반화하기 위해.
• IH-소형 해소에서 유지되는 특성 수, 특히 실 및 복소 폴프에서 유지되는 특성 수를 이해하기 위해.
• 특이 다각체의 맥락에서 타원형과 모티프적 통합의 위상적 의미를 탐색하기 위해.
• 비-위트 특이점을 가진 실해석적 다각체에 대해 F2-Witt 교차 호몰로지와 같은 새로운 불변량을 정의하는 프레임워크를 수립하기 위해.
• 특히 Ochanine 형과 그 특이 환경에서의 실현을 통해 대수기하학의 불변량과 bordism 이론을 연결하기 위해.

제안 방법

• 콤���트 지지 코homology의 무게 필터링을 정의하기 위해 특이점의 해소와 큐빅형 하이퍼해소를 사용한다.
• Gillet과 Soulé의 K-이론 기반 무게 필터링 구성법을 정수 및 mod l 코homology에 적용하여, 압축 선택과 무관함을 증명한다.
• 정규 교차 분할에 관련된 스펙트럴 시퀀스를 사용하여, 압축이 있는 부드러운 다각체에 대한 무게 필터링을 정의한다.
• Guillen과 Navarro Aznar의 기하적 증명을 복소 및 실해석적 다각체로 확장하여 K-이론을 회피한다.
• 실 및 복소 폴프에 대해 모odulo한 bordism 링을 분석하여 유지되는 특성 수를 규명하고, 스티펠-블랑드 및 폰트랴긴 클래스를 사용한다.
• 결과적으로 얻어진 몐드 링을 명시적 동형사상에 의해 Z[δ, 2γ, 2γ², ...]로 연결하여, 윤곽 있는 경우에 알려진 형들과 연결한다.

실험 결과

연구 질문

• RQ1 n-다양체의 실 폴프에 대해 유지되는 스티펠-블랑드 수는 무엇인가?
• RQ2 Ochanine 타원형은 특이점을 가진 컴acts된 윤곽 있는 실해석적 다각체로 확장될 수 있는가?
• RQ3 윤곽 있는 경우에 실 및 복소 폴프에 대해 모odulo한 bordism 링의 구조는 무엇인가?
• RQ4 비-위트 특이점을 가진 다각체(예: 3차원 노드)에 대해 F2 계수로 교차 호몰로지를 어떻게 일반화할 수 있는가?
• RQ5 특이 대수다양체 기하학에서 모티프적 통합과 타원형의 위상적 의미는 무엇인가?

주요 결과

• 실 폴프에 대해 유지되는 스티펠-블랑드 수의 F2-벡터 공간 차원은 짝수 n일 경우 ⌊n/2⌋ + 1이고, 홀수 n일 경우 0이며, 이는 w1^i wn−i 또는 w1^{n−2i} vi^2로 생성된다.
• 무향 bordism 링 MO*의 실 폴프에 대한 몐드는 F2[RP², RP⁴, RP⁸, ...] / ((RP^{2^a})² = (RP²)^{2^a} for a ≥ 2)와 동형이다.
• 윤곽 있는 bordism 링 MSO*의 실 및 복소 폴프에 대한 몐드는 Z[δ, 2γ, 2γ², 2γ⁴, ...]와 동형이며, 여기서 CP²는 δ로, CP⁴는 2γ + δ²로 대응된다.
• 이 몐드 링은 MSO*에 대한 Ochanine 타원형의 이미지와 일치하며, 특이 실해석적 다각체에 대한 일반화된 형이 존재할 가능성을 시사한다.
• 무게 필터링을 정의하는 데 사용된 스펙트럴 시퀀스는 임의의 계수 환 k에 대해 E2 항부터 불변이며, Q뿐 아니라 다른 환에도 적용되며, 특이 다각체에 대한 새로운 코homological 불변량을 드러낸다.
• Gillet과 Soulé의 K-이론과 특이점의 해소를 통해 복소 대수다양체의 정수 코homology에 대한 무게 필터링은 잘 정의되어 있으며, Deligne의 유리수 무게 필터링을 확장한다.