고정점 4를 가진 유한 단순군의 리만곡면 작용 전면 분석

초록

본 논문은 이전 연구에서 분류된 고정점 수(픽시티) 4인 유한 단순군 중, 컴팩트 리만곡면( genus ≥ 2) 위에서 실제로 자동군으로 작용할 수 있는 경우를 조사한다. 표 1에 제시된 Hurwitz 데이터와 혼합 픽시티 행동을 통해 가능한 군과 분기 데이터를 완전히 열거하고, GAP 코드를 이용해 존재 여부를 검증한다.

상세 분석

논문은 먼저 “픽시티(k‑fixity)”라는 개념을 정의한다. 군 G가 집합 Ω에 작용할 때, 비자명 원소가 고정할 수 있는 점의 최대 개수를 k라 두며, 이는 전통적인 고정점 수와는 다른 관점이다. 저자들은 기존에 픽시티 2, 3, 4인 유한 단순군을 완전히 분류한 결과를 바탕으로, 이제 이들 군이 리만곡면 X( genus ≥ 2) 위에서 자동군으로 작용하면서 전체 픽시티가 4 이하이고, 적어도 하나의 궤도에서 정확히 픽시티 4를 보이는 경우를 탐구한다.

핵심 전략은 다음과 같다. (1) 표 2에 제시된 “픽시티 4와 사이클릭 점 안정자” 조건을 만족하는 단순군 리스트를 확보한다. (2) 각 군에 대해 점 안정자(order m)의 곱셈 구조와 Hurwitz 공식 2(g‑1)=|G|(2(g₀‑1)+∑₁ʳ nⱼ(1‑1/mⱼ))를 이용해 가능한 분기 데이터(l)를 도출한다. 여기서 g₀는 궤도 공간 X/G의 코제네시스, nⱼ는 해당 안정자를 갖는 비정규 궤도의 개수이다. (3) “혼합 픽시티(mixed‑fixity)” 개념을 도입해, 하나의 작용 안에 픽시티 4, 3, 2가 동시에 나타날 수 있는 경우를 체계적으로 구분한다.

증명 핵심은 Lemma 3.1에 제시된 “생성 튜플” 조건이다. Hurwitz 데이터 l이 실제로 존재하려면, G의 원소들을 a₁,…,a_{g₀}, b₁,…,b_{g₀}, c_{j,i} (각각 안정자 대표) 로 선택해 (a) 각 c_{j,i}의 차수가 요구된 mⱼ와 일치하고, (b) ∏