[논문 리뷰] Additive invariants in o-minimal valued fields

Yimu Yin|arXiv (Cornell University)|2013. 06. 30.

Advanced Topology and Set Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 다항식 유계 T-볼록 비값체에 대해 Hrushovski-Kazhdan 스타일의 모티브적 적분을 개발하며, VF-유형과 RV-유형의 정의 가능한 집합의 그로텐디크 준환환 간에 자연스러운 준동형사상을 수립한다. 정의 가능한 연속 함수의 위상적 zeta 함수를 구성하고, 오-민티멀 설정으로의 모티브적 적분을 특수화하여 밀놀러 섬유와 Y에 대한 생성 함수의 유리성 결과로 확장한다.

ABSTRACT

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted first-order language L_TRV. We establish canonical homomorphisms between the Grothendieck semirings of various categories of definable sets that are associated with the VF-sort and the RV-sort of L_TRV. The groupifications of some of these homomorphisms may be described explicitly and are understood as generalized Euler characteristics. In the end, following the Hrushovski-Loeser method, we construct topological zeta functions associated with (germs of) definable continuous functions in an arbitrary polynomial-bounded o-minimal field and show that they are rational. The overall construction is closely modeled on that of the original Hrushovski-Kazhdan construction, as reproduced in the series of papers by the present author.

연구 동기 및 목표

• 다항식 유계 T-볼록 필드에 대해 Hrushovski-Kazhdan 모티브적 적분을 오-민티멀 비값체로 확장하는 것.
• VF-유형과 RV-유형의 정의 가능한 집합의 그로텐디크 준환환 간에 자연스러운 준동형사를 정의하는 것.
• 정의 가능한 연속 함수의 꼬리에 대해 위상적 zeta 함수를 구성하고 그 유리성을 증명하는 것.
• 그로텐디크 준환환의 군화를 통해 오-민티멀 설정으로의 오일러 특성 수치를 일반화하는 것.
• Hrushovski-Loeser 방법을 모델로 삼아, 비아르키메데스 오-민티멀 구조에 적합하게 이를 변형하는 것.

제안 방법

• VF-유형(비값체)과 RV-유형(값군 몫)을 형식화하기 위해 이종의 일阶논리 언어 LTRV 를 사용한다.
• 정의 가능한 사상이 정의 가능한 전단사 사상인 VF*와 RV[*]의 정의 가능한 집합의 범주를 정의하며, RV[*]에서는 환경 차원에 따라 그레이딩한다.
• 모든 동형류를 포함하는 특수 전단사 사상들을 통해 RV[*]에서 VF*로의 리프팅 사상 L을 구성한다.
• K+VF*에서 K+RV[*]/Isp로의 자연스러운 준동형사를 수립하고, 이것이 동형사상임을 보인다.
• 일반화된 오일러 특성 em과 R-준동형사를 사용하여 Y에 대한 생성함수로서 모티브적 zeta 함수를 정의한다.
• 값군의 구간 상의 이미지에 대한 선형성과 함께 기하급수의 하다마르드 곱으로 분해하여 zeta 함수의 유리성을 증명한다.

실험 결과

연구 질문

• RQ1 모티브적 적분은 오-민티멀 비값체, 특히 다항식 유계 T-볼록 필드로 확장될 수 있는가?
• RQ2 이 설정에서 일반화된 오일러 특성 수치와 같은 덧셈적 불변량은 어떻게 정의할 수 있는가?
• RQ3 정의 가능한 함수와 관련된 위상적 zeta 함수는 이 맥락에서 유리적인가?
• RQ4 특수 전단사 사상과 리프팅 사상은 그로텐디크 준환환 간 자연스러운 준동형사를 구성하는 데 어떤 역할을 하는가?
• RQ5 밀놀러 섬유와 그 형식적 호 두르기 구조는 오-민티멀 구조에서 모티브적 zeta 함수와 어떻게 관련되는가?

주요 결과

• 모티브적 zeta 함수 Z±f(Y)는 유리함수이며, 분모가 1 − (−X)^a Y^b (b ≥ 1) 형태를 가진다.
• Y → ∞ 일 때 zeta 함수는 e±f ∈ ℤ로 수렴하며, R-준동형사를 통해 e±f X^n = −R ∫ Z±[fM] 를 만족한다.
• Z±f(Y)의 유리성은 [U]와 [I]에 대한 기하급수의 하다마르드 곱으로 분해함으로써 도출되며, 여기서 [U] ∈ vol RES[k] 이고 [I] ∈ vol Γdb[l] 이다.
• 시리즈 Z±(U)(Y)는 [U]/[A!]^k ∑( [1]/[A!] )^{nq} Y^{np} 형태의 기하급수이며, 이는 유리함수이다.
• 시리즈 Z±(I)(Y)는 값군의 열린 구간에서 χΓ(σ⁻¹_I(β)) = d 가 일정하고 선형성에 의해 유리함수임을 보인다.
• T→∞ 일 때 Z±(U)(Y)의 극한은 −[U]/[A!]^k 이고, Z±(I)(Y)의 극한은 −d ([T]/[A!])^l 이며, 수렴성과 유리형 구조를 확인한다.