Polynomiality of the Generalized Verschiebung Degree

기술 요약: 일반화된 베르샹둥 차수의 다항식성(Polynomiality)

문제 정의
$X$를 표수 $p > 2$인 대수적으로 닫힌 체 위에서 종수(genus) $g \ge 2$를 갖는 매끄러운 곡체라고 하자. 일반화된 베르샹둥 사상(generalized Verschiebung map) $V: M_2(X') \dashrightarrow M_2(X)$는 프로베니우스 풀백(Frobenius pullback) $E \mapsto F_X^* E$에 의해 유도되는, 자명한 행렬식을 갖는 계수 2인 벡터 번들의 모듈라이 공간 사이의 생성적 유한 유리 사상(generically finite rational map)이다. 이 사상의 연구에서 핵심적인 질문은 이 사상의 생성적 차수(generic degree) $\deg(V)$를 결정하는 것이다.

Kondo–Wakabayashi의 선행 연구에 따르면, $\deg(V)$는 종수 $g$인 삼가(trivalent) 그래프 $G$ 상의 특정 에지 넘버링(edge-numbering) 집합들의 카디널리티의 비율로 표현될 수 있음이 밝혀졌다: $\deg(V) = | \text{Ed}_{p,2,G} | / | \text{Ed}_{p,1,G} |$. 또한 그들은 이 차수가 표수 $p$에 대한 함수로서 $3g-3$ 차수의 준다항식(quasi-polynomial)임을 입증하였다. 그들은 직접적인 계산을 통해 $g=3$인 특정한 경우에 이 준다항식이 실제로는 다항식임을 증명하였으나, 임의의 $g \ge 2$에 대한 일반적인 경우에 대해서는 여전히 미해결 상태로 남아 있었다. 본 논문은 모든 종수에 대해 $\deg(V)$가 $p$에 대한 다항식인지 여부를 규명하고, 만약 그렇다면 명시적인 공식을 제공하는 문제를 다룬다.

방법론
본 논문은 이 문제를 해결하기 위해 조합 기하학과 열거 조합론(enumerative combinatorics)의 결합된 방법을 채택한다. 방법론은 다음과 같은 세 가지 주요 단계로 진행된다:

1. 조합적 축소 (레벨 축소, Level-Reduction):
   본 논문의 핵심적인 기술적 혁신은 $\dagger C_N(P)$에 의해 정의된 정점에서의 국소 조건에 의해 제약되는 에지 넘버링 집합 $\text{Ed}_{P,N,G}$에 관한 새로운 조합적 결과이다. 저자는 홀수 $P \ge 3$ 및 $N \ge 1$에 대하여 다음과 같은 자연스러운 전단사(bijection)를 확립하는 새로운 "레벨 축소" 정리(정리 2)를 증명한다:
   $$\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$$
   이 결과는 국소 제약 집합 $\dagger C_N(P)$와 곱집합 $\dagger C_1(2P) \times \dagger C_{N-1}(P)$ 사이의 전단을 구성하는 "국소 인수 분해 보조정리"(보조정리 7)에 기초한다.
   이를 베르샹둥 차수의 특수한 경우($P=p$이고 $N=2$)에 적용함으로써, 본 논문은 분모인 $|\text{Ed}_{p,1,G}|$를 식에서 제거하고 $|\text{Ed}_{2p,1,G}|$를 계산하는 문제로 문제를 축소시킨다.

2. 전이 행렬과 대각화 (Transfer Matrix and Diagonalization):
   $|\text{Ed}_{2p,1,G}|$를 계산하기 위해, 저자는 전이 행렬을 사용하여 계수 문제를 모델링한다. 블록들로부터 그래프 $G$를 구성하고 국소 설정에 대한 유효한 라벨링의 수를 기반으로 전이 행렬 $T$를 정의함으로써, 전체 개수는 행렬 거듭제곱의 트레이스(trace)로 표현된다: $|\text{Ed}_{2p,1,G}| = \text{Tr}(T^{g-1})$.
   행렬 $T$는 사인 함수를 포함하는 삼각 합으로부터 구성된 직교 행렬 $S$를 사용하여 대각화된다. 이 단계는 조합적 계수 문제를 스펙트럼 문제로 변환하며, 이를 통해 트레이스를 고윳값들의 합으로 계산할 수 있게 한다.

3. 명시적 다항식 유도:
   결과로 나오는 트레이스 공식은 코시칸트(cosecant) 거듭제곱의 합을 포함한다. 저자는 코시칸트 거듭제곱의 합에 관한 Zagier의 알려진 공식을 활용하여, 이 합을 베르누이 수(Bernoulli numbers)와 로랑 전개(Laurent expansion)의 계수를 사용하여 명시적으로 표현한다. 이 단계는 결과값이 준다항식이 아닌 $p$에 대한 다항식임을 확인시켜 준다.

주요 기여 및 결과

• 정리 1 (다항식성): 본 논문은 일반적인 종수 $g \ge 2$인 곡체에 대해, 생성적 차수 $\deg(V)$가 엄밀히 $p$에 대한 다항식(구체적으로는 $p^{g-1}$에 의해 스케일링된 $p^2$에 대한 다항식)임을 증명한다. 명시적 공식은 다음과 같다:
  $$\deg(V) = p^{g-1} R_g(p^2)$$
  여기서 $R_g(t) \in \mathbb{Q}[t]$는 다음과 같이 정의된다:
  $$R_g(t) = 1 - \frac{1}{2g} + \frac{1}{2g} \sum_{r=0}^{g-1} (-1)^{r-1} \frac{2^{4r} B_{2r}}{(2r)!} [z^{-2r}] \csc^{2g-2}(z) \, t^r$$
  여기서 $B_{2r}$은 $2r$번째 베르누이 수이며, $[z^{-2r}]$은 $z=0$에서의 $\csc^{2g-2}(z)$의 로랑 전개 내 $z^{-2r}$의 계수를 나타낸다.

• 정리 2 (레벨 축소): 본 논문은 $\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$인 전단을 확립한다. 이 조합적 결과는 독립적인 관심 대상으로서, 더 높은 레벨의 에지 넘버링 문제를 레벨-1 대응물로 축소시켜 dormant oper의 계수를 단순화한다.

• 짝수 $P$에 대한 명시적 공식: 본 논문은 홀수 $P$에 대한 기존 결과에 보완하여, $P$가 짝수일 때의 레벨-1 에지 넘버링의 수 $|\text{Ed}_{P,1,G}|$에 대한 초등적인 유도를 제공한다:
  $$|\text{Ed}_{P,1,G}| = \left(\frac{P}{2}\right)^{g-1} + \left(\frac{P}{4}\right)^{g-1} \sum_{\theta=1}^{P/2-1} \csc^{2g-2}\left(\frac{\pi\theta}{P}\right)$$

• 정형화 (Formalization): 조합적 증명들(보조정리 7, 정리 2, 보조정리 10)은 Lean 4를 통해 정형화되고 검증되었다.

의의 및 주장
본 논문은 Kondo–Wakabayashi가 $g=3$인 경우에 대해 검증했던 것을 넘어, 임의의 종수에 대해 일반화된 베르샹둥 차수의 다항식성 문제를 해결한다고 주장한다. 명시적인 다항식 공식을 제공함으로써, 본 연구는 이 맥락에서 Ehrhart 이론이 시사하는 준다항식의 모호성을 제거한다.

저자는 다음과 같은 휴리스틱한 관찰을 언급한다: 표수 $p$에서의 생성적 차수 $\deg(V)$는 가상의 "표수 $2p$의 체" 위에서의 dormant oper의 수와 일치한다. 이는 $\deg(V) = |\text{Ed}_{2p,1,G}| / |\text{Ed}_{p,1,G}|$라는 관계와 레벨 축소 전단에 의해 $\deg(V) = |\text{Ed}_{2p,1,G}|$가 된다는 점(본 논문의 유도 과정 중 특정 분모 논리를 수정한 결과)을 결합하여 도출된다.

본 논문은 새로운 응용이나 향후 실험적 방향을 제안하기보다는, 다항식 구조와 명시적 계수를 엄밀하게 유도하는 데 집중하며, 이를 dormant oper의 열거 기하학과 삼가 그래프의 조합론에 근거하여 수행한다.