[논문 리뷰] Characteristic classes of mixed Hodge modules

Joerg Schuermann|arXiv (Cornell University)|2009. 07. 03.

Algebraic Geometry and Number Theory참고 문헌 60인용 수 18

한 줄 요약

이 논문은 Saito의 이론을 기반으로 하여 혼합 히지 모듈러의 특성류에 대한 K-이론적 프레임워크를 제안하며, 외부 토르 도입 변환을 통해 모티빅 크로니클 및 히르체브루흐 특성류를 통합한다. 이는 함의성, 딜로지컬리티, 특수화 성질을 수립하며, motivic 히르체브루흐 특성류 변환은 y = -1, 0, 1일 때 각각 크로니클, 토르도, L-클래스 변환을 통합함을 보여준다.

ABSTRACT

This paper gives an introduction and overview about recent developments on the interaction of the theories of characteristic classes and mixed Hodge theory for singular spaces in the complex algebraic context. It uses M. Saito's deep theory of mixed Hodge modules as a "black box", thinking about them as "constructible or perverse sheaves of Hodge structures", having the same functorial calculus of Grothendieck functors. For the "constant Hodge sheaf", one gets the "motivic characteristic classes" of Brasselet-Schuermann-Yokura, whereas the classes of the "intersection homology Hodge sheaf" were studied by Cappell-Maxim-Shaneson. There are two versions of these characteristic classes. The K-theoretical classes capture information about the graded pieces of the filtered de Rham complex of the filtered D-module underlying a mixed Hodge module. Application of a suitable Todd class transformation then gives classes in homology. These classes are functorial for proper pushdown and exterior products, together with some other properties one would expect for a "good" theory of characteristic classes for singular spaces. For "admissible variation of mixed Hodge structures" they have an explicit classical description in terms of "logarithmic de Rham complexes". On a point space they correspond to a specialization of the Hodge polynomial of a mixed Hodge structure, which one gets by forgetting the weight filtration.

연구 동기 및 목표

• 혼합 히지 모듈러를 기반으로 하여 특수한 복소대수기하학적 다양체에 대한 특성류의 함의론적 이론을 개발하기 위해.
• Saito의 이론에 기반한 K-이론적 프레임워크를 통해 모티빅 크로니클 클래스 및 히르체브루흐 클래스 변환을 통합하기 위해.
• 특성류의 특수화 성질을 수립하기 위해, 특히 y = -1에서 고전적 불변량인 크로니클 클래스와의 연결을 다루기 위해.
• 왜 무게 필터링이 없는 χ_y-형광만 특성류로서 특수한 공간으로 일반화되는지 명확히 하기 위해.
• 특성류가 인덱스 정리, 서명, 타원형 광원과의 연결을 명시적인 공식을 통해 설명하기 위해.

제안 방법

• 혼합 히지 모듈러 이론을 '블랙박스'로 사용하며, 그들을 구조적 또는 페르세이브 셋의 히지 구조로 간주하고, Grothendieck의 함의론적 계산법을 적용한다.
• 두 가지 버전의 특성류를 정의한다: K-이론적 모티빅 크로니클 클래스 변환 $MHC_y$ 와 그 히스토리컬 동반자 $MHT_{y*}$ 를 외부 토르 도입 변환 $td_{(1+y)}$ 를 통해 정의한다.
• 특성류 $MHC_y$ 와 $MHT_{y*}$ 를 연결하기 위해 외부 카르탕 특성 $ch^{(1+y)}$ 를 적용하여 고전적 불변량으로의 특수화를 가능하게 한다.
• 모티빅 특성류 변환 $T_{y*} = MHT_{y*} \times \chi_{Hdg}$ 를 사용하여 값이 $H_*(Z) \otimes \mathbb{Q}[y^{\pm 1}]$ 에 속함을 보여주며, y = -1에서 잘 정의된 특수화와 $c_*$ 와의 호환성을 확보한다.
• 특이점의 해소와 Grothendieck 군 $M_0(Var/Z)$ 에서의 덧셈성질을 활용하여 증명을 매끄러운 다양체와 선형 번들의 경우로 축소한다.
• 정규화 조건을 적용한다: $T_{y*}([id_N]) = T_y^*(TN) \cap [N]$, $T_{-1*}([id_N]) = c^*(TN) \cap [N] = c_*(1_N)$, 이를 통해 기존 불변량과의 일致성을 검증한다.

실험 결과

연구 질문

• RQ1 Saito의 혼합 히지 모듈러 이론을 기반으로 하여 혼합 히지 모듈러의 특성류를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 모티빅 크로니클 클래스 $MHC_y$ 와 모티빅 히르체브루흐 클래스 $MHT_{y*}$ 간의 정확한 관계는 무엇이며, 이들은 어떻게 고전적 특성류를 통합하는가?
• RQ3 왜 특수한 공간으로의 히지 형광의 일반화에서 무게 필터링이 무시되는가?
• RQ4 언제 $MHT_{y*}$ 가 y = -1에서 특수화될 수 있으며, 이는 크로니클 클래스와 어떻게 관련되는가?
• RQ5 혼합 히지 모듈러의 맥락에서, 특성류는 적절한 투영, 외적 곱, 딜로지컬리티에 대해 어떻게 행동하는가?

주요 결과

• 모티빅 히르체브루흐 특성류 변환 $MHT_{y*}$ 는 외부 토르 도입 변환 $td_{(1+y)}$ 를 통해 y = -1일 때 크로니클 클래스($y = -1$), y = 0일 때 토르도 클래스($y = 0$), y = 1일 때 L-클래스($y = 1$) 변환을 통합한다.
• K-이론적 모티빅 크로니클 클래스 $MHC_y$ 는 기본 필터링된 D-모듈러의 필터링된 드람 복합체의 등급 부분의 정보를 포착한다.
• 특수화 $MHT_{y*}([j_*\mathbb{V}])$ 는 y = -1에서 존재하며, $c_*(rk(L) \cdot j_*1_M)$ 와 같다. 여기서 $rk(L)$ 는 다양체 $M$ 상의 국소계의 랭크이다.
• 변환 $T_{y*} = MHT_{y*} \circ \chi_{Hdg}$ 는 $H_*(Z) \otimes \mathbb{Q}[y^{\pm 1}]$ 에 값을 가지며, y = -1에서 잘 정의된 특수화와 $c_*$ 와의 호환성을 보장한다.
• 매끄러운 다양체 $N$ 에 대해 $T_{y*}([id_N]) = T_y^*(TN) \cap [N]$ 이고, $T_{-1*}([id_N]) = c_*(1_N)$ 이다. 이는 고전적 특성류와의 일致성을 확인한다.
• 클래스 $MHT_{y*}([j_*\mathbb{V}])$ 는 $ch^{(1+y)}(MHC_y(Rj_*L)) \cap MHT_{y*}([j_*\mathbb{Q}_M])$ 로 주어지며, 이는 히스토리컬 설정에서의 곱셈성과 함의론적 성질을 보여준다.