[論文レビュー] Exponentiation of motivic measures

Niranjan Ramachandran, Gonçalo Tabuada|arXiv (Cornell University)|Dec 4, 2014

Advanced Algebra and Geometry参考文献 16被引用数 5

ひとこと要約

本稿は、モチーフ的測度—代数的多様体のグロテンディーク環から標的環への環準同型—の指数関数的拡張を導入し、カプランォフのゼータ関数を用いてその性質を分析する。本稿は、このような測度に対して、ゼータ関数の有理型性が直積のもとで保存されることを証明し、群作用をもつ多様体のゼータ関数の有理型性に関するトタロの結果について、初等的な証明を提供する。

ABSTRACT

In this short note we establish some properties of all those motivic measures which can be exponentiated. As a first application, we show that the rationality of Kapranov's zeta function is stable under products. As a second application, we give an elementary proof of a result of Totaro.

研究の動機と目的

• 指数関数的拡張が可能なモチーフ的測度、すなわちゼータ関数の構成が環準同型となるような測度を同定すること。
• 指数可能なモチーフ的測度に対して、カプランォフのゼータ関数の有理型性が直積のもとで保存されることを確立すること。
• 群作用をもつ多様体のゼータ関数の有理型性に関するトタロの結果について、初等的な方法による再証明を提供すること。
• 群作用をもつ多様体の文脈における指数可能なモチーフ的測度の理論を拡張すること。
• ギレット＝スールのモチーフ的測度およびその変種が、群作用をもつ設定において指数関数的に拡張可能であることを示すこと。

提案手法

• ゼータ関数写像 $\zeta_\mu(-;t): K_0\mathrm{Var}(k) \to W(R)$ が環準同型となるような測度を、指数可能なモチーフ的測度と定義する。
• 有理型関数のなす部分環 $W_{\mathrm{rat}}(R)$ を含むビッグ・ウィット環 $W(R)$ を用いて、ゼータ関数の有理型性を分析する。
• ウィット環 $W(R)$ の乗法的構造とテイコミュラー写像を用いて、直積のゼータ関数とそれらの積のゼータ関数との関係を確立する。
• 群作用をもつ Chow モチーフにおける自然な同型 $\mathfrak{h}^G(X) \oplus \mathfrak{h}^G(Y) \simeq \mathfrak{h}^G(X \times Y)$ を用いて、$G$-多様体への結果の拡張を図る。
• ハイノロートによる、群作用をもつ多様体のグロテンディーク環の、滑らかで射影的な $G$-多様体による表現を用いて、$\mu^{G}_{\mathrm{GS}}$ を定義する。
• 対称積の構造と群作用を用いて、$\zeta_{\mu^G}(X \times \mathbb{A}^n; t)$ が和と積の形に分解されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのモチーフ的測度が、ゼータ関数写像が環準同型となるような指数関数的構造をもつか？
• RQ2 指数可能なモチーフ的測度のもとで、二つの多様体のカプランォフのゼータ関数が有理型関数であれば、それらの直積に対しても有理型関数となるか？
• RQ3 群作用をもつ多様体のゼータ関数の有理型性に関するトタロの結果は、指数可能な測度を用いた初等的な方法によって再証明可能か？
• RQ4 群作用をもつ多様体の文脈において、指数可能なモチーフ的測度の理論はどのように拡張されるか？
• RQ5 ギレット＝スールのモチーフ的測度 $\mu_{\mathrm{GS}}$ は、群作用をもつ設定において指数関数的に拡張可能か？ また、他の測度へ因数分解可能か？

主な発見

• 任意の指数可能なモチーフ的測度に対して、カプランォフのゼータ関数の有理型性が直積のもとで保存される。
• 数え上げ測度 $\mu_{\#}$ は、ナウマンの結果と $W_{\mathrm{rat}}(R)$ の構造により、指数関数的に拡張可能であることが示された。
• ラーセン＝ランツの異方的測度 $\mu_{\mathrm{LL}}$ は、指数関数的に拡張可能ではない。これは、既知の有理型性の性質と矛盾するためである。
• ギレット＝スールのモチーフ的測度 $\mu_{\mathrm{GS}}$ は、群作用をもつ設定において $\mu^{G}_{\mathrm{GS}}$ として拡張可能であり、この拡張は指数関数的に拡張可能である。
• 代数閉体上で、特性が 0 あるいは $p \nmid |G|$ であるアーベル群作用をもつ多様体について、測度が指数関数的に拡張可能であれば、$X \times \mathbb{A}^n$ のゼータ関数は有理型関数である。
• 対称積の寄与を考慮した下で、$\zeta_{\mu^G}((X \times \mathbb{A}^n, \lambda \times \tau); t)$ について、$\zeta_{\mu^G}((X,\lambda); t)$ と $\mathbb{A}^n$ からの寄与の和と積を用いた明示的公式が導出された。