[논문 리뷰] Special Itô maps and an $L^2$ Hodge theory for one forms on path spaces

K. D. Elworthy, Xue-Mei Li|arXiv (Cornell University)|2019. 11. 21.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 4

한 줄 요약

이 논문은 특수 이토 사상과 쌍대 캐머런-마틴 번들의 $L^2$-단면에 대한 닫힌 외미분 $ar{d}$ 를 정의하여 경로 공간 $C_{x_0}M$ 상의 1-형식에 대해 $L^2$ 호지 이론을 수립한다. 주요 기여는 $L^2$ 코homology 클래스 $H^1(C_{x_0}M)$ 에 속하는 모든 클래스가 라플라스 연산자 $ abla^1 = ar{d}^*ar{d} + ar{d}ar{d}^*$ 의 핵에 속하는 유일한 조화형식으로 표현됨을 보여주는 호지 분해 정리이다. 이는 $L^2\Gamma( ilde{ abla}^1_ullet^*) = abla^1 ext{의 핵} igoplus ext{Image}ar{d} ext{의 닫힘} igoplus ext{Image}ar{d}^* ext{의 닫힘}$ 으로 표현되며, 마리아빈 계산법과 확률적 분석을 통해 유한차원 호지 이론을 무한차원 경로 공간으로 확장한다.

ABSTRACT

We prove a Kodaira-Hodge decomposition on differential 1-forms on the space of non-smooth paths over a Riemannian manifold, allowing us to define the corresponding first cohomology group. This uses the Itô map of a Brownian system and damped stochastic parallel translation.

연구 동기 및 목표

• 콤��� 리만 다양체 $M$ 의 경로 공간 $C_{x_0}M$ 상에서 1-형식에 대해 $L^2$ 호지 이론을 개발하기 위해.
• 쌍대 캐머런-마틴 번들의 $L^2$-단면에 대해 닫힌 외미분 $ abla$ 를 정의하기 위해.
• 라플라스 연산자 $ abla^1 = abla^* abla + abla abla^*$ 를 사용하여 $L^2$ 1-형식에 대해 호지 분해를 수립하기 위해.
• $H^1(C_{x_0}M)$ 의 모든 $L^2$ 코homology 클래스가 $ abla^1$ 의 핵에 속하는 유일한 조화형식으로 표현됨을 보여주어 유한차원 호지 이론을 무한차원으로 확장하기 위해.
• 경로 공간 상에 매끄러운 분할 단위가 존재하지 않음에도 불구하고 특수 이토 사상과 확률적 분석을 통해 $L^2$-이론을 구성하기 위해.

제안 방법

• 경로 공간 $C_{x_0}M$ 을 $ abla(0) = x_0$ 를 만족하는 연속 경로 $ abla: [0,T] \to M$ 의 집합으로 정의하고, $C^\infty$ 바나흐 다양체의 구조를 부여한다.
• 접선 공간 $T_\nabla C_{x_0}M$ 에 초등형 노름 $ abla v\nabla_\nabla^\infty = \sup_t |v(t)|_{\nabla(t)}$ 을 부여하여 편미분 구조를 유도한다.
• 캐머런-마틴 공간 $H^1_\nabla$ 를 $ abla_t = //_t(\nabla) h_t$ 를 만족하는 벡터장 $v$ 의 집합으로 정의하며, $h_t \in L^2$-홀더 경로 이고 $h_0 = 0$ 이다. 이는 $H$-미분 가능성에 대한 '허용 가능한 방향' 을 이룬다.
• 캐머런-마틴 번들의 쌍대 번들 $ abla^1_\bullet^*$ 를 구성하고, $L^2$-단면 $L^2\Gamma(\nabla^1_\bullet^*)$ 를 $L^2$ 1-형식의 공간으로 간주한다.
• 표준적인 외미분 연산자의 $C^1$ 벡터장 상에서의 $L^2$-폐포를 사용하여, 매끄러운 원형 1-형식 상에서의 외미분 $d$ 의 $L^2$-폐포로 $ abla$ 를 정의한다.
• $L^2\Gamma(\nabla^1_\bullet^*)$ 상에서 $d^*$ 와 라플라스 연산자 $ abla^1 = abla^* abla + abla abla^*$ 를 정의하고, 이가 밀도가 있는 정의역을 가지며 자기수반임을 증명한다.
• 드라이버의 적분 by parts 공식과 $ abla$ 의 닫힌 범위 성질을 사용하여, 호지 분해 $L^2\Gamma(\nabla^1_\bullet^*) = \ker \nabla^1 \oplus \overline{\text{Image}\, \nabla} \oplus \overline{\text{Image}\, d^{1*}}$ 를 수립한다.

