클래스2와 지수 p p‑군을 위한 기하학적 불변량

초록

이 논문은 클래스 2이며 지수가 p 인 유한 p‑군을 스큐 대칭 선형 형태 행렬로 표현하고, 그 행렬의 랭크 아이디얼과 결정적 다양체를 이용한 기하학적 불변량을 정의한다. 이러한 불변량(차수, 차원, 유리점 수 등)을 계산함으로써 5‑발생자 p‑군(특히 차수 p⁸, p⁹)의 동형 여부를 효과적으로 구분한다. 일부 예외(예: 두 군의 구분 실패)도 보고한다.

상세 분석

논문은 먼저 클래 2·지수 p 조건을 만족하는 p‑군을 Baer‑MacLane 대응을 통해 스큐 대칭 선형 형태 행렬 B(y) 로 기술한다. 이 행렬은 V=G/G′(차원 n)와 W=G′(차원 d) 사이의 교환 사상을 나타내며, 행렬의 전치와 선형 변환을 통해 군 동형이 GL(V)·GL(W) 작용에 귀속됨을 보인다. 핵심은 B(y)와 그 전치인 B·(x) 의 랭크 아이디얼 I_k(B)와 J_ℓ(B·) 을 정의하고, 이들 아이디얼이 생성하는 결정적 다양체 V_aff(I_k), V_aff(J_ℓ) 의 기하학적 특성(차수, 차원, 기본 필드 F_p 위의 유리점 수, 기본 성분의 개수 등)을 불변량으로 채택한다. 정리 2.3은 이러한 네 가지 종류의 불변량이 군의 동형 클래스에 완전히 보존된다는 것을 증명한다.

다음으로 저자들은 4‑발생자 군(차수 p⁷)과 5‑발생자 군(차수 p⁸, p⁹)의 구체적인 사례에 이 방법을 적용한다. 4‑발생자 경우, 여섯 개의 대표 행렬 B₁…B₆ 에 대해 I₁(B) 가 영이므로 파생군이 전부 중심에 포함됨을 확인하고, B·에 대한 I₃, I₄ 의 유리점 수와 차수를 계산해 표 1에 정리한다. 이 값들만으로도 여섯 군을 서로 구분할 수 있음을 보여준다.

5‑발생자 군에 대해서는 기존 연구(브라하나, 코페티, 바우간‑리 등)의 결과를 바탕으로 22개의 동형 클래스가 존재함을 인용한다. 각 군에 대응하는 행렬 B 에 대해 I₄(B)와 J₃(B·) 의 불변량을 p=3…37 범위에서 계산하고, 표 2에 제시한다. 여기서는 차수와 기본 분해의 차수, 유리점 수 등을 조합해 20개의 군을 완전히 구분하고, 나머지 두 군(14와 15)은 자동군의 크기로만 구별됨을 보고한다.

마지막으로 PORC(다항식‑조건) 추측과 관련된 예시를 제시한다. Lee가 만든 L군 패밀리는 차수 p⁹ 의 군으로, 자동군의 크기가 소수 p 에 따라 비다항식적으로 변한다. 이 경우 B(y)의 I₄가 제곱형식 f² 으로 생성되며, 프로젝트 다양체 V_proj(I₄) 의 점 개수가 p에 따라 달라져 자동군 크기가 quasi‑polynomial이 아님을 보인다. 정리 4.1은 n+d ≤ 7인 경우 자동군 크기 함수가 quasi‑polynomial임을 증명해, 위의 비quasi‑polynomial 현상이 n+d ≥ 8에서만 발생한다는 점을 강조한다.

전체적으로, 스큐 대칭 선형 형태 행렬의 랭크 아이디얼을 이용한 기하학적 불변량은 기존의 군론적 불변량보다 소수 p 의 크기에 덜 민감하면서도 충분히 구분력을 제공한다는 점이 핵심 기여이다. 다만, 모든 경우를 완전히 구분하지 못하는 한계와 계산 복잡도(특히 고차원 외곽에서의 결정적 아이디얼 계산) 문제가 남아 있다.