[논문 리뷰] The motivic Thom-Sebastiani theorem for regular and formal functions

Quy Thuong Lê|arXiv (Cornell University)|2014. 05. 27.

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

한 줄 요약

이 논문은 Hrushovski-Loeser의 모델 이론적 모티브 적분을 사용하여 정칙 함수에 대한 모티브 톰-세바스티아니 정리의 모델 이론적 증명을 제시하고, 그들의 프레임워크를 약간 일반화하여 형식적 함수로 확장한다. 주요 결과는 형식적 함수의 모티브 밀너 섬유가 정칙 사례와 유사한 콘볼루션 곱의 구조를 만족함을 보여주며, 컨체프치-소이벨만의 모티브 도널드슨-토머스 이론에서의 기본적인 간극을 해결한다.

ABSTRACT

Thanks to Hrushovski-Loeser's work on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom-Sebastiani theorem in the case of regular functions. Moreover, slightly extending of Hrushovski-Loeser's construction adjusted to Sebag, Loeser and Nicaise's motivic integration for formal schemes and rigid varieties, we formulate and prove an analogous result for formal functions. The latter is meaningful as it has been a crucial element of constructing Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants.

연구 동기 및 목표

• Hrushovski-Loeser의 모티브 적분 프레임워크를 사용하여 정칙 함수에 대한 모티브 톰-세바스티아니 정리의 모델 이론적 증명을 제공한다.
• Sebag, Loeser, Nicaise의 형식 스킴 및 강체 다양체를 위한 모티브 적분에 적합하게 Hrushovski-Loeser의 구축을 조정하여, 형식적 함수로의 모티브 톰-세바스티아니 정리를 확장한다.
• 비가환 칼라비-유 3차원에 대한 컨체프치-소이벨만의 모티브 도널드슨-토머스 불변량 이론에서 중요하게 사용되지만 아직 해결되지 않은 가정을 해결한다.
• 형식적 함수의 모티브 밀너 섬유가 분석적 밀너 섬유 및 부피 피카르 급수와 해석적으로 연결될 수 있음을 보이며, Nicaise의 공식과 일치시킨다.

제안 방법

• 특성 0인 대수적으로 닫힌 체 위의 정의 가능한 집합에서 Hrushovski-Loeser의 모티브 적분을 사용하여 분석적 밀너 섬유를 통해 모티브 밀너 섬유를 기술한다.
• 모노드로미적 그로텐디크 링 $\mathscr{M}_{k}^{\hat{\mu}}$ 에서의 콘볼루션 곱의 구조를 적용하여 $f$, $g$, 및 $f \oplus g$ 의 모티브 밀너 섬유를 연결한다.
• 증명의 기술적 장애물을 다루기 위해 모티브 그로텐디크 링의 국소화된 버전을 도입하여 모델 이론적 도구의 사용을 가능하게 한다.
• Temkin의 특이점 해소와 Nicaise의 부피 피카르 급수 공식을 사용하여 형식 스킴에 대한 모티브 적분의 구축을 적응한다.
• 정수 값을 갖는 부값에 대한 $\mathrm{val}_{\omega}$ 와 $\mathrm{val}_{\omega_1} \oplus \mathrm{val}_{\omega_2}$ 를 통한 부값 이론적 분해를 사용하여 $\mathbb{Z}$-값 부값에 대한 섬유를 분석한다.
• 지역 적분과 모티브 불변량을 연결하기 위해 공식 $\widetilde{\mathbf{h}}_m([Z_{1,e_1,e_2}^\dagger] - [Z_{0,e_1,e_2}^\dagger]) = -\mathrm{loc}(\mathbb{L}^{d_1+d_2} \Phi(\mathfrak{Z}_1(m), \omega_1(m), me_1) * \Phi(\mathfrak{Z}_2(m), \omega_2(m), me_2))$ 를 사용한다.

실험 결과

연구 질문

• RQ1 정칙 함수에 대한 모티브 톰-세바스티아니 정리는 어떻게 모델 이론적 모티브 적분을 통해 재증명할 수 있는가?
• RQ2 모티브 도널드슨-토머스 이론에서의 기본적 역할을 감안할 때, 형식적 함수로의 모티브 톰-세바스티아니 정리는 어떻게 확장될 수 있는가?
• RQ3 형식적 함수의 모티브 밀너 섬유와 분석적 밀너 섬유 또는 부피 피카르 급수 사이의 정확한 관계는 무엇인가?
• RQ4 Hrushovski-Loeser의 프레임워크는 어떻게 형식 스킴 및 강체 다양체에 적응되어 모티브 적분을 정의할 수 있는가?
• RQ5 형식적 함수 $\mathfrak{f} \oplus \mathfrak{g}$ 의 모티브 밀너 섬유는 $\mathscr{S}_{\mathfrak{f},0}$ 과 $\mathscr{S}_{\mathfrak{g},0}$ 에 대해 어떤 구조를 갖는가?

주요 결과

• 정칙 함수에 대한 모티브 톰-세바스티아니 정리는 Hrushovski-Loeser의 모델 이론적 모티브 적분을 사용하여 재증명되었으며, 국소화된 그로텐디크 링에서 콘볼루션 곱의 구조 $\mathscr{S}_{f\oplus g, (x,y)}^\phi = \mathscr{S}_{f,x}^\phi * \mathscr{S}_{g,y}^\phi$ 가 확인되었다.
• 형식적 함수 $\mathfrak{f}$ 와 $\mathfrak{g}$ 에 대해, 모티브 밀너 섬유는 $\mathscr{S}_{\mathfrak{f} \oplus \mathfrak{g}, 0}^\phi = \mathscr{S}_{\mathfrak{f},0}^\phi * \mathscr{S}_{\mathfrak{g},0}^\phi$ 를 만족하며, 이는 정리의 형식적 형태를 확립한다.
• 형식적 함수의 모티브 밀너 섬유는 Nicaise의 공식을 통해 부피 피카르 급수와 동치이며, 이 동치성은 모델 이론적 프레임워크에서 유지된다.
• 증명은 기술적 장애물을 다루기 위해 모노드로미적 그로텐디크 링의 국소화에 의존하며, 정의 가능한 집합과 부값 이론적 분해의 사용을 가능하게 한다.
• 모든 $m \geq 1$ 에 대해 핵심 항등식 $\widetilde{\mathbf{h}}_m([Z_{1,e_1,e_2}^\dagger] - [Z_{0,e_1,e_2}^\dagger]) = -\mathrm{loc}(\mathbb{L}^{d_1+d_2} \Phi(\mathfrak{Z}_1(m), \omega_1(m), me_1) * \Phi(\mathfrak{Z}_2(m), \omega_2(m), me_2))$ 가 확립되었으며, 이는 콘볼루션 구조를 가능하게 한다.
• 형식적 정리의 형태는 항등식 $-\mathbf{h}_m([\overline{]0_{d_1}[}_{\mathrm{rv}}, \mathrm{val}_{\omega_1}]) * \mathbf{h}_m([\overline{]0_{d_2}[}_{\mathrm{rv}}, \mathrm{val}_{\omega_2}]) = \mathbf{h}_m([(Z_1^\dagger, \mathrm{val}_{\omega_1} \oplus \mathrm{val}_{\omega_2})] - [(Z_0^\dagger, \mathrm{val}_{\omega_1} \oplus \mathrm{val}_{\omega_2})])$ 에서 유도되며, 콘볼루션 곱의 구조를 확인한다.