[論文レビュー] Rationality of motivic zeta function and cut-and-paste problem

Michael Larsen, Valery A. Lunts|arXiv (Cornell University)|Oct 26, 2014

Analytic Number Theory Research参考文献 3被引用数 4

ひとこと要約

この論文は、複素数の曲面で幾何的 genus が 2 以上である場合、切り貼り問題に正の解が存在するならば、モチーフ的 zeta 関数は Lefschetz class 𝕃 を逆数にした後でも無理数のままであることを示している。Grothendieck 環を 𝕃 で局域化した上で、行列式条件を用い、幾何的 genus の被約的不変性と、順列の唯一の寄与に関する主張を組み合わせることで、切り貼り問題の解可能性を仮定した場合に矛盾を導き出し、したがって有理型の性質が成り立たないことを証明している。

ABSTRACT

Assuming the positive solution to the Cut-and-paste problem we prove that the motivic zeta function remains irrational after inverting L.

研究の動機と目的

• 局所化された Grothendieck 環 $ K_0[\mathcal{V}_\mathbb{F}][\mathbb{L}^{-1}] $ におけるモチーフ的 zeta 関数の有理型の性質を調査すること。特に、切り貼り問題との関係を明らかにすること。
• 切り貼り問題に正の解が存在すると仮定した場合、Lefschetz class $ \mathbb{L} $ を逆数にした後でも、モチーフ的 zeta 関数が有理型のままであるかどうかを特定すること。
• 幾何的 genus の被約的不変性と、対称冪の積における順列の唯一性を活用し、行列式的に有理型のモチーフ的 zeta 関数に対して矛盾を導くこと。
• 特に非負の Kodaira 次元をもつ曲面について、切り貼り問題とモチーフ的 zeta 関数の有理型の性質との関係を明確にすること。

提案手法

• モチーフ的 zeta 関数 $ \zeta_X(t) = \sum_{n=0}^\infty [\operatorname{Sym}^n X] t^n $ を、$ K_0[\mathcal{V}_\mathbb{C}][[t]] $ において定義し、その係数を多様体の Grothendieck 環にとる。
• 有理型のための行列式条件を用いる：あるべき級数が行列式的に有理型であるとは、十分大きな添え字について、特定の $ (n+1) \times (n+1) $ ハンケル行列式が消えることである。
• 切り貼り問題に正の解が存在すると仮定し、$ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ で同じ類をもつ任意の2つの多様体が、$ \mathbb{L} $ のあるべき乗をかけることで双有理的になることを利用する。
• LaLu1 からの主張を適用し、無限に多くの $ m $ に対して、$ X^{(m)} $ の積における幾何的 genus に寄与するのは唯一の恒等順列である。
• 幾何的 genus $ P_g $ が安定な双有理不変量であるという事実を用い、行列式の交代和に現れる項の幾何的 genus を比較する。
• 唯一の積 $ X^{(m)} \times X^{(m+2)} \times \cdots \times X^{(m+2n)} $ と同じ幾何的 genus をもつ項が1つだけ存在することを示し、これにより行列式が $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ で消えないことを導く。

実験結果

リサーチクエスチョン

• RQ1 複素数の曲面で $ P_g(X) \geq 2 $ である場合、$ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ におけるモチーフ的 zeta 関数は有理型のままであるか？
• RQ2 切り貼り問題に正の解が存在する場合、局所化された Grothendieck 環におけるモチーフ的 zeta 関数の有理型の性質にどのような影響を与えるか？
• RQ3 切り貼り問題が解けると仮定した場合、$ P_g(X) \geq 2 $ である曲面について、行列式的に有理型のモチーフ的 zeta 関数が存在しうるか？
• RQ4 曲面の対称冪の積における幾何的 genus $ P_g $ はどのように振る舞い、これにより Grothendieck 環における行列式条件にどのような含意が生じるか？
• RQ5 元の zeta 関数が点ごとの有理型でない場合でも、$ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ における $ \zeta_X(t) $ の有理型の性質に構造的な障害があるか？

主な発見

• 切り貼り問題に正の解が存在するならば、任意の複素数の曲面 $ X $ について、幾何的 genus が $ P_g(X) \geq 2 $ である場合、$ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ におけるモチーフ的 zeta 関数 $ \zeta_X(t) $ は行列式的に有理型ではない。
• $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ において、有理型のための行列式条件は満たされない。これは、対称冪の積の交代和が、唯一の幾何的 genus の寄与によって消滅しないことによる。
• 無限に多くの $ m $ に対して、積 $ X^{(m)} \times X^{(m+2)} \times \cdots \times X^{(m+2n)} $ の幾何的 genus に寄与するのは唯一の恒等順列であり、これにより行列式のキャンセルが不可能になる。
• 切り貼り問題の正の解の仮定により、行列式の和に現れる項は $ \mathbb{L} $ のべき乗をかけることで双有理的になるが、幾何的 genus の不一致は解消されない。
• この結果により、$ P_g(X) \geq 2 $ である曲面について、$ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ における $ \zeta_X(t) $ の有理型の性質は、切り貼り問題の正の解と両立しないことが示された。
• よって、切り貼り問題の仮定のもとでは、元の zeta 関数が点ごとの有理型でない場合でも、モチーフ的 zeta 関数は局所化された環において無理数のままである。