[논문 리뷰] Quotient curves of the Deligne-Lusztig curve of Suzuki type

Massimo Giulietti, Gábor Korchmáros외 1명|ArXiv.org|2002. 06. 28.

Advanced Algebra and Geometry참고 문헌 14인용 수 17

한 줄 요약

이 논문은 수지프 유형의 델리ญ-루스티그 곡선의 몫곡선을 분류하며, 주로 수지프 군 $\mathcal{S}z(q)$의 부분군에서 유도된 몫곡선에 초점을 맞춘다. 희생적 몫곡선(홀수 차수 부분군에서 유도됨)에 대해서는 명시적인 평면 방정식과 종수 공식을 제공하고, 비희생적 몫곡선(짝수 차수 부분군에서 유도됨)에 대해서는 존재성과 종수 공식을 확립하며, $\mathcal{S}z(\bar{q})$와 동형인 부분군의 경우도 포함한다. 주요 기여는 유한체 위에서 수지프 군 작용 하에서 몫곡선의 종수와 방정식에 대한 종합적인 분류이다.

ABSTRACT

Inspired by a recent paper of Garcia, Stichtenoth and Xing [2000, Compositio Math. 120, 137--170], we investigate the quotient curves of the Deligne-Lusztig curve associated to the Suzuki group.

연구 동기 및 목표

• 수지프 군 $\mathcal{S}z(q)$의 부분군에서 유도된 수지프 유형의 델리ญ-루스티그 곡선의 모든 몰입곡선을 분류하는 것.
• 홀수 차수 부분군에서 유도된 희생적 몰입곡선에 대해 명시적인 평면 방정식과 종수 공식을 제공하는 것.
• 짝수 차수 부분군에서 유도된 비희생적 몰입곡선에 대해 존재성을 확립하고 종수 공식을 유도하는 것. 이 경우 비이소모픽 부분군의 수가 많아 전체 분류가 불가능하기 때문이다.
• 순서가 $4r$이고 $r>1$가 $q\pm 2q_0+1$을 나누는 부분군, 그리고 특정 산술 조건을 만족하는 $\bar{q}$에 대해 $\mathcal{S}z(\bar{q})$와 동형인 부분군에서 유도된 몰입곡선을 분석하는 것.
• 이전 연구를 확장하여, 명시적인 방정식과 종수 계산을 포함한 희생적 및 비희생적 경우를 체계적으로 다루는 것.

제안 방법

• 희생적 몰입곡선의 경우, 저자는 $\mathcal{S}z(q)$의 홀수 차수 부분군에 대한 군론적 분석과 투르위츠 종수 공식을 사용하여 종수 공식과 평면 방정식을 도출한다.
• 논문은 $X$와 $Y$에 대한 단항식 및 대칭 함수를 이용해 정의된 유리 함수 $\psi_r$를 사용하여 몰입곡선의 명시적 평면 모델을 구성한다. 계수는 $2^i$-거듭제곱에 대한 합을 포함한다.
• 비희생적 몰입곡선의 경우, 저자는 순서가 $4r$인 부분군과 $\mathcal{S}z(\bar{q})$인 부분군에 대해 투르위츠 종수 공식을 적용하고, 군 원소의 공轭류 데이터로부터 분리 다항식의 차수를 계산한다.
• 저자는 고정점의 수를 세고 공식 $g_{\mathcal{U}} = 1 + \frac{1}{2} \sum_{P} (e_P - 1)$를 사용하여 종수 공식을 도출한다. 여기서 $e_P$는 분리 지수이다.
• 명시적인 평면 방정식은 대칭 함수 항등식과 이항계수 전개를 이용하여 유도되며, 특히 $\sum (-1)^{i+j} \frac{(i+j-1)!}{i!j!} X^{ri} Y^j = \text{다항식}$ 형태의 곡선에 대해 유용하다.
• 분석은 알려진 자동사상 군 $\mathcal{S}z(q)$와 그 부분군의 구조(예: 싱거 부분군 및 프로베누스 군 정규화자 포함)에 기반한다.

실험 결과

연구 질문

