[论文解读] A discrete extrinsic and intrinsic Dirac operator

Tim Hoffmann, Zi Ye|arXiv (Cornell University)|Feb 17, 2018

Composite Material Mechanics参考文献 15被引用 4

一句话总结

本文为具有面法向量的多边形面曲面引入了离散的外蕴与内蕴狄拉克算子，保留了光滑理论中的关键性质。通过在细胞复形和面-边约束网中定义旋量联络与离散狄拉克方程，建立了光滑关系 $ D = D_f + H $ 的离散类比，从而可通过旋转变换构造离散极小曲面与共形变形。

ABSTRACT

In differential geometry of surfaces the Dirac operator appears intrinsically as a tool to address the immersion problem as well as in an extrinsic flavour (that comes with spin transformations to comformally transfrom immersions) and the two are naturally related. In this paper we consider a corresponding pair of discrete Dirac operators, the latter on discrete surfaces with polygonal faces and normals defined on each face, and show that many key properties of the smooth theory are preserved. In particular, the corresponding spin transformations, conformal invariants for them, and the relation between this operator and its intrinsic counterpart are discussed.

研究动机与目标

• 为多边形曲面开发外蕴与内蕴狄拉克算子的离散微分几何框架。
• 在离散设置中保留光滑狄拉克算子的基本性质，包括关系 $ D = D_f + H $。
• 通过旋转变换构造关联族，推广离散极小曲面。
• 通过旋量联络与几何约束，确保内蕴与外蕴算子之间的兼容性。
• 建立从平均曲率与旋量场重构旋量诱导浸入的离散类比。

提出的方法

• 定义具有面法向量的面-边约束曲面，并通过施泰纳公式积分平均曲率。
• 在配备边长的细胞复形上构造带有旋量联络的离散旋量丛。
• 使用四元数表示三维旋转来建模边与面的变换，确保几何一致性。
• 通过旋转变换 $ \mathrm{d}\tilde{f} = \overline{\phi} \cdot \mathrm{d}f \cdot \phi $ 推导离散外蕴狄拉克算子 $ D_f $，该变换可生成具有修改后平均曲率的新浸入。
• 在抽象黎曼网中建立内蕴狄拉克算子，并通过 $ D = D_f + H $ 证明其与外蕴算子的关系。
• 通过诱导的旋量场 $ \phi_c $ 从内蕴网重构原始的面-边约束网，证明其与狄拉克方程的一致性。

实验结果

研究问题

• RQ1 如何在具有面法向量的多边形曲面上离散化外蕴与内蕴狄拉克算子，同时保留关键的光滑几何性质？
• RQ2 存在何种离散类比的旋转变换 $ \mathrm{d}\tilde{f} = \overline{\phi} \cdot \mathrm{d}f \cdot \phi $，可生成离散曲面的共形变形？
• RQ3 在离散设置中如何保持关系 $ D = D_f + H $？旋量联络在此关系中起什么作用？
• RQ4 能否通过狄拉克方程构造离散极小曲面？它们如何推广已知的离散极小曲面模型？
• RQ5 内蕴狄拉克算子与外蕴算子之间有何关系？在保持超边长的变形下，何种几何不变性得以保留？

主要发现

• 在面-边约束曲面上定义的离散外蕴狄拉克算子 $ D_f $，可通过求解 $ D_f \phi = H' \phi $ 的解来构造离散极小曲面及其关联族。
• 内蕴狄拉克算子定义在具有边长分配的抽象细胞复形上，当欧拉示性数为偶数且贝蒂数决定旋量结构数量时，其存在性得到保证。
• 由旋量丛的常值截面诱导的旋量场 $ \phi_c = (c,1) $ 满足狄拉克方程 $ 2D(\phi_c) = 2\mathbf{H}_i \cdot \phi_c $，从而恢复原始的面-边约束网。
• 关系 $ \mathfrak{c} \circ (D - \mathbf{H}) \circ \mathfrak{c}^{-1} = D_f $ 成立，证实离散算子保留了光滑对应关系 $ D = D_f + H $。
• 内蕴狄拉克算子在保持超边长的变形下具有协变性，相较于先前引入余弦因子的离散化方法，其与外蕴算子的一致性更强。
• 该框架推广了来自可积系统与面积变分公式的已知离散极小曲面模型，通过统一的旋量基变分原理将二者整合。