[논문 리뷰] The weak Hilbert-Smith conjecture from a Borsuk-Ulam-type conjecture

Alexandru Chirvăsitu, Ludwik Dąbrowski외 1명|arXiv (Cornell University)|2016. 12. 30.

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

한 줄 요약

이 논문은 국소적으로 평탄한 주 G-bundle에 대해 Baum, Dåbrowski, 및 Hajac의 Borsuk-Ulam 유형 추측을 증명하며, 자유로운 컴acts 군 작용 하에서 $X*G$ 에서 $X$ 로의 G--equivariant 맵이 존재하지 않음을 입증한다. 이 결과는 약한 Hilbert-Smith 추측을 함의하며, $\mathbb{Z}_p$와 같은 무한한 컴acts 0차원 군이 유한차원 다양체에 자유롭게 작용할 수 없음을 보여준다. 이는 궁극적으로 유한차원 궤도 공간을 가진 다양체에 대해 성립한다.

ABSTRACT

We prove a number of results surrounding the Borsuk-Ulam-type conjecture of Baum, Dąbrowski and Hajac (BDH, for short), to the effect that given a free action of a compact group $G$ on a compact space $X$, there are no $G$-equivariant maps $X*G o X$ (with $*$ denoting the topological join). In particular, we prove the BDH conjecture for locally trivial principal $G$-bundles. The proof relies on the non-existence of $G$-equivariant maps $G^{*(n+1)} o G^{*n}$, which in turn is a slight strengthening of an unpublished result of M. Bestvina and R. Edwards. Moreover, we show that the BDH conjecture partially settles a conjecture of Ageev. In turn, the latter implies the weak version Hilbert-Smith conjecture stating that no infinite compact zero-dimensional group can act freely on a manifold such that the orbit space is finite-dimensional.

연구 동기 및 목표

• 자연스러운 컴팩트 하우스도르프 공간 위에서 자유로운 컴팩트 군 작용에 대해 Borsuk-Ulam 유형 추측을 수립한다.
• G--equivariant 맵 $X*G \to X$ 가 존재하지 않는다는 것에서 약한 Hilbert-Smith 추측이 유도됨을 보인다.
• 자유로운 $G$-작용 하에서 Menger 컴팩타 $\mu^n$ 의 보편성을 활용하여 차원 이론적 차단 조건을 도출한다.
• 자기 $\mathbb{Z}_p$-작용 하에서 유한차원 궤도 공간을 가진 다양체 $M$ 에 대해 $\dim(M/\mathbb{Z}_p) = \infty$ 임을 확인한다.
• Bestvina와 Edwards의 $G$ 의 조인에 대한 결과를 확장하여 $G^{*(n+1)} \to G^{*n}$ 에 대한 동치 맵이 존재하지 않음을 증명한다.

제안 방법

• 자연스러운 컴팩트 하우스도르프 공간 위에서 자유로운 작용을 하는 군 $G$ 에 대해, 위상적 조인 구조를 사용하여 $X*G \to X$ 에 대한 G--equivariant 맵의 존재하지 않음을 증명한다.
• 궤도 공간 $X*G/G$ 의 구조와 $\dim(X*G/G) \leq \max(\dim(X/G), \dim(X)+1)$ 를 통한 차원 추정을 사용한다.
• 자유로운 $G$-작용 하에서 Menger 컴팩타 $\mu^n$ 의 보편성을 활용하여 궤도에서 전체 공간으로의 동치 맵을 확장한다.
• 관계식 $X \times_{\Delta} G / G \cong X$ 를 이용하여 궤도 공간의 차원과 원래 공간의 차원을 연결한다.
• 문제를 $G^{*(n+1)} \to G^{*n}$ 에 대한 G--equivariant 맵의 존재하지 않음을 증명하는 것으로 환원하며, Bestvina와 Edwards의 비공식 결과를 강화한 버전에 의존한다.
• 자기 $G$-작용 하에서 $\dim(\mu^n / G) = n$ 임을 이용하여 궤도 맵 하에서의 차원 증가를 유도한다.

실험 결과

연구 질문

• RQ1 자연스러운 컴팩트 하우스도르프 군 $G$ 가 자연스러운 컴팩트 하우스도르프 공간 $X$ 에 자유롭게 작용할 때, $X*G \to X$ 에 대한 G--equivariant 맵이 존재하는가?
• RQ2 Baum, Dåbrowski, 및 Hajac의 Borsuk-Ulam 유형 추측은 국소적으로 평탄한 주 $G$-bundle에 대해 증명될 수 있는가?
• RQ3 G--equivariant 맵 $X*G \to X$ 가 존재하지 않는다는 것은 $\mathbb{Z}_p$-작용 하에서 다양체에 대해 약한 Hilbert-Smith 추측을 함의하는가?
• RQ4 자유로운 $G$-작용 하에서 Menger 컴팩타 $\mu^n$ 의 보편성은 $m > n$ 인 경우 $\mu^m \to \mu^n$ 에 대한 G-equivariant 맵을 차단하는 데 사용될 수 있는가?
• RQ5 만약 $M$ 이 유한차원 다양체이고 $\mathbb{Z}_p$ 가 자유롭게 작용할 때, 궤도 공간 $M/\mathbb{Z}_p$ 의 차원은 반드시 무한한가?

주요 결과

• 자연스러운 컴팩트 하우스도르프 공간 위에서 자유로운 컴팩트 하우스도르프 군 작용에 대해 Borsuk-Ulam 유형 추측은 국소적으로 평탄한 주 $G$-bundle 포함 모든 경우에 성립한다.
• G--equivariant 맵 $X*G \to X$ 가 존재하지 않는다는 것은 $\mathbb{Z}_p$-작용 하에서 유한차원 다양체에 대해 궤도 공간이 유한차원이 될 수 없다는 것을 의미한다.
• 만약 $m > n$ 이고 $G$ 가 $\mu^m$ 과 $\mu^n$ 에 자유롭게 작용할 경우, $\mu^m \to \mu^n$ 에 대한 G-equivariant 맵은 존재하지 않는다.
• 자기 $G$-작용 하에서 $\mu^n$ 에 대해 $\dim(\mu^n / G) = n$ 임이 입증되었으며, Ageev의 결과에 의해 확인되었고 [11]의 구성에 의해 재확인되었다.
• 모든 자유로운 $G$-작용에 대해 $\dim(X*G/G) \leq \max(\dim(X/G), \dim(X)+1)$ 이 성립하며, 이는 궤도 공간의 차원 제어에 기여한다.
• 결과적으로 약한 Hilbert-Smith 추측이 확인된다: $\mathbb{Z}_p$와 같은 무한한 컴팩트 0차원 군은 유한차원 다양체에 자유롭게 작용할 수 없으며, 궤도 공간이 유한차원이 되는 경우도 존재하지 않는다.