Cyclic-by-abelian counterexamples to the second and third Zassenhaus conjectures

기술 요약: 순환-가환 군(Cyclic-by-Abelian Groups)에 대한 제2 및 제3 자센하우스 추측의 반례

문제 정의
본 논문은 유한 순환-가환 군의 범주 내에서 제2 및 제3 자센하우스 추측((ZC2) 및 (ZC3))의 타당성을 다룬다.

• **(ZC2)**는 정수 군환 $\mathbb{Z}G$의 모든 군 기저(group basis)가 $U(\mathbb{Q}G)$ 내에서 $G$와 공액(conjugate)임을 주장한다.
• **(ZC3)**는 정규화된 단위 군 $V(\mathbb{Z}G)$의 모든 유한 부분군이 $U(\mathbb{Q}G)$ 내에서 $G$의 부분군과 공액임을 주장한다.

(ZC1)은 최근 Eisele과 Margolis에 의해 메타가환(metabelian) 군에 대해 부정되었고, (ZC2)/(ZC3)는 이전에 Roggenkamp, Scott, Klingler, Hertweck에 의해 일반적인 메타가환 군에 대해 부정되었으나, 파생 부분군 $G'$이 순환군인 순환-가환 군이라는 특정 하위 범주에서의 (ZC2)와 (ZC3)의 상태는 미해결 상태로 남아 있었다. Margolis와 del Río는 이 클래스에 대해 (ZC3)가 성립하는지 명시적으로 질문한 바 있다. 본 논문은 이러한 질문을 해결하기 위해 반례를 구축하는 것을 목표로 한다.

방법론
본 구축은 Hertweck의 2002년 반례에서 확립된 프레임워크를 따르고 확장한다. 방법론은 환(ring)과 자기동형사상(automorphism)의 풀백 다이어그램(pullback diagram)을 이용한 균일한 정수 글루잉(integral gluing) 논증에 의존한다.

1. 군 구축:
   저자는 다음과 같은 군들의 가족 $G_r = (M \times N \times Q) \rtimes W$를 정의한다:

• $M \cong C_5$, $N \cong C_3$, $Q \cong C_r$ (단, $\gcd(r, 30)=1$).
• $W = C_8 \rtimes (C_2 \times C_2)$는 법 부분군 $F = M \times N \times Q$에 대각적으로 작용하는 특정 군(order 32)이다.
• $Q \cong C_3$를 사용하여 $N \times Q \cong C_3^2$가 되어 파생 부분군이 비순환이 되었던 Hertweck의 원래 예시와 달리, $\gcd(r, 30)=1$인 $Q \cong C_r$의 선택은 파생 부분군 $G'_r \cong C_{60r}$이 순환군이 되도록 보장하며, 이는 순환-가환 조건을 충족한다.

2. 자기동형사상 구축:
   핵심 구축은 증강 보존 자기동형사상(augmentation-preserving automorphism) $\alpha_r \in \text{Aut}(\mathbb{Z}G_r)$이다. 이는 "이중 몫 풀백(double-quotient pullback)" 전략을 통해 구축된다:

• 몫(Quotients): 환 $\mathbb{Z}G$는 몫 $G_3 = G/M$ 및 $G_5 = G/N$을 포함하는 풀백을 통해 분해된다.
• 국소 자기동형사상(Local Automorphisms):
  • 몫 $H = G/MN \cong Q \rtimes W$ 상에서, 생성원 $c$를 $zc$로 바꾸는 외적 자기동형사상(outer automorphism) $\sigma$가 정의된다.
  • 더 큰 몫인 $G_3$와 $G_5$ 상에서, 본 논문은 모든 계급 보존 자기동형사상(class-preserving automorphisms)이 내적 자기동형사상(inner)임을 증명한다 (Proposition 3.5).