실험 결과

연구 질문

• RQ1 매끄러운 분할 단위가 존재하지 않는다는 점을 감안할 때, 무한차원 경로 공간 $C_{x_0}M$ 상에서 1-형식에 대해 $L^2$ 호지 이론을 개발할 수 있는가?
• RQ2 쌍대 캐머런-마틴 번들의 $L^2$-단면 $ abla^1_\bullet^*$ 상에서의 외미분 $ abla$ 는 어떻게 정의되며, 이는 닫힌 연산자인가?
• RQ3 연산자 $ abla^1 = abla^* abla + abla abla^*$ 가 $L^2\Gamma(\nabla^1_\bullet^*)$ 상에서 조화형식, 정확형식, 코정확형식 성분으로 분해되는 호지 분해를 허용하는가?
• RQ4 모든 $L^2$ 코homology 클래스 $H^1(C_{x_0}M)$ 는 $ abla^1$ 의 핵에 속하는 유일한 조화형식으로 표현되는가?
• RQ5 특수 이토 사상은 경로 공간 상의 $L^2$-미분형식 이론과 어떻게 관련이 있는가?

주요 결과

• 형식 $ abla$ 는 $ abla^1_\bullet^*$ 의 $L^2$-단면 상에서 닫힌 연산자이며, 매끄러운 원형 1-형식 상에서의 표준 외미분의 $L^2$-폐포로 얻어진다.
• $ abla$ 의 수반 $d^*$ 는 매끄러운 원형 1-형식을 포함하는 밀도가 있는 정의역에서 잘 정의되며, $ abla^* abla + abla abla^*$ 는 $L^2\Gamma(\nabla^1_\bullet^*)$ 상에서 음이 아닌 자기수반 라플라스 연산자 $ abla^1$ 을 정의한다.
• $L^2\Gamma(\nabla^1_\bullet^*)$ 는 호지 분해를 갖는다: $L^2\Gamma(\nabla^1_\bullet^*) = \ker \nabla^1 \oplus \overline{\text{Image}\, \nabla} \oplus \overline{\text{Image}\, d^{1*}}$, 이는 서로 수직인 합성항들로 이루어져 있다.
• $H^1(C_{x_0}M)$ 의 모든 $L^2$ 코homology 클래스는 조화형식이 존재하는 $ abla^1$ 의 핵 $ abla^1$ 에서의 유일한 대표자로 표현된다.
• 복합체 $L^2(C_{x_0}M; \mathbb{R}) \oplus L^2\Gamma(\nabla^1_\bullet^*) \oplus L^2\Gamma(\nabla^2_\bullet^*)$ 상에서 연산자 $ abla + abla^*$ 는 자기수반이며, 그 제곱 역시 자기수반임을 확인하여 호지 이론의 일관성을 입증한다.
• 증명은 $ abla$ 의 닫힌 범위 성질과 $ ext{Image}\, \nabla$ 와 $ ext{Image}\, d^{1*}$ 가 적분 by parts 공식과 $ abla^2 T\mathcal{I}$ 의 이미지 상에서 $ abla$ 가 0이 되는 성질을 통해 수직임을 보여준다.