[論文レビュー] Geometric properties of Dirichlet forms under order isomorphisms

Daniel Lenz, Marcel Schmidt+1 more|arXiv (Cornell University)|Jan 25, 2018

Geometric Analysis and Curvature Flows参考文献 32被引用数 6

ひとこと要約

この論文は、ディリクレ形式をつなぐ順序同型が、空間間で幾何学的、位相的、測度論的構造を保存することを確立している。弱い仮定の下で、強く局所的および非局所的な正則ディリクレ形式において、このような同型はそれぞれ内在的距離および抵抗距離に関して等長写像を誘導する。これにより、拡散過程が基礎となる幾何構造を決定することを示している。

ABSTRACT

We study pairs of Dirichlet forms related by an intertwining order isomorphisms between the associated $L^2$-spaces. We consider the measurable, the topological and the geometric setting respectively. In the measurable setting, we deal with arbitrary (irreducible) Dirichlet forms and show that any intertwining order isomorphism is necessarily unitary (up to a constant). In the topological setting we deal with quasi-regular forms and show that any intertwining order isomorphism induces a quasi-homeomorphism between the underlying spaces. In the geometric setting we deal with both regular Dirichlet forms as well as resistance forms and essentially show that the geometry defined by these forms is preserved by intertwining order isomorphisms. In particular, we prove in the strongly local regular case that intertwining order isomorphisms induce isometries with respect to the intrinsic metrics between the underlying spaces under fairly mild assumptions. This applies to a wide variety of metric measure spaces including $\mathrm{RCD}(K,N)$-spaces, complete weighted Riemannian manifolds and complete quantum graphs. In the non-local regular case our results cover in particular graphs as well as fractional Laplacians as arising in the treatment of $α$-stable Lévy processes. For resistance forms we show that intertwining order isomorphisms are isometries with respect to the resistance metrics. Our results can can be understood as saying that diffusion always determines the Hilbert space, and -- under natural compatibility assumptions -- the topology and the geometry respectively. As special instances they cover earlier results for manifolds and graphs.

研究の動機と目的

• L²空間間の順序同型を通じて、空間の幾何構造が関連するディリクレ形式によって決定されるかどうかを調査すること。
• ディリクレ形式の順序同型が空間の位相的および幾何的構造をどの程度保存するかを特定すること。
• 多様体やグラフについて知られている結果を、フラクタル、重み付きリーマン多様体、量子グラフを含む一般のディリクレ空間へと拡張すること。
• 抵抗形式上の非可約かつ再帰的ディリクレ形式が、抵抗距離の等長写像を通じてこのような同型のもとで保存されることを確立すること。

提案手法

• 順序同型を可測変換と乗法的関数の合成として表現するため、ランペルティ型の定理を用いる。
• ブルーリング＝デニの分解を用いて、ディリクレ形式の構造および関連する半群を分析する。
• 強く局所的な正則ディリクレ形式に対しては内在的距離を用い、やや弱い正則性条件のもとで、同型が等長写像を誘導することを示す。
• 抵抗形式を特徴付けるために、抵抗距離の公式 $ R(x,y) = \sup\{ |f(x)-f(y)|^2 : f \in \mathcal{F} \cap C_b(X), \mathcal{E}(f) \leq 1 \} $ を用いる。
• 同型によって誘導される変換がホメオモールフィズムであり、乗法的係数がほとんど everywhere で定数であることを確立する。
• ディリクレエネルギーを関連付けるために、相互作用性の性質 $ Q_2(Uf) = \|U\|^2 Q_1(f) $ を適用し、距離の保存を導出する。

実験結果

リサーチクエスチョン

• RQ1 二つのディリクレ形式のL²空間間の順序同型が、基礎となる幾何構造をどの程度保存するか。
• RQ2 ディリクレ形式の相互作用的順序同型が、基礎となる位相空間の間でホメオモーフィズムを誘導する条件は何か。
• RQ3 順序同型のもとで、ディリクレ形式の内在的距離または抵抗距離が保存可能かどうか。もしそうなら、どのような条件下で可能か。
• RQ4 RCD(K,N)-空間や量子グラフなどの測度付き距離空間の幾何構造が、このような同型を通じて関連するディリクレ形式によって完全に決定されるか。
• RQ5 変換写像 τ と重み関数 h の性質が、幾何構造の保存にどのように関係するか。

主な発見

• 非可約ディリクレ形式のL²空間間の相互作用的順序同型は、定数倍を除いてユニタリであり、測度論的構造を保存する。
• 位相的設定において、このような同型は、準正則ディリクレ形式に対して基礎空間間の準ホメオモーフィズムを誘導する。
• 強く局所的な正則ディリクレ形式では、やや弱い仮定のもとで、同型は内在的距離に関して等長写像を誘導する。
• 抵抗形式では、同型は抵抗距離に関して等長写像を誘導し、変換写像 τ はホメオモーフィズムである。
• コンパクトかつ有限測度の抵抗形式の場合、同型は抵抗距離空間間の全射等長写像を誘導する。
• 変換における定数 α は、基準測度が確率測度であるとき α = ||U|| を満たし、完全な距離等長写像が保証される。