[论文解读] Hochschild cohomology of Jacobian algebras from unpunctured surfaces: A geometric computation

Yadira Valdivieso-Díaz|arXiv (Cornell University)|Dec 2, 2015

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

一句话总结

本文通过三角剖分不变量（如内部三角形和边界类型）对来自未穿孔黎曼曲面的雅可比代数的霍赫希尔德上同调维数进行了几何计算。建立了以曲面拓扑表示的 dimₖ HHⁿ(Aₜ) 显式公式，表明仅当存在内部三角形时，非平凡的格伦斯坦哈伯代数结构才会出现，并证明仅凭霍赫希尔德上同调无法完全分类这些代数的导出等价类。

ABSTRACT

There are several examples in which algebraic properties of Jacobian algebras from (unpunctured) Riemann surfaces can be computed from the geometry of the Riemann surface. In this work, we compute the dimension of the Hochschild cohomology groups of any Jacobian algebra from unpunctured Riemann surfaces. In those expressions appear geometric objects of the triangulated surface, namely: the number of internal triangles and certain types of boundaries. Moreover, we give geometric conditions on the triangulated surface $(S,M,\mathbb T)$ such that the Gerstenhaber algebra $\operatorname{HH}^*(A_{\mathbb T})$ has non-trivial multiplicative structures. We also show that the derived class of Jacobian algebras from an unpunctured surface $(S,M)$ is not always completely determined by the Hochschild cohomology.

研究动机与目标

• 计算与未穿孔黎曼曲面相关的雅可比代数的霍赫希尔德上同调群维数。
• 以三角剖分曲面的几何不变量（如内部三角形和边界类型）表达这些维数。
• 确定雅可比代数 HH*(Aₜ) 上的格伦斯坦哈伯代数结构为非平凡的几何条件。
• 研究霍赫希尔德上同调是否足以完全分类这些代数的导出等价类。

提出的方法

• 利用 Redondo 与 Román 已知的优美代数的霍赫希尔德上同调公式。
• 将三角剖分曲面上的箭图与势数据转化为几何不变量：内部三角形、类型 0 和类型 1 的边界，以及标记点。
• 利用曲面的拓扑不变量（亏格 g、边界分量数 b、标记点数 c）计算箭图中顶点与箭头的数量。
• 根据域 k 的特征，推导出 HHⁿ(Aₜ) 的维数公式，区分 char k ≠ 2 与 char k = 2 的情况。
• 当霍赫希尔德上同调失效时，应用 AG-不变量来区分导出等价类。
• 在具有两个边界分量的环面上构造显式反例，证明 HH* 无法确定导出类。

实验结果

研究问题

• RQ1 雅可比代数在未穿孔曲面上的霍赫希尔德上同调群 HHⁿ(Aₜ) 的维数在几何上如何表达？
• RQ2 在何种几何条件下，HH*(Aₜ) 上的格伦斯坦哈伯代数结构为非平凡？
• RQ3 霍赫希尔德上同调是否足以确定未穿孔曲面上雅可比代数的导出等价类？
• RQ4 上同调维数在特征不为 2 的域下，特别是当 n ≥ 2 时，如何依赖于域的特征？
• RQ5 是否存在超越霍赫希尔德上同调的几何不变量，可用于区分此情境下的导出等价类？

主要发现

• HH⁰(Aₜ) 的维数为 1 加上类型 0 边界分量的数量。
• HH¹(Aₜ) 的维数为 1 加上类型 1 边界分量的数量，再加上箭图中箭头数减去顶点数。
• 当 char k ≠ 2 且 n ≥ 2 时，dimₖ HHⁿ(Aₜ) 为 |int(𝕋)|（若 n ≡ 0 或 1 mod 6），否则为 0。
• 当 char k = 2 且 n ≥ 2 时，dimₖ HHⁿ(Aₜ) 为 |int(𝕋)|（若 n ≡ 0 或 1 mod 3），否则为 0。
• HH*(Aₜ) 中的上积非平凡，当且仅当三角剖分中至少包含一个内部三角形。
• 雅可比代数的导出类并非完全由霍赫希尔德上同调决定，反例表明 HH* 同构但 AG-不变量不同。