[논문 리뷰] Monodromy and the Lefschetz fixed point formula

Ehud Hrushovski, François Loeser|arXiv (Cornell University)|2011. 11. 08.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 15

한 줄 요약

이 논문은 특이점의 해소를 피하면서 에테ール 코homology와 모티빅 적분을 이용해 모노드로미 작용에 대한 레프셰츠 고정점 공식의 기하적 증명을 제시한다. 모티빅 밀놀러 피브어의 컴acts 지지가 있는 오일러 특성은 레프셰츠 수와 일치하며, 이는 델리뉴의 퇴화 결과를 따름으로써 복원된다.

ABSTRACT

We give a new proof - not using resolution of singularities - of a formula of Denef and the second author expressing the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs. Our proof uses l-adic cohomology of non-archimedean spaces, motivic integration and the Lefschetz fixed point formula for finite order automorphisms. We also consider a generalization due to Nicaise and Sebag and at the end of the paper we discuss connections with the motivic Serre invariant and the motivic Milnor fiber.

연구 동기 및 목표

• 특이점의 해소에 의존하지 않고, 모노드로미의 레프셰츠 수와 아크 공간의 오일러 특성 간의 관계를 밝혀내는 제1.1.1정리에 대한 기하적 증명을 제공한다.
• 모티빅 적분과 에테ール 코homology를 통해 상위 밀놀러 피브어와 모티빅 밀놀러 피브어 간의 비교를 수립한다.
• 모티빅 밀놀러 피브어의 컴acts 지지가 있는 오일러 특성이 모노드로미 작용의 레프셰츠 수와 일치함을 보인다.
• ACVF(0,0)에서의 모티빅 적분 프레임워크를 확장하여 특이점의 기하적 불변량과 모노드로미 데이터 간의 관계를 규명한다.
• localized Grothendieck 링에서 허지-스티븐브링 스펙트럼과 기타 불변량이 모티빅 밀놀러 피브어로부터 복원 가능함을 보인다.

제안 방법

• 베르코비치의 비교 정리를 활용하여 분석적 밀놀러 피브어의 에테ール ℓ-아디크 코hom로지와 상위 밀놀러 피브어의 특수 코hom로지를 연결한다.
• 알제브라적으로 닫힌 가치장 이론(ACVF(0,0))에서의 모티빅 적분을 적용하여, 정의 가능한 집합의 그로텐디크 링에 속하는 원소로 모티빅 밀놀러 피브어를 정의한다.
• VF-sort의 그로텐디크 링과 RV-sort의 그로텐디크 링의 몫 간의 동형사를 이용하여, 값 군과 잔여체 자료를 기반으로 정의 가능한 집합을 분석한다.
• 모티빅 적분의 변수 변경 공식을 적용하여, 주어진 $f$-값이 $t^m$인 $m$차 잔여열로 매개화된 아크 공간 $\mathcal{X}_{m,x}$의 오일러 특성을 계산한다.
• 생성함수 $Z(\Delta, \ell)$에 대한 극한 과정을 적용하여, 레프셰츠 수 $\Lambda(M_x^m)$의 합과 모티빅 밀놀러 피브어의 오일러 특성 간의 관계를 규명한다.
• 모노드로미의 준일반성에 기반하여 생성함수를 재작성하고, $\chi_c(\mathcal{S}_{f,x}) = \Lambda(M_x^{m_0}) = \chi_c(F_x)$의 등식을 도출한다.

실험 결과

연구 질문

• RQ1 모노드로미 작용에 대한 레프셰츠 고정점 공식이 특이점의 해소 없이도 증명될 수 있는가?
• RQ2 아크 공간 $\mathcal{X}_{m,x}$의 오일러 특성과 모노드로미 작용의 레프셰츠 수 간의 관계는 무엇인가?
• RQ3 코hom로지적 불변량 측면에서 모티빅 밀놀러 피브어와 상위 밀놀러 피브어 간의 정확한 관계는 무엇인가?
• RQ4 localized Grothendieck 링에서 허지-델리뉴 다항식은 모티빅 밀놀러 피브어로부터 복원 가능한가?
• RQ5 ACVF(0,0)에서의 모티빅 적분은 특이점의 기하적 불변량을 규명하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 특이점의 해소 없이도 제1.1.1정리의 기하적 증명을 확립하여 $\chi_c(\mathcal{X}_{m,x}) = \Lambda(M_x^m)$을 보였다.
• 모티빅 밀놀러 피브어 $\mathcal{S}_{f,x}$의 컴acts 지지가 있는 오일러 특성이 어떤 $m_0$에 대해 레프셰츠 수 $\Lambda(M_x^{m_0})$와 일치함을 증명하였으며, 이는 $\chi_c(F_x)$와 같다.
• 값 군 내의 유계 정의 가능한 부분집합 $\Delta$에 대해, $\lim_{T\to\infty} Z(\Delta, \ell)(T) = -\chi(\Delta)$가 성립함을 보였으며, 이는 생성함수의 수렴성을 뒷받침한다.
• localized Grothendieck 링 $K^{\hat{\mu}}(\mathrm{Var}_F)_{\mathrm{loc}}$에서 모티빅 밀놀러 피브어의 이미지가 $\Theta(\Upsilon(\int([\mathcal{X}_x])))$임을 보였으며, 이는 모티빅 적분과 모노드로미 데이터를 연결한다.
• 허지-델리뉴 다항식과 컴acts 지지가 있는 오일러 특성은 국소화 사상에 의해 통과하므로, 상위 피브어의 $\chi_c(F_x)$를 모티빅 피브어로부터 복원할 수 있다.
• 모노드로미의 준일반성에 기반하여 생성함수의 극한을 통해 $\chi_c(\mathcal{S}_{f,x}) = \chi_c(F_x)$의 등식이 증명되었다.