[논문 리뷰] Log D-modules and Index theorems

Lei Wu, Peng Zhou|arXiv (Cornell University)|2019. 04. 19.

Rings, Modules, and Algebras참고 문헌 11인용 수 4

한 줄 요약

이 논문은 매끄러운 로그 쌍 위에서 로그 $π$-모듈로에 대해 사바의 일반화된 $b$-함수를 사용하여 로그 비교 정리를 수립한다. 이는 대칭성에 의해 큰 휠링을 가한 후 로그 de Rham 복합체가 안정화됨을 증명한다. 주요 기여는 준사영 다양체로의 Dubson-Kashiwara 지수 정리의 일반화와 편향된 복합체에 대한 리만-로흐 유형의 공식이다.

ABSTRACT

We study log D-modules on smooth log pairs and construct a comparison theorem of log de Rham complexes. The proof uses Sabbah's generalized b-functions. As applications, we deduce a log index theorem and a Riemann-Roch type formula for perverse sheaves on smooth quasi-projective varieties. The log index theorem naturally generalizes the Dubson-Kashiwara index theorem on smooth projective varieties.

연구 동기 및 목표

• 정규 교차 분할의 여집합 위에서의 de Rham 복합체와 로그 de Rham 복합체 간의 비교 동형사를 수립한다.
• 로그 $π$-모듈로를 통해 준사영 다양체로의 Dubson-Kashiwara 지수 정리를 일반화한다.
• 로그 $π$-모듈로 기법을 사용하여 준사영 다양체 위의 편향된 복합체에 대한 리만-로흐 유형의 공식을 수립한다.
• 특히 Deligne 라티스와 Bernstein-Sato 유형의 구성에서, 분할에 의한 휠링 하에서 로그 de Rham 복합체의 행동을 분석한다.
• 특성 사이클의 교차 이론을 이용하여, 콘형 라그랑주 다양체의 로그 폐쇄와의 기하적 증명을 제시한다.

제안 방법

• 매끄러운 다양체 $X$ 의 정규 교차 분할 $D$ 의 여집합에서 정칙 휨모듈로 $π_U$-모듈로의 라티스로 로그 $π$-모듈로를 구성한다.
• Sabbah의 일반화된 $b$-함수를 적용하여 로그 비교 정리를 증명한다: 충분히 큰 $q$ 에 대해 $\mathrm{DR}_{X,D}(\mathcal{M}(qD)) \simeq Rj_*\mathrm{DR}_U(\mathcal{M}_U)$ 가 준동형으로 성립한다.
• 실수 정의 함수 이론과 로그 코탄제트 벡터 장을 이용하여 $T^*(X,D)$ 내의 콘형 라그랑주 사이클의 로그 폐쇄를 분석한다.
• 곡선 선택 보조정리와 실해석 곡선을 따라 리우빌 1-형식을 적분하여, 로그 코정규 벡터장 $\Gamma_{-d\log\rho}$ 가 라그랑주 사이클의 폐쇄와 오직 내부에서만 만난다는 것을 증명한다.
• 지정된 $\mathbf{s} = \mathbf{v}$ 에서의 국소화를 통해 $\mathscr{D}_Y[\mathbf{s}]$-모듈로의 매개변수별 기술을 수립하여, $j_*\mathcal{M}_U$ 와 $j_!\mathcal{M}_U$ 를 굴절된 모듈로로 표현한다.
• 특성 사이클과 로그 코정규 벡터장의 교차를 통해 오일러 지표를 계산함으로써 리만-로흐 유형의 공식을 유도한다.

실험 결과

연구 질문

• RQ1 분할 $D$ 에 의한 큰 양의 휠링을 가한 후 로그 de Rham 복합체의 라티스 행동은 어떻게 되는가?
• RQ2 로그 $π$-모듈로를 사용하여 비사영 매끄러운 다양체로의 Dubson-Kashiwara 지수 정리를 확장할 수 있는가?
• RQ3 로그 코정규 벡터장 $\Gamma_{-d\log\rho}$ 와 콘형 라그랑주 사이클의 폐쇄의 교차의 기하학적 의미는 무엇인가?
• RQ4 $\mathscr{D}_Y[\mathbf{s}]$-모듈로 $\mathcal{M}_{\mathbf{h}}^\mathbf{v}$ 는 $j_*\mathcal{M}_U$ 와 $j_!\mathcal{M}_U$ 와 어떻게 관련이 있는가?
• RQ5 언제 로그 de Rham 복합체가 분할 휠링 하에서 안정화되며, 안정된 복합체는 무엇인가?

주요 결과

• 로그 비교 정리가 성립한다: 임의의 정칙 휨모듈로 $π_U$-모듈로 $\mathcal{M}_U$ 에 대해 $q_0 > 0$ 이 존재하여 모든 $q > q_0$ 에 대해 $\mathrm{DR}_{X,D}(\mathcal{M}(qD)) \simeq Rj_*\mathrm{DR}_U(\mathcal{M}_U)$ 가 준동형으로 성립한다.
• 잔여값이 $(-1,0]$ 에 속하는 Deligne 라티스 $\overline{\mathcal{V}}$ 에 대해 모든 $k_1,k_2 > 0$ 에 대해 $\mathrm{DR}_{X,D}(\overline{\mathcal{V}}(k_2D^{\bar{I}} - k_1D^I)) \simeq j^{I}_{2!}Rj^{I}_{1*}L[n]$ 이다.
• 로그 지수 정리가 수립된다: $[\overline{\mathrm{SS}}(F)] \cdot [T^*_X(X,D)] = \chi(U,F)$ 로써 Dubson-Kashiwara 정리를 일반화한다.
• $\mathscr{D}_Y[\mathbf{s}]({\mathbf{h}}^{\mathbf{s}+\mathbf{v}}\cdot\mathcal{M}_0)$ 의 $\mathbf{s} = \mathbf{v}$ 에서의 섹션은 조건 $v_l \gg 0$ 하에 $j_!\mathcal{M}_U$ 와 동형이며, $\mathbf{s} = -\mathbf{v}$ 에서는 $j_*\mathcal{M}_U$ 와 동형이다.
• 로그 폐쇄 $\Gamma_{-d\log\rho}$ 는 콘형 라그랑주 $\Lambda$ 의 폐쇄와 정확히 $\Lambda$ 에서만 만난다. 이는 지수 정리의 핵심 기하학적 보조정리를 증명한다.
• 리만-로흐 유형의 공식은 $\chi(U,F) = \Gamma_{-d\log\rho} \cdot \overline{\mathrm{SS}}(F)$ 로 유도되며, 여기서 $F$ 는 $U$ 위의 편향된 복합체이다.