Groups of order 64 and non-homeomorphic double Kodaira fibrations with the same biregular invariants

이 논문은 **64 차수의 군 (Groups of Order 64)**과 **비동형 (non-homeomorphic) 이중 코다이라 피브레이션 (Double Kodaira Fibrations)**에 대한 대수적 및 기하학적 연구를 다룹니다. 저자 프란체스코 폴리치 (Francesco Polizzi) 와 피에트로 사바티노 (Pietro Sabatino) 는 유한 군의 생성자 시스템인 '대각선 이중 코다이라 구조 (diagonal double Kodaira structures)'를 분석하여, 동일한 불변량을 가지지만 서로 다른 위상적 성질 (기본군) 을 갖는 코다이라 피브레이션의 새로운 예시를 구성했습니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 연구 문제 및 배경 (Problem Statement)

• 코다이라 피브레이션 (Kodaira Fibration): 기저 곡선 $B_1$과 올 $F$가 모두 닫힌 리만 곡면인, 비동형 (non-isotrivial) 정칙 피브레이션 $f: S \to B_1$입니다. 여기서 $S$는 일반형 (general type) 의 복소 곡면입니다.
• 이중 코다이라 피브레이션: 하나의 곡면 $S$가 두 개의 서로 다른 코다이라 피브레이션 $f_1: S \to B_1$과 $f_2: S \to B_2$를 동시에 갖는 경우를 말합니다.
• 핵심 문제: 기존의 연구들 (특히 [PolSab22]) 은 32 차수 이하의 군에 대해 이러한 구조를 분류했습니다. 그러나 33 차수 이상 63 차수 이하의 군에서 이러한 구조가 존재하는지, 그리고 64 차수의 군에서는 어떤 구조가 존재하는지, 그리고 이들이 기하학적으로 어떤 의미를 갖는지에 대한 명확한 분류가 필요했습니다.
• 목표: 64 차수 이하의 군 중 대각선 이중 코다이라 구조를 허용하는 군을 완전히 분류하고, 이를 통해 서로 다른 기본군을 가지지만 동일한 대수적/위상적 불변량을 갖는 코다이라 곡면의 새로운 예시를 구성하는 것입니다.

2. 방법론 (Methodology)

연구는 기하학적 문제를 순수 대수적 문제로 변환하는 "위상 제거 (detopologization)" 전략을 사용합니다.

1. 대수적 변환:

   • 리만 곡면 $\Sigma_b$ 위의 두 줄 무늬 (strands) 를 가진 순수 뱀대군 (pure braid group) $P_2(\Sigma_b)$에서 유한 군 $G$로의 허용 가능한 전사 준동형 (admissible epimorphism) $\phi: P_2(\Sigma_b) \to G$를 찾는 문제로 환원합니다.
   • 이 조건은 대각선 $\Delta$를 따라 차수 $n \ge 2$로 분기 (branching) 하는 갈루아 덮개 (Galois cover) 의 존재와 동치입니다.
   • 이러한 준동형은 $G$의 생성자 집합 $S = (r_{ij}, t_{ij}, z)$로 정의된 **대각선 이중 코다이라 구조 (Diagonal Double Kodaira Structure)**로 표현됩니다. 여기서 $z$는 대각선을 둘러싼 루프에 해당하며, $o(z)=n$입니다.

2. 군론적 필터링:

   • CCT 군 (Center Commutative-Transitive groups): 비가환군 $G$에서 비중심 원소들 간의 가환성이 전이적일 때, 이러한 군은 대각선 이중 코다이라 구조를 가질 수 없습니다. 따라서 64 차수 이하의 모든 CCT 군을 제외합니다.
   • 모노릴리틱 군 (Monolithic groups): $G$가 유일한 최소 비자명 정규부분군을 가질 때를 말합니다.
     • 비모노릴리틱 (Non-monolithic) 군: 만약 $G$가 모노릴리틱이 아니라면, 그 구조는 32 차수의 특수한 군 (extra-special groups) 의 몫군에서 **리프팅 (lifting)**된 것임을 증명합니다.
     • 모노릴리틱 (Monolithic) 군: 새로운 구조가 존재할 가능성이 있는 경우로, 직접적인 계산이 필요합니다.

3. 계산 도구 (GAP4):

   • 64 차수 군은 개수가 너무 많아 손으로 계산이 불가능하므로, GAP4 컴퓨터 대수 시스템을 활용했습니다.
   • 저자들은 CheckStructures라는 커스텀 스크립트를 개발하여 대각선 이중 코다이라 구조의 존재 여부와 개수를 자동으로 계산하고 분류했습니다.

3. 주요 결과 (Key Results)

A. 군의 분류 (Theorem A)

64 차수 이하의 군 중 대각선 이중 코다이라 구조를 갖는 군은 32 차수 군과 64 차수 군으로만 제한되며, 33~63 차수 사이에는 존재하지 않습니다.

