[논문 리뷰] Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero

Raf Cluckers, Immanuel Halupczok|arXiv (Cornell University)|2015. 10. 28.

Advanced Topology and Set Theory참고 문헌 26인용 수 9

한 줄 요약

이 논문은 비아르키메데스 국소체의 특성 0을 가진 모든 체에 대해 동일한 이론을 수립하기 위해, 통합과 푸리에 변환에 대해 안정적인 동적 지수 함수의 개념을 도입함으로써 특성 0인 비아르키메데스 국소체 전반에 걸친 동적 적분의 통일된 이론을 확립한다. 임의의 분기 구조를 다룰 수 있는 Denef-Pas 양자화 제거의 개선된 형태를 사용하여, 모든 이러한 체에서의 통일된 유리성 결과와 통일된 국소화 기록을 달성함으로써 이전의 p진 zeta 함수 및 웨이브 프론트 세트에 관한 결과들을 통합한다.

ABSTRACT

Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue field characteristics. We define a class of functions, called functions of motivic exponential class, which we show to be stable under integration and under Fourier transformation, extending results and definitions from previous papers. We prove uniform results related to rationality and to various kinds of loci. A key ingredient is a refined form of Denef-Pas quantifier elimination which allows us to understand definable sets in the value group and in the valued field.

연구 동기 및 목표

• 특성 0인 모든 비아르키메데스 국소체에 걸쳐 동적 적분 이론을 통일적으로 발전시키며, 이전 연구의 제약을 극복한다.
• 통합과 푸리에 변환에 대해 안정적인 함수의 클래스인 동적 지수 함수를 정의하고 연구한다.
• 분기와 잔여체의 특성에 대한 제약을 제거하기 위해 Denef-Pas 스타일의 양자화 제거를 개선한다.
• 이러한 모든 체에 걸쳐 국소 zeta 함수와 웨이브 프론트 세트에 대한 알려진 유리성 결과를 통합하고 일반화한다.
• 모델 이론적 도구를 사용하여 정의 가능한 집합과 적분의 기하학적 성질에 대한 통일성의 프레임워크를 제공한다.

제안 방법

• 가치환의 정의 가능한 함수와 가치군의 값에 대한 값을 갖는, 동적 지수 함수 클래스를 정의하고 분석한다.
• 임의의 분기 구조가 존재하더라도, 값 필드와 가치군의 모든 양자화를 제거할 수 있는 Denef-Pas의 양자화 제거의 개선된 형태를 사용한다.
• n-자기행렬식 성질을 갖는 셀 분해 정리들을 적용하여, 정의 가능한 집합을 통합에 적합한 구조적 조각들로 재매개변수화한다.
• 모델 이론적 컴acts와 resplendency를 활용하여 보조 종류(RV_n 등)에서의 결과를 원래 언어로 이행한다.
• 값환의 유한 몫을 '오라클'로 사용하여, 큰 잔여 특성 조건을 가정하지 않고도 국소체의 모델 이론을 분석한다.
• 특정 국소체에 종속되지 않는 통일된 프레임워크를 구축하여, 정의 가능한 기하학과 Presburger 산술에 의존한다.

실험 결과

연구 질문

• RQ1 특성 0인 모든 비아르키메데스 국소체에 걸쳐 분기나 잔여체 크기와 관계없이 동적 적분을 통일적으로 적용할 수 있는가?
• RQ2 이러한 통일된 설정에서 동적 지수 함수의 클래스는 통합과 푸리에 변환에 대해 닫혀 있는가?
• RQ3 임의의 분기 구조를 다룰 수 있는 개선된 양자화 제거 결과는 여전히 통일된 적분 이론을 가능하게 하는가?
• RQ4 국소 zeta 함수의 유리성 결과와 웨이브 프론트 같은 국소화 기록에 대한 결과를 이 모든 체에 걸쳐 얼마나 통일적으로 만들 수 있는가?
• RQ5 값군과 값 필드의 정의 가능한 집합은 어떻게 통일적으로 분해되어 적분이 가능하게 할 수 있는가?

주요 결과

• 동적 지수 함수의 클래스는 통합과 푸리에 변환에 대해 안정적이며, [10], [11], [5]의 결과를 확장한다.
• 값 필드와 가치군의 모든 양자화를 통일적으로 제거하는 개선된 양자화 제거 결과를 확보하여, 완전한 통일성을 가능하게 한다.
• 재매개변수화 후, 값군과 값 필드의 정의 가능한 집합은 n-자기행렬식 성질을 갖는 통일된 셀 분해를 갖는다.
• 국소 zeta 함수의 유리성과 웨이브 프론트 국소화 기록의 통일성은 이제 특성 0인 모든 비아르키메데스 국소체에 대해 유효한 단일 프레임워크 아래 통합된다.
• 결과는 특정 국소체의 분기나 잔여 특성과 무관하게 악성 국소화와 적분의 기술에 대해 통일성을 달성한다.
• 이 프레임워크는 p진 적분과 그의 극점에 대한 통일된 처리를 가능하게 하며, Igusa의 유리성 정리와 [1]의 정리 E를 하나의 일관된 설정에서 일반화한다.