[논문 리뷰] Motivic invariants of Arc-Symmetric sets and Blow-Nash Equivalence

Goulwen Fichou|ArXiv.org|2003. 04. 15.

Graph theory and applications참고 문헌 5인용 수 7

한 줄 요약

이 논문은 실해석적 함수의 원소에 대해 ℤ[u,u⁻¹][[T]] 값의 모티브 zeta 함수를 도입하며, 블로우-네š 등치성에 대한 일반화된 가상 베텨리 수를 불변량으로 사용한다. 이들은 가상 베텰리 수를 아크-대칭 집합으로 확장하고, 변수 변경 공식을 활용한 모티브 적분을 통해 블로우-네š 등치성에 대해 이러한 zeta 함수가 불변임을 증명함으로써, 두 변수의 브리스코른 다항식의 분류를 가능하게 한다.

ABSTRACT

We define invariants of the blow-Nash equivalence of real analytic function germs, in a similar way that the motivic zeta functions of Denef & Loeser. As a key ingredient, we extend the virtual Betti numbers, which were known for real algebraic sets, as a generalized Euler characteristics for projective constructible arc-symmetrics sets. Actually we prove more: the virtual Betti numbers are not only algebraic invariant, but also Nash-invariant of arc-symmetric sets. Our zeta functions enable to sketch the blow-Nash equivalence classes of Brieskorn polynomials of two variables.

연구 동기 및 목표

• 블로우-해석 등치성의 보다 정교한 형태인 블로우-네š 등치성에 대한 불변량을 정의함으로써, 유한성과 기하적 민감성의 균형을 이룸.
• 이전에 실대수집합에서만 알려진 가상 베텔리 수의 개념을 프로젝티브 구조적 아크-대칭 집합의 더 넓은 범주로 확장함.
• 이 가상 베텔리 수가 네š 불변량임을 입증하여, 블로우-네š 등치성 불변량으로서의 적합성을 확보함.
• Z(T)와 Z±(T)의 계산 가능한 모티브 zeta 함수를 ℤ[u,u⁻¹][[T]]에서 구성함으로써, 영점의자취로 사라지는 아크의 기하학적 및 순서 이론적 자료를 암호화함.
• 두 변수의 브리스코른 다항식의 블로우-네š 등치성 동치류를 분류하기 위해 zeta 함수를 적용함.

제안 방법

• 아크-대칭 집합에서의 가상 베텔리 수 β를 사용하여 모티브 zeta 함수 Z(T)와 Z±(T)를 정의함으로써, 디네프-로저의 복소수 설정에서의 모티브 zeta 함수를 실네š 설정으로 일반화함.
• 콤���트 비특이 실대수집합에서의 ℤ₂ 계수 호모로지 수를 아크-대칭 집합의 구조적 카테고리로 추가적으로 확장함을 증명함으로써, 가상 베텔리 수를 아크-대칭 집합으로 확장함.
• 모티브 적분의 변수 변경 공식을 사용하여, 함수 원소의 영점의자취의 수정과 관련된 zeta 함수를 연결함. 특히 자코비안 행렬식과 예외적 배위를 중심으로 다룸.
• 수정 σ에 대한 전이 사상의 역상에서의 β를 계산함으로써, 아크 공간을 순서 n과 자코비안 순서 e로 인덱스화된 스트라타로 분해함.
• Z±(T)의 경우, 부호 조건을 다루기 위해 스트라타 위에 커버링 R_U^±를 도입하고, 예외적 배위 성분들 위에서 접합 구조를 사용함.
• 수정의 네š 유형 불변량과 아크-대칭 구조에만 의존함을 보여, 블로우-네š 등치성에 대해 zeta 함수의 불변성을 증명함.

실험 결과

연구 질문

• RQ1 실해석적 함수 원소에 대해, 복소수 경우의 디네프-로저 모티브 zeta 함수와 유사하게, 블로우-네š 등치성 관계 하에서 모티브 zeta 함수를 정의할 수 있는가?
• RQ2 ℤ₂ 계수 호모로지 수를 통한 정의된 가상 베텔리 수는 아크-대칭 집합에서 네š 위상동형에 대해 가환성과 불변성을 가지는가?
• RQ3 이러한 zeta 함수는 블로우-네š 등치성 하에서 서로 다른 두 변수의 브리스코른 다항식을 구별할 수 있는가?
• RQ4 특히 함수 f∘γ(t)의 소멸 순서와 수정에서의 예외적 배위의 위상 기하학 간의 상호작용은 어떻게 되는가?
• RQ5 zeta 함수 Z(T)와 Z±(T)의 정확한 대수적 구조는 무엇이며, 이는 함수 원소의 국소 불변량을 어떻게 반영하는가?

주요 결과

• 가상 베텔리 수 β_k(A) = dim H_k(A, ℤ₂)는 아크-대칭 집합으로 추가적으로 확장되며, 네š 위상동형에 대해 불변인 일반화된 오일러 지표를 형성함.
• 가상 피카르 다항식 β(A) = ∑_k β_k(A)u^k ∈ ℤ[u]는 곱 불변량이며, 차원을 유지함. deg(β(A)) = dim(A)이며, 위상동형이지만 위상동형이 아닌 실대수집합을 구별함.
• 모티브 zeta 함수 Z_f(T)와 Z_f^±(T)는 ℤ[u,u⁻¹][[T]]에서 정의되며, 블로우-네š 등치성에 대해 불변이며, 이 등치관계에 대한 완전한 불변량 집합을 제공함.
• 수정 σ와 예외적 배위 E_I^0에 대해, zeta 함수 Z_f(T)는 ∑_{I≠∅} (u−1)^{|I|} β(E_I^0 ∩ σ⁻¹(0)) ∏_{i∈I} (u^{-ν_i}T^{N_i}/(1−u^{-ν_i}T^{N_i})) 로 주어지며, 여기서 N_i와 ν_i는 다중성과 로그자코비안 순서임.
• Z_f^±(T)는 스트라타의 커버링 R_U^±를 사용하여 유사하게 표현되며, β(W^±) = (u−1)^{|I|−1}β(R_U^±) 이며, 동일한 곱의 형태를 가지나 부호 조건에 따라 조정됨.
• 이러한 zeta 함수는 두 변수의 브리스코른 다항식의 블로우-네š 등치성 동치류를 성공적으로 분류하여, 그들이 불변량으로서의 효과를 입증함.