[论文解读] Discrete Differential Geometry on causal graphs

E.A. Forgy, Urs Schreiber|ArXiv.org|Jul 4, 2004

Noncommutative and Quantum Gravity Theories参考文献 12被引用 11

一句话总结

该论文基于非交换几何，在因果图上构建了离散微分几何框架，将微分形式与外微分算子表示为具有变形内积的克雷因空间上的算子。关键贡献是构造了一个保结构的仿射霍奇星算子与霍奇内积，使其在拓扑超立方格点上保持基本连续性性质——尤其是关系 $\mathbf{d}^\dagger = \pm \star \mathbf{d} \star^{-1}$ —— 在由唯一选定的伪黎曼度量下，所有边均为光样的。

ABSTRACT

Differential calculus on discrete spaces is studied in the manner of non-commutative geometry by representing the differential calculus by an operator algebra on a suitable Krein space. The discrete analogue of a (pseudo-)Riemannian metric is encoded in a deformation of the inner product on that space, which is the crucial technique of this paper. We study the general case but find that drastic and possibly vital simplifications occur when the underlying lattice is topologically hypercubic, in which case we explicitly construct mimetic analogues of the volume form, the Hodge star operator, and the Hodge inner product for arbitrary discrete geometries. It turns out that the formalism singles out a pseudo-Riemannian metric on topologically hypercubic graphs with respect to which all edges are lightlike. We study such causal graph complexes in detail and consider some of their possible physical applications, such as lattice Yang-Mills theory and lattice fermions.

研究动机与目标

• 解决离散微分几何中定义一致度量结构的长期挑战，特别是霍奇内积与霍奇星算子的定义。
• 通过在克雷因空间上的算子代数重新表述度量几何，解决标准霍奇对偶性与离散几何之间的不相容性。
• 构建一个保持关键连续性质（如 $\mathbf{d}^\dagger = \pm \star \mathbf{d} \star^{-1}$）的仿射形式体系，适用于离散的、拓扑超立方图。
• 在这些图上识别出一个唯一的伪黎曼度量，使得所有边均为光样，从而为格点杨-米尔斯理论与格点费米子理论提供应用基础。
• 证明内积的形变可编码离散度量几何，从而允许构建弯曲的与广义的离散空间。

提出的方法

• 将离散微分形式的空间表示为具有变形内积的希尔伯特空间，通过算子形变编码离散度量。
• 使用非交换几何将外微分算子 $\mathbf{d}$ 视为克雷因空间上的奇数阶算子，确保分次莱布尼茨法则与幂零性。
• 通过关系 $\mathbf{d}^\dagger = \pm \star \mathbf{d} \star^{-1}$ 显式定义霍奇星算子 $\star$，确保其与外微分共轭算子的相容性。
• 利用变形内积结构构造霍奇内积 $\langle \alpha | \beta \rangle = \int \alpha \wedge \star \beta$。
• 引入编码因果图连通性的图算子 $\mathbf{G}$，并利用 $\mathbf{G}\mathbf{G}^\dagger - \mathbf{G}^\dagger\mathbf{G}$ 定义光锥结构。
• 推导出度量算子 $\hat{g} = V(x)(\mathbf{G}\mathbf{G}^\dagger - \mathbf{G}^\dagger\mathbf{G})$，以离散形式编码伪黎曼几何。

实验结果

研究问题

• RQ1 如何在离散微分几何中一致地定义霍奇星算子与霍奇内积，同时保持关系 $\mathbf{d}^\dagger = \pm \star \mathbf{d} \star^{-1}$？
• RQ2 微分形式与0-形式之间的非交换性在离散空间上实现一致仿射形式体系中起什么作用？
• RQ3 为何该形式体系在拓扑超立方图上唯一地选定了所有边均为光样的伪黎曼度量？
• RQ4 内积在形式空间上的形变如何编码离散度量几何与曲率？
• RQ5 该形式体系能否避免格点规范场论中的费米子加倍问题，特别是在使用狄拉克-卡勒算子时？

主要发现

• 该论文在离散的、拓扑超立方图上构造出满足 $\mathbf{d}^\dagger = \pm \star \mathbf{d} \star^{-1}$ 的霍奇星算子，解决了离散霍奇理论中的一个关键不一致性。
• 该形式体系在超立方格点上唯一地选定了一个伪黎曼度量，使得所有边均为光样，光锥结构由 $\mathbf{G}\mathbf{G}^\dagger - \mathbf{G}^\dagger\mathbf{G}$ 决定。
• 体积形式与霍奇内积以仿射形式显式构造，保持了离散几何上的连续性结构。
• 此类格点上的狄拉克-卡勒算子由于非交换性带来的非局域性，尽管其为自伴算子且对应于 $s=1$，仍可避免费米子加倍。
• 通过 $\hat{g}$ 对内积的形变，使得在弯曲与广义离散空间上构建格点场论作用量成为可能。
• 该形式体系被解释为超弦理论中环空间形式体系的超粒子极限，暗示其与背景场形变存在深层联系。