[논문 리뷰] Geometric properties of Dirichlet forms under order isomorphisms

Daniel Lenz, Marcel Schmidt외 1명|arXiv (Cornell University)|2018. 01. 25.

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²-공간 간의 순서 호모티즘을 통해 관련된 공간의 기하학이 어떻게 결정되는지 조사하는 것.
• 디리클레 형식의 순서 호모티즘을 통해 위상수학적 및 기하학적 구조가 어느 정도 유지되는지 규명하는 것.
• 기존의 다양체와 그래프에 대한 결과를 프랙탈, 가중 리만 다양체, 양자 그래프를 포함한 일반적인 디리클레 공간으로 확장하는 것.
• 저항 형식에서의 비가역적, 재귀적 디리클레 형식이 이러한 호모티즘을 통해 저항 거리의 등장성으로 보존됨을 입증하는 것.

제안 방법

• 순서 호모티즘을 가측 변환과 곱함수의 합성으로 표현하기 위해 Lamperti 유형 정리를 활용한다.
• Beurling-Deny 분해를 적용하여 디리클레 형식의 구조와 관련된 반군의 성질를 분석한다.
• 강한 국소성 정규 디리클레 형식에 대해 내재 거리를 사용하고, 미약한 정규성 조건 하에 순서 호모티즘이 등장성을 유도함을 보인다.
• 저항 형식을 특징짓기 위해 공식 $ R(x,y) = \sup\{ |f(x)-f(y)|^2 : f \in \mathcal{F} \cap C_b(X), \mathcal{E}(f) \leq 1 \} $ 을 사용한다.
• 호모티즘에 의해 유도된 변환은 위상동형이며, 곱함수 요소는 거의 어디서나 일정함을 보인다.
• 디리클레 에너지 간의 관계를 유도하기 위해 상호연결 성질 $ Q_2(Uf) = \|U\|^2 Q_1(f) $ 를 적용하고, 이를 통해 거리의 보존을 도출한다.

실험 결과

연구 질문

• RQ1 두 디리클레 형식의 L²-공간 간의 순서 호모티즘이 기저 기하학을 어느 정도 유지하는가?
• RQ2 디리클레 형식 간의 상호연결 순서 호모티즘이 기저 위상공간 간의 위상동형을 유도하는 조건은 무엇인가?
• RQ3 디리클레 형식의 내재 또는 저항 거리가 순서 호모티즘 하에 보존될 수 있는가, 그리고 만약 가능하면 어떤 조건에서 가능한가?
• RQ4 예를 들어 RCD(K,N)-공간이나 양자 그래프와 같은 메트릭 측도 공간의 기하학이 이러한 호모티즘을 통해 관련된 디리클레 형식에 의해 완전히 결정되는가?
• RQ5 변환 사상 τ 와 가중 함수 h 의 성질이 기하학적 구조 보존에 어떻게 관련되는가?

주요 결과

• 비가역 디리클레 형식의 L²-공간 간 상호연결 순서 호모티즘은 상수배를 제외하고 유니타리이며, 측도론적 구조를 유지한다.
• 위상적 설정에서 이러한 호모티즘은 준정규 디리클레 형식에 대해 기저 공간 간의 준위상동형을 유도한다.
• 강한 국소성 정규 디리클레 형식의 경우, 미약한 조건 하에 호모티즘은 내재 거리에 대해 등장성을 보인다.
• 저항 형식의 경우, 호모티즘은 저항 거리에 대해 등장성을 보이며, 변환 사상 τ 는 위상동형이다.
• 콤팩트이고 유한 측도를 갖는 저항 형식의 경우, 호모티즘은 저항 거리 공간 간의 전사 등장성을 유도한다.
• 변환에서 상수 α 는 기저 측도가 확률 측도일 경우 ||U|| 와 같으며, 이는 완전한 거리 등장성을 보장한다.