[논문 리뷰] Relative motives and the theory of pseudo-finite fields

Johannes Nicaise|arXiv (Cornell University)|2004. 03. 09.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 특성 0인 체 $k$ 위의 기저 다양체 $S$ 위에서의 상대적 설정으로 모티브 적분을 일반화한다. $S$ 위의 준유한 체에 대한 그로텐디크 링에서 $S$ 위의 구조적 효과적 초모티프의 그로텐디크 링과 $\mathbb{Q}$의 텐서곱으로 가는 모티브 실현 사상(construction of a motivic realization morphism)을 구축한다. 핵심 기여는 갈루아 공식을 사용한 기하적 증명을 통한 준유한 체 위에서의 상대적 기호 제거의 증명으로, 이는 매개변수화된 산술 적분의 모티브적 실현을 가능하게 한다.

ABSTRACT

We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow motives over S, and we show how to associate a motive to any S-variety. We give a geometric proof of relative quantifier elimination for pseudo-finite fields, and we construct a morphism from the Grothendieck ring of the theory of pseudo-finite fields over S, to the tensor product of Q with the Grothendieck ring of constructible effective Chow motives. This morphism yields a motivic realization for the parametrized arithmetic motivic integrals of Cluckers-Loeser. Finally, we define relative arc and jet spaces, and the three relative motivic generating series.

연구 동기 및 목표

• 기저 체 $k$ 위의 특성 0인 체 $k$ 위의 기저 다양체 $S$를 통해 매개변수를 포함하는 상대적 경우로 모티브 적분을 확장한다.
• 기저 다양체 $S$ 위의 구조적 효과적 초모티프 이론을 개발하여 매개변수를 포함하는 산술 적분의 모티브적 실현을 가능하게 한다.
• 준유한 체 이론에서 $S$ 위의 다항식 공식에 대한 상대적 기호 제거를 갈루아 공식을 사용한 기하적 증명으로 제공한다.
• 준유한 체의 그로텐디크 링에서 $S$ 위의 모티프의 그로텐디크 링과 $\mathbb{Q}$의 텐서곱으로 가는 사상을 구축하여 매개변수화된 산술 적분을 모티브적으로 실현한다.
• 기저 다양체 위에서의 상대적 궤도 공간과 임펄스 공간을 정의하고, 세 가지 모티브 피카르 급수(기하, 산술, 이구사)를 상대 설정에서 구성한다.

제안 방법

• 기저 다양체 $S$의 유한 분할을 통한 스무드, 기약, 국소적으로 닫힌 부분집합의 직접 극한으로 $S$ 위의 구조적 효과적 초모티프의 범주 $CMot_S$를 구성한다.
• 구조적 특이점 해소와 분할 정확한 붐 시퀀스를 사용하여 $K_0(Var_S) \to K_0(CMot_S)$로 가는 모티브 카르탕 특성 $\chi_c$를 일반화하고, 그 이미지를 $K_0^{mot}(Var_S)$로 표기한다.
• 군 $G$ 작용을 가진 구조적 모티프의 호모토피 범주에 대해 유도 및 제한 유도자(functors)를 도입하고, 몫 $X/G$의 모티프가 $X$의 모티프의 $G$-불변 부분의 것과 같음을 특성 분해를 통해 증명한다.
• 갈루아 공식을 사용하여 상대적 기호 제거를 순수 기하학적 증명으로 제공한다: $S$ 위의 다항식 공식은 준유한 체 위에서 기호가 없는 갈루아 공식과 동치이다.
• 상대적 궤도 공간과 임펄스 공간 $\mathcal{L}_n(X/S)$를 정의하고, 기하, 산술, 이구사의 세 가지 모티브 피카르 급수를 구성한다. 계수는 $K_0(Var_S)$ 또는 $K_0^{mot}(Var_S)\otimes\mathbb{Q}$에 속한다.
• 세 피카르 급수의 기저 전환 성질을 확립하여, $W \to S$의 사상에 沿해 당김과의 호환성을 보인다.

실험 결과

연구 질문

• RQ1 기저 다양체 $S$ 위에서의 상대 설정으로 모티브 적분을 어떻게 일반화할 수 있는가?
• RQ2 기저 다양체 $S$ 위에서의 준유한 체 이론에서 정의 가능한 집합의 기하적 구조는 무엇이며, 갈루아 이론 기반의 기하학적 방법으로 기호 제거를 증명할 수 있는가?
• RQ3 모티브 실현 사상 $\chi_{(c)}: K_0(PFF_S) \to K_0^{mot}(Var_S)\otimes\mathbb{Q}$를 구성할 수 있으며, 이는 매개변수화된 산술 적분의 의미에서 무엇을 나타내는가?
• RQ4 기저 다양체 $S$ 위에서의 상대적 궤도 공간과 임펄스 공간은 어떻게 행동하는가? 그리고 관련된 모티브 피카르 급수의 성질은 무엇인가?
• RQ5 스키마 $X \to S$의 섬유들 위에서의 임펄스 승강 성질은 어떻게 통일되며, 이는 피카르 급수의 수렴성과 기저 전환에 어떤 영향을 미치는가?

주요 결과

• 기하적 증명을 통한 상대적 기호 제거가 확립되었다: $S$ 위의 다항식 공식은 준유한 체 위에서 기호가 없는 갈루아 공식과 동치이며, 이 동치관계는 $S$의 $M$-값을 가진 점들 위에서 정의 가능한 전단사 사상으로 정의된다.
• $\chi_c: K_0(Var_S) \to K_0(CMot_S)$ 사상이 구성되었으며, 그 이미지인 $K_0^{mot}(Var_S)$는 $S$-스키마의 그로텐디크 링의 모티브적 실현을 제공한다.
• $\chi_{(c)}: K_0(PFF_S) \to K_0^{mot}(Var_S)\otimes\mathbb{Q}$ 사상이 정의되었으며, 이는 매개변수화된 산술 적분의 구체적인 모티브적 실현을 제공한다.
• 상대적 기하 피카르 급수 $P_{geom}(X/S;T)$는 제한의 통일성 덕분에 $K_0(Var_S)[[T]]$에 잘 정의되어 있으며, 이는 정리 9.7에 의해 보여진다.
• 상대적 산술 피카르 급수 $P_{arith}(X/S;T)$는 $n$-임펄스를 정의하는 다항식 공식 $\psi_n$에 $\chi_{(c)}$를 적용하여 정의되며, 기저 전환 성질을 만족한다: 계수는 $W \to S$에 따라 호환되게 당겨진다.
• 통일성 결과(정리 9.7)는 임의의 유한형 $S$-스키마 $X$에 대해 $n$-임펄스 제한이 균일하게 안정화되며, $n' = cn + e$ ($c,e > 0$) 형태로 표현됨을 보장한다. 이는 섬유에 관계없이 일정하다.