[論文レビュー] The Grassmannian complex and Goncharov's motivic complex in weight 4

Herbert Gangl|arXiv (Cornell University)|Jan 24, 2018

Algebraic structures and combinatorial models参考文献 2被引用数 5

ひとこと要約

本稿は、$\mathbb{P}^3$ 内の8点のグラスマン多様体複体と、重み4におけるゴンチャロフのモチーフ的複体との間で部分的同型写像を構成し、複体内の4つの写像のうち3つを定義し、左端の写像の積分可能性を検証する。合成写像 $f_7(4) \circ d$ が $B_3(F) \otimes F^\times$ に値をとることを示し、$\bigwedge^2 B_2(F)$-成分が消えることを確認し、これが積分可能性条件を満たすことを証明する。これにより、重み4のハイパーログアーチテクチャを用いて表現可能であることが示され、全写像の明示的公式は未解決のまま残っている。

ABSTRACT

For a field $F$ and a given integer $n>1$, Goncharov has given a complex $Γ_F(n)$ which he calls motivic and which he expects to rationally compute the weight $n$ motivic cohomology of $ ext{Spec }F$, and hence its algebraic $K$-groups in Adams weight $n$, and he was also led to---conjecturally quasiisomorphic---`thickened' complexes thereof. These complexes involve tensor products of higher Bloch groups, the latter having been linked to the geometry of certain configurations in Goncharov's proof of Zagier's Polylogarithm Conjecture for weight 3, and an analogous picture has long been envisioned by Goncharov for higher weight as well. We provide a partial morphism in weight 4 by giving three out of four maps for configurations in general position.

研究の動機と目的

• 重み4におけるグラスマン多様体複体 $C_8(4)$ とゴンチャロフのモチーフ的複体 $\Gamma_F(4)$ の間の同型写像を確立すること。
• 複体図式内の4つの写像のうち3つを定義し、それらに対応する四角形の可換性を保証すること。
• 合成写像 $f_7(4) \circ d$ が $C_8(4)$ を $B_3(F) \otimes F^\times$ に写し、$\bigwedge^2 B_2(F)$-成分が消えることを確認すること。
• この合成写像が積分可能性条件を満たすことを検証し、重み4のハイパーログアーチテクチャを用いて表現可能であることを示すこと。
• モチーフ的コホモロジーを用いてザジエールの$L$-関数予想を証明するための完全な同型写像の構築に向けた基盤を築くこと。

提案手法

• $\mathrm{PGL}_4(F)$-作用による同値類をとった$\mathbb{P}^3(F)$ 内の8点の配置を用い、交代微分 $d$ を持つグラスマン多様体複体 $C_N(4)$ を定義する。
• ゴンチャロフの表記法を用い、交比、三重比、点配置の $4\times4$ 行列式を定義し、複体間の写像を構成する。
• 関数方程式と行列式の対称性を用いて、FE 2, FE 3, FE 4 などの関係を検証し、複体構造の整合性を保証する。
• ディログラーティック関数の五重関係式およびその一般化を用い、$B_2(F)$ および $B_3(F)$ 内の関係を分析し、特に交代および対称性操作の下での性質を検討する。
• ダン[2]の結果を用いて、重み4のハイパーログアーチテクチャを $Li_{3,1}$ と $Li_4$ の組み合わせに還元し、最近の研究[5]を応用して $I_{3,1}$ 項を $Li_4$ のみに還元する。
• 合成写像 $f_7(4) \circ d$ の積分可能性を、$\bigwedge^2 B_2(F)$-成分が消えることの証明により検証し、それがwell-definedなコホモロジー類から生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 重み4におけるグラスマン多様体複体 $C_8(4)$ からゴンチャロフのモチーフ的複体 $\Gamma_F(4)$ への同型写像を構成可能か？
• RQ2 複体図式内の4つの写像のうち3つが可換であり、交比および行列式を用いて明示的に定義可能か？
• RQ3 合成写像 $f_7(4) \circ d$ が $C_8(4)$ を $B_3(F) \otimes F^\times$ に写し、$\bigwedge^2 B_2(F)$-成分が消えるか？
• RQ4 写像 $f_7(4) \circ d$ が積分可能であるか、すなわち重み4のハイパーログアーチテクチャで表現可能か？
• RQ5 残りの第4の写像を定義し、特に一般配置に対して図式全体を可換にすることができるか？

主な発見

• 合成写像 $f_7(4) \circ d$ は $C_8(4)$ を $B_3(F) \otimes F^\times$ に写し、$\bigwedge^2 B_2(F)$-成分が消える。
• 写像 $f_7(4) \circ d$ は積分可能性条件を満たし、well-definedなコホモロジー類から生じ、重み4のハイパーログアーチテクチャで表現可能であることを示唆する。
• 積分可能性条件により、$C_8(4)$ の各元に対して重み4のハイパーログアーチテクチャの組み合わせを対応付けることができるが、明示的公式は未解決のまま残っている。
• 本稿では、複体図式内の4つの写像のうち3つが正しく定義されており、対応する四角形が可換であることが確認された。
• FE 3 および FE 4 は五重関係式および対称性の議論により証明され、複体構造の整合性が裏付けられた。
• 残りの写像、すなわちモチーフ写像を完成させ、重み3におけるゴンチャロフの三重比に類似する四重比を定義するものだが、一般配置に対してはまだ完全に構成されていない。