[논문 리뷰] Multi-index filtrations and motivic Poincare series

Antonio Campillo, F. Delgado외 1명|ArXiv.org|2004. 06. 11.

Advanced Differential Equations and Dynamical Systems인용 수 7

한 줄 요약

이 논문은 복소해석적 특이점의 국소환에 대한 다중지수 필터레이션의 Poincaré 급수를 계산하기 위해 다양체의 Grothendieck 링에서의 일반화된 오일러 특성과 함께 모티브적 적분 프레임워크를 도입한다. 평면 곡선 특이점의 성분들 위에서 함수의 차수로 정의된 필터레이션과, 연이은 블로우업으로부터 유도되는 디바이저 필터레이션에 대해 모티브적 Poincaré 급수의 명시적 공식을 제공하며, 결과를 포함된 해소와 변형 데이터로 표현한다.

ABSTRACT

The Poincare series of a multi-index filtration on the ring of germs of functions can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring. Here this integral is considered with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity $C$ and for the so called divisorial filtration for a modification of $(\C^2,0)$ by a sequence of blowing-ups there are given formulae for this integral in terms of an embedded resolution of the germ $C$ or in terms of the modification respectively. The generalized Euler characteristic of the extended semigroup corresponding to the divisorial filtration is computed.

연구 동기 및 목표

• 다양체의 Grothendieck 링을 값으로 가지는 모티브적 적분을 사용하여 다중지수 필터레이션의 Poincaré 급수를 일반화하는 것.
• 일반화된 오일러 특성에 의한 프로젝티브 함수 링 위에서 단항 함수 $ \underline{t}^{\underline{v}(g)} $ 의 모티브적 적분을 계산하는 것.
• 평면 곡선 특이점과 $ \mathbb{C}^2 $ 상의 디바이저 필터레이션에 관련된 모티브적 Poincaré 급수의 명시적 공식을 유도하는 것.
• 디바이저 필터레이션과 관련된 확장된 준군의 일반화된 오일러 특성을 계산하는 것.
• 해소 데이터에 기반한 A'Campo 공식의 모티브적 해석을 수립하는 것.

제안 방법

• 논문은 $ \mathbb{L} $ 가 아핀 직선의 클래스인 국소화된 Grothendieck 링 $ K_0(\mathcal{V}_{\mathbb{C}})_{(\mathbb{L})} $ 에 값을 가지는 일반화된 오일러 특성 $ \chi_g $ 를 사용한다.
• 모티브적 Poincaré 급수를 통합 $ \int_{\mathbb{P}{\cal O}_{V,0}} \underline{t}^{\underline{v}(g)} \, d\chi_g $ 로 표현하여, 고전적 Poincaré 급수의 통합을 일반화한다.
• 평면 곡선 특이점의 경우, 포함된 해소를 사용하여 통합을 계산하고 결과를 예외적 인수와 그 교차 데이터로 표현한다.
• 연이은 블로우업으로 정의된 디바이저 필터레이션의 경우, 통합은 특히 예외적 인수의 다중성과 이중 그래프를 포함한 변형 데이터로 표현된다.
• 방법론은 프로젝티브 함수 링을 다중지수로 인덱싱된 스트라타로 분해하고, 대칭적 곡선과 $ \mathbb{C}^* $-_bundle를 사용하여 각 스트라타의 모티브 측도를 계산하는 데 포함된다.
• 모티브적 제타 함수 기법을 적용하고, $ (1 - t)^{-[\mathbb{P}^1]} = \prod (1 - \mathbb{L} t)^{-1} $ 와 같은 항등식을 사용하여 유도된 급수를 단순화한다.

실험 결과

연구 질문

• RQ1 복소해석적 특이점의 국소환에 대한 다중지수 필터레이션의 Poincaré 급수는 어떻게 모티브적 적분으로 표현될 수 있는가?
• RQ2 평면 곡선 특이점의 성분들 위에서 함수의 차수로 정의된 필터레이션의 명시적 공식은 무엇인가?
• RQ3 연이은 블로우업에서 유도된 디바이저 필터레이션에 대해 $ \underline{t}^{\underline{v}(g)} $ 의 모티브적 적분은 $ \mathbb{C}^2 $ 에서 어떻게 행동하는가?
• RQ4 디바이저 필터레이션의 확장된 준군의 일반화된 오일러 특성은 해소 데이터로 명시적으로 계산될 수 있는가?
• RQ5 해소 불변량에 기반한 Poincaré 급수에 대한 A'Campo 공식의 모티브적 해석은 무엇인가?

주요 결과

• 평면 곡선 특이점의 성분들 위에서 함수의 차수로 정의된 필터레이션의 모티브적 Poincaré 급수는 $ \frac{\prod_{\sigma \in I_0} (1 - \underline{t}^{\underline{m}_{i(\sigma)}} - \underline{t}^{\underline{m}_{j(\sigma)}} + \mathbb{L} \underline{t}^{\underline{m}_{i(\sigma)} + \underline{m}_{j(\sigma)}})}{\prod_{i=1}^s (1 - \underline{t}^{\underline{m}_i})(1 - \mathbb{L} \underline{t}^{\underline{m}_i})} $ 로 주어지며, 여기서 $ \underline{m}_i $ 는 예외적 인수의 다중성을 나타낸다.
• 연이은 블로우업으로 정의된 디바이저 필터레이션의 경우, 모티브적 적분은 예외적 인수의 이중 그래프와 다중성으로 표현되며, 해소 데이터에 기반한 닫힌 형식의 공식을 도출한다.
• 디바이저 필터레이션과 관련된 확장된 준군의 일반화된 오일러 특성은 동일한 해소 데이터와 모티브적 통합 기법을 사용하여 명시적으로 계산된다.
• 모티브적 적분 표현은 평면 곡선 필터레이션의 Poincaré 급수가 관련된 대수적 링크의 앨리거 판드럼과 일치한다는 고전적 결과에 대한 더 짧은 증명을 가능하게 한다.
• 이 방법론은 프로젝티브 함수 링 위에서 $ \chi_g $ 를 기반으로 한 통합을 통해 다중지수 필터레이션의 모티브 불변량을 통합적으로 계산하는 통합 프레임워크를 제공한다.
• 논문은 A'Campo 공식의 모티브적 해석을 수립하여, 필터레이션의 힐베르트 함수의 생성함수가 $ \underline{t} $ 와 $ \mathbb{L}^{-1} $ 에 대한 유리함수임을 보이며, 극점은 해소 데이터에 의해 결정됨을 밝힌다.