[論文レビュー] Quantum field theory over F_q

Oliver Schnetz|arXiv (Cornell University)|Sep 4, 2009

Algebraic structures and combinatorial models参考文献 15被引用数 27

ひとこと要約

この論文は、有限体 𝔽_q 上での量子場理論を、グラフハイパーサーフェスの射影的補集合における 𝔽_q-点の数を分析することで調査する。Kontsevichの予想（この数が常に q に関する多項式である）が、14本の辺を持つグラフで初めて成立しなくなることを示している。著者らは φ⁴理論において6つの反例を同定し、そのうち5つは 𝔽_q に2次元または立方根の単位元が存在するかどうかに依存する非多項式的挙動を示し、残りの1つは16本の辺を持つ新しいクラスで、特異な K3 表面を含むものであり、混合-Tate型でないモチーフを示唆している。𝔽_q 上では、摂動的アモリチュードは、見かけ上収束する場合にのみ非ゼロとなり、 renormalizable および non-renormalizable 理論では級数が終結するが、super-renormalizable 理論では無限級数を生じる可能性がある。

ABSTRACT

We consider the number \bar N(q) of points in the projective complement of graph hypersurfaces over \F_q and show that the smallest graphs with non-polynomial \bar N(q) have 14 edges. We give six examples which fall into two classes. One class has an exceptional prime 2 whereas in the other class \bar N(q) depends on the number of cube roots of unity in \F_q. At graphs with 16 edges we find examples where \bar N(q) is given by a polynomial in q plus q^2 times the number of points in the projective complement of a singular K3 in ¶^3. In the second part of the paper we show that applying momentum space Feynman-rules over \F_q lets the perturbation series terminate for renormalizable and non-renormalizable bosonic quantum field theories.

研究の動機と目的

• グラフハイパーサーフェスの射影的補集合における 𝔽_q-点の数が q に関して多項式であるかどうかを、Kontsevichの予想の妥当性を検証すること。
• 特に物理的に関連の深い理論（例：φ⁴理論）において、この数が非多項式となる最小のグラフを同定すること。
• 特に混合-Tate型でない場合に、有限体上でのグラフハイパーサーフェスのモチーフの構造を調査すること。
• フェルミン積分を有限体上の和に置き換えることで、𝔽_q 上での摂動的量子場理論を定義し、アモリチュードの挙動を分析すること。
• この有限体設定において、摂動級数が終結するか発散するかの条件を特定すること。

提案手法

• 代数的幾何の道具を用いて、結果を K₀(Var_k) のグロテンディーク環に持ち上げ、グラフハイパーサーフェスのモチーフ的解析を可能にする。
• Prop. 2.5 および Thm. 2.9 の適用により、グロテンディーク環におけるグラフハイパーサーフェスの類を計算し、非混合-Tate成分を明らかにする。
• 還元アルゴリズムと有限体上の数え上げを用いて、グラフハイパーサーフェスの射影的補集合における 𝔽_q-点の数を計算する。
• フェファイン積分における実積分を、𝔽_q^{dh₁} 上の和に置き換え、被積分関数を 𝔽_q-値関数と解釈する。
• 恒等式 ∑_{x∈𝔽_q} x^k = -1（k ≡ 0 mod (q−1) のとき）、それ以外は 0 である、という性質を用いて、多項式の和の消滅を分析する。
• 表面的発散度 c = dh₁ − 2n を分析し、𝔽_q 上でのアモリチュードが消えるか残るかを決定する。

実験結果

リサーチクエスチョン

• RQ1 グラフハイパーサーフェスの射影的補集合における 𝔽_q-点の数が q に関して多項式でない場合、最小の辺数は何か？
• RQ2 N̄(q) の非多項式的挙動は、𝔽_q の算術的性質（例：立方根の単位元の存在、または素数2）とどのように関係しているか？
• RQ3 有限体 𝔽_q 上でのグラフハイパーサーフェスのモチーブが混合-Tate型でない可能性はあるか？ これはグラフの周期にどのような意味を持つのか？
• RQ4 𝔽_q 上での摂動的量子場理論が、どのような条件下で終結する級数を生じるか？
• RQ5 表面的発散度が、𝔽_q 上でのアモリチュードが消えるかどうかを決定する上で果たす役割は何か？

主な発見

• Kontsevichの予想に対する最初の反例は14本の辺で発生し、φ⁴理論における6つのグラフで N̄(q) が q に関して多項式でないことが判明した。
• 6つの反例のうち5つは、q が2のべきであるかどうかに依存する非多項式的挙動を示し、最小に異なる2つの多項式 P₂(q) と P≠₂(q) が現れる。
• 1つの14本の辺を持つグラフでは、q mod 3 に依存し、q ≡ −1, 0, 1 (mod 3) のそれぞれに対して異なる3つの多項式 N̄(q) = P_i(q)（i = −1, 0, 1）が現れる。
• 16本の辺では、新しい種類の反例が出現し、N̄(q) = P(q) + q² × N̄_K3(q) と表される。ここで N̄_K3(q) は、ℙ³ 内の特異な K3 表面の補集合における点の数を数える。
• 1つの16本の辺を持つグラフについて、そのグラフハイパーサーフェスのモチーブは [X] = ℒ¹⁴ + ℒ¹³ + 4ℒ¹² + 16ℒ¹¹ − 8ℒ¹⁰ − 106ℒ⁹ + 263ℒ⁸ − 336ℒ⁷ + 316ℒ⁶ − 199ℒ⁵ + 45ℒ⁴ + 19ℒ³ + [F]ℒ² + ℒ + 1 と表され、[F] は特異な K3 表面の類である。
• 𝔽_q 上では、摂動的アモリチュード A(Γ)_𝔽_q は、表面的発散度 c < 0 でない限り消える。これにより、renormalizable および non-renormalizable 理論では級数が終結するが、super-renormalizable 理論では無限級数を生じる可能性がある。