[论文解读] Geometric embedding for regularity structures

Yvain Bruned, Foivos Katsetsiadis|arXiv (Cornell University)|Jan 14, 2023

Advanced Topics in AlgebraMathematics被引用 3

一句话总结

本论文在正规化结构中的形变Butcher-Connes-Kreimer霍普夫代数与打结霍普夫代数的商代数之间建立了新颖的同构关系，从而将正规化结构中的模型嵌入为几何粗糙路径。关键贡献在于构造了一个扩展经典Chapoton-Foissy同构的霍普夫代数同构，并通过后李代数形变与张量代数商代数，为正规化结构模型提供了几何解释。

ABSTRACT

In this paper, we show how one can view certain models in regularity structures as some form of geometric rough paths. This is performed by identifying the deformed Butcher-Connes-Kreimer Hopf algebra with a quotient of the shuffle Hopf algebra which is the structure underlying the definition of a geometric rough path. This provides an extension of the isomorphism between the Butcher-Connes-Kreimer Hopf algebra and the shuffle Hopf algebra. This new algebraic result relies strongly on the deformation formalism and the post-Lie structures introduced recently in the context of regularity structures.

研究动机与目标

• 建立正规化结构中模型与几何粗糙路径之间的对应关系。
• 将已知的Butcher-Connes-Kreimer霍普夫代数与打结霍普夫代数之间的同构关系推广至形变情形。
• 证明某些正规化结构模型可通过代数同构解释为几何粗糙路径。
• 利用后李代数结构与Guin-Oudom构造推导出该同构。
• 证明重整化过程与几何嵌入可交换，保持代数与分析界。

提出的方法

• 使用由后李代数结构导出的形变Grossman-Larson霍普夫代数作为正规化结构的模型。
• 应用Guin-Oudom程序，从带有形变接枝积的带标记树的预李代数构造霍普夫代数。
• 将该形变霍普夫代数的分次对偶识别为张量代数 $T(A)/\mathcal{J}$ 的商代数，配备打结余乘法 $\Delta_{\shuffle}$。
• 构造从形变霍普夫代数 $\mathcal{H}_2$ 到 $T(A)/\mathcal{J}$ 的同构 $\Phi$，其限制在 $\mathcal{T}_+$ 上可导出霍普夫代数同构。
• 定义从 $\mathcal{T}_+$ 到 $T(A)/\mathcal{J}$ 的几何模型映射 $\Psi$，证明 $\mathcal{T}_+$ 上的特征标 $\gamma_{xy}$ 可上拉为满足几何粗糙路径特征标的映射。
• 验证在同构 $\Psi$ 下，Chen关系与H"older型界保持不变，确保几何解释的成立。

实验结果

研究问题

• RQ1 能否通过代数同构将正规化结构中的模型解释为几何粗糙路径？
• RQ2 形变Butcher-Connes-Kreimer霍普夫代数与支撑几何粗糙路径的打结霍普夫代数结构之间有何关系？
• RQ3 后李代数与预李代数结构在构造此类同构中起什么作用？
• RQ4 重整化过程是否与几何嵌入可交换，从而保持分析与代数性质？
• RQ5 同构 $\Psi$ 是否能将经典Chapoton-Foissy同构推广至正规化结构的形变情形？

主要发现

• 形变Butcher-Connes-Kreimer霍普夫代数同构于打结霍普夫代数的商代数 $T(A)/\mathcal{J}$，扩展了经典同构关系。
• 同构 $\Phi$ 在 $\mathcal{H}_2$ 与 $T(A)/\mathcal{J}$ 之间限制于 $\mathcal{T}_+$，可导出 $\mathcal{T}_+$ 与 $T(A)/\mathcal{J}$ 的霍普夫子代数之间的同构。
• 映射 $\Psi: \mathcal{T}_+ \to T(A)/\mathcal{J}$ 将正规化结构模型嵌入为几何粗糙路径，保持Chen关系与H"older界。
• $\mathcal{T}_+$ 上的特征标 $\gamma_{xy}$ 可上拉为满足 $|\gamma_{xy}(\Psi(\tau))| \lesssim |y-x|^{\alpha(\tau)}$ 的几何粗糙路径特征标。
• 重整化映射 $M$ 与同构 $\Psi$ 可交换，确保在商代数上 $\tilde{M} \circ \Psi = \Psi \circ M$ 成立。
• 该构造为正规化结构模型提供了几何解释，即作为 $\alpha$-几何模型 $\bf{GM}^\alpha$，扩展了分支与非各向同性粗糙路径的框架。