[論文レビュー] 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手続きを用いて、装飾付き木の前リー代数と変形された接ぎ込み積からホップ代数を構成する。
• この変形ホップ代数の順次双対を、シャッフルコプロダクト $\Delta_{\shuffle}$ を備えたテンソル代数 $T(A)/\mathcal{J}$ の商と同一視する。
• 変形ホップ代数 $\mathcal{H}_2$ から $T(A)/\mathcal{J}$ への同型写像 $\Phi$ を構成し、$\mathcal{T}_+$ に制限することでホップ代数同型写像を得る。
• $\mathcal{T}_+$ から $T(A)/\mathcal{J}$ への幾何学的モデル写像 $\Psi$ を定義し、$\mathcal{T}_+$ 上のキャラクター $\gamma_{xy}$ が幾何学的粗いパス・キャラクターに引き上げられることを示す。
• 同型写像 $\Psi$ の下で、Chen関係式および Hölder 型の境界が保存されることを検証し、幾何学的解釈を保証する。

実験結果

リサーチクエスチョン

• RQ1 正則性構造におけるモデルは、代数的同型写像を通じて幾何学的粗いパスとして解釈可能か？
• RQ2 変形されたButcher-Connes-Kreimerホップ代数は、幾何学的粗いパスに根ざすシャッフルホップ代数構造とどのように関係するか？
• RQ3 ポスト・リー代数および前リー代数構造は、このような同型写像の構成において果たす役割は何か？
• RQ4 再生調節手順は幾何学的埋め込みと可換であり、解析的および代数的性質を保存するか？
• RQ5 同型写像 $\Psi$ は、正則性構造の変形設定において、古典的なChapoton-Foissy同型写像を拡張可能か？

主な発見

• 変形されたButcher-Connes-Kreimerホップ代数は、シャッフルホップ代数 $T(A)/\mathcal{J}$ の商と同型であり、古典的同型写像を拡張する。
• $\mathcal{H}_2$ と $T(A)/\mathcal{J}$ の間の同型写像 $\Phi$ は、$\mathcal{T}_+$ と $T(A)/\mathcal{J}$ のホップ部分代数との間の同型写像に制限される。
• 写像 $\Psi: \mathcal{T}_+ \to T(A)/\mathcal{J}$ は、正則性構造モデルを幾何学的粗いパスに埋め込み、Chen関係式およびHölder境界を保存する。
• $\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$ として幾何学的に解釈可能となり、分岐的および非等方的粗いパスの枠組みが拡張される。