Prym-Brill-Noether Theory for General Covers

기술 요약: 일반적인 커버에 대한 프림-브릴-노터(Prym-Brill-Noether) 이론

문제 정의
본 논문은 에탈라 이중 커버(étale double cover) $f: \tilde{C} \to C$의 프림 다양체(Prym variety) 내에서 디비저(divisor)의 계수(rank)가 최소 $r$인 디비저 클래스 $[D]$의 집합으로 정의되는 프림-브릴-노터 다양체 $V^r(C, f)$의 차원을 다룬다. 일반적인 커버(여기서 $C$의 종수는 $g$)에 대한 차원은 Bertram과 Welters에 의해 $g - 1 - \binom{r+1}{2}$로 확립되었으나, 기저 곡선 $C$가 특수한 기하학적 성질(구체적으로 $k$-gonal 곡선 또는 $k$-elliptic 곡선)을 갖는 커버의 경우 이 차원의 거동은 여전히 덜 이해되어 있다. Len과 Ulirsch, 그리고 Creech, Len, Ritter, Wu의 선행 연구들은 이러한 경우들에 대한 경계값(bounds)을 제공했으나, 최적성 문제와 특정 추측의 타당성 문제는 미해결 상태로 남겨두었다.

방법론
저자는 프림-브리-노터 다양체를 분석하기 위한 주요 도구로 열대 기하학(tropical geometry)을 채택한다. 접근 방식은 다음과 같다:

1. 열대화(Tropicalization): 메트릭 그래프 $\Gamma$와 자유 이중 커버 $\pi: \tilde{\Gamma} \to \Gamma$에 대한 열대적 프림-브릴-노터 다양체 $V^r(\Gamma, \pi)$를 구성한다.
2. 특정 열대 모델: 기존 문헌에서 사용된 "루프의 사슬(chain of loops)" 대신, 본 논문은 "루프의 루프(loop of loops)" 메트릭 그래프를 활용한다. 이 그래프는 특정 사이클 형태의 루프들로 배열된 $2g-2$개의 정점으로 구성된다.
3. 조합론적 인코딩: 본 논문은 열대 프림 다양체의 디비저 클래스와 코크시터 군(특히 타입 $A_r$ 및 타입 $I_2(r+1)$) 내의 "링거링 워드(lingering words)" 사이의 전단사 관계를 확립한다. 링거링 워드는 그래프 상에서의 디비저 위치의 유연성을 반영하여 항등원(identity elements)을 허용한다.
4. 리프팅 정리(Lifting Theorems): 열대 다양체가 국소 완전 교차(local complete intersection)임을 증명하고 Rabinoff의 리프팅 정리를 활용함으로써, 저자는 열대적 설정의 디비저 클래스가 비아르키메데스 체(non-archimedean fields) 위의 대수적 설정으로 리프팅됨을 입증한다. 이를 통해 열대 그래프로부터 대수적 곡선으로의 차원 경계값 전달이 가능해진다.

주요 기여 및 결과

• $V^r(\Gamma, \pi)$의 열대적 기술:
  ($r$-제네릭한 루프의 루프에서, 즉 엣지 길이가 특정 제네리시티 조건을 만족할 때) $V^r(\Gamma, \pi)$의 열대적 구조를 완전히 기술한다. 이 다양체는 가장 긴 원소 $w_0$에 대한 축약된 부분 단어(reduced subword)를 포함하는 코크시터 군 $A_r$의 링거링 워드들에 의해 인덱싱되는 토러스들의 합집합임이 밝혀졌다.

  • 이 다양체는 순수 차원(pure dimensional)이며 코 codimension 1에서 연결되어 있음이 증명되었다.
  • 차원이 0인 경우(즉, $g-1 = \binom{r+1}{2}$), 다양체의 카디널리티는 $w_0$에 대한 축약된 단어의 수와 일치하며, 이는 계단형 분할(staircase partition)에 대한 표준 영 타블로(standard Young tableaux)의 수와 대응한다.

