A classification of triangular Riemann surfaces with $2p^2$ automorphisms

기술적 요약: $2p^2$ 개의 자동사상을 갖는 삼각 리만 곡면의 분류

문제 제기
본 논문은 $p$ 가 홀수 소수일 때, 차수 $2p^2$ 인 유한군에 의해 "삼각형" 작용을 허용하는 종수 $g \geq 2$ 인 콤팩트 리만 곡면의 분류를 다룬다. 삼각형 작용은 몫 공간의 종수가 0 이고, 덮개 사상이 정확히 세 점에서 분기하는 작용 (시그니처 $(0; m_1, m_2, m_3)$) 으로 정의된다. 이러한 곡면은 *준플라톤적 (quasiplatonic)*이라 불린다. 저자들은 차수 $2p^2$ 인 추상적 군이 삼각형 작용을 허용하기 위한 필요충분조건을 규명하고, 동형에 따른 결과 곡면들을 분류하며, 그들의 종수와 완전 자동사상 군을 계산하고, 명시적인 대수적 모델을 제시하는 것을 목표로 한다. 이 연구는 $pq$ 차수 (Streit 와 Wolfart) 및 순환/가환군에 대한 이전 분류들을, 여러 비동형 군과 군당 여러 개의 상이한 작용이 발생하는 더 복잡한 $2p^2$ 차수 사례로 확장한다.

방법론
저자들은 Singerman 에 의해 개발된 푸슈안 군의 조합론적 이론과 그들 사이의 포함 관계 연구라는 틀을 활용한다. 핵심 방법론은 다음과 같다:

1. 시그니처 분석: 차수 $2p^2$ 인 다섯 개의 비동형 군 ($D_{p^2}$, $Z_{p^2} \rtimes Z_2$, $Z_{2p} \times Z_p$, $D_p \times Z_p$, 그리고 $Z_{2p^2}$) 중 어떤 것이 삼각형 작용을 허용할 수 있는지 식별한다. 이는 시그니처 $(0; m_1, m_2, m_3)$ 인 푸슈안 군을 대상 군으로 전사적으로 사상하는 데 필요한 생성자들을 분석함으로써 달성된다.
2. 곡면 - 핵 전사 (SKEs): 푸슈안 군 $\Gamma$ 에서 대상 군 $G$ 로의 전사 사상 $\Phi: \Gamma \to G$ 를 구성한다. 이러한 사상의 핵은 리만 곡면 $S \cong \mathbb{H}/\ker(\Phi)$ 를 정의한다.
3. 작용의 확장: 주어진 작용이 더 큰 자동사상 군으로 확장되는지 여부를 결정하기 위해 Singerman 의 최대 시그니처 목록과 Bujalance, Cirre, Conder 에 의해 확립된 기준을 활용한다. 이는 푸슈안 군의 포함 관계를 확인하고, 확장 조건을 만족하는 자동사상 군 내의 특정 involutions 의 존재를 검토하는 것을 포함한다.
4. 대수적 모델링: 분류된 곡면을 사영 직선의 순환 덮개 (순환 $n$-gonal 곡선) 로 기술한다. 저자들은 분기 값과 자동사상의 회전 수를 분석하여 $y^n = \prod (x - \alpha_i)^{n_i}$ 형태의 명시적 아핀 평면 곡선을 유도한다.
5. 동형 분류: 푸슈안 군과 대상 군의 자동사상 군 하에서 SKE 들의 궤적을 분석하여 비동형 곡면의 수를 결정한다.

주요 기여 및 결과
본 논문은 차수 $2p^2$ 인 군의 삼각형 작용을 허용하는 콤팩트 리만 곡면의 완전한 분류를 제공한다. 주요 발견 사항은 다음과 같다:

• 존재와 개수:

  • 군 $D_{p^2}$ 와 $Z_p^2 \rtimes Z_2$ 는 $g \geq 2$ 에 대해 삼각형 작용을 허용하지 않는다.
  • $p \geq 5$ 인 경우, 그러한 작용을 허용하는 서로 동형이 아닌 콤팩트 리만 곡면은 정확히 $\frac{p^2 + 2p + 3}{2}$ 개이다.
  • $p = 3$ 인 경우, 그러한 곡면은 정확히 8 개이다.
  • 이러한 곡면들은 군 $Z_{2p} \times Z_p$, $D_p \times Z_p$, 그리고 $Z_{2p^2}$ 사이에 분포한다.

