[论文解读] Relative DGA and mixed elliptic motives

Kenichiro Kimura, Tomohide Terasoma|arXiv (Cornell University)|Oct 19, 2010

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文通过椭圆动机相关微分分次代数（DGA）的相对bar构造构建了一个Hopf代数，证明了其余模范畴实现了混合椭圆动机的范畴。它建立了虚拟混合椭圆动机的DG范畴与bar余模范畴之间的同伦等价，通过在Tate模对称幂上的余模结构，实现了椭圆polylogarithm的动机化实现。

ABSTRACT

Bloch and Kriz construct an abelian category of mixed Tate motives as the category of comodules over a Hopf algebra obtained by the bar construction of the DGA of cycle complexes. In this paper we generalize their construction to give the definition of a category of mixed elliptic motives, i.e. a Tannakian category of mixed motives generated by an elliptic curve. We introduce the notion of a relative DGA over a reductive group. Then the category of mixed elliptic motives is defined as the category of comodules over the relative bar construction of a certain DGA $A_{EM}$ which is constructed from cycle complexes. The elliptic polylogarithm of Beilinson-Levin gives an interesting object in this category.

研究动机与目标

• 通过相对微分分次代数与bar构造，构建混合椭圆动机的动机实现。
• 建立虚拟混合椭圆动机的DG范畴与由bar复形导出的Hopf代数余模范畴之间的同伦等价。
• 通过Tate模对称幂上的余模结构，为椭圆polylogarithm提供动机解释，将其视为混合椭圆动机。
• 通过相对DGA与单纯bar复形，将Bloch-Kriz对混合Tate动机的构造推广至椭圆情形。

提出的方法

• 定义相对于半单群 $ S(\bk) $ 的相对DGA $ A/\theta $，以建模椭圆曲线的单值表示。
• 构造相对bar复形 $ Bar(A/\theta, \rho) $ 及其单纯变体 $ Bar_{simp}(A/\theta, \rho) $，并证明二者同调等价。
• 将虚拟混合椭圆动机的DG范畴 $ (VMEM) $ 定义为小DG范畴 $ \fC_{VEM} $ 上的DG复形范畴。
• 通过函子 $ \fphi $，在 $ K(\fC_{VEM}) $ 与 $ Bar(\fC_{VEM}) $-余模范畴之间建立同伦等价。
• 利用相对bar构造定义Hopf代数 $ H^0(Bar(\fC_{VEM})) $，其余模范畴在猜想上与混合椭圆动机的阿贝尔范畴等价。
• 通过在 $ \bigoplus_{i=-1}^n S^i(V)(i) $ 上的余模结构，将椭圆polylogarithm实现为混合椭圆动机，给出涉及 $ pl_i $ 与 $ i_s $ 的显式coproduct公式。

实验结果

研究问题

• RQ1 能否通过相对bar复形构造的Hopf代数，将混合椭圆动机的范畴实现为余模范畴？
• RQ2 与椭圆曲线单值表示相关的DGA的相对bar构造如何与动机结构相关联？
• RQ3 椭圆polylogarithm是否自然地作为Hopf代数余模实现为混合椭圆动机？
• RQ4 在对称幂 $ S^i(V)(i) $ 上，实现polylogarithm扩张数据的精确余模结构是什么？
• RQ5 能否通过相对DGA与单纯bar复形，将Bloch-Kriz对混合Tate动机的构造推广至椭圆情形？

主要发现

• 单纯bar复形 $ Bar_{simp}(A/\theta, \rho) $ 同调等价于标准相对bar复形 $ Bar(A/\theta, \rho) $，确保了同伦一致性。
• 虚拟混合椭圆动机的DG范畴 $ (VMEM) $ 同伦等价于 $ Bar(\fC_{VEM}) $-余模的DG范畴，建立了导出等价性。
• 在函子 $ \fphi $ 下，polylog动机 $ Pl_{MEM,n} $ 对应于 $ H^0(Bar) $-余模 $ Pl_n $，其分量为 $ Pl_n^i = S^i(V)(i) $（$ 0 \to n $），且 $ Pl_n^{-1} = V $。
• 在 $ \fphi(Pl_{MEM,n}) $ 上的coproduct结构通过涉及 $ pl_u $、$ i_s $ 与 $ \rho $ 的分量显式给出，其中 $ a_{ij} $ 通过张量积与符号编码余模作用。
• polylog类 $ \tilde{P}_n $ 的闭性对应关系 $ \nabla(pl_i) + (-1)^i i_s(pl_{i-1}) = 0 $，确保与复形微分的一致性。
• 椭圆polylogarithm类 $ P_n $ 被识别为对角循环在范数映射下的像，其上同调类对应于 $ CH^1(U \times (U_B^1)_s, 0)_{-,sgn}^{(1)} \to \bbQ\Delta $ 中的生成元。