[논문 리뷰] Integration on valuation fields over local fields

Matthew Morrow|ArXiv.org|2007. 12. 13.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 6

한 줄 요약

이 논문은 잔여체가 국소체인(예: ℝ, ℂ 또는 비아르키메데스 국소체)인 밸류화된 체 위에서 이동 불변 적분, 측도 및 조화 분석 이론을 개발한다. 복소수 군 대수 ℂΓ 값의 하르 유형 적분을 구성함으로써 페센코의 작업을 일반화하고, 이중 국소체 이론에서 제타 적분과 함수방정식에의 적용을 가능하게 한다.

ABSTRACT

We present elements of a theory of translation-invariant integration, measure, and harmonic analysis on a valuation field with local field as residue field. This extends the work of Fesenko. Applications to zeta integrals for two-dimensional local fields are then considered.

연구 동기 및 목표

• 잔여체가 국소체인 밸류화된 체 위에서 이동 불변 적분의 엄밀한 이론을 구축하고, 페센코의 프레임워크를 확장한다.
• 특히 아르키메데스 경우에서 고차원 국소체로 조화 분석 및 제타 적분 이론을 일반화한다.
• 상승 변환을 사용하여 이중 국소체 위의 제타 적분에 대한 해석적 계속성과 함수방정식을 확립한다.
• 잔여체 위에 수정된 푸리에 변환(∗-변환)을 정의하고, 스웨츠 유형 공간에서의 내적성(endo-morphism)을 증명한다.
• 위상적 완비성에 의존하지 않고 잔여체에서의 상승을 통해 F×F 및 GLn(F) 위의 적분에 새로운 접근을 제공한다.

제안 방법

• 잔여 사상에 의해 F̄ → ℂ인 하르 적분 가능 함수 f를 F로 상승시켜 f⁰⁰를 구성하고, 이에 대한 이동 f⁰⁰(x+a)와 스케일링 f⁰⁰(αx)을 고려한다.
• 선형 독립성 결과(정리 1.6)를 사용하여 ℂΓ 값을 갖는 이러한 상승 함수의 스칼라 결합 위에서 정의된 적분을 정의함으로써 잘 정의됨을 보장한다.
• 일반화된 조화 분석 프레임워크를 도입하여 L¹이 아닌 함수로 적분을 확장하고, 위일레의 구성과 유사한 ∗-변환을 도입한다.
• ∗-변환을 적용하여 잔여체 F̄에서의 국소 제타 적분 이론을 밸류화된 체 F로 상승시키며, 함수방정식을 증명한다.
• ℂ(Γ)의 구조와 ℂ 위에서의 해석적 성질을 이용하여 항등정리(identity theorem)를 통해 함수의 유일성과 해석적 계속성을 증명한다.
• F̄×F̄에서의 상승을 통해 F×F 및 F××F× 위에 곱적 적분 이론을 구성하며, |x|⁻¹|y|⁻¹를 통해 측도를 정의하고 ℂ(Γ)-값 함수로 적분을 확장한다.

실험 결과

연구 질문

• RQ1 위상적 완비성이 없더라도 잔여체가 국소체인 밸류화된 체 위에서 이동 불변 적분을 어떻게 엄밀히 정의할 수 있는가?
• RQ2 잔여체가 아르키메데스적(예: ℝ 또는 ℂ)일 경우 F 위의 적분의 구조는 어떻게 되며, 페센코의 주장과 어떻게 비교되는가?
• RQ3 이중 국소체 위의 제타 적분은 잔여체에서 상승시키면서도 해석적 계속성과 함수방정식을 유지할 수 있는가?
• RQ4 ∗-변환은 제타 적분의 함수방정식을 확립하는 데 어떤 역할을 하는가? 그리고 스웨츠 공간에서 내적성(endo-morphism)인가?
• RQ5 이 상승 방법을 통해 GLn(F) 및 F××F× 위의 적분은 어떻게 구성할 수 있으며, 어떤 불변성 성질을 만족하는가?

주요 결과

• 적분 ∫^F는 상승 함수 공간 위에서 ℂΓ-선형 함수로 잘 정의되며, ∫^F(f⁰⁰(x+a)) = ∫_F̄ f(u) du · X^γ 를 만족한다. 적절한 γ에 대해.
• F = ℂ(t)일 경우, St^n + t^{n+1}ℂ[t]는 ℝ(X)에서 측도 μ(S)X^n을 부여받으며, 이는 르베그 측도를 군 대수로 일반화한다.
• F̄ 위의 ∗-변환은 함수방정식 Z(g*, ω⁻¹, 2−s) = ε_*(ω,s)Z(g, ω, s)를 만족하며, 모든 준특성 ω에 대해 명시적인 에psilon 인자 ε_*(ω,s)를 계산하였다.
• ∗-변환이 스웨츠 공간 𝒮(K) 위에서 내적성(endo-morphism)임을 증명하였으며, 이는 이전 문헌에서 관찰되지 않은 결과이다.
• F××F× 위의 제타 적분은 ∫^F××F× f(x,y)χ∘𝐭(x,y)|𝐭(x,y)|^s char_T(x,y) d×x d×y 로 정의되며, 해석적 계속성과 함수방정식이 확립되었다.
• 이 방법은 F×F 위에서 반복 적분에 대한 푸비니의 정리를 허용하며, GL_n(F) 위에 이동 불변 적분의 존재성을 증명하여 페센코의 결과를 확장한다.