[论文解读] On 2-Dimensional Dijkgraaf-Witten Theory with Defects

Aria L. Doughterty, Hwajin Park+1 more|arXiv (Cornell University)|Jul 3, 2015

Black Holes and Theoretical Physics参考文献 5被引用 3

一句话总结

本文通过引入类似旗的三角剖分条件和缺陷边的第二个规范群，构建了二维 Dijkgraaf-Witten 理论在余维数为1的缺陷下的态和拓扑量子场论。关键贡献是通过三个群（H, X, G）上的扭曲上循环，为带有曲线的曲面定义了一个拓扑不变量，将未扭曲的 Dijkgraaf-Witten 不变量推广至包含缺陷上内禀自由度的情形。

ABSTRACT

In this paper, we provide a construction of a state-sum model for finite gauge-group Dijkgraaf-Witten theory on surfaces with codimension 1 defects. The construction requires not only that the triangulation be subordinate to the filtration, but flag-like: each simplex of the triangulation is either disjoint from the defect curve, or intersects it in a closed face. The construction allows internal degrees of freedom in the defect curves by introducing a second gauge-group from which edges of the curve are labeled in the state-sum construction. Edges incident with the defect, but not lying in it, have states lying in a set with commuting actions of the two gauge-groups. We determine the appropriate generalizations of the 2-cocycles specifying twistings of defect-free 2D Dijkgraaf-Witten theory. Examples arising by restriction of group 2-cocycles, and constructed from characters of the 2-dimensional guage group are presented. This research was carried out at Summer Undergraduate Mathematics Research (SUMaR) math REU at Kansas State University, funded by NSF under DMS award #1262877.

研究动机与目标

• 将二维 Dijkgraaf-Witten 理论扩展至包含曲面上余维数为1的缺陷（曲线）。
• 定义一个态和模型，通过第二个规范群纳入缺陷曲线上内禀自由度。
• 将未扭曲 Dijkgraaf-Witten 不变量的2-上循环扭曲推广至容纳缺陷结构。
• 确保在类似旗的三角剖分变换下保持拓扑不变性，从而为嵌入曲线的曲面建立明确定义的不变量。

提出的方法

• 引入类似旗的三角剖分，其中每个2-单形与缺陷曲线的交为一个面或不相交，以确保与缺陷结构的相容性。
• 为三个群分配标签：H（缺陷边）、X（关联边）和G（体区边），其态在H与G的交换作用下变换。
• 通过三个由群2-上循环导出的函数α, β, γ定义态和不变量，满足一致性要求的广义上循环条件（1）–（4）。
• 对标签施加可容许性条件，使得所有单形上局部态值的乘积构成一个拓扑不变量。
• 利用类似旗的亚历山大移动和扩展的帕奇纳移动证明在三角剖分变换下的不变性，确保拓扑鲁棒性。
• 通过全局2-上循环在更大群Γ上的限制，以及通过规范群的特征标构造示例，展示非平凡的初始数据。

实验结果

研究问题

• RQ1 如何将二维 Dijkgraaf-Witten 理论扩展至包含内禀自由度的余维数为1的缺陷？
• RQ2 扭曲上循环α, β, γ必须满足何种条件，以确保在三角剖分变换下的不变性？
• RQ3 能否通过群的特征标或受限上循环构造态和模型的非平凡初始数据？
• RQ4 类似旗的三角剖分条件如何确保与缺陷结构的相容性及拓扑不变性？
• RQ5 三个群H, X, G在编码缺陷与体区规范对称性中分别起什么作用？

主要发现

• 态和不变量Z(Σ, C)与类似旗三角剖分的选择无关，确立了嵌入曲线曲面的拓扑不变量。
• 该构造通过为缺陷边引入第二个规范群H，并为关联边引入在H×G作用下交换的集合X，推广了未扭曲的 Dijkgraaf-Witten 不变量。
• 广义上循环条件（1）–（4）确保了态和的一致性，其中（1）–（3）退化为2-上循环条件，（4）确保在群作用下的相容性。
• 通过将更大群Γ上的全局2-上循环限制到子群H、G及在H与G作用下封闭的子集X，构造了非平凡的初始数据。
• 通过G与H的特征标构建了额外示例，其中β与γ通过X上的轨道不变特征标定义，而α设为1。
• 该不变量在类似旗的亚历山大移动下保持不变，且由于扩展帕奇纳移动下的不变性，顶点顺序不影响结果。