[논문 리뷰] Integrals with respect to the Euler characteristic over spaces of functions and the Alexander polynomial

Antonio Campillo, F. Delgado외 1명|ArXiv.org|2002. 05. 10.

Advanced Algebra and Geometry참고 문헌 7인용 수 15

한 줄 요약

이 논문은 평면 곡선 특이점의 아크시얼 다항식(또는 모노드로미 변환의 제타함수)과 함수 공간 위에서의 오일러 특성에 대한 적분 사이의 연결고리를 설정한다. 제타함수를 해석적 함수 또는 다항식의 사영화된 공간 위에서 오일러 특성 적분으로 간주함으로써, 모티빅 적분 원리에 기반한 포incare 급수와 모노드로미 불변량 사이의 고전적 결과를 일반화한다.

ABSTRACT

We discuss some formulae which express the Alexander polynomial (and thus the zeta-function of the classical monodromy transformation) of a plane curve singularity in terms of the ring of functions on the curve. One of them describes the coefficients of the Alexander polynomial or of zeta-function of the monodromy transformation as Euler characteristics of some explicitly constructed spaces. For the Alexander polynomial these spaces are complements to arrangements of projective hyperplanes in projective spaces. For the zeta-function they are disjoint unions of such spaces. Under the influence of a result by J.Denef and F.Loeser it was understood that this results are connected with the notion of the motivic integration or rather with its version (in some sense a dual one) where the space of arcs is substituted by the space of functions. The aim of this paper is to discuss the notion of the integral with respect to the Euler characteristics (or with respect to the generalized Euler characteristic) over the space of functions (or over its projectivization) and its connection with the formulae for the coefficients of the Alexander polynomial and of the zeta-function of the monodromy transformation as Euler characteristics of some spaces. The paper will be published in Proceedings of the Steklov Mathematical Institute.

연구 동기 및 목표

• 함수 공간 위에서의 오일러 특성에 기반한 모티빅 적분 프레임워크를 수립하여 기존의 모노드로미 제타함수에 관한 결과를 확장한다.
• 함수 환의 포incare 급수와 평면 곡선 특이점의 모노드로미 변환 제타함수 사이의 연결고리를 오일러 특성 적분을 통해 설정한다.
• 이러한 결과를 다항식의 무한대에서의 전역적 설정으로 일반화하여, 무한대에서의 제타함수를 극점의 반경수열의 포incare 급수와 연결한다.
• 일반화된 오일러 특성과 사영화된 함수 공간을 활용하여 국소적 및 전역적 결과를 통합한다.
• 함수 공간 위에서의 적분 불변량을 통해 아크시얼 다항식과 모노드로미 제타함수의 기하학적 및 위상수학적 해석을 제공한다.

제안 방법

• 곡선 특이점에서 정의된 해석 함수의 급수환의 사영화된 공간 위에서 일반화된 오일러 특성을 정의한다.
• 매개변수화에 따른 영의 차수를 이용해 곡선 위의 함수 환에 필터레이션을 구성한다.
• 이 필터레이션의 포incare 급수를 값의 반경수열의 생성함수로 표현한다.
• 곡선의 최소 임베디드 해상도를 사용하여 반경수열과 그 포incare 급수를 조합론적으로 계산한다.
• 함수 공간의 사영화된 공간 위에서 단항식 함수 $ t^{v(g)} $ 의 적분을 순서 $ v(g) $ 의 수준집합의 오일러 특성으로 정의한다.
• 확장된 반경수열 위에서의 피브레이션 구조를 이용해 이러한 오일러 특성의 생성함수가 모노드로미 변환의 제타함수와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 평면 곡선 특이점의 모노드로미 변환 제타함수는 어떤 식으로 함수 공간 위에서의 오일러 특성 적분으로 표현될 수 있는가?
• RQ2 곡선 특이점의 함수 환의 포incare 급수와 그 모노드로미 제타함수 사이의 관계는 무엇인가?
• RQ3 다항식에 대해 무한대에서의 전역적 모노드로미 제타함수는 다항식 공간 위에서의 오일러 특성 적분으로 해석될 수 있는가?
• RQ4 해상도 그래프와 값의 반경수열은 이러한 적분과 그 생성함수의 구조와 어떻게 관련되어 있는가?
• RQ5 모티빅 적분과 그 이중 형식은 위상수학적 불변량과 함수 공간의 대수적 자료를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 기약 평면 곡선 특이점의 모노드로미 변환 제타함수는 해석 함수의 급수환의 사영화된 공간 위에서 $ t^{v(g)} $ 를 오일러 특성에 대해 적분한 것으로 표현되며, $ \zeta_C(t) = \int_{{P}{\mathcal{O}}_{{C}^2,0}} t^{v(g)} d\chi $ 로 기술된다.
• r > 1 인 경우, 다변수 생성함수 $ \Delta^C(t_1,\ldots,t_r) $ 는 $ \int_{{P}{\mathcal{O}}_{{C}^2,0}} {\underline{t}}^{{\underline{v}}(g)} d\chi $ 로 표현되며, 이는 반경수열의 다변수 포incare 급수에 해당한다.
• 다항식 $ F(x,y) $ 에 대해 무한대에서의 극점 반경수열의 포incare 급수 $ P_\Gamma(t) $ 는 무한대에서의 모노드로미 제타함수 $ \zeta_F^\infty(t) $ 와 일치한다.
• 적분 $ \int_{{P}{\mathbb{C}}[x,y]} t^{-v(H)} d\chi $ 는 $ \zeta_F^\infty(t) $ 와 같으며, 이는 국소 결과의 전역적 일반화를 제공한다.
• 레벨집합의 저지대 구조가 국소적으로 평탄한 피브레이션임으로써 유한차원의 섬유를 가지며, 오일러 특성 계산이 가능하므로 적분이 잘 정의된다.
• 결과들은 해상도 그래프의 조합론적 구조와 아브하얀카르-모흐 정리에 의해 증명되며, 이는 각각 값의 반경수열과 극점의 반경수열을 기술한다.