• 글루잉(Gluing): 저자는 특정 합동식(congruence)에 대해 공통 몫인 $\mathbb{Z}H$ 상에서 일치하는 몫들의 정수 환($\mathbb{Z}G_3$ 및 $\mathbb{Z}G_5$) 상의 자기동형사상을 구축한다. 여기에는 다음이 포함된다:
  • $m, n$으로부터 유도된 원분 단위(cyclotomic units) 및 부호 자기동형사상($\varepsilon_u, \varepsilon_v$)의 사용.
  • 특정 정수 단위 $\nu$를 구성하고, 3과 5에 대한 경계 합동식을 만족시키기 위해 원분 몫의 단위 $t$를 활용함.
  • "정수 글루잉"이 $Q$의 차수와 무관함을 보장함 (Proposition -> 6.3).

3. 장애 분석(Obstruction Analysis):
   구축된 자기동형사상 $\alpha_r$은 자센하우스 인수(Zassenhaus factorization)를 갖지 않음(즉, 중심 자기동형사상과 군 자기동형사상의 합성으로 쓰일 수 없음)을 보인다. 이는 만약 그러한 인수가 존재한다면 몫 $H$ 상에서 내적 자기동형사상을 유도할 것이라는 점을 이용하여, 유도된 사상 $\sigma_H$가 외적(outer)이라는 사실과 모순됨을 보여줌으로써 달성된다.

주요 결과

• 정리 1.1: $\gcd(r, 30)=1$인 임의의 $r > 1$에 대하여, 다음을 만족하는 유한 순환-가환 군 $G_r$과 $\alpha_r \in \text{Aut}(\mathbb{Z}G_r)$가 존재한다:
  1. $|G_r| = 480r$ 이고 $G'_r \cong C_{60r}$ 이다.
  2. $\alpha_r$은 자센하우스 인수를 갖지 않는다.
  3. 이미지 $Y_r = \alpha_r(G_r)$는 $\mathbb{Z}G_r$의 정규화된 군 기저이며, $U(\mathbb{Q}G_r)$ 내에서 $G_r$과 공액이 아니다.
• 따름정리 1.2: $Y_r$은 $G_r$과 동시에 유리 공액(rationally conjugate)되지는 않지만, $Y_r$의 모든 개별 원소 $y \in Y_r$은 $G_r$의 어떤 원소 $g \in G_r$와 유리 공액이다.
• 가장 작은 예시: 이 가족의 가장 작은 구성원은 $r=7$에서 발생하며, 이는 파생 부분군이 $C_{420}$인 차수 3360의 군을 생성한다.

의의 및 주장
본 논문은 순환-가환 군에 대한 (ZC2) 및 (ZC3)의 타당성에 관한 Margolis와 del Río가 제기한 특정 미해결 문제를 해결한다고 주장한다.

• 부정적 해결: 본 논문은 순환-가환 군의 클래스에 대해 (ZC2)와 (ZC3)가 실패함을 입증한다.
• 구조적 구별: 이 반례들은 점별 유리 공액(pointwise rational conjugacy, 이들 군의 개별 톨션 단위에 대해 성립함 - Caicedo, Margolis, del Río에 의거)과 전체 군 기저의 동시 유리 공액(simultaneous rational conjugacy) 사이의 구별을 강조한다.
• 균일성: 본 구축은 Hertweck의 예시를 균일하게 확장한다. 본 논문은 계급 보존 장애(class-preserving obstruction)와 정수 글루잉 메커니즘이 보충 조건이 충족되는 한 보조 인자 $Q$의 차수와 독립적임을 강조한다. 이를 통해 고립된 단일 사례가 아닌 반례의 가족을 허용한다.

본 연구는 새로운 응용이나 향후 실험적 방향을 제안하지 않으며, 오직 풀백 구축과 계급 보존 자기동형사상의 도구를 사용하여 이 특정 군 클래스 내에서 추측들을 이론적으로 부정하는 데 엄격히 집중한다.