[논문 리뷰] Fonctions constructibles et intégration motivique I

Raf Cluckers, François Loeser|ArXiv.org|2004. 03. 22.

Mathematics and Applications인용 수 7

한 줄 요약

이 논문은 구성 가능 모티빅 함수에 대한 직접 이미지 체계를 도입하여, 엄밀한 변수변환 정리가 보장되는 매우 일반적인 모티빅 적분 이론을 가능하게 한다. 이 이론은 상대적 설정으로 확장되어 기하학적 및 p-진 적분에 적용 가능한 상대적 모티빅 적분 이론을 수립한다.

ABSTRACT

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration.

연구 동기 및 목표

• 덴프-파스 논리의 맥락에서 구성 가능 모티빅 함수에 대한 직접 이미지 체계를 개발하기 위해.
• 엄밀한 변수변환 정리가 보장되는 일반적인 모티빅 적분 이론을 수립하기 위해.
• 이론을 상대적 프레임워크로 확장하여 상대적 모티빅 적분을 가능하게 하기 위해.
• 모티빅 적분, 기하학적 적분, p-진 적분 간의 관계를 위한 기초 프레임워크를 마련하기 위해.
• 기초 스킴 또는 부분할당 위에서 적분 가능한 함수와 그 모티빅 적분을 상대적 설정에서의 푸시포워드 연산을 통해 정의하고 특성화하기 위해.

제안 방법

• 값이 부여된 체, 잔여체, 값 군의 세 종류의 정렬을 가진 덴프-파스 언어 ${\mathscr{L}}_{\rm DP}$ 를 사용한다.
• 계수로 $k((t))$ 와 $k$ 를 사용하는 ${\mathscr{L}}_{\rm DP}$ 의 일阶논리 공식을 사용하여 카테고리 ${\rm Def}_k$ 내에서 정의 가능한 부분할당을 정의한다.
• 기초 $S$ 위에서의 구성 가능 모티빅 함수를 위한 그로텐디크 링 $K_0({\rm RDef}_S)$ 와 그 양의 버전 $SK_0({\rm RDef}_S)$ 를 도입한다.
• 모르피즘 $f$ 에 대해 ${\rm Def}_S$ 내에서 푸시포워드 함자 $f_!$ 를 구성하며, (A0)–(A8)의 공리들을 만족하고 모티빅 적분과 호환된다.
• 파라미터 공간 $\Lambda$ 위에서의 섬유 차원에 따라 분할되는 반군 $C_+(S\to\Lambda)$ 를 통해 상대적 모티빅 적분을 정의한다.
• 상대적 푸시포워드 $f_{!\Lambda}$ 를 정의하고, 함수 $\varphi$ 를 $\Lambda$ 의 섬유 위에서 푸시포워드한 결과로 모티빅 적분 $\mu_\Lambda(\varphi)$ 를 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 구성 가능 모티빅 함수에 대한 직접 이미지 체계를 구축할 수 있으며, 이는 변수변환 정리를 지원할 수 있는가?
• RQ2 기초 스킴나 부분할당 위에서 모티빅 함수가 적분 가능해지기 위한 조건은 무엇인가?
• RQ3 파라미터가 기초 공간 $\Lambda$ 위에서 변할 수 있는 상대적 설정으로 모티빅 적분을 어떻게 일반화할 수 있는가?
• RQ4 이 상대적 모티빅 적분과 고전적 모티빅 또는 p-진 적분 간의 정확한 관계는 무엇인가?
• RQ5 유도된 불변량인 ${\rm ord}{\rm jac}f$ 와 야코비안 행렬식은 모티빅 적분의 변환 과정에서 어떻게 나타나는가?

주요 결과

• 직접 이미지 체계를 사용하여 모티빅 적분에 대한 일반적인 변수변환 정리를 확립하였다.
• 푸시포워드 $f_!$ 는 (A0)–(A8)의 공리들을 만족하여 일관성과 모티빅 적분과의 호환성을 보장한다.
• $S = h[0,0,0]$ 인 경우, 적분 가능한 함수의 공간 ${\rm I}C_+(S)$ 는 $SK_0({\rm RDef}_k) \otimes_{{\mathbf{N}}[{ olimits}{\mathbf{L}}-1]} A_+$ 와 동형이 되며, 이는 모티빅 적분 링의 구체적 실현을 제공한다.
• 상대적 모티빅 적분 $\mu_\Lambda(\varphi)$ 는 잘 정의되어 있으며, 각 점 $\lambda \in \Lambda$ 에 대해 $i_\lambda^*(\mu_\Lambda(\varphi))$ 와 같은 섬유별 모티빅 적분과 같다.
• $\varphi \in C_+(Z\to\Lambda)$ 는 각 섬유 $Z_\lambda$ 에서의 제약이 적분 가능할 때이고, 뿐만 아니라 ${\rm I}_\Lambda C_+(Z\to\Lambda)$ 에 속할 때에만 해당한다.
• 이 구성은 이전의 모티빅 적분 이론(예: 덴프-로저, 콘체비치)과 p-진 적분을 일반화하며, 자세한 내용은 [1]에 기재되어 있다.