[论文解读] Finite dual of a cocommutative Hopf algebroid

Laiachi El Kaoutit, José Gómez-Torrecillas|arXiv (Cornell University)|Jul 26, 2016

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

一句话总结

本文引入了一个有限对偶函子，将余交换的霍普夫代数丛映射为交换的霍普夫代数丛，建立了戴克林域上李-里内哈特代数的表示理论与基环谱上的仿射群丛之间的等价关系。关键结果表明，此类表示等价于某个仿射群丛的表示，通过复仿射直线上的可迁李代数丛（向量场）予以说明。

ABSTRACT

We construct a contravariant functor (\emph{the finite dual functor}) from the category of co-commutative Hopf algebroids to the category of commutative Hopf algebroids. Using this functor, we then show that the representation theory of a given Lie-Rinehart algebra $(A,L)$ with $A$ is a Dedekind domain, is the 'same' as the representation theory of an affine groupoid over the spectrum of $A$. In particular, this applies to the global sections of any Lie algebroid over an irreducible smooth curve over an algebraically closed field. To illustrate our methods, we give a detailed application to the transitive Lie algebroid of vector fields over the complex affine line $\mathbb{A}^{\scriptscriptstyle{1}}_{\scriptscriptstyle{\mathbb{C}}}$, which involves the theory of differential modules.

研究动机与目标

• 通过有限对偶构造，建立从余交换霍普夫代数丛到交换霍普夫代数丛的反变函子。
• 将戴克林域上李-里内哈特代数的表示理论与仿射群丛的表示理论联系起来。
• 在代数闭域上不可约光滑曲线上的李代数丛整体截面的背景下，展示这种等价性。
• 将该框架应用于复仿射直线 $\mathbb{A}^1_{\mathbb{C}}$ 上的可迁李代数丛（向量场），借助微分模理论进行分析。

提出的方法

• 将有限对偶函子构造为从余交换霍普夫代数丛到交换霍普夫代数丛的反变赋值。
• 将有限对偶构造应用于李-里内哈特代数的普遍包络代数，其中 $A$ 为戴克林域。
• 利用有限对偶诱导的范畴等价，将李-里内哈特代数的表示与 $\operatorname{Spec}(A)$ 上的仿射群丛的表示联系起来。
• 将 $\mathbb{A}^1_{\mathbb{C}}$ 上的可迁李代数丛（向量场）作为具体例子进行分析，将其表示与微分模联系起来。
• 运用代数几何与模理论的技术，验证仿射直线情形下的等价性。
• 依赖霍普夫代数丛的结构以及戴克林域的性质，确保对偶性成立。

实验结果

研究问题

• RQ1 如何构造有限对偶函子，使其将余交换霍普夫代数丛映射为交换霍普夫代数丛？
• RQ2 在何种条件下，李-里内哈特代数的表示理论与仿射群丛的表示理论一致？
• RQ3 在戴克林域上，李-里内哈特代数的表示与该域谱上仿射群丛的表示之间，精确的范畴等价关系为何？
• RQ4 在复仿射直线 $\mathbb{A}^1_{\mathbb{C}}$ 的可迁李代数丛情形下，有限对偶函子的行为如何？
• RQ5 微分模以何种方式编码复仿射直线上李代数丛的表示理论？

主要发现

• 有限对偶函子在余交换霍普夫代数丛范畴与交换霍普夫代数丛范畴之间提供了反变等价。
• 对于戴克林域 $A$ 上的李-里内哈特代数 $(A,L)$，其表示在范畴上等价于 $\operatorname{Spec}(A)$ 上某个仿射群丛的表示。
• 该构造普遍适用于代数闭域上不可约光滑曲线上李代数丛的整体截面。
• 在复仿射直线 $\mathbb{A}^1_{\mathbb{C}}$ 的情形下，向量场的可迁李代数丛的表示理论等价于某个特定仿射群丛的表示理论。
• $\mathbb{C}[x]$ 上的微分模理论为该等价性在仿射直线情形下提供了明确实现。
• 有限对偶构造保持了关键结构属性，使得表示论数据可在两个对偶范畴之间顺利转移。