중심 확장을 통한 영원 루프의 궤도 계산 및 열거

초록

본 논문은 중앙 확장과 정규화된 2-코사이클을 이용해 영원 루프를 분류한다. 저자들은 루프와 아벨 군의 자동군이 작용하는 ‘affine 자동군’ Aut⁎(F,A)를 정의하고, 이 군의 궤도가 중앙 확장의 동형류와 일대일 대응함을 보인다. Burnside 보조정리를 이용한 궤도 계산과 제한된 코사이클 부분공간으로의 축소 기법을 통해 차수 24 이하, 특히 중심이 크기 ≥ 3인 경우의 영원 루프 수를 효율적으로 구한다.

상세 분석

논문은 먼저 루프 L 의 중앙 확장을 F by A(여기서 A는 p-원소의 초등 아벨 군) 형태로 기술한다. 기존의 코호몰로지 접근법에서는 2-코사이클 공간 C(F,A) 을 B(F,A) (코바운더리) 로 나눈 2차 코호몰로지 H²(F,A) 를 사용했지만, 저자들은 전체 코사이클 공간 C(F,A) 위에 직접 작용하는 affine 자동군 Aut⁎(F,A) 를 도입한다. 이 군은 (α,β,τ)∈Aut(F)×Aut(A)×Map₀(F,A) 로 구성되며, 곱셈은 (α,β,τ)(α′,β′,τ′)=(αα′,ββ′,ατ′+τβ′) 로 정의된다. 여기서 τ는 1을 0으로 보내는 함수이며, ατ′는 τ′를 α에 의해 전이시킨 것, τβ′는 A‑자동군에 의해 변환된 것이다.

이 affine 군은 두 가지 변환을 하나로 통합한다. 첫째, 자동군의 선형 작용(α,β) 에 의해 코사이클이 좌변에 의해 뒤틀리고, 둘째, 코바운더리 ∂τ 에 의한 평행 이동이다. 저자들은 식 (5) θ^{(α,β,τ)}=θ^{(α,β)}+ (∂τ)^α 로 정의된 작용이 실제로 오른쪽 군 작용임을 증명하고, 이 작용의 궤도가 서로 동형인 중앙 확장과 정확히 일치함을 정리 4.5 와 정리 4.6 을 통해 보인다.

이제 문제는 Aut⁎(F,A) 의 궤도 수를 세는 것으로 환원된다. Burnside 보조정리를 적용하면 궤도 수는 각 군 원소가 고정하는 코사이클 수의 평균으로 표현된다. 고정점 계산은 (α,β,τ) 가 주어졌을 때 방정식
θ(xy)=θ(x)+θ(y)+…
을 만족하는 θ∈C(F,A) 를 찾는 선형 시스템으로 변환된다. 여기서 F 와 A 가 유한 벡터 공간이므로, 고정점 수는 행렬식 혹은 랭크 계산으로 쉽게 구할 수 있다.

실제 계산 효율을 높이기 위해 저자들은 ‘정확 확장(exact extension)’과 ‘비정확 확장(non‑exact)’을 구분한다. 정확 확장은 A가 전체 p‑중심 Zₚ(L) 과 일치하는 경우이며, 이러한 경우에만 전체 코사이클 공간을 사용할 필요가 있다. 비정확 확장은 A가 Zₚ(L) 의 진부분집합이므로, 코사이클을 제한된 부분공간 C₀(F,A) 에 제한하고, 해당 부분공간에 대한 affine 작용만을 고려한다. 이 과정에서 ‘stretching’ 현상(다른 소수 r 에 대한 중심 원소가 존재하는 경우)도 명확히 구분되어, 포함‑배제 원리를 통해 최종 카운트를 얻는다.

계산 단계는 다음과 같다. (1) 작은 차수 F 에 대해 모든 정확 확장 Q_exact(F,pᵈ) 를 구한다. (2) 각 F 에 대해 Aut⁎(F, Cₚᵈ) 의 궤도를 Burnside 방식으로 계산한다. (3) 얻어진 궤도 수를 |NPL(m,pᵈ)| 에 합산하고, (4) 서로 다른 소수 p 에 대한 결과를 포함‑배제하여 전체 영원 루프 수 |NPL(m)| 를 얻는다.

마지막으로 저자들은 GAP 구현을 통해 차수 < 24 의 기존 결과를 재현하고, 차수 24 에서 중심 크기 ≥ 3인 경우를 새롭게 열거한다. 계산 시간과 메모리 사용량이 기존 방법에 비해 현저히 감소했으며, 특히 affine 군의 행렬 표현을 이용한 고정점 계산이 핵심적인 성능 향상을 제공한다는 점을 실험적으로 입증한다.