[논문 리뷰] A survey of characteristic classes of singular spaces

Joerg Schuermann, Shoji Yokura|ArXiv.org|2005. 11. 07.

Algebraic Geometry and Number Theory참고 문헌 62인용 수 11

한 줄 요약

이 논문은 특이 대수기하 공간에 대한 특성류를 조사하며, 체인, 토드, L-류를 일반화하는 통합된 '모티빅' 프레임워크를 제안한다. 이는 함자적 이중 이론, 프로대수기하 다양체에 대한 모티빅 측도, 타원함수와 E-함수 사이를 보간하는 스트링이적/아크 특성류를 수립하며, 주요 결과로는 약한 인수분해를 통한 해석의 선택에 대한 독립성 입증.

ABSTRACT

A theory of characteristic classes of vector bundles and smooth manifolds plays an important role in the theory of smooth manifolds. An investigation of reasonable notions of characteristic classes of singular spaces started since a systematic study of singular spaces such as singular algebraic varieties. We make a quick survey of characteristic classes of singular varieties, mainly focusing on the functorial aspects of some important ones such as the singular versions of the Chern class, the Todd class and the Thom--Hirzebruch's L-class. Then we explain our recent "motivic" characteristic classes, which in a sense unify these three different theories of characteristic classes. We also discuss bivariant versions of them and characteristic classes of proalgebraic varieties, which are related to the motivic measures/integrations. Finally we explain some recent work on "stringy" versions of these theories, together with some references for "equivariant" counterparts.

연구 동기 및 목표

• 특이 특성류(체인, 토드, L)를 단일 모티빅 프레임워크로 통합하는 것.
• 특이 다양체에 대한 특성류의 이중 일반화를 개발하는 것.
• 모티빅 통합을 통해 프로대수기하 다양체에 특성류를 확장하는 것.
• 타원함수와 E-함수 사이를 보간하는 스트링이적 및 아크 특성류를 도입하는 것.
• 약한 인수분해를 통한 해석에 대한 불변성과 함자성 수립.

제안 방법

• 구성 가능층의 그로텐디크 군에서 호모로지로의 자연 변환으로서 모티빅 특성류 정의.
• 약한 인수분해 정리를 사용하여 모티빅 특성류의 해석 선택에 대한 독립성 증명.
• 매개변수 y에 대한 히르체브루흐 유형 특성함수의 극한을 통해 스트링이적 및 아크 특성류 구축.
• 이중 이론을 활용해 특성류를 특이 공간 간 사상으로 일반화.
• 모티빅 통합과 E-다항식을 사용해 프로대수기하 다양체의 불변량 정의.
• y = -1로 특수화하여 스트링이적 체인 특성류를 회복하고, y = 0으로 특수화하여 토드 및 모티빅 특성류를 회복.

실험 결과

연구 질문

• RQ1 특이 공간에서 체인, 토드, L-류를 함자적으로 통합할 수 있는 방법은 무엇인가?
• RQ2 특이 다양체에 대한 특성류의 이중 일반화로 존재하는 것은 무엇인가?
• RQ3 스트링이적 및 아크 특성류는 타원코homology와 E-함수와 어떻게 관련이 있는가?
• RQ4 모티빅 통합을 통해 프로대수기하 다양체에 대해 모티빅 특성류를 정의할 수 있는가?
• RQ5 특이 다양체의 해석 선택에 대해 모티빅 특성류가 독립적인가?

주요 결과

• 모티빅 특성류 구성은 체인, 토드, L-류를 단일 함자적 프레임워크로 통합한다.
• 스트링이적 히르체브루흐 특성류는 타원함수와 스트링이적 E-함수 사이를 보간하며, y = -1 및 y → 0에서의 극한을 가진다.
• 스트링이적 히르체브루흐 특성류의 극한 y → -1은 기존 정의와 일치하는 스트링이적 체인 특성류를 회복한다.
• 모티빅 특성류의 극한 y → 0은 π_*([O_M]) 및 π_*(Td^*(TM) ∩ [M])을 유도하며, 둘 다 해석 π에 대해 독립적이다.
• 아크 특성류는 lim_{y→-1} T^{arc}_{y*}(X) = c^{arc}_*(X)를 만족하며, 이는 쌍 (X, -D)의 체인 특성류이다.
• π_*([O_M]) 및 π_*(Td^*(TM) ∩ [M])는 약한 인수분해 정리에 의해 해석 π에 대해 독립적이다.