[논문 리뷰] Second order structures for sprays and connections on Frechet manifolds

Mansour Aghasi, Bahari, A. R.외 3명|ArXiv.org|2008. 10. 29.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 3

한 줄 요약

이 논문은 바나흐 다양체의 프로젝티브 극한으로서의 프리셰트 다양체에 대해 제2차 기하학적 구조—크리스토펠(bundle), 접속, 스프레이, 헤시안 구조, 분할 구조—를 일반화한다. 문제적일 수 있는 무한차원 선형 구조를 바나흐 공간 값의 이항형 사상의 프로젝티브 극한으로 대체함으로써, 이러한 구조들 사이에 일대일 대응을 확립하고, 이러한 다양체 위에서 제2차 미분방정식의 존재성 및 유일성 정리를 증명함으로써, 비바나흐 설정에서 지오데식과 평행이동을 연구할 수 있도록 한다.

ABSTRACT

Ambrose, Palais and Singer \cite{Ambrose} introduced the concept of second order structures on finite dimensional manifolds. Kumar and Viswanath \cite{Kumar} extended these results to the category of Banach manifolds. In the present paper all of these results are generalized to a large class of Frechet manifolds. It is proved that the existence of Christoffel and Hessian structures, connections, sprays and dissections are equivalent on those Frechet manifolds which can be considered as projective limits of Banach manifolds. These concepts provide also an alternative way for the study of ordinary differential equations on non-Banach infinite dimensional manifolds. Concrete examples of the structures are provided using direct and flat connections.

연구 동기 및 목표

• 유한차원 및 바나흐 다양체에서의 제2차 기하학적 구조—예를 들어 접속, 스프레이, 헤시안 구조—를 더 넓은 범위의 프리셰트 다양체로 확장하는 것.
• 특히 일반선형군 $GL(\mathbb{F})$와 $L^2(\mathbb{F},\mathbb{F})$의 병리적 행동으로 인한 기초적 문제를 해결하기 위해, 바나흐 공간의 프로젝티브 극한을 사용하여 프리셰트 기하학에서의 문제를 해결하는 것.
• 프로젝티브 극한 프리셰트 다양체 위에서 크리스토펠 구조, 접속, 스프레이, 헤시안 구조, 분할 구조 사이의 일대일 대응을 확립하는 것.
• 비바나흐 무한차원 다양체 위에서 일반선형미분방정식, 특히 지오데식과 평행이동을 연구할 수 있는 프레임워크를 제공하는 것.
• 오른쪽 항에 $k$-립시츠 조건을 적용하여, 프리셰트 공간 위에서 제2차 미분방정식의 해가 존재하고 유일함을 보이는 것.

제안 방법

• 바나흐 다양체의 프로젝티브 극한으로서의 프리셰트 다양체 위에 일반화된 탄성(bundle) 구조를 구성하여, $GL(\mathbb{F})$를 $\mathcal{H}_0(\mathbb{F}) = \varprojlim GL(\mathbb{E}_i)$로 대체함—이는 일관된 선형 자기동형사상의 위상군이다.
• 프로젝티브 극한을 통해 이차형 사상 $B_k^n: H^n(\mathbb{S}^1) \times H^n(\mathbb{S}^1) \to H^{n-2k}(\mathbb{S}^1)$의 계수를 가지는 크리스토펠 번들 정의—이것은 선형 접속의 계수로 기능한다.
• 힐버트 공간 접속의 프로젝티브 극한을 사용하여, $D = \mathrm{Diff}(\mathbb{S}^1)$의 미분동형군 위에 일반화된 선형 접속 $\nabla_k = \varprojlim \nabla_k^i$ 도입.
• 제2차 미분방정식 $x'' = \Phi(t,x,x')$를 $z = (x,y)$로 둔 일차 미분방정식계 $z' = \tilde{\Phi}(t,z)$로 환원하고, 존재성 및 유일성을 보장하기 위해 $k$-립시츠 조건 적용.
• 각 바나흐 성분 $H^n(\mathbb{S}^1)$ 위에서의 해가 프로젝티브 극한에 대해 호환되므로, $x = \varprojlim x_i$는 프리셰트 공간 위에서 잘 정의된 해가 된다는 것을 증명.
• 프리셰트 공간의 준노름 위상과 $p_i(\tilde{\Phi}(t,z_0))$의 균일한 유계성 조건을 사용하여, 해의 정의역 $I = [t_0 - a, t_0 + a]$를 제어하며, $a = \min\{\tau, 1/(M + k)\}$로 설정.

실험 결과

연구 질문

• RQ1 제2차 기하학적 구조—예를 들어 접속, 스프레이, 헤시안 구조—는 바나흐 다양체가 아닌 프리셰트 다양체에서도 일관되게 정의될 수 있는가?
• RQ2 프리셰트 설정에서 잘 정의되지 않는 $GL(\mathbb{F})$와 $L^2(\mathbb{F},\mathbb{F})$ 문제를 해결하기 위해, 바나흐 공간의 프로젝티브 극한을 통해 기하학적 구조를 정의할 수 있는 방법이 있는가?
• RQ3 유한차원 및 바나흐 설정에서 알려진 크리스토펠 구조, 접속, 스프레이, 헤시안 구조 간의 등가성은 프로젝티브 극한 프리셰트 다양체로까지 확장되는가?
• RQ4 적절한 리프시츠 유형 조건 하에서, 프리셰트 공간 위의 제2차 미분방정식이 고유한 국소해를 가질 수 있는가?
• RQ5 이 이론은 원환면의 미분동형군 $\mathrm{Diff}(\mathbb{S}^1)$와 같은 구체적인 무한차원 다양체에 적용될 수 있는가? 만약 그렇다면, 지오데식의 성질은 어떠한가?

주요 결과

• 프로젝티브 극한 프리셰트 다양체 위에서 크리스토펠, 헤시안, 접속, 스프레이, 분할 구조의 존재는 상호 등가이며, 이는 유한차원 및 바나흐 다양체에서의 결과를 일반화한다.
• 일반화된 구조군 $\mathcal{H}_0(\mathbb{F}) = \varprojlim GL(\mathbb{E}_i)$는 $GL(\mathbb{F})$의 병리적 행동을 대체하는 잘 정의된 스무스 리 군 구조를 제공한다.
• $D = \mathrm{Diff}(\mathbb{S}^1)$의 경우, 선형 접속 $\nabla_k = \varprojlim \nabla_k^i$는 존재하고 유일하며, 자동평행 곡선은 $u_t = B_k(u,u)$를 만족한다.
• 제2차 미분방정식 $x'' = \Phi(t,x,x')$의 해는 시간 간격 $I = [t_0 - a, t_0 + a]$에서 존재하고 유일하며, 여기서 $a = \min\{\tau, 1/(M + k)\}$이며, $M$은 초기 데이터 및 $\Phi$의 준노름에 대한 균일한 유계성이다.
• 각 바나흐 성분 $H^n(\mathbb{S}^1)$ 위에서의 해는 프로젝티브 극한에 대해 호환되므로, 전역 해 $x = \varprojlim x_i$는 잘 정의되어 있으며, $I$ 위에서 $x'' = \Phi(t,x,x')$를 만족한다.
• $n \geq 2k+1$인 $H^n(\mathbb{S}^1)$-값 해의 경우, 최대 존재 시간 $T_n$은 $n \geq 2k+1$일 때 $n$에 관계없이 일정하며, $T_n = T_{2k+1}$가 되므로, 프로젝티브 시스템 전체에 걸쳐 일관성이 확보된다.