프로피니트 완성으로는 구분되지 않는 바이오더블리티와 일반화된 토션

초록

섬유곱을 이용해 왼쪽 순서가능한 군으로부터 바이오더블리티를 갖는 군을 만들고, 이 군과 바이오더블리티를 갖지 않는 군이 동일한 프로피니트 완성을 가짐을 보인다. 따라서 바이오더블리티와 일반화된 토션 존재 여부는 프로피니트 성질이 아님을 증명한다.

상세 분석

이 논문은 “프로피니트 성질”(finite‑quotient‑detectable property)이라는 개념을 중심으로, 두 군이 동일한 모든 유한 인덱스 정규 부분군을 가질 때(즉, 프로피니트 완성이 동형) 공유해야 하는 군 성질을 탐구한다. 기존 연구에서는 아멘빌리티, Kazhdan‑T, Property FA 등 여러 성질이 프로피니트 성질이 아님이 알려졌지만, 바이오더블리티(bi‑orderability)는 아직 미해결이었다. 저자들은 먼저 왼쪽 순서가능(left‑orderable) 군 G를 선택하고, 자유군 Fₙ과의 두 에피모르피즘
π₁ : Fₙ * G → G, π₂ : Fₙ → G
(π₁|_{Fₙ}=π₂, π₁|_G=Id) 를 정의한다. 이 두 사상을 이용해 섬유곱
P = {(x,y)∈(Fₙ * G)×Fₙ | π₁(x)=π₂(y)}
을 구성한다. 핵심은 Magnus 전개를 이용한 자유군의 바이오더블 순서를 P에 자연스럽게 끌어올릴 수 있다는 점이다. 따라서 P는 바이오더블리티를 갖는다.

다음 단계에서는 G가 다음 세 조건을 만족하도록 선택한다. (i) G는 유한 제시(finitely presented)이며, (ii) 프로피니트 완성이 자명(b G=1)이고, (iii) H₂(G;ℤ)=0. 이러한 G는 예를 들어 특정 가환화된 메트릭 그룹을 변형해 얻을 수 있다. 또한 G 안에 S라는 유한 생성, 잔류 유한(residually finite)이며 바이오더블리티를 잃은 부분군을 잡는다. S는 예를 들어 Baumslag‑Solitar 군 BS(1, n) (n≥2)와 같은 비바이오더블 군을 이용한다.

π₁을 S에 제한해 q₁ : Fₙ * S → G 를 얻고, 동일한 π₂와 함께 섬유곱
Q = {(x,y)∈(Fₙ * S)×Fₙ | q₁(x)=π₂(y)}
을 만든다. Q는 P의 부분군이므로 바이오더블리티를 유지한다. 이제 Proposition 2.11(Bridson) 를 적용한다. 이 명제는 Q와 (Fₙ * S)×Fₙ 가 동일한 프로피니트 완성을 가짐을 보장한다—조건 (i)–(iii)와 Q가 유한 생성임을 이용한다. 그러나 (Fₙ * S)×Fₙ 은 S를 포함하므로 바이오더블리티를 상실한다. 따라서 “바이오더블리티”는 동일한 프로피니트 완성을 가진 두 군 사이에서 보존되지 않으며, 프로피니트 성질이 아님을 증명한다.

동일한 논리 구조를 일반화된 토션(generalized torsion)에도 적용한다. 일반화된 토션 원소는 유한 개의 원소와 그들의 공액곱이 항등원인 경우를 말한다. S를 일반화된 토션을 포함하도록 선택하고, 위와 동일한 섬유곱 구성을 하면 Q는 일반화된 토션을 갖지 않지만, (Fₙ * S)×Fₙ 은 일반화된 토션을 포함한다. 프로피니트 완성은 동일하므로, “일반화된 토션 존재 여부” 역시 프로피니트 성질이 아니다.

기술적으로 중요한 점은 다음과 같다. 첫째, Magnus 순서를 이용해 자유군에 바이오더블 순서를 부여하고, 이를 섬유곱에 전달하는 방법이 새롭다. 둘째, Proposition 2.11의 가정인 b Q=1 및 H₂(Q;ℤ)=0를 만족시키는 G를 구성함으로써 프로피니트 완성 동형성을 확보한다. 셋째, 섬유곱 구조가 “바이오더블리티는 하위군에 전이되지만, 상위 곱에서는 사라질 수 있다”는 현상을 명확히 보여준다. 마지막으로, 이 접근법은 기존에 알려진 비프로피니트 성질(예: torsion‑free, left‑orderable 등)과는 다른, 보다 미묘한 순서 구조를 다루는 새로운 사례를 제공한다.