[논문 리뷰] Configuration spaces over singular spaces -- I. Dirichlet-Form and Metric Measure Geometry

Lorenzo Dello Schiavo, Kohei SUZUKI|arXiv (Cornell University)|2021. 09. 07.

Geometric Analysis and Curvature Flows참고 문헌 60인용 수 6

한 줄 요약

이 논문은 특이한 기저 공간 위의 구성 공간에 대해 강한 국소적 디리클레 형식을 구성하고, 이를 $L^2$-운반 거리의 체거 에너지와 동일시함으로써, 기저 공간이 미분 가능하거나 참조 측도의 준불변성 조건 없이도 정규화된 미분 구조를 수립한다. 이는 디리클레 형식의 내재 거리가 $L^2$-운반 거리와 일치함을 증명하며, 이를 통해 일반적인 기저 공간과 불변 측도(예: 부분리만다 공간, $\sigma$-유한 공간, 다양한 점 과정 포함)에 대해 분석적·기하적 구조를 통합한다.

ABSTRACT

We construct a canonical differential structure on the configuration space $Υ$ over a singular base space $X$ and with a general invariant measure $μ$ on $Υ$. We present an analytic structure on $Υ$, constructing a strongly local Dirichlet form $\mathcal E$ on $L^2(Υ, μ)$ for $μ$ in a large class of probability measures. We then investigate the geometric structure of the extended metric measure space $Υ$ endowed with the $L^2$-transportation extended distance $\mathsf{d}_Υ$ and with the measure $μ$. By establishing Rademacher- and Sobolev-to-Lipschitz-type properties for $\mathcal E$, we finally provide a complete identification of the analytic and the geometric structure -- the canonical differential structure induced on $Υ$ by $X$ and $μ$ -- showing that $\mathcal E$ coincides with the Cheeger energy of $(Υ,\mathsf{d}_Υ,μ)$ and that the intrinsic distance of $\mathcal E$ coincides with $\mathsf{d}_Υ$. The class of base spaces to which our results apply includes sub-Riemannian manifolds, RCD spaces, and path/loop spaces over Riemannian manifolds; as for $μ$ our results include quasi-Gibbs measures, in particular: Poisson measures, canonical Gibbs measures, as well as some determinantal/permanental point processes (sine$_β$, Airy$_β$, Bessel$_{α,β}$, Ginibre). A number of applications to interacting particle systems and infinite-dimensional metric measure geometry are also discussed. In particular, we prove the universality of the $L^2$-transportation distance $\mathsf{d}_Υ$ for the Varadhan short-time asymptotics for diffusions on $Υ$, regardless of the choice of $μ$. Many of our results are new even in the case of configuration spaces over Euclidean spaces.

연구 동기 및 목표

• 기저 공간이 미분 가능하거나 참조 측도의 준불변성 조건 없이도 구성 공간에 대해 정규화된 미분 구조를 개발하는 것.
• 넓은 범위의 확률 측도 $\mu$에 대해 $L^2({\boldsymbol{\Upsilon}}, \mu)$ 위에 강한 국소적 디리클레 형식을 구성하는 것.
• 디리클레 형식의 내재 거리가 $L^2$-운반 거리 $\mathsf{d}_{\boldsymbol{\Upsilon}}$와 일치함을 확인하는 것.
• 디리클레 형식의 준정규성( quasi-regularity )을 증명하여 마코프 확산 과정의 존재성과 유일성을 보장하는 것.
• 디리클레 형식의 내재 거리가 $\mathsf{d}_{\boldsymbol{\Upsilon}}$로 유일하게 결정됨을 보장하여, $\boldsymbol{\Upsilon}$ 위의 확산 과정에 대한 바르다한 유형의 단시간 점근적 행동을 통합하는 것.

제안 방법

