PSL(2,q) 로부터 얻는 3‑디자인의 새로운 등가성

초록

본 논문은 유한체 위의 특수선형군 PSL(2,q) 가 작용하는 경우, 곱셈 부분군을 시작 블록으로 하는 3‑디자인이 존재하는 조건을 조사한다. q≡1(mod 20) 일 때 3-(q+1,5,3) 디자인과 3-(q+1,10,18) 디자인의 존재가 동치임을, q≡1(mod 52) 일 때는 3-(q+1,13,33) 디자인과 3-(q+1,26,150) 디자인의 존재가 동치임을 보인다. 주요 도구는 이차 잔류자와 PSL(2,q) 의 두 개의 3‑궤도(O⁺,O⁻) 사이의 균형 조건이다.

상세 분석

논문은 먼저 PSL(2,q) 가 q+1개의 점에 2‑전이적이며, q≡3(mod 4) 일 때는 3‑전이적이지만 q≡1(mod 4) 일 때는 3‑궤도가 두 개(O⁺,O⁻) 로 나뉜다는 사실을 이용한다. 시작 블록 B 를 F_q^× 의 곱셈 부분군 중 차수 k (k|q−1, 3<k<q−1) 의 원소 집합으로 잡고, B 의 PSL(2,q) 궤도가 3‑디자인을 이루려면 모든 3‑부분집합 {x,y,z}⊂B 에 대해 Δ({x,y,z})=χ((x−y)(y−z)(z−x)) 가 O⁺와 O⁻ 에서 같은 빈도로 나타나야 한다. 여기서 χ는 이차 잔류자이며, Δ는 위 식의 부호를 나타낸다. Lemma 2.1‑2.3을 통해 Δ가 O⁺와 O⁻ 를 구분하는 완전한 불변량임을 확인한다.

다음으로 k 가 짝수일 때 D_{2k} (β와 반전 원소가 생성하는 이항군)의 작용을 분석한다. D_{2k} 가 B³ 를 몇 종류의 궤도로 나누는지를 Lemma 2.7에서 제시하고, 각 궤도별 Δ값을 χ(1−β^m) 형태로 표현한다. 이때 k 가 홀수이면 Δ값이 β의 거듭제곱에 따라 교대로 바뀌어 자동으로 균형이 맞는다(정리 2.5(i)). 반면 k 가 짝수이면 Δ값이 일정하게 유지되므로 stabilizer의 크기가 2k 가 되고 λ는 ¼(k−1)(k−2) 가 된다(정리 2.5(ii)).

주요 결과는 k=5,10과 k=13,26에 한정된다. Theorem 3.1에서 가능한 k 를 모듈 24 로 제한하고, 컴퓨터 탐색을 통해 실제 존재하는 경우는 {5,10,13,26,25,29,34,37,41,49,50,53,58} 등으로 나타난다. 특히 k=5와 k=10, k=13과 k=26 은 동일한 소수 q 집합에서 동시에 존재한다는 사실을 발견한다.

Theorem 4.1 은 q≡1(mod 20) 일 때 다음 네 조건이 서로 동치임을 보인다.

1. (q,5) 가 3‑디자인을 만든다.
2. (q,10) 가 3‑디자인을 만든다.
3. χ(1+β)=−1 (β는 5차 원시근).
4. θ∈F_q^× 가 χ(θ)=−1 이면서 θ²−4θ−1=0 을 만족한다. 이와 더불어 5가 4제곱 잔류자가 아니고, p=x²+20y² 혹은 p=x²+100y² 형태가 아님을 등가 조건으로 제시한다. 증명은 Δ값을 직접 계산하고, β와 γ(=α^{(q−1)/10}) 사이의 관계를 이용해 O⁺와 O⁻ 의 합이 0이 되도록 하는 경우를 정확히 규정한다.

Theorem 5.1 은 q≡1(mod 52) 에 대해 (q,13) 와 (q,26) 의 존재가 χ(1+γ)=−1 (γ는 13차 원시근) 와 동치임을 보인다. 여기서도 동일한 Δ‑균형 논리를 적용한다.

마지막으로, (qⁿ,k) 가 3‑디자인을 만들기 위한 충분·필요 조건을 연구한다. n이 홀수이면 (q,k) 가 3‑디자인이면 (qⁿ,k) 도 3‑디자인이 된다(정리 3.3). 반대로 n이 짝수이면 어떠한 k 도 3‑디자인을 만들 수 없음을 보인다(정리 3.5). 이는 이차 잔류자 χ가 확장체에서 항등 문자로 변하는 현상과 직접 연결된다.

전체적으로 논문은 PSL(2,q) 의 대칭성을 활용해 곱셈 부분군을 시작 블록으로 하는 3‑디자인을 체계적으로 분류하고, 특정 모듈러 조건 하에서 두 개의 서로 다른 블록 크기(k,2k)가 동시에 존재하는 희귀한 경우를 완전히 설명한다. 이는 기존에 Li‑Deng‑Zhang, Bonnecaze‑Solé 가 각각 다루던 두 연구를 하나의 일반 이론으로 통합하는 중요한 기여이다.