[论文解读] Adjoint and Frobenius Pairs of Functors, Equivalences, and the Picard Group for Corings

Mohssin Zarouali-Darkaoui|arXiv (Cornell University)|Mar 26, 2007

Advanced Algebra and Geometry被引用 3

一句话总结

本文建立了一套统一的框架，用于研究余代数上余模范畴之间伴随函子对与弗罗贝尼乌斯函子对，将余矩阵余代数构造推广至拟有限余模，并将佩克特群推广至余代数范畴。本文对分次模范畴中的弗罗贝尼乌斯诱导函子给出了刻画，并证明了一个关联自同构、核与分次余代数佩克特群的正合序列。

ABSTRACT

We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings.

研究动机与目标

• 研究余代数上余模范畴之间伴随函子对与弗罗贝尼乌斯函子对。
• 将余矩阵余代数构造推广至拟有限余模，并刻画余模范畴之间的等价关系。
• 将佩克特群从代数与余代数推广至余代数范畴，并建立其结构性质。
• 将结果应用于诱导函子、纠缠模与分次环论，获得新的具体刻画。
• 在单一余代数理论框架下统一弗罗贝尼乌斯扩张的环与余代数上的核心化函子。

提出的方法

• 引入（右）余代数上弗罗贝尼乌斯扩张的概念，推广了环的莫里塔定理与余代数的对偶结果。
• 利用余张量积函子与上同调函子分析余模范畴中的伴随函子对与弗罗贝尼乌斯函子对。
• 应用推广后的余矩阵余代数构造，通过拟有限余模刻画余模范畴之间的等价关系。
• 从分次余代数范畴构造一个忠实函子至复形的导出范畴，以关联自同构与佩克特群。
• 推导出一个涉及函子复合核与分次余代数佩克特群的正合序列。
• 利用双模同构与上同调条件刻画分次模范畴中的弗罗贝尼乌斯函子。

实验结果

研究问题

• RQ1 在G-集上分次模范畴之间，诱导函子何以成为弗罗贝尼乌斯函子？
• RQ2 何种条件可确保余代数的态射诱导其余模范畴之间形成弗罗贝尼乌斯函子对？
• RQ3 如何定义余代数的佩克特群？它从代数与余代数继承了何种性质？
• RQ4 由G-集与纠缠结构生成的分次余代数的佩克特群具有何种结构？
• RQ5 分次余代数的自同构如何与佩克特群中函子复合的核相关联？

主要发现

• 本文在单一余代数理论框架下，统一推广了环的弗罗贝尼乌斯扩张莫里塔定理与余代数的对偶结果。
• 本文刻画了G-集上分次模范畴中的弗罗贝尼乌斯诱导函子，给出了包含双模同构与拟有限性在内的必要且充分条件。
• 构造了如下正合序列：1 → Ker(Ω∘F∘G∘H) → Aut_k((G,X,A)) → Pic_k(gr-(A,X,G))，其中核由满足特定等变性与支集条件的可逆元描述。
• 推广后的余矩阵余代数构造给出了余模范畴之间等价关系的显式刻画，扩展了此前关于余矩阵余代数的结果。
• 证明了分次余代数 gr-(A,X,G) 的佩克特群同构于函子复合的像，其核通过可逆元上的方程组描述。
• 本文构造的 Pic_k(gr-(A,X,G)) 子群比 Beattie-Del Río 子群更简洁自然，提供了更清晰的代数描述。