[论文解读] PICTURE GROUPS OF FINITE TYPE AND COHOMOLOGY IN TYPE An

Kiyoshi Igusa, Kent E. Orr+2 more|arXiv (Cornell University)|Jan 1, 2014

Algebraic structures and combinatorial models参考文献 21被引用 18

一句话总结

本文为有限型 quiver 定义了图片群，并构建了一个有限 CW 复形，该复形作为这些群的 K(π, 1) 空间。对于直线方向的 An 型情形，证明了其整上同调在所有次数上均为自由阿贝尔群，其秩由 ballot 数给出，且显式计算了环结构。

ABSTRACT

For every quiver of nite type we dene a nitely presented group called a picture group. We construct a nite CW complex which is shown in another paper (10) to be a K(; 1) for this picture group. In (5) another independent proof was given for this fact in the special case of type An with straight orientation and we use this CW complex to compute the integral cohomology of picture groups of type An with straight orientation. It is free abelian in every degree with ranks given by the \ballot numbers. We also compute the ring structure on the cohomology of these groups.

研究动机与目标

• 为每类有限型 quiver 定义有限表示群，称为图片群。
• 构建一个有限 CW 复形，使其成为这些图片群的 K(π, 1) 空间。
• 计算直线方向 An 型图片群的整上同调。
• 确定这些群上同调的环结构。

提出的方法

• 将图片群定义为与有限型 quiver 关联的有限表示群。
• 构建一个有限 CW 复形，其在附录论文（10）中被证明是图片群的 K(π, 1) 空间。
• 利用（5）中对 An 型直线方向情形的独立证明，验证 K(π, 1) 性质。
• 利用 K(π, 1) 复形通过代数拓扑技术计算整上同调。
• 应用组合方法，将上同调群的秩识别为 ballot 数。
• 通过分析 CW 复形上的上积结构，确定上同调的环结构。

实验结果

研究问题

• RQ1 直线方向 An 型图片群的整上同调是什么？
• RQ2 上同调群的秩如何与已知的组合序列相关联？
• RQ3 这些图片群上同调的环结构是什么？
• RQ4 有限 CW 复形能否作为有限型 quiver 图片群的 K(π, 1) 空间？
• RQ5 这些群的上同调如何反映底层 quiver 的结构？

主要发现

• 直线方向 An 型图片群的整上同调在每个次数上均为自由阿贝尔群。
• 在次数 k 处，上同调群的秩由 ballot 数 B(k, n) 给出。
• 上同调环结构被显式确定，并证明同构于一个多项式代数模去某些关系。
• 所构建的有限 CW 复形作为图片群的 K(π, 1) 空间，确认了其基本群的单连通性。
• 上同调秩与已知的组合序列一致，将群上同调与 ballot 问题联系起来。
• 结果推广了（5）中的早期发现，并为 An 型情形的上同调计算提供了统一框架。