• 구체적 분류:

  • $Z_{2p} \times Z_p$: 시그니처 $(2p, 2p, p)$ 를 갖는 유일한 삼각형 작용을 허용한다. 결과 곡면은 종수 $g = (p-1)^2$ 을 가지며, $y^p = x^{2p} - 1$ 의 정규화와 동형이다. 그 완전 자동사상 군은 $D_p \times Z_{2p}$ 이다.
  • $D_p \times Z_p$: 시그니처 $(2, p, 2p)$ 와 $(2p, 2p, p)$ 를 갖는 작용을 허용한다.
    • 시그니처 $(2, p, 2p)$ 는 종수 $\frac{(p-1)(p-2)}{2}$ 인 유일한 곡면을 산출하며, 이는 $y^p = (x^p - 1)^2$ 과 동형이고, 완전 자동사상 군은 $Z_p^2 \rtimes D_3$ 이다.
    • 시그니처 $(2p, 2p, p)$ 는 종수 $(p-1)^2$ 인 $\frac{p+1}{2}$ 개의 비동형 곡면을 산출한다. 이들은 $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$ 으로 기술되는 곡선들이다. 그들의 완전 자동사상 군은 한 경우 $D_p^2 \rtimes Z_2$, 다른 경우 $D_p \times Z_{2p}$, 나머지는 $D_p \times Z_p$ 로 다양하다.
  • $Z_{2p^2}$: 네 개의 상이한 시그니처 $(2, p^2, 2p^2)$, $(2p^2, 2p^2, p)$, $(2p, p^2, 2p^2)$, 그리고 $(2p^2, 2p^2, p^2)$ 를 갖는 작용을 허용한다.
    • 이들은 $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ 개의 상이한 동형 클래스를 산출한다.
    • 각 경우에 대한 명시적 대수적 모델이 제공된다 (예: $y^{p^2} = x^2 + 1$, $y^p = x^2(x^{2p}-1)^m$ 등).
    • 완전 자동사상 군은 일반적으로 $Z_{2p^2}$ 이지만, 특정 경우 $Z_{p^2} \rtimes D_4$ 로 확장된다.

• 정의체:

  • 중요한 결과는 식별된 모든 리만 곡면이 유리수 ($\mathbb{Q}$) 위에서 정의된다는 것이다. 이는 그들의 대수적 모델이 유리수 계수를 갖는 다항식으로 주어졌기 때문에 도출된다.

• 하이퍼맵 분류:

  • 부수적으로, 저자들은 방향을 보존하는 자동사상 군의 차수가 $2p^2$ 인 가향 정칙 하이퍼맵 (또는 dessin d'enfants) 을 분류한다. $p \geq 5$ 인 경우, 그러한 비동치 하이퍼맵은 정확히 $p^2 + p$ 개이다.

의의
본 논문은 여러 분야에서 의의를 주장한다:

1. 완전성: 비가환 군의 존재와 여러 작용 유형의 존재로 인해 이전에 연구된 $pq$차수보다 더 복잡한 특정 차수$2p^2$ 에 대한 결정론적 분류를 제공한다.
2. 유리수성: 자동사상을 갖는 리만 곡면의 일반적인 행동이 종종 수체를 요구하는 것과 대조적으로, 그러한 모든 곡면이 $\mathbb{Q}$ 위에서 정의된다는 결과는 준플라톤적 곡면의 특별한 산술적 성질을 강화한다.
3. 대수적 모델: 모든 동형 클래스에 대한 아핀 평면 곡선의 명시적 구성은 구체적인 계산 연구를 가능하게 하며, 기하학적 분류를 대수기하학과 연결한다.
4. 모듈라이 공간 기하학: 이러한 특정 군 작용에 해당하는 모듈라이 공간 $M_g$ 의 특이점을 식별함으로써, 리만 곡면의 모듈라이 공간 기하학 이해에 기여한다.
5. 조합론적 연결: 이 분류는 리만 곡면 이론과 하이퍼맵의 조합론 사이의 간극을 메우며, 이 특정 자동사상 차수에 대한 가향 정칙 하이퍼맵의 완전한 목록을 제공한다.

저자들은 그들의 결과가 푸슈안 군 이론의 엄격한 적용을 통해 도출되었으며, 증명되지 않은 가설에 의존하지 않으므로 이러한 곡면의 산술적 및 기하학적 성질에 대한 추가 연구의 견고한 기초를 제공한다고 강조한다.