[論文レビュー] A double integral of dlog forms which is not polylogarithmic

Francis H. Brown, Claude Duhr|arXiv (Cornell University)|Jun 16, 2020

Black Holes and Theoretical Physics被引用数 6

ひとこと要約

本稿では、カスプ形式の周期に等しい二重反復積分を、dlog形式の積分として提示し、それが多重多ログスの形で表現できないことを示している。射影平面ℙ²におけるモジュラー楕円曲線とそのねじれ点で交わる直線の幾何的配置を用いて、この積分のモチビック版が、代数的引数におけるすべての多重多ログスと代数的に独立であることを示しており、量子場理論における「すべての反復積分は多ログスで表現可能」という一般的な信念に挑戦している。

ABSTRACT

Feynman integrals are central to all calculations in perturbative Quantum Field Theory. They often give rise to iterated integrals of dlog-forms with algebraic arguments, which in many cases can be evaluated in terms of multiple polylogarithms. This has led to certain folklore beliefs in the community stating that all such integrals evaluate to polylogarithms. Here we discuss a concrete example of a double iterated integral of two dlog-forms that evaluates to a period of a cusp form. The motivic versions of these integrals are shown to be algebraically independent from all multiple polylogarithms evaluated at algebraic arguments. From a mathematical perspective, we study a mixed elliptic Hodge structure arising from a simple geometric configuration in $\mathbb{P}^2$, consisting of a modular plane elliptic curve and a set of lines which meet it at torsion points, which may provide an interesting worked example from the point of view of periods, extensions of motives, and L-functions.

研究の動機と目的

• 量子場理論における、すべてのdlog形式の反復積分が多重多ログスに等しいという広く信じられている信念に反論すること。
• 多重多ログスで表現できないdlog形式の二重反復積分の明示的例を構成すること。
• この積分のモチビック版が、代数的引数におけるすべての多重多ログスと代数的に独立であることを示すこと。
• モジュラー楕円曲線とそのねじれ点で交わる直線の配置から生じる混合楕円ホッジ構造を研究すること。
• フェニマン積分の文脈において、周期、モチーフ、L関数の具体例を提示すること。

提案手法

• モジュラー楕円曲線E_kと12本の直線がねじれ点で交わるℙ²内の幾何的設定を構築する。
• 直線と曲線の補集合内の経路に沿ったdlog形式の二重反復積分を定義する。
• 上半平面へのモジュラーパラメトライゼーションφ: Γ(6)\ℋ → E\Cを用いて微分形式を上半平面におけるモジュラー形式に引き戻す。
• 各dlog形式の引き戻しを、重さ2のイーゼンスタイン級数とΓ(6)に関する重さ2のカスプ形式f(τ)の線形結合として表現する。
• モジュラー形式の積分を通じて反復積分を計算し、それがカスプ形式f(τ)の周期に一致することを示す。
• モチービックガロア理論と超越性の結果を用いて、この積分のモチビック版がすべての多重多ログスと代数的に独立であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 dlog形式の二重反復積分で、多重多ログスで表現できないものを作成できるか？
• RQ2 このような積分のモチビック版は、代数的引数におけるすべての多重多ログスと代数的に独立か？
• RQ3 カスプ形式の周期を返すフェニマン積分が、多ログスではなく、背後にある幾何的・算術的構造は何か？
• RQ4 ℙ²における楕円曲線とそのねじれ点で交わる直線の配置から、混合楕円ホッジ構造はどのように生じるか？
• RQ5 モジュラーパラメトライゼーションは、dlog形式を積分に適したモジュラー形式に変換するために果たす役割は何か？

主な発見

• 二つのdlog形式の二重反復積分は、Γ(6)に関する重さ2のカスプ形式f(τ)の周期に等しい。
• この積分のモチビック版は、代数的引数におけるすべての多重多ログスと代数的に独立であり、多ログスフレームワークの外にあることを証明した。
• モジュラーパラメトライゼーションφによる各dlog形式の引き戻しは、重さ2のイーゼンスタイン級数とカスプ形式f(τ)の線形結合として表現され、明示的なq級数係数が得られた。
• 正規化されたカスプ形式f(τ)は、正則微分−3dx/yを引き戻すことによって確認され、周期のモジュラー性が裏付けられた。
• 対数微分形式は、イーゼンスタイン級数とf(τ)の組み合わせに引き戻され、f(τ)の係数にπ²が現れ、多ログス構造を超える超越的寄与が示された。
• この構成全体が、多ログス的でない周期を生成し、すべてのこのような積分が多ログス的であるという伝統的信念に対する反例を提供した。