[論文レビュー] Grassmannian trilogarithms

A. B. Goncharov, Jianqiang Zhao|ArXiv.org|Nov 21, 2000

Advanced Mathematical Identities参考文献 8被引用数 9

ひとこと要約

本稿では、[G4]で提示された単純な非モチーフ的メソッドを用いてグラスマンニアン三対数関数を明示的に計算し、それがモチーフ的グラスマンニアン三対数関数と明示的に与えられた対数の積によって異なることを証明する。両者の構成法の間の明確な関係を確立し、[G4]の構成法のモチーフ的性質を解明するとともに、積分表現と組合せ的恒等式を用いてグラスマンニアン多対数関数の一般構造的性質を導出する。

ABSTRACT

Some time ago the first author suggested two different constructions of Grassmannian n-logarithms. One of them works for all n, but its motivic nature is hidden. The other is a motivic but so far available only for n=2,3,4. We derived some general results about the first construction of Grassmannian polylogarithms, and found an explicit relation between the two constructions of the Grassmannian trilogarithms.

研究の動機と目的

• 単純ではあるが明確なモチーフ的構造を示さない、[G4]で構成されたグラスマンニアン三対数関数を明示的に計算すること。
• この [G4] の構成法が、モチーフ的グラスマンニアン三対数関数と明示的に与えられた対数の積によって異なることを証明すること。
• 特に高重量の場合にあてはまる、グラスマンニアン多対数関数に関する一般構造的性質を導出すること。
• 2種類の異なるグラスマンニアン多対数関数の構成法、すなわち単純な [G4] 形式とモチーフ的 [G2,G3,G1] の構成法との関係を明確にすること。
• グラスマンニアン $n$-対数関数を、$\mathbb{C}P^{n-1}$ 上の対数形式の実部および虚部の形で表す明確な公式を確立すること。

提案手法

• 重み $n$ のグラスマンニアン $k$-形式の積分表現を用い、$\mathbb{C}P^{n-k-1}$ 上の $r_n$-形式を介して、対数形式と微分形式の交互和を含む。
• 係数 $c_{k,n} = \binom{n}{2k+1}/n!$ を用いた $r_n(f_1,\dots,f_n)$ の構成により、正しい微分性質 $dr_n = -\pi_n(d\log f_1 \wedge \cdots \wedge d\log f_n)$ を保証する。
• 微分形式の対称化とコサイクル条件の満たし方のため、交替和 $\mathrm{Alt}_n$ を用いる。
• グラスマンニアン $n$-対数関数の明示的公式を、$\mathbb{C}P^{n-1}$ 上での $\log|f_1| \wedge \bigwedge_{j=2}^{2n-1} d\log|f_j|$ の積分の定数倍として導出する。ここで定数因子は $((n-1)!)^2$ および $(2n-1)!$ を含む。
• 二項係数と形 $\int_0^1 (t^2 - 1)^{n-1} dt$ の積分を含む組合せ的恒等式を用いて、$r_n$-形式が標準項に与える寄与を評価する。
• 対称的積分として $\mathbb{C}P^{n-1}$ 上での $\log|f_1| \wedge \bigwedge d\log|f_j|$ の積分が添え字の置換に対して不変であることに依拠し、平均化により単一項に還元可能である。

実験結果

リサーチクエスチョン

• RQ1 [G4] で構成されたグラスマンニアン三対数関数は、モチーフ的グラスマンニアン三対数関数とどのように関係しているか？
• RQ2 [G4] の構成法は、$\mathbb{C}P^{n-1}$ 上の対数形式および微分形式を用いて明示的に表現可能か？
• RQ3 [G4] のグラスマンニアン $n$-対数関数とモチーフ的バージョンとの正確な差異は何か？
• RQ4 重み3を越えるグラスマンニアン多対数関数が満たす一般構造的性質は何か？
• RQ5 グラスマンニアン $n$-対数関数は、対数形式の実部および虚部の積分としてどのように表現可能か？

主な発見

• [G4] で得られたグラスマンニアン三対数関数が、モチーフ的グラスマンニアン三対数関数と明示的に与えられた対数の積によって異なることが示された。
• 本稿では、グラスマンニアン $n$-対数関数の新たな公式を導出し、$$ -\frac{(-2\pi i)^{1-n}}{(2n-1)!} \mathrm{Alt}_{2n-1} \int_{\mathbb{C}P^{n-1}} \mathrm{Re}\left\{ \log|f_1| \wedge \bigwedge_{j=2}^n d\log f_j \wedge \bigwedge_{j=n+1}^{2n-1} d\overline{\log f_j} \right\} $$ と表される。
• 標準項 $\int \log|f_1| \wedge \bigwedge_{j=2}^{2n-1} d\log|f_j|$ の係数は、$$ -\frac{(-4)^{n-1} ((n-1)!)^2}{(2\pi i)^{n-1} (2n-2)! (2n-1)!} $$ として計算され、モチーフ的構成と一致する正規化であることが判明した。
• $\log|f_1| \wedge \bigwedge_{j=2}^{2n-1} d\log|f_j|$ の積分は、交替和のおかげで添え字の置換に対して不変であり、対称的単一項への還元が可能である。
• 著者らは、$r_n$ の展開における係数 $b_{k,n-1}$ が標準項に与える寄与の総和が $$ \sum_{k=0}^{n-1} (-1)^{n-k} c_{k,2n-1} b_{k,n-1} = (-1)^n \frac{2^{2n-2} ((n-1)!)^2}{(2n-1)!} $$ であることを証明し、積分恒等式を用いて評価した。
• 最終的な公式は、$$ \frac{(-4)^{n-1} ((n-1)!)^2}{(2\pi i)^{n-1}(2n-2)!(2n-1)!} \mathrm{Alt}_{2n} \left\{ \int_{\mathbb{C}P^{n-1}} \log|l_0| \wedge \bigwedge_{j=1}^{2n-2} d\log|l_j| \right\} $$ と表され、正規化および対称性が明確に解明された。