[논문 리뷰] Ordering pure braid groups on closed surfaces

Juan González-Meneses|ArXiv.org|2000. 06. 21.

Geometric and Algebraic Topology참고 문헌 11인용 수 9

한 줄 요약

이 논문은 닫힘, 양측성 표면 위의 순수 브레인 군은 이순서 가능하다는 것을 증명한다. 반면 닫힘, 비양측성 표면 위의 순수 브레인 군은 일반화된 토르션을 가지며, 따라서 이순서 가능하지 않다. 양측성 표면의 경우, 필터링과 매그누스 전개를 사용하여 이순서를 구성하는 반면, 비양측성 표면의 경우 특정 브레인을 이용한 코너지션 원리로 일반화된 토르션을 보이며, 이는 이순서 가능성의 위반을 초래한다.

ABSTRACT

We prove that the pure braid groups on closed, orientable surfaces are bi-orderable, and that the pure braid groups on closed, non-orientable surfaces have generalized torsion, thus they are not bi-orderable.

연구 동기 및 목표

• 닫힘 표면 위의 순수 브레인 군이 이순서 가능인지 여부를 결정하는 것.
• 양측성 및 비양측성 닫힘 표면 위의 순수 브레인 군의 순서 가능성 성질을 조사하는 것.
• 표면의 양측성 여부에 따라 순서 가능성 행동의 이분법을 설정하는 것.
• 양측성 표면에 대해 구조적인 이순서를 구성하고, 비양측성 표면에 대해 토르션 기반의 장벽을 제공하는 것.

제안 방법

• 자유군 위의 매그누스 전개와 군의 필터링을 사용하여 닫힘 양측성 표면의 순수 브레인 군에 대한 이순서를 구성한다.
• 양측성 표면의 기본군과 자유군이 모두 이순서 가능하다는 사실을 이용하고, 제1.2조의 군 확장 원리를 적용한다.
• 표면의 기본군에 왼쪽 불변 순서를 적용하고, 순수 브레인 군의 군 확장 구조를 통해 이를 승격시킨다.
• 비양측성 표면의 경우, 특정 브레인 Γ를 구성하고, 대칭성 원리를 이용하여 Γ에 의한 코너지션으로 표준 생성자 σ_i 가 역전됨을 보인다.
• σ_i² 와 ΓΔ 사이에 일반화된 토르션 관계 σ_i² (ΓΔ) σ_i² (ΓΔ)⁻¹ = 1 를 보이며, 이때 σ_i² ≠ 1 이다.
• 일반화된 토르션이 존재하면 이는 비이순서 가능성임을 의미하며, 이는 제1.4조의 결과에 기반한다.

실험 결과

연구 질문

• RQ1 닫힘 양측성 표면 위의 순수 브레인 군은 이순서 가능한가?
• RQ2 닫힘 비양측성 표면 위의 순수 브레인 군은 일반화된 토르션을 갖는가?
• RQ3 닫힘 양측성 표면 위의 순수 브레인 군에 대해 이순서를 명시적으로 구성할 수 있는가?
• RQ4 표면의 어떤 구조적 성질(양측성)이 그 순수 브레인 군의 순서 가능성에 결정적인가?
• RQ5 이 맥락에서 일반화된 토르션의 부재는 이순서 가능성의 필요충분조건인가?

주요 결과

• M가 닫힘, 양측성 표면일 경우 순수 브레인 군 PB_n(M)은 이순서 가능하다.
• M가 닫힘, 비양측성 표면이고 n ≥ 2일 경우 순수 브레인 군 PB_n(M)은 일반화된 토르션을 갖는다.
• 일반화된 토르션은 관계 σ_i² (ΓΔ) σ_i² (ΓΔ)⁻¹ = 1 에서 발생하며, 이때 σ_i² ≠ 1 이다.
• 양측성 M에 대해 PB_n(M)의 이순서는 필터링과 자유군 위의 매그누스 전개를 통해 구성된다.
• 닫힘 양측성 표면의 기본군은 이순서 가능하며, 이 성질은 군 확장 구조를 통해 이어진다.
• 비양측성 경우는 비자명한 원소의 코너지션 곱이 항등원이 되는 현상으로 인해 이순서 가능성이 실패하며, 이는 일반화된 토르션 없는 조건을 위반한다.