[논문 리뷰] Integration in algebraically closed valued fields

Yimu Yin|arXiv (Cornell University)|2008. 09. 02.

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

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 가치장에서 Hrushovski와 Kazhdan의 모티브적 적분 이론의 세 번째이자 마지막 단계를 완성한다. 이는 RV-정렬에서 VF-정렬로의 호모모르피즘 L의 핵을 블로업과 특수 이항사상들을 이용해 정규적인 기술로 기술한다. 핵심 기여는 모티브적 설정에서 푸비니의 정리와 변수 변경 공식을 증명하여, 정의 가능한 집합 위에서 잘 정의되고 불변하는 적분을 보장하는 것이다.

ABSTRACT

The first two steps of the construction of motivic integration in the fundamental work of Hrushovski and Kazhdan have been presented in arXiv:1006.2467v1. In this paper we present the final third step. As in arXiv:1006.2467v1, we limit our attention to the theory of algebraically closed valued fields of pure characteristic 0 expanded by a (VF, Γ)-generated substructure S in the language L_{RV}. A canonical description of the kernel of the lifting map is obtained.

연구 동기 및 목표

• 대수적으로 닫힌 가치장에서 모티브적 적분을 완성하기 위해 RV-정렬에서 VF-정렬로의 호모모르피즘 L의 핵을 규명하는 것.
• 정의 가능한 집합과 부피 형식을 갖는 그로텐디크 준환의 RV-정렬에서의 준환 합동 관계 µIsp에 대한 정규적인 기술을 제공하는 것.
• 대수적으로 닫힌 가치장 위의 정의 가능한 집합의 맥락에서 모티브적 적분에 대해 푸비니의 정리와 변수 변경 공식을 수립하는 것.
• 수치적 값이 없더라도 정의 가능한 이항사상에 대해 잘 정의되고 불변하는 모티브적 적분을 보장하는 것.
• 핵의 구조와 부피 형식의 통합 행동을 체계화하여 향후 계산적 응용을 용이하게 하는 것.

제안 방법

• 첫째, 모델 이론의 프레임워크와 LRV 언어에서의 정의 가능한 집합을 이용하여, ACVFS(0,0)에서의 정의 가능한 부분집합의 구조를 유형과 허구적 매개변수를 통해 분석한다.
• C-최소성과 정의 가능한 이항사상의 맥락에서 푸비니 유형의 정리를 다루기 위한 기술적 도구로 2-셀의 개념을 도입한다.
• RV-정렬에서의 블로업을 적용하여, µRV[∗]의 두 개체가 µVF∗에서 동형으로 올라가게 되는 조건을 특성화함으로써 L의 핵을 규명한다.
• 덧셈 이동의 복합체인 특수 이항사상들을 활용하여 측도를 유지하고, 다양한 정렬 간의 적분 가능성 유지에 필수적인 역할을 한다.
• VF-집합과 부피 형식을 갖는 그로텐디크 준환에서 RV-준환의 µIsp에 대한 몫으로의 정규 호모모르피즘 Z+를 구성한다.
• 자리바꿈 변환을 통해 모티브적 설정에서의 변수 변경 공식을 정의하며, 블로업과 특수 이항사상에 의해 유도된 부피 형식의 동형에 의해 불변성을 보여준다.

실험 결과

연구 질문

• RQ1 정의 가능한 집합과 부피 형식을 갖는 RV-집합의 그로텐디크 준환에서 VF-집합의 그로텐디크 준환으로의 호모모르피즘 L의 핵의 정확한 구조는 무엇인가?
• RQ2 위상 수렴이 없이도 정의 가능성과 모델 이론적 도구에 의존하여, 모티브적 적분에 대해 푸비니의 정리를 어떻게 확립할 수 있는가?
• RQ3 RV-정렬에서의 블로업은 정의 가능한 집합의 동치류를 러핑 맵 L에 의해 유도되는 맵에서 어떤 역할을 하는가?
• RQ4 부피 형식이 포함된 모티브적 적분에서, 정의 가능한 이항사상에 의해 목표 공간이 변형될 때 변수 변경 공식은 어떻게 유지되는가?
• RQ5 모티브적 적분의 그로텐디크 환의 대수적 구조는 무엇이며, RV-정렬의 그레디에이션 구조와는 어떻게 관련되는가?

주요 결과

• 호모모르피즘 L의 핵은 그레디에이션된 그로텐디크 환에서 생성되는 준환 합동 관계 µIsp로 정규적으로 기술된다. 이는 쌍 ([1]1, [RV>1]1)에 의해 생성된다.
• 푸비니의 정리는 모티브적 적분에 대해 성립한다: 동일한 정의 가능한 집합의 두 투영에 대한 반복 적분은 그로텐디크 환에서 동일한 결과를 낳는다.
• 변수 변경 공식은 모티브적 설정에서 유효하다: 함수의 적분은 자리를 바꾸는 데서 자코비안을 통해 정확히 변환되며, 모티브적 값을 유지한다.
• 블로업과 특수 이항사상에 의해 유도된 동형에 의한 부피 형식의 호환성 덕분에, 함수의 대표자 선택과 무관하게 모티브적 적분은 잘 정의된다.
• K+ µVF에서 K+ µRV / µIsp로의 정규 이sovorphism Z+는 군화 이후에 환 동형을 유도하며, 완전한 모티브적 적분 이론을 수립한다.
• 그로텐디크 환 K µRV의 이상 I는 동차이며, 원소 [1]1 − [RV>1]1에 의해 생성되며, 핵의 대수적 구조를 확인한다.