2025-11-10T02:50:09.908796

Measuring Comodules and Enrichment

Hyland, Franco, Vasilakopoulou

This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), originally introduced for modules over k-algebras when k is a field, to arbitrary braided monoidal categories. In order to establish its existence, we prove a representability theorem for presheaves on opfibred categories and an adjoint functor theorem for opfibred functors. The global categories of modules and comodules, fibred and opfibred over monoids and comonoids respectively, are shown to exhibit an enrichment of modules in comodules. Additionally, we use our framework to study higher derivations of algebras and modules, defining along the way the non-commutative Hasse-Schmidt algebra.

academic

Measuring Comodules and Enrichment

基本信息

论文ID: 1703.10137
标题: Measuring Comodules and Enrichment
作者: Martin Hyland, Ignacio López Franco, Christina Vasilakopoulou
分类: math.CT (范畴论), math.QA (量子代数)
发表时间: 2017年3月 (arXiv预印本)
论文链接: https://arxiv.org/abs/1703.10137

摘要

本文将通用测量余幺半群的理论扩展到编织幺半范畴中的模和余模。作者将最初为k是域时k-代数上模引入的通用测量余模Q(M,N)推广到任意编织幺半范畴。为了建立其存在性，证明了op纤维范畴上预层的可表示性定理和op纤维函子的伴随函子定理。分别在幺半群和余幺半群上纤维化和op纤维化的模和余模的全局范畴被证明展现了模在余模中的丰富化结构。此外，作者使用该框架研究代数和模的高阶导数，并定义了非交换Hasse-Schmidt代数。

研究背景与动机

核心问题: 本研究旨在将Sweedler对偶和测量余幺半群的经典理论从向量空间上的代数推广到一般的编织幺半范畴中的模和余模。
问题重要性:
- 测量余幺半群在代数几何、量子群论和Hopf代数理论中起着核心作用
- 它们提供了研究代数结构之间相互作用的强有力工具
- 在连接、环代数和表示论等领域有重要应用
现有方法局限性:
- 之前的工作主要局限于域上的向量空间
- 缺乏在一般范畴论框架下的系统性处理
- 模和余模的丰富化结构尚未被充分理解
研究动机:
- 建立更一般的范畴论框架来统一处理测量结构
- 利用纤维范畴理论来理解全局模和余模范畴的结构
- 为高阶导数理论提供新的范畴论视角

核心贡献

推广了通用测量余模: 将Q(M,N)从域上向量空间推广到任意编织幺半范畴中
建立了纤维范畴理论: 证明了op纤维范畴上的可表示性定理和伴随函子定理
构建了丰富化结构: 证明了模的全局范畴在余模的全局范畴中是丰富的
定义了非交换Hasse-Schmidt代数: 为高阶导数提供了新的代数结构
统一了导数理论: 将普通导数和高阶导数纳入统一的测量框架

方法详解

任务定义

本文研究编织幺半范畴V中的以下核心对象：

输入: 模MA和NB (分别是A-模和B-模)
输出: 通用测量余模Q(M,N)，满足自然同构
```
Comod(V)(X,Q(M,N)) ≅ Mod(V)(M, [X,N])
```
约束: V必须是局部可表示的编织幺半封闭范畴

模型架构

1. 全局范畴构造

模的全局范畴Mod(V): 对象为所有右A-模MA，态射为(p,f): MA → NB
余模的全局范畴Comod(V): 对象为所有右C-余模XC，态射为(k,g): XC → YD
纤维结构: V: Mod(V) → Mon(V)是分裂纤维化，U: Comod(V) → Comon(V)是分裂op纤维化

2. 测量结构

对于测量余模，定义模测量态射(φ,ψ)需满足交换图：

M ⊗ A ⊗ X → M ⊗ X ⊗ A ⊗ C → M ⊗ X
     ↓              ↓              ↓
     N              N ⊗ B          N

3. 通用性质

通用测量余模Q(M,N)作为函子Mod(V)(M,−,N): Comodop(V) → Set的表示对象。

技术创新点

纤维伴随理论: 发展了op纤维1-胞腔的伴随函子理论，特别是定理3.3和推论3.4
可表示性刻画: 引理3.1给出了op纤维范畴上预层可表示性的完整刻画
丰富化构造: 利用作用理论(定理2.5-2.6)建立了模在余模中的丰富化
测量的范畴化: 将经典的测量概念系统地推广到范畴论框架

实验设置

理论验证

本文主要是理论工作，通过以下方式验证结果：

经典情形恢复: 证明当V为向量空间范畴时，新定义回到Batchelor的经典定义
具体例子:
- 导数的测量表示 (例2.11)
- 模导数与测量余模的对应 (例5.3)
- Hasse-Schmidt代数的构造 (第8节)

关键定理验证

存在性定理: 命题5.5证明了通用测量余模的存在性
丰富化定理: 定理6.2建立了模范畴的余模丰富化
应用验证: 第8节通过高阶导数理论验证了框架的有效性

实验结果

主要结果

通用测量余模存在性 (命题5.5): 在局部可表示编织幺半封闭范畴中，存在伴随对：
```
[−,NB]op ⊣ Q(−,NB): Comod → Modop
```
丰富化结构 (定理6.2): Mod是对称幺半Comod-丰富范畴，具有：
- hom-对象: Mod(MA,NB) = Q(M,N)P(A,B)
- 余张量积: [X,N]C,B
导数分类 (命题8.10): 建立了自然双射：
```
MDermk(MA,NB) ≅ Comod(Cm,Q(MA,NB))
```