• 텐서화와 조건부 측도를 통해 $L^2({\boldsymbol{\Upsilon}}, \mu)$ 위에 디리클레 형식 $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$를 구성함으로써, 닫힘성과 강한 국소성 보장.
• 기저 공간의 거리와 측도에 의해 유도되는 구성 공간 $\boldsymbol{\Upsilon}$ 위의 기하학적 구조로 $L^2$-운반 거리 $\mathsf{d}_{\boldsymbol{\Upsilon}}$를 활용.
• 라데마처 유형 및 소볼레프에서 리프시츠 유형 성질을 적용하여 분석적·기하적 구조를 연결.
• 측도의 분해와 조건부 디리클레 형식을 이용하여 에너지 밀도 $\Gamma^{{\boldsymbol{\Upsilon}},{\mu}}$를 기울기의 국소적 노름으로 식별.
• $\mathsf{RCD}$ 공간 이론과 국소 피카르레 부등식을 적용하여 결과를 특이한 기저 공간으로 확장.
• $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$가 거리측도공간 $({\boldsymbol{\Upsilon}}, \mathsf{d}_{\boldsymbol{\Upsilon}}, \mu)$의 체거 에너지와 일치하며, $\mathcal{E}$의 내재 거리가 $\mathsf{d}_{\boldsymbol{\Upsilon}}$와 동일함을 증명.

실험 결과

연구 질문

• RQ1 기저 공간이 특이적이고 참조 측도의 미분 가능성 또는 준불변성 조건 없이도 구성 공간에 대해 정규화된 디리클레 형식을 구성할 수 있는가?
• RQ2 $L^2$-운반 거리 $\mathsf{d}_{\boldsymbol{\Upsilon}}$가 디리클레 형식에 의해 유도된 내재 거리와 일치하는가?
• RQ3 디리클레 형식 $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$는 준정규적인가? 이를 통해 유일한 마코프 과정의 존재를 보장하는가?
• RQ4 $\mathsf{d}_{\boldsymbol{\Upsilon}}$는 넓은 범위의 불변 측도에 대해 $\boldsymbol{\Upsilon}$ 위의 확산 과정에 대한 단시간 점근적 행동을 유일하게 지배하는가?
• RQ5 $({\boldsymbol{\Upsilon}}, \mathsf{d}_{\boldsymbol{\Upsilon}}, \mu)$의 체거 에너지를 디리클레 형식 $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$로 식별할 수 있는가?

주요 결과

• 최소한의 가정 하에 디리클레 형식 $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$는 강한 국소성과 준정규성을 가지며, 이는 $\boldsymbol{\Upsilon}$ 위에 마코프 확산 과정의 존재성과 유일성을 보장한다.
• 디리클레 형식 $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$의 내재 거리는 $L^2$-운반 거리 $\mathsf{d}_{\boldsymbol{\Upsilon}}$와 일치한다.
• 디리클레 형식 $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$는 거리측도공간 $({\boldsymbol{\Upsilon}}, \mathsf{d}_{\boldsymbol{\Upsilon}}, \mu)$의 체거 에너지와 일치한다.
• 라데마처 성질이 성립한다: $\mathcal{E}^{{\boldsymbol{\Upsilon}},{\mu}}$-소볼레프 함수는 거의 모든 곳에서 $\mathsf{d}_{\boldsymbol{\Upsilon}}$-리프시츠이다.
• $L^2$-운반 거리 $\mathsf{d}_{\boldsymbol{\Upsilon}}$는 넓은 범위의 불변 측도 $\mu$에 대해 $\boldsymbol{\Upsilon}$ 위의 확산 과정에 대한 바르다한 단시간 점근적 행동을 유일하게 지배한다.
• 결과는 부분리만다 공간, $\mathsf{RCD}^*(K,N)$, $\mathsf{RCD}(K,\infty)$, 경로/루프 공간 등 넓은 범위의 기저 공간과 포아송, 지브스, 결정성 과정 등의 측도에 적용 가능하다.