밀집 순서가 가능한 브레이드 부분군

초록

Dehornoy이 제시한 Artin 브레이드 군 Bₙ의 왼쪽 순서는 전체에서는 이산적이지만, n>2인 경우 특정 정상 부분군—특히 교환군과 Burau 표현의 핵—에 제한하면 순서가 밀집하게 된다. 이는 Dehornoy 순서가 정상 부분군을 이산적으로 정렬할 때 가능한 최소 양의 원소를 규명한 결과이며, 이러한 부분군에서는 최소 양의 원소가 존재하지 않음으로써 순서가 밀집함을 보인다.

상세 분석

Dehornoy 순서는 Bₙ의 표준 생성자 σ₁,…,σₙ₋₁에 대해 “σᵢ가 양수”라는 규칙을 기반으로 정의된 왼쪽 전역 순서이며, 이는 모든 원소를 비교 가능하게 만든다. 기존 연구에서는 이 순서가 전체 Bₙ에서 이산적(discrete)임을 증명했는데, 이는 최소 양의 원소가 존재하고, 그 원소는 σ₁이다. 본 논문은 이러한 전제 하에 “정상 부분군 N⊂Bₙ이 Dehornoy 순서에 의해 이산적으로 정렬될 경우, N이 포함할 수 있는 최소 양의 원소는 반드시 Bₙ의 중심 원소인 Δ²의 거듭제곱이거나, σ₁의 적절한 공액 형태”라는 정리를 제시한다. 여기서 Δ는 Artin 브레이드 군의 반대칭 원소이며, Δ²는 중심 원소이다.

이 정리의 핵심 아이디어는 다음과 같다. 먼저 N이 정상이고 이산적이라면, N∩⟨σ₁⟩≠∅이어야 한다. 만약 N이 σ₁의 거듭제곱을 포함한다면, 그 거듭제곱은 전체 순서에서 최소 양의 원소가 된다. 그러나 N이 σ₁를 포함하지 않으면, N은 Δ²의 거듭제곱만을 최소 양의 원소로 가질 수 있다. 이때 Δ²는 모든 σᵢ와 교환하므로, N이 Δ²의 거듭제곱만을 포함한다면 N은 사실상 중심을 제외한 모든 비자명 원소가 양·음으로 무한히 교차한다는 의미가 된다.

이 정리를 이용해 두 가지 주요 정상 부분군을 분석한다. 첫째, 교환군