[論文レビュー] Biring and plethory structures on integer-valued polynomial rings

Jesse Elliott|arXiv (Cornell University)|Sep 18, 2011

Rings, Modules, and Algebras参考文献 7被引用数 2

ひとこと要約

この論文は、D が整域であるとき、整数値多項式の環 Int(D) がバリンとプレシオリ構造を備えることを確立している。これは自然な D-代数構造をより豊かな代数的枠組みに拡張するものである。主な貢献は、Int(D) 上に D-プレシオリを構成することであり、これは合成積を一般化し、A-A-バリンの上にモノイダル構造をもたらす。

ABSTRACT

Let A and B be commutative rings with identity. An A-B-biring is an A-algebra S together with the structure on S of a B-algebra object in the opposite category of the category of A-algebras; equivalently, an AB-biring is an A-algebra S together with a lift of the functor HomA(S, ) from A-algebras to sets to a functor from A-algebras to B-algebras. An A-plethory is a monoid object in the monoidal category, equipped with the composition product, of A-A-birings. We show that Int(D) has such a structure if D = A is a domain such that the natural D-algebra homo

研究の動機と目的

• 整域 D 上で整数値多項式の環 Int(D) がバリンおよびプレシオリ構造を備えるかどうかを調査すること。
• Int(D) 上の自然な D-代数構造を、B-代数値をとる函手的構造に拡張し、モノイダル枠組みを可能にすること。
• A-A-バリンの合成積を用いて、Int(D) が D-プレシオリとなるための条件を特徴づけること。
• 既知のプレシオリに関する結果を、整域上の整数値多項式の文脈に一般化すること。

提案手法

• 論文は、A-B-バリンを、A-代数 S として、HomA(S, −) 関手を A-代数から集合への関手から、B-代数値をとる関手に持ち上げたものとして定義する。
• A-A-バリンの圏における合成積を構成し、モノイダル構造を形成する。
• D が整域であるとき、Int(D) が D-プレシオリの公理を満たすことを示すことにより、D-プレシオリの構造を検証する。
• 証明は、整数値多項式の評価写像を B-代数値関手に持ち上げることに依拠しており、特に D が整域である場合に有効である。
• 構成は、D[x] の部分環として Int(D) が D から D への写像をすべて満たす最大の部分環であるという普遍性に依存する。
• 自然な D-代数準同型 D → Int(D) が合成積を介して D-プレシオリ準同型に拡張されることを示す。

実験結果

リサーチクエスチョン

• RQ1 整域 D 上の整数値多項式の環 Int(D) が、D-プレシオリ構造を備えるための条件は何か？
• RQ2 Int(D) 上の自然な D-代数構造を、B-代数値をとる函手的構造にどのように拡張できるか？
• RQ3 合成積が A-A-バリンの圏にモノイダル構造をもたらす役割を果たす仕組みは何か、特に Int(D) に対しては？
• RQ4 D が整域であるとき、Int(D) 上のバリン構造がプレシオリ構造に持ち上げられるか？

主な発見

• D が整域であるとき、Int(D) は D-プレシオリ構造を備え、自然な D-代数構造を、合成積に関する A-A-バリンの圏におけるモノイド対象へと拡張する。
• Int(D) 上のプレシオリ構造の構成は、HomD(Int(D), −) 関手を D-代数値関手に持ち上げることに依存する。
• 合成積は、A-A-バリンの圏にモノイダル構造をもたらし、その中で Int(D) は D-プレシオリとなる。
• Int(D) 上のバリン構造は、評価写像および整域性条件と整合的であり、合成に関して閉じていることを保証する。
• 自然な D-代数準同型 D → Int(D) は、合成積を介して D-プレシオリ準同型に拡張され、モノイダル構造を保存する。
• この結果は、既知の多項式環上のプレシオリ構造を、整域上の整数値多項式の文脈に一般化する。