[论文解读] Polynomial Maps of Modules

Qimh Richey Xantcha|arXiv (Cornell University)|Dec 5, 2011

Rings, Modules, and Algebras参考文献 6被引用 4

一句话总结

本文将Eilenberg与Mac Lane的多项式映射自然推广至一般环上的模，引入了数值映射的概念，要求基环为二项式环（即对二项式系数封闭）。研究证明，次数为 $ n $ 的数值映射恰好是那些能唯一延拓为在二项式代数范畴上自然变换 $ M  \bigotimes_{\textbf{B}} - \to N \bigotimes_{\textbf{B}} - $ 的映射，从而统一了Eilenberg-Mac Lane与Roby关于多项式的概念。

ABSTRACT

The article focuses on three different notions of polynomiality for maps of modules. In addition to the polynomial maps studied by Eilenberg and Mac Lane and the strict polynomial maps ("lois polynomes") considered by Roby, we introduce numerical maps and investigate their properties. Even though our notion require the existence of binomial co-efficients in the base ring, we argue that it constitutes the correct way to extend Eilenberg and Mac Lane's polynomial maps of abelian groups to incorporate modules over more general rings. The main theorem propounds that our maps admit a description corresponding, word by word, to Roby's definition of strict polynomial maps.

研究动机与目标

• 为解决Eilenberg与Mac Lane的多项式映射在处理一般环上的数乘时的不足。
• 定义一种模块映射的多项式性概念，使其自然地包含数乘运算。
• 提出数值映射作为多项式映射在任意环上模的正确推广候选。
• 通过基于二项式代数的统一框架，整合Eilenberg-Mac Lane的弱多项式映射与Roby的严格多项式映射。

提出的方法

• 通过两个条件定义数值映射：$ (n+1) $-元偏差的消失性，以及数乘的二项式系数公式。
• 使用符号 $ x_1 \diamond \cdots \diamond x_{n+1} $ 表示映射的 $ (n+1) $-元偏差，推广差分算子的概念。
• 引入记号 $ \lozenge_k x $ 表示元素 $ x $ 的 $ k $-重自偏差，以支持递归的多项式结构。
• 利用自由二项式代数构造每种次数的数值映射的普遍构造。
• 证明数值映射恰好对应于范畴中函子 $ M \bigotimes_{\textbf{B}} - \to N \bigotimes_{\textbf{B}} - $ 的自然变换。
• 利用多项式性原理与自然性，证明数值映射在二项式代数上的延拓由其在基环上的取值唯一确定。

实验结果

研究问题

• RQ1 Eilenberg与Mac Lane的多项式映射概念能否自然地推广到非 $ \mathbb{Z} $ 的环上，特别是能自然地包含数乘运算？
• RQ2 为使模块映射的多项式性概念同时尊重加法与数乘，基环需要满足什么条件？
• RQ3 新提出的数值映射概念与Roby的严格多项式映射有何关系？能否实现统一？
• RQ4 是否存在数值映射的范畴化表征，即作为自然变换？若存在，是在哪类代数范畴上？
• RQ5 能否仅从数值映射在有限组合 $ a_1 u_1 + \cdots + a_k u_k $ 上的取值（系数属于基环）唯一重构出次数为 $ n $ 的数值映射？

主要发现

• 模映射 $ \varphi: M \to N $ 是次数为 $ n $ 的数值映射，当且仅当其满足两个定义条件：$ (n+1) $-元偏差消失，以及数乘的二项式系数公式成立。
• 对任意二项式代数 $ A $，映射 $ \varphi $ 均可唯一延拓为自然变换 $ \varphi_A: M \bigotimes_{\textbf{B}} A \to N \bigotimes_{\textbf{B}} A $，使其成为次数为 $ n $ 的 $ \mathfrak{BAlg} $-多项式映射。
• 映射 $ \varphi $ 在线性组合 $ a_1 u_1 + \cdots + a_k u_k $ 上的取值，由满足 $ \sum m_i \leq n $ 的多指标 $ (m_1, \dots, m_k) $ 的和给出，其中涉及二项式系数 $ \binom{a_i}{m_i} $ 与 $ u_i $ 的 $ m_i $-重自偏差的像。
• 展开式中的系数 $ v_{(m_1,\dots,m_k)} $ 唯一确定，且等于 $ \varphi(\lozenge_{m_1} u_1 \diamond \cdots \diamond \lozenge_{m_k} u_k) $，从而保证一致性。
• 在二项式代数上的延拓是良好定义且自然的，通过使用关于二项式多项式消失性的引理4验证其与张量关系的相容性。
• 该构造实现了完全统一：数值映射与 $ \mathfrak{BAlg} $-多项式映射是等价概念，后者是前者的范畴化实现。