• 32 차수: 이전 연구 ([PolSab22]) 에 의해 32 차수의 두 개의 특수 군 (extra-special groups, $G(32, 49)$와 $G(32, 50)$) 만이 구조를 가짐이 확인됨.
• 64 차수 (Theorem A): 64 차수 군 중 구조를 갖는 군은 총 7 가지 (SmallGroup ID 기준) 로 분류됩니다.
  • 비모노릴리틱 군 (Non-monolithic): $G(64, 199), G(64, 200), G(64, 201), G(64, 264), G(64, 265)$.
    • 이 경우 모든 구조는 32 차수 특수 군의 구조에서 리프팅된 것입니다.
  • 모노릴리틱 군 (Monolithic): $G(64, 249), G(64, 266)$.
    • 이 경우의 구조는 32 차수 군에서 리프팅되지 않는 진짜 새로운 (genuinely new) 구조입니다.

B. 기하학적 불변량 및 구성 (Theorem B & Corollary C)

이 대수적 결과를 기하학적으로 적용하여, $b=2$ (기저 곡면의 종수) 인 경우의 코다이라 피브레이션을 구성했습니다.

• 동일한 불변량: 위 7 가지 군 (및 그 구조) 에 대응되는 곡면 $S$들은 다음과 같은 동일한 불변량을 가집니다.
  • 베티 수 (Betti numbers): $b_0=b_4=1, b_1=b_3=12, b_2=342$.
  • 대수적 불변량: $K_S^2 = 736, c_2(S) = 320, \sigma(S) = 32, p_g(S) = 93, q(S) = 6$.
  • 기저 및 올의 종수: $b_1=b_2=3, g_1=g_2=41$.
• 서로 다른 위상적 성질:
  • 기본군 (Fundamental Group): 군 $G$가 다르므로 기본군 $\pi_1(S)$가 다릅니다.
  • 1 차 호몰로지 군의 비틀림 (Torsion of $H_1(S, \mathbb{Z})$):
    • 대부분의 경우 $H_1(S, \mathbb{Z}) \cong \mathbb{Z}_8 \oplus (\mathbb{Z}_2)^4$ 또는 $\mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^3$입니다.
    • 특히 $G(64, 266)$의 경우, 구조에 따라 $H_1(S, \mathbb{Z})$의 비틀림 부분이 $\mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^3$ 또는 $\mathbb{Z}_{12} \oplus (\mathbb{Z}_2)^2 \oplus \mathbb{Z}_4$로 두 가지 경우가 나뉩니다.

C. 새로운 가족의 구성 (Corollary C)

이러한 분석을 통해 다음과 같은 결론을 도출했습니다.

• 3 차원 가족 (3-dimensional families): $b_1=b_2=3, g_1=g_2=41$인 코다이라 이중 피브레이션의 두 개의 3 차원 가족 $\mathcal{F}_1, \mathcal{F}_2$가 존재합니다.
• 비동형성: 이 두 가족에 속하는 곡면들은 동일한 베티 수와 대수적 불변량을 가지지만, 서로 다른 기본군과 서로 다른 $H_1(S, \mathbb{Z})$의 비틀림 부분을 가집니다.
• 의의: 이는 동일한 기저/올 종수, 동일한 대수적/위상적 불변량을 가지지만 서로 다른 기본군을 갖는 양의 차원 (positive-dimensional) 가족을 구성한 최초의 명시적 예시입니다.

4. 의의 및 기여 (Significance)

1. 대수적 분류의 완성: 64 차수 이하의 유한 군에 대한 대각선 이중 코다이라 구조의 완전한 분류를 제시했습니다. 특히 33~63 차수 사이에는 구조가 존재하지 않음을 증명하고, 64 차수에서의 7 가지 경우를 구체적으로 규명했습니다.
2. 기하학적 응용의 혁신: 대수적 군론의 결과가 어떻게 복잡한 복소 곡면의 위상적 성질 (기본군, 호몰로지) 에 직접적인 영향을 미치는지 보여주었습니다.
3. 반례 및 새로운 현상 발견: 기존에는 동일한 불변량을 가진 곡면들이 호모토피 동치 (homotopically equivalent) 일 것이라고 추측되었을 수 있으나, 이 연구는 동일한 불변량을 가지면서도 기본군이 다른 (비동형인) 곡면 가족이 존재함을 증명했습니다. 이는 코다이라 피브레이션의 분류 이론에서 중요한 새로운 방향을 제시합니다.
4. 계산적 방법론: GAP4 를 활용한 대규모 군 구조 분석과 CheckStructures 스크립트 개발은 향후 유사한 대수기하학 문제 해결에 중요한 도구로 활용될 수 있습니다.

요약하자면, 이 논문은 **군론 (Group Theory)**과 **복소기하학 (Complex Geometry)**을 긴밀하게 연결하여, 동일한 불변량을 가지지만 위상적으로 구별되는 곡면 가족의 존재를 최초로 증명함으로써 해당 분야의 지평을 넓혔습니다.