Weierstrass semigroups at totally ramified places of degree one on linearized function fields

기술적 요약: 선형화된 함수체에서 1 차 완전히 분기된 자리에서의 와이어스트라스 반군

문제 제기
본 논문은 선형화된 함수체의 맥락에서 1 차 완전히 분기된 자리에서의 와이어스트라스 반군과 이에 수반된 갭 집합의 특징을 규명하는 문제를 다룬다. 단일 및 다수의 유리 자리에서의 와이어스트라스 반군에 대한 이론은 특정 곡선 (예: 헤르미트 곡선, GK 곡선, GGS 곡선) 에 대해서는 잘 확립되어 있으나, 분리 가능한 선형화 다항식으로 정의된 선형화 함수체의 일반적 클래스에 대한 통일된 기술은 부재해 왔다. 구체적으로, 저자들은 단일 완전히 분기된 자리 $Q$에 대한 갭 집합 $G(Q)$, 생성자, 중복도, 그리고 프로베니우스 수를 결정하고, 이러한 여러 자리에서의 반군에 대한 최소 생성 집합으로 이 분석을 확장하는 것을 목표로 한다.

방법론
저자들은 유한체 $\mathbb{F}_q$ 위의 대수적 확장체 $K$에 대한 대수적 함수체 프레임워크 내에서 작업을 수행한다. 함수체 $F = K(x, y)$는 $L(y) = f(x)/g(x)$ 방정식으로 정의되며, 여기서 $L(y)$는 분리 가능한 선형화 다항식이고 $f(x), g(x)$는 서로소인 다항식이다.

방법론은 다음과 같은 기술적 단계에 의존한다:

1. 차원 계산: 저자들은 먼저 분기된 자리에서 지지되는 약수 $D$에 대한 리만 - 로흐 공간 $L(D)$의 통일된 기술을 확립한다. 확장 $F/K(x)$의 기저 $\{1, y, \dots, y^{p^n-1}\}$을 활용함으로써, 그들은 차원 $\ell(D)$에 대한 명시적 공식을 유도한다 (부록 3.2). 이는 $\deg f(x) > \deg g(x)$인 경우로 제한되었던 이전 결과들을 확장한 것이다.
2. 갭 특징화: 차원 공식을 사용하여, 그들은 1 차 완전히 분기된 자리 $Q$에서의 갭 집합 $G(Q)$를 특징화한다. 그들은 정의 방정식의 다항식들의 차수에 의존하는 바닥 함수와 천장 함수를 포함하는 $G(Q)$에 대한 통일된 기술을 제공한다.
3. 반군 구성: 갭 집합으로부터, 그들은 와이어스트라스 반군 $H(Q)$를 명시적으로 구성하며, 그 생성 시스템, 중복도, 그리고 프로베니우스 수를 식별한다.
4. 대칭성 분석: 그들은 $H(Q)$가 대칭 반군이 되기 위한 필요충분조건을 유도한다.
5. 다중 자리 분석: 매튜스, 카발류, 토레스의 작업을 확장하여, 저자들은 $s$개의 서로 다른 완전히 분기된 자리에 대한 최소 생성 집합 $\tilde{\Gamma}(Q_1, \dots, Q_s)$를 조사한다. 그들은 집합 $\Gamma(Q_1, \dots, Q_t)$를 정의하고 이러한 집합에 대한 명시적 기술을 제공하며, 동시에 이러한 생성 집합의 원소들에 정확히 대응하는 극점 약수를 갖는 특정 함수들을 구성한다.

주요 기여 및 결과

• 통일된 갭 기술: 본 논문은 $f(x)$와 $g(x)$의 상대적 차수와 무관하게 적용 가능한 1 차 완전히 분기된 자리에서의 갭 집합 $G(Q)$에 대한 통일된 공식을 제공한다 (명제 3.4).
• 명시적 반군 매개변수: 완전히 분기된 자리 $Q$에 대해, 저자들은 다음을 명시적으로 제공한다:
  • $H(Q)$에 대한 생성 시스템 (부록 3.6).
  • 중복도 $m_{H(Q)}$와 프로베니우스 수 $F_{H(Q)}$ (부록 3.7).
• 대칭성 조건: $H(Q)$의 대칭성에 대한 필요충분조건이 확립되었다: $H(Q)$는 $Q$의 인덱스를 제외한 인덱스 집합 내의 모든 $k$에 대해 $n_k \equiv -1 \pmod{p^n}$일 때만 대칭적이다 (정리 3.8).
• 여러 자리에 대한 최소 생성 집합: 본 논문은 $t$개의 서로 다른 완전히 분기된 자리에 대한 집합 $\Gamma(Q_1, \dots, Q_t)$를 완전히 결정한다 (정리 4.1). 결정적으로, 저자들은 단순히 집합을 추상적으로 기술하는 데 그치지 않고, 그들의 극점 약수의 계수가 정확히 최소 생성 집합 $\Gamma(Q_1, \dots, Q_t)$ 내에 있도록 하는 함수 $z$를 명시적으로 구성한다.
• 특정 사례에 대한 적용: 결과는 분모의 차수와 관련된 $n_0$의 부호에 따라 두 가지 특정 사례에 적용된다:
  • 사례 $n_0 \leq 0$: $G(Q)$, $H(Q)$, 그리고 $\Gamma$ 집합에 대한 명시적 기술이 제공된다 (명제 5.1).
  • 사례 $n_0 > 0$: 무한 자리 $Q_\infty$와 유한 자리에 대해 유사한 명시적 기술이 제공된다 (명제 5.3 및 5.5).
• 예시: 본 논문은 특정 선형화 함수체에 대한 갭 집합, 프로베니우스 수, 그리고 최소 생성 집합의 계산을 설명하기 위해 $\mathbb{F}_8$ 위의 구체적인 예시 (예시 5.2 및 5.6) 를 포함한다.

의의
본 논문은 헤르미트 및 노름 - 트레이스 함수체와 같은 중요한 가족들을 특수한 경우로 포함하는 선형화 함수체에서 와이어스트라스 반군을 분석하기 위한 포괄적이고 통일된 프레임워크를 제공함으로써 그 의의를 주장한다. 분자와 분모 다항식의 차수에 대한 제한을 제거함으로써, 결과는 이전의 발견들 (예: 나바로에 의한 것들) 을 일반화한다. 최소 생성 집합에 대응하는 함수들의 명시적 구성은 대수기하 부호 및 극대 함수체의 분류에 대한 추가 연구에 실용적인 도구를 제공한다. 이 작업은 자동형 군을 식별하고 좋은 매개변수를 가진 부호를 구성하는 데 필수적인 함수체의 산술적 성질에 대한 보다 폭넓은 이해에 기여한다.