[논문 리뷰] Differential forms on diffeological spaces and diffeological gluing, I

Ekaterina Pervova|arXiv (Cornell University)|2016. 05. 24.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 4

한 줄 요약

이 논문은 미분형식의 공간과 그에 관련된 가짜-_bundle_가 미분형식의 붙임(즉, 두 미분형식 공간을 부드러운 사상에 의해 식별하는 것)에 따라 어떻게 행동하는지 조사한다. 붙임 공간 위의 1-형식 공간이 붙임 영역에서의 1-형식 공간들의 섬유곱과 미분형식이 일치할 조건에서 동치임을 증명하며, 이 조건 하에서 붙임 공간 위의 1-형식 가짜-_bundle_는 원래의 가짜-_bundle_로의 부드러운 투영을 통해 특징지어지며, 이는 일치하는 가짜-메트릭의 구성이 가능하게 한다.

ABSTRACT

This paper aims to describe the behavior of diffeological differential forms under the operation of gluing of diffeological spaces along a smooth map. In the diffeological context, two ways of looking at diffeological forms are available, that of the vector space of all diffeological forms on a given space, and that of the pseudo-bundle of values of these forms. We describe the behavior of the former under a gluing of diffeological spaces.

연구 동기 및 목표

• 미분형식 공간 위의 미분 1-형식이 붙임 연산에 의해 어떻게 변하는지 이해하는 것.
• 특히 붙임이 미분형식에 의해 일어날 경우, 미분형식 공간 위의 가짜-_bundle_의 구조를 기술하는 것.
• 기존 공간들 위의 가짜-메트릭으로부터 붙임 가짜-_bundle_ 위에 일치하는 가짜-메트릭을 구성하는 것.
• 형식과 메트릭의 부드러운 일치를 통해 붙임 공간 위에 미분형식 접속을 정의하는 프레임워크를 제공하는 것.

제안 방법

• 논문은 1-형식 공간 $\Omega^1(X)$를 플롯에 부드럽게 할당되는 미분형식의 공간으로 정의한다.
• 가짜-_bundle_ $\Lambda^1(X)$는 $X$의 점들 위에서 1-형식 값의 섬유 공간으로, 비균일한 섬유 차원을 허용하는 구조를 가진다.
• 플롯 $i$와 $f \circ j$의 풀백이 일치하는 $\Omega^1(X_1) \times \Omega^1(X_2)$의 부분집합으로서, $Y \subset X_1$이고 $f: Y \to X_2$인 부드러운 사상에 의한 붙임에 대해 $\Omega^1(X_1 \cup_f X_2)$를 식별한다.
• 만약 $f$가 미분형식이고 $\mathcal{D}_1^\Omega = \mathcal{D}_2^\Omega$ 조건이 성립할 경우, $\Lambda^1(X_1 \cup_f X_2)$ 위의 미분형식은 자연스러운 투영이 $\Lambda^1(X_1)$과 $\Lambda^1(X_2)$로 부드럽게 되도록 하는 가장 희박한 것임을 보인다.
• 주어진 가짜-메트릭 $g_1^\Lambda$와 $g_2^\Lambda$의 직합의 제한으로서 $\Lambda^1(X_1 \cup_f X_2)$ 위의 가짜-메트릭 $g^\Lambda$를 구성하며, $\mathcal{D}_1^\Omega = \mathcal{D}_2^\Omega$ 조건을 통해 일관성을 확보한다.
• 평가가 플롯 위에서 부드럽게 되는지 확인하기 위해, $g^\Lambda$의 평가가 플롯 위에서 부드럽게 되는지 확인하며, 이는 일관성 조건을 통해 붙임 영역에서의 표현을 통합함으로써 이루어진다.

실험 결과

연구 질문

• RQ1 두 공간이 부드러운 사상에 의해 미분형식 붙임을 당할 때, 1-형식 공간은 어떻게 변하는가?
• RQ2 붙임이 미분형식에 의해 일어날 경우, $\Lambda^1(X_1 \cup_f X_2)$의 가짜-_bundle_의 구조는 무엇인가?
• RQ3 어떤 조건에서 $\Lambda^1(X_1)$과 $\Lambda^1(X_2)$ 위의 일치하는 가짜-메트릭으로부터 $\Lambda^1(X_1 \cup_f X_2)$ 위에 가짜-메트릭을 유도할 수 있는가?
• RQ4 $\Lambda^1(X_1 \cup_f X_2)$ 위의 미분형식은 원래 공간들의 미분형식과 어떻게 관련이 있는가?

주요 결과

• 붙임 공간 $X_1 \cup_f X_2$ 위의 1-형식 공간은 $\Omega^1(X_1) \times \Omega^1(X_2)$의 부분집합으로서, $i^*\omega_1 = f^*j^*\omega_2$를 만족하는 쌍 $(\omega_1, \omega_2)$로 구성되며, 여기서 $i$와 $j$는 붙임 영역의 포함 사상이다.
• 만약 $f$가 미분형식이고 $\mathcal{D}_1^\Omega = \mathcal{D}_2^\Omega$일 경우, $\Lambda^1(X_1 \cup_f X_2)$ 위의 미분형식은 자연스러운 투영이 $\Lambda^1(X_1)$과 $\Lambda^1(X_2)$로 부드럽게 되는 가장 희박한 것임을 보였다.
• 가짜-_bundle_ $\Lambda^1(X_1 \cup_f X_2)$의 섬유는 $\Lambda^1(X_1)$, $\Lambda^1(X_2)$의 섬유와 동형이거나 그들의 직합의 부분공간이며, 이는 붙임 사상에 의해 결정된다.
• 가짜-메트릭 $g^\Lambda$는 $g_1^\Lambda$와 $g_2^\Lambda$의 직합의 제한으로서 구성되며, $\mathcal{D}_1^\Omega = \mathcal{D}_2^\Omega$ 조건 하에서 부드럽다는 것이 입증되었다.
• $g^\Lambda$의 평가가 모든 플롯 위에서 부드럽게 되며, 이는 일관성 조건을 통해 $g_1^\Lambda$와 $g_2^\Lambda$의 부드러움으로 환원됨을 확인하였다.
• 만약 $\Lambda^1(X_1)$과 $\Lambda^1(X_2)$가 일치하는 가짜-메트릭을 가진다면, Corollary 9.4에서 보여지듯이 $\Lambda^1(X_1 \cup_f X_2)$는 유도된 가짜-메트릭을 가진다.