[논문 리뷰] Covering R-trees, R-free groups, and dendrites

V. N. Berestovskiĭ, Conrad Plaut|ArXiv.org|2009. 04. 23.

Geometric and Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 임의의 길이 공간 $X$에 대해, 국소 자유군 $\Gamma(X)$의 자유 등장 등급 작용을 통해, $\overline{X}$로 표기되는 R-트리의 보편적 구성법을 제안한다. 몫 사상 $\overline{\phi}: \overline{X} \to X$는 보편적인 약한 부분매핑(URL-사상)이며, $X$가 차원 $n \geq 2$인 완비 리만다만, 멩거 sponge, 또는 색르피ński 카펫/가스켓인 경우, $\overline{X}$는 각 점에서 분기수 $\mathfrak{c} = 2^{\aleph_0}$를 갖는 보편 R-트리 $A_{\mathfrak{c}}$와 등장한다.

ABSTRACT

We prove that every length space X is the orbit space (with the quotient metric) of an R-tree T via a free action of a locally free subgroup G(X) of isometries of X. The mapping f:T->X is a kind of generalized covering map called a URL-map and is universal among URL-maps onto X. T is the unique R-tree admitting a URL-map onto X. When X is a complete Riemannian manifold M of dimension n>1, the Menger sponge, the Sierpin'ski carpet or gasket, T is isometric to the so-called "universal" R-tree A_{c}, which has valency equal to the cardinality of the continuum at each point. In these cases, and when X is the Hawaiian earring H, the action of G(X) on T gives examples in addition to those of Dunwoody and Zastrow that negatively answer a question of J. W. Morgan about group actions on R-trees. Indeed, for one length metric on H, we obtain precisely Zastrow's example.

연구 동기 및 목표

• 주어진 길이 공간 $X$를 자유 등장 등급 군 작용을 통해 커버링하는 보편 R-트리 $\overline{X}$를 구성하는 것.
• 몫 사상 $\overline{\phi}: \overline{X} \to X$가 보편 URL-사상(약한 부분매핑, 열린 사상, 경로별로 가벼운 사상)이며, 몫 거리계를 갖는다는 것을 확립하는 것.
• $X$가 완비 리만다만 ($n \geq 2$), 멩거 sponge, 또는 색르피ński 분수인 경우, $\overline{X}$가 고유한 R-트리 $A_{\mathfrak{c}}$와 등장하며 각 점에서 분기수 $\mathfrak{c}$를 갖는다는 것을 보여주는 것.
• J. W. Morgan이 제기한 R-트리 위의 군 작용에 관해 부정적인 반례를 제공하는 새로운 국소 자유군 작용의 예를 제시하는 것.
• 비기하학적 및 분수 공간에 대한 커버링 이론을 비백트래킹 정적 경로를 기반으로 한 커버링 R-트리로 확장하는 것.

제안 방법

• $\overline{X}$를 $X$ 내의 기저가 있는 비백트래킹 정적 경로의 공간으로 정의하고, 첫 번째 분기점에서의 경로 길이 합을 기반으로 한 거리계를 부여한다.
• $\Gamma(X)$에 자연스러운 연산을 통해 순환의 집합으로 군 구조를 정의하고, $\mathrm{Isom}(\overline{X})$의 국소 자유 부분군으로서 구성한다.
• $\overline{\phi}: \overline{X} \to X$를 끝점 사상으로서의 몫 사상을 구성하며, 이는 약한 부분매핑이자 경로별로 가벼운 사상임을 보인다.
• $\overline{X}$가 R-트리이며, $\Gamma(X)$의 $\overline{X}$ 위의 작용이 자유이고 등장임을 증명한다.
• $A_{\mathfrak{c}}$의 보편 성질을 사용하여, $X$가 완비 리만다만 ($n \geq 2$), 멩거 sponge, 또는 색르피ński 분수인 경우, $\overline{X} \cong A_{\mathfrak{c}}$이며 각 점에서 분기수 $\mathfrak{c}$를 갖는다는 것을 보여준다.
• $\tilde{X}$를 $X$ 내의(piecewise continuously differentiable) 경로의 부분공간으로 정의하고, $\tilde{\Gamma}(X)$에 대한 최소 불변 부분트리임을 보이며, $\tilde{\phi}: \tilde{X} \to X$가 궤도 등장 등급 사상이자 약한 부분매핑임을 보인다.

실험 결과

연구 질문

• RQ1 모든 길이 공간이 자유 등장 등급 군 작용에 의한 R-트리의 궤도 공간으로 표현될 수 있는가?
• RQ2 모든 길이 공간에 대해 보편 R-트리 커버링 사상(URL-사상)이 존재하는가? 그 보편 성질은 무엇인가?
• RQ3 차원 $n \geq 2$인 완비 리만다만인 경우, 커버링 R-트리 $\overline{X}$의 구조는 어떠한가?
• RQ4 이 논문에서 구성된 $\overline{X}$ 위의 군 작용은 J. W. Morgan의 R-트리 위의 군 작용에 관한 질문에 대한 반례를 제공하는가?
• RQ5 $X$ 내의(piecewise $C^1$) 순환의 부분군 $\tilde{\Gamma}(X)$는 자유군인가? 그리고 이는 해당 R-트리 $\tilde{X}$ 위에서 자유로운 작용을 하는가?

주요 결과

• 모든 길이 공간 $X$는 $X$가 $\overline{X}/\Gamma(X)$와 등장하며, $\Gamma(X)$가 등장으로서 자유롭게 작용하는 커버링 R-트리 $\overline{X}$를 갖는다.
• 몫 사상 $\overline{\phi}: \overline{X} \to X$는 보편적인 약한 부분매핑(URL-사상)이며, 열린 사상이자 경로별로 가벼운 사상이며, $X$가 기하학적 공간인 경우 부분매핑이 된다.
• 만약 $X$가 차원 $n \geq 2$인 완비 리만다만, 멩거 sponge, 또는 색르피ński 카펫 또는 가스켓인 경우, 커버링 R-트리 $\overline{X}$는 각 점에서 분기수 $\mathfrak{c} = 2^{\aleph_0}$를 갖는 보편 R-트리 $A_{\mathfrak{c}}$와 등장한다.
• 이 구성은 J. W. Morgan이 R-트리 위의 군 작용이 반드시 자유군에서 유래되어야 한다고 묻는 질문에 대해 부정적인 반례를 제공하는 새로운 국소 자유군 작용의 예를 제공한다.
• 특정 길이 거리계를 갖는 하와이의 화살표 $H$의 경우, 이 구성은 Zastrow의 예를 복원하며, R-트리 군 작용의 맥락에서 그 중요성을 확인한다.
• $X$ 내의(piecewise continuously differentiable) 경로의 부분공간 $\tilde{X}$는 분기수 $\mathfrak{c}$를 갖는 비완비 R-트리이며, $\tilde{\Gamma}(X)$의 $\tilde{X}$ 위의 작용은 자유이고 등장하며, $\tilde{X}$는 최소 불변 부분트리이다.