[论文解读] A gauge-invariant discrete analog of the Yang-Mills equations on a double complex

Volodymyr Sushch|arXiv (Cornell University)|Nov 8, 2006

Advanced Algebra and Geometry参考文献 17被引用 4

一句话总结

该论文在4维组合流形上，通过双复形框架构建了杨-米尔斯方程的规范不变离散类比。通过引入满足(∗)² = ±Id的组合Hodge星算子，将离散自对偶与反自对偶方程表述为有限维矩阵系统，并成功通过沿边界条件拼接两个区域，将形式化推广至4-球面。

ABSTRACT

An intrinsically defined gauge-invariant discrete model of the Yang-Mills equations on a combinatorial analog of $\Bbb{R}^4$ is constructed. We develop several algebraic structures on the matrix-valued cochains (discrete forms) that are analogs of objects in differential geometry. We define a combinatorial Hodge star operator based on the use of a double complex construction. Difference self-dual and anti-self-dual equations will be given. In the last section we discus the question of generalizing our constructions to the case of a 4-dimensional combinatorial sphere

研究动机与目标

• 在组合4维空间上构建杨-米尔斯方程的规范不变离散模型，保留连续理论中的关键几何与代数结构。
• 在双复形上定义离散Hodge星算子，使得(∗)² = ±Id，解决先前离散模型中(∗)²表现为平移恒等算子的关键局限。
• 将离散自对偶与反自对偶杨-米尔斯方程表述为双复形上的有限维非线性矩阵系统。
• 通过沿边界拼接两个同构区域，将离散杨-米尔斯形式化推广至4维组合球面。
• 确保所得到的模型在离散微分几何运算类比下保持规范不变性与几何一致性。

提出的方法

• 在4维组合网格上构建双复形结构，支持离散上链与上余微分算子dᶜ的定义，作为外微分的类比。
• 引入矩阵取值上链复形，其乘积∪类比楔积，并定义内积以支持Hodge星运算。
• 通过双复形构造定义组合Hodge星算子∗，使得∗² = ±Id，确保在离散设定下与自对偶性相容。
• 推导离散曲率2-形式F = dᶜA + A ∪ A，其中A为矩阵取值1-上链，并将离散杨-米尔斯方程表述为dᶜF = 0与dᶜ∗F = 0。
• 应用拼接技术将两个同构的4D区域V与ˆV拼接，形成组合4-球面M，边界匹配条件(6.1)与(6.2)确保拓扑一致性。
• 将Hodge星算子与内积扩展至整个复形K(M)，支持在4-球面上将离散杨-米尔斯方程与自对偶方程表述为有限维矩阵系统。

实验结果

研究问题

• RQ1 能否在组合4维空间上，通过双复形框架构建杨-米尔斯方程的规范不变离散类比？
• RQ2 如何定义离散Hodge星算子，使得(∗)² = ±Id，从而克服先前模型中(∗)²呈现平移行为的问题？
• RQ3 双复形上的离散自对偶与反自对偶方程是否能镜像其连续对应物的代数与几何性质？
• RQ4 是否可能在保持规范不变性与自对偶性的同时，将离散杨-米尔斯形式化推广至4维组合球面？
• RQ5 在拼接构造下，4-球面上离散自对偶与反自对偶方程所导出的有限维矩阵系统为何种形式？

主要发现

• 双复形上的离散Hodge星算子满足(∗)² = ±Id，从而能够正确实现自对偶性的离散类比，这与先前模型中(∗)²为平移恒等算子的情况形成对比。
• 离散杨-米尔斯方程被表述为dᶜF = 0与dᶜ∗F = 0，其中F = dᶜA + A ∪ A，确保了规范不变性与几何一致性。
• 自对偶与反自对偶方程被表达为有限维非线性矩阵方程，其分量在4-球面上满足拼接条件(6.2)。
• 在组合4-球面M = V ∪ ˆV上，离散曲率分量Fₖⁱʲ与ˆFₖⁱʲ满足对称边界条件，确保拓扑闭合性。
• K(M)上的内积定义为(φ, ψ)ₘ = tr∑ₖ∑₍ₚ₎(φₖ⁽ᵖ⁾(ψₖ⁽ᵖ⁾)⁎ + ˆφₖ⁽ᵖ⁾(ˆψₖ⁽ᵖ⁾)⁎)，支持球面上Hodge星算子与范数结构。
• 定理4.7与自对偶方程结构可推广至4-球面，证实离散模型在紧致流形上保持了连续杨-米尔斯理论的关键性质。