• $k$-elliptic 커버에 대한 경계값 (정리 1.1):
  본 논문은 $C$가 $k$-elliptic 곡선(종수 1인 곡선으로의 차수가 $k$인 사상을 허용하는 곡선)일 때 $V^r(C, f)$의 차원에 대한 상한을 설정한다.
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - \frac{k(r+1)}{2} & \text{if } k < r \\ g - 1 - \frac{r(r+1)}{2} & \text{if } k \geq r \end{cases}$$
  $k \geq r$일 때 등호가 성립한다. 이 결과는 $k$-uniform 루프의 루프를 분석하고, 이러한 특정 열대적 구성에 대한 리프팅 결과를 증명함으로써 도출되었다.

• $k$-gonal 커버에 대한 경계값 (정리 1.3):
  일반적인 $k$-gonal 곡선( $\mathbb{P}^1$으로의 차수가 $k$인 사상을 허용하는 곡선)에 대해, 본 논문은 기존의 Len, Ulirsch 등의 결과를 개선한 향상된 차원 상한을 제공한다. 새로운 경계값은 다음과 같다:
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - n(r, k) & \text{if } \ell(\ell+1) \leq r+1 \\ g - 1 - \frac{(k-1)(r+1)}{2} & \text{if } k+1 \leq r+1 < \ell(\ell+1) \\ g - 1 - \binom{r+1}{2} & \text{if } k \geq r+1 \end{cases}$$
  여기서 $\ell = \lceil k/2 \rceil$ 이며 $n(r, k)$는 이전에 정의된 함수이다.

• 추측 3.9의 반증:
  본 논문은 $k$-gonal 커버에 대해 다른 차원 공식을 제안했던 Creech, Len, Ritter, Wu [CLRW22]의 추측 3.9를 명시적으로 반증한다. 반례는 "루프의 루프" 분석과 그에 따른 코크시터 군의 특정 조합론으로부터 발생한다.

• 새로운 추측 (추측 1.4):
  H. Larson의 연구를 따라, $\mathbb{P}^1$ 상의 직교 번들(orthogonal bundles)의 분리 유형 로커스(splitting type loci)에서 얻은 동기를 바탕으로, 저자는 $k$-gonal 경우의 $V^r(C, f)$ 차원에 대한 새로운 추측을 제안한다. 이 추측은 $k < r+1$일 때 차원이 정확히 $g - 1 - (k-1)(r+1) + \binom{k}{2}$이고, 그렇지 않으면 $g - 1 - \binom{r+1}{2}$임을 시사한다.

• Bielliptic 경우 ($k=2$):
  바이엘립틱(bielliptic) 곡선($k=2$)의 특수한 경우, 본 논문은 열대 다양체가 이면군(dihedral group) $I_2(r+1)$의 링거링 워드들에 의해 인덱싱됨을 보여준다. 이러한 구조는 일반적인 경우의 순수 차원성 및 코 codimension 1에서의 연결성과 같은 많은 위상적 성질을 보존한다.

의의 및 주장
본 논문은 일반적인 커버에 대한 Bertram-Welters 정리의 새로운 증명을 제공하며, $k$-gonal 및 $k$-elliptic 커버에 대한 기존의 경계값을 유의미하게 개선했다고 주장한다. "루프의 루프" 열대 모델을 활용함으로써, 저자는 코크시터 군의 조합론(특히 링거링 워드의 구조와 브루아트 순서(Bruhat order))이 프림-브릴-노터 다양체의 기하학을 효과적으로 인코딩할 수 있음을 입증한다.

리프팅 정리(정리 1.2)는 이 연구의 핵심으로, $r$-제네릭한 루프의 루프에 대해 모든 계수 $r$의 열대 디비저 클래스가 대수적 디비저 클래스로 리프팅됨을 확립한다. 이를 통해 저자는 열대적 조합론으로부터 대수적 다양체의 성질(축약성 및 차원 등)을 직접 도출할 수 있다. 본 논문은 도출된 상한이 항상 최적은 아닐지라도, 기존 문헌에 비해 상당한 개선을 이루었으며, 이들 다양체의 차원에 관한 더 정밀한 추측을 위한 틀을 제공한다고 결론짓는다.