• RQ1 수지프 군 $\mathcal{S}z(q)$의 부분군에서 유도된 수지프 유형의 델리ญ-루스티그 곡선의 몰입곡선에 가능한 종수는 무엇인가?
• RQ2 모든 희생적 몰입곡선(홀수 차수 부분군에서 유도됨)에 대해 명시적인 평면 방정식을 유도할 수 있는가?
• RQ3 비희생적 몰입곡선(짝수 차수 부분군에서 유도됨)에 대해 어떤 종수 공식과 기하 모델을 구성할 수 있는가?
• RQ4 조건 $\bar{q} = 2^{2\bar{s}+1}$, $\bar{s} \mid s$, $2\bar{s}+1 \mid 2s+1$를 만족할 때, 부분군이 $\mathcal{S}z(\bar{q})$와 동형일 경우 몰입곡선의 종수는 어떻게 변하는가?
• RQ5 순서가 $4r$ 또는 $\mathcal{S}z(\bar{q})$인 부분군에서 유도된 몰입곡선에 대해 투르위츠 공식의 분리 다항식의 구조는 어떻게 되는가?

주요 결과

• 홀수 차수 부분군에서 유도된 희생적 몰입곡선의 경우, $r \mid q-1$이면 종수는 $g = \frac{q-1}{r}q_0$이며, 이 곡선은 특정 대칭 방정식을 포함한 $X^{2^i}$-항의 합을 포함하는 평면 곡선의 비특이 모델이며, $\mathbb{F}_q$ 위에서 정의된다.
• 만약 $r \mid q+2q_0+1$이면 종수는 $g = \frac{q+2q_0+1}{r}(q_0-1)+1$이며, 이 곡선은 $\mathbb{F}_{q^4}$ 위에서 정의된 비특이 모델이며, $Y^{(q+2q_0+1)/r}$와 $X^{2^i q_0}(1+X)^{2^i(q_0+1)-q_0}$ 항의 합을 포함하는 평면 방정식을 가진다.
• 만약 $r \mid q-2q_0+1$이면 종수는 $g = \frac{q-2q_0+1}{r}(q_0+1)-1$이며, 이 곡선은 $\mathbb{F}_{q^4}$ 위에서 정의된 비특이 모델이며, 상수 $b = \lambda^{q_0} + \lambda^{q_0-1} + \lambda^{-q_0} + \lambda^{-q_0+1}$과 $X^{2^i(2q_0+1)-(q_0+1)}(1+X)^{2^i}$ 항의 합을 포함하는 평면 방정식을 가진다.
• 순서가 $4r$인 비희생적 몰입곡선의 경우, $r \mid q+2q_0+1$이면 종수는 $g = \frac{1}{4}\left[\frac{q_0(q-1)-1}{r} - (q_0-1)\right]$이며, $r \mid q-2q_0+1$이면 $g = \frac{1}{4}\left[\frac{q_0(q-1)+1}{r} - (q_0+1)\right]$이다.
• 부분군이 $\mathcal{S}z(\bar{q})$와 동형이며 $\bar{q} = 2^{2\bar{s}+1}$, $\bar{s} \mid s$, $2\bar{s}+1 \mid 2s+1$를 만족할 경우, 종수는 $g = \frac{q_0(q-1)-1 + (\bar{q}^2+1)\bar{q}^2(\bar{q}-1) + \Delta}{(\bar{q}^2+1)\bar{q}^2(\bar{q}-1)}$이며, 여기서 $\Delta$는 $\bar{q}$, $q_0$, $\bar{q}_0$를 포함하는 복잡한 표현이다.
• 일부 경우에 대해 명시적인 평면 방정식이 제공되며, 예를 들어 $r \mid q+2q_0+1$일 때 $1 + \sum_{i=0}^{s-1} X^{2^i(2q_0+1)-(q_0+1)}(1+X)^{2^i} = \sum (-1)^{i+j} \frac{(i+j-1)!}{i!j!} Y^i X^{rj}(X^{q_0}+1)$로 정의된 곡선은 (iii)의 경우와 동일한 종수를 가지는 몰입곡선을 모델링한다.