[논문 리뷰] Freeness in higher order frame bundles

Scot Adams|arXiv (Cornell University)|2015. 09. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 3

한 줄 요약

이 논문은 매끄러운 다양체 위의 $C^{\infty}$ 작용에 대한 P. 올버의 자유성 추측에 대한 반례를 구축한다. 비록 중심이 비콤팩act인 연결된 실수 리 군과 정수군 $\mathbb{Z}$에 대해서는 유한 차수의 임의의 재작도 다발 위에서 작용이 자유롭지 않음을 보여준다. 핵심 기여는 비콤팩트 중심을 가진 연결된 실수 리 군과 $\mathbb{Z}$에 대해, 모든 유한 차수의 프레임 다발에서 자유가 아니지만 고정점이 희박한 $C^\infty$ $G$-작용을 구성한 것이다. 이는 각 차수에서 주기적인 행동을 보이는 벡터장의 극한을 이용하여 달성된다.

ABSTRACT

We provide counterexamples to P. Olver's freeness conjecture for $C^\infty$ actions. In fact, we show that a counterexample exists for any connected real Lie group with noncompact center, as well as for the additive group of the integers.

연구 동기 및 목표

• 유한 차수의 재작도 다발에서 $C^\infty$ 작용에 대한 P. 올버의 자유성 추측을 반증하기.
• 비콤팩트 중심을 가진 연결된 실수 리 군과 덧셈군 $\mathbb{Z}$에 대해 명시적인 반례를 구성하기.
• 고정점이 희박한 작용이 유한 차수의 프레임 다발에서 자유가 되지 않을 수 있음을 보여주기.
• 특정 점에서 벡터장과 그 흐름의 수렴을 통해 작용의 행동 분석하기.
• 추측이 중심이 콤팩트일 경우와 같은 더 강한 조건에서만 성립하며, $C^\omega$ 설정에서의 수정 가능성을 탐색하기.

제안 방법

• $\mathbb{R}^4$ 위에서 각 점 $\sigma_k$ 에서 모든 차수에서 주기적인 완전한 $C^\infty$ 벡터장 $V_k$ 의 수열을 구성하기.
• $V_k$ 의 점별 극한으로서 $V_\infty$ 를 정의하여, 각 $\sigma_k$ 에서 모든 차수에서 주기성이 유지되도록 보장하기.
• Baire의 카테고리 정리를 사용하여 $X = \bigcap_{k=1}^\infty \mathcal{U}(V_k)$ 가 $\mathbb{R}^4$ 에서 조밀함을 보이기. 여기서 $\mathcal{U}(V_k)$ 는 비자명한 $V_k$-주기 궤도를 갖지 않는 점들의 집합이다.
• 시간-$n$ 흐름을 통해 $V_\infty$ 를 이용해 $\mathbb{R}^4$ 에 $\mathbb{Z}$-작용을 정의하기. $f: \mathbb{Z} \to \mathbb{Z}$ 의 동형사상으로 $z \cdot \sigma = \Phi_{f(z)}^{V_\infty}(\sigma)$ 를 정의한다.
• 비콤팩트 중심을 가진 연결 리 군 $G$ 를 사용하여 유도된 작용을 통해 $G$-다양체 $M = G \times_Z \mathbb{R}^4$ 를 구성하기. 이 작용은 $C^\infty$ 이며 고정점이 희박하다.
• 모든 차수에서 주기성을 올리고 $\mathbb{Z}$-작용의 구조를 이용하여, $k$차 다중다발 $F_kM$ 의 한 점의 안정자군이 무한하다는 것을 보여주기.

실험 결과

연구 질문

• RQ1 모든 $C^\infty$ 효과적인 리 군 작용이 어떤 유한 차수의 재작도 다발에서 자유가 되는가?
• RQ2 비콤팩트 중심을 가진 리 군에 대해 올버의 자유성 추측에 대한 반례를 구성할 수 있는가?
• RQ3 $\mathbb{Z}$-작용이 주기적인 벡터장의 극한을 통해 $\mathbb{R}^4$ 에 정의되었을 때, 어떤 유한 차수의 프레임 다발에서도 자유가 되는가?
• RQ4 $C^\infty$ 자유성 추측은 $C^\omega$ 설정에서 수정 가능할 수 있는가?
• RQ5 리 군의 중심은 다수의 재작도 다발에서의 작용의 자유성에 어떤 역할을 하는가?

주요 결과

• 비콤팩트 중심을 가진 연결된 실수 리 군에 대해, 고정점이 희박하지만 모든 유한 차수의 프레임 다발에서 자유가 아닌 $C^\infty$ 작용이 존재한다.
• 덧셈군 $\mathbb{Z}$ 에 대해 반례를 구성하여, 이 경우에도 자유성 추측이 성립하지 않음을 보였다.
• $\mathbb{R}^4$ 에서의 $\mathbb{Z}$-작용은 조밀한 점 집합에서 모든 차수에서 주기적인 행동을 보이는 $V_k$ 의 극한을 통해 정의되며, 이는 프레임 다발에서 비자명한 안정자군을 보장한다.
• $k$차 다중다발 $F_kM$ 의 한 점의 안정자군이 무한하다는 것이 입증되어, 어떤 유한 차수에서도 작용이 자유가 아님을 증명한다.
• $X = \bigcap_{k=1}^\infty \mathcal{U}(V_k)$ 는 $\mathbb{R}^4$ 에서 조밀하므로, $\mathbb{Z}$-작용이 고정점이 희박함을 보장한다.
• 이 구성은 $C^\infty$ 자유성 추측이 일반적으로 성립하지 않음을 보여주며, 고정점이 희박한 조건에서도 마찬가지이나, 중심이 콤팩트인 군에 대해서는 $C^\omega$ 설정에서 추측이 성립함을 시사한다.