Scrollar invariants of singular curves on toric surfaces

기술 요약: 토릭 곡면 위의 특이 곡선에 대한 스크롤라 불변량(Scrollar Invariants)

문제 정의
본 논문은 편극된 토릭 곡면 $(S_\Delta, \mathcal{O}(\Delta))$ 상의 특이한 정수 곡선(singular integral curves) $C$로부터 유도된 단사 피복(finite covers) $f: C^\nu \to \mathbb{P}^1$의 스크롤라 불변량을 조사한다. 선형계 $|\mathcal{O}(\Delta)|$에 속하는 곡선 $C$에 대하여, 그 정규화(normalization) $C^\nu$는 $x_1$ 좌표 투영을 통해 차수 $d$의 사상(map)을 $\mathbb{P}^1$로 갖는다. 스크롤라 불변량 $e(C, f) = (e_1, \dots, e_{d-1})$은 벡터 번들 $f_* \mathcal{O}_{C^\nu} = \mathcal{O}_{\mathbb{P}^1} \oplus \bigoplus_{i=1}^{d-1} \mathcal{O}_{\mathbb{P}^1}(-e_i)$의 분리 유형(splitting type)에 의해 정의된다.

매끄러운 곡선의 경우, Castryck과 Cools [CC17]가 격자 폭(lattice width) $\Delta$를 포함하는 조합론적 공식을 통해 이를 결정하였으나, 특이 곡선의 경우 그 거동이 더 복적인 구조를 띤다. 주어진 세베리 다양체(Severi variety) $V^{irr}_{g, \Delta}$(기하학적 종수 $g$인 정수 곡선을 매개변수화함) 위에서, 스크롤라 불변량은 반드시 일정하지 않을 수 있다. 본 연구의 핵심 질문은 $h$-횡단적 다각형(h-transverse polygons)에 대해 일반적인 곡선에 대한 스크롤라 불변량을 결정하고, 서로 다른 성분(component)들 사이에서 이 불변량들이 어떻게 변화하는지 이해하는 것이다.

방법론
저자들은 열대 기하학(tropical geometry), 구체적으로는 이전 연구들 [CHT22, CHT23, CHT26a, CHT26b]에서 개발된 매개변수화된 열대 곡선(parameterized tropical curves) 및 플로어 다이어그램(floor diagrams)의 프레임워크를 활용한다. 증명 전략은 다음 단계들을 따른다:

1. 반연속성 및 최소성(Semicontinuity and Minimality): 스크롤라 불변량은 특수화 관계(specialization relation, 수열에 대한 부분 순서)에 대해 상반연속적(upper semicontinuous)이다. 특정 불변량 $e_{g, \Delta}$가 $V$의 일반적인 곡선에 의해 실현됨을 증명하기 위해서는, 해당 불변량이 "최소"인(즉, $e(C, f) \preceq e_{g, \Delta}$) 단 하나의 곡선 $C \in V$를 찾는 것으로 충분하다.
2. 열대 랭크 계산(Tropical Rank Calculation): 저자들은 특정 매개변수화된 열대 곡선 $\Gamma$(단순하게 늘어난 floor-decomposed 또는 ssfd 곡선)와 디바이저 $D_{trop}$를 구성하며, $D_{trop}$의 배수에 대한 Baker-Norine 랭크가 목표 불변량 값들에 의해 유계임을 보인다. 이는 $(\Gamma, D_{trop})$로 열대화되는 대수적 곡선의 불변량에 대한 상한을 설정한다.
3. 상대적 접근법을 통한 리프팅 가능성(Liftability via Relative Approach): 리프팅 가능성은 핵심적인 기술적 과제이다. 저자들은 열대 곡선 $(\Gamma, D_{trop})$를 세베리 다양체 내의 대수적 곡선으로 리프팅하기 위해 상대적 접근법[CHT26a, CHT26b]을 사용한다. 저자들은 구성된 열대 곡선이 (플로어 다이어그램의 특정 수정 과정을 통해) 리프팅 가능한 것으로 알려진 곡선과 "sw-동치(sw-equivalent)"임을 입증한다.
   • 리프팅 조건을 플로어 다이어그램의 관점에서 재구성하는 것이 주요 혁신이다. 저자들은 $h$-횡단적 다형에 대해, 관련 플로어 다이어그램들이 "소수와 서로소(prime-to-$p$)" 다이어그램(에지의 다중도가 표수(characteristic)에 의해 나누어지지 않는 다이어그램)과 모듈로 동치임을 증명한다.
   • Tyomkin [Tyo12]의 결과에 따라, 소수와 서로소인 열대 곡선은 대수적 곡선으로 리프팅 가능하다.
4. 비원시적 피복 처리(Handling Non-Primitive Covers): 투영이 원시적이지 않은 경우(즉, 중간 피복을 거치는 경우)를 다룬다. 저자들은 다각형 $\Delta$에 수평 측면(horizontal side)이 없는 경우, 스크롤라 불변량이 세베리 다양체의 모든 성분에서 최소가 아닐 수 있음을 명시적인 반례를 통해 보여준다.

주요 기여 및 결과

• Castryck-Cools 공식의 일반화: 본 논문은 Castryck-Cools 공식 [CC17]을 특이 곡선 및 임의의 표수로 확장하여, $\Delta$의 격자 폭 불변량에 의한 $f: C^\nu \to \mathbb{P}^1$의 스크롤라 불변량에 대한 상한을 제공한다 (정리 4.4).
• 주요 정리 (정리 5.4): 높이 $d \ge 2$인 $h$-횡단적 다각형 $\Delta$에 대하여:
  1. 허용 가능한 불변량들의 유일한 최소 원소 $e_{g, \Delta}$와 스크롤라 불변량이 동일한 일반적인 곡선을 갖는 적어도 하나의 기약 성분 $V \subseteq V^{irr}_{g, \Delta}$가 존재한다.
  2. 만약 $\Delta$가 수평 측면을 가진다면, $V \subseteq V^{irr}_{g, \Delta}$의 모든 기약 성분 $V$는 $e_{g, \Delta}$와 동일한 스크롤라 불변량을 갖는다.
• 보편성에 대한 반례: 저자들은 $\Delta$에 수평 측면이 없는 경우, 스크롤라 불변량이 세베리 다양의 성분들 사이에서 변할 수 있으며, 최소 불변량이 모든 성분에서 실현되지 않을 수 있음을 보여주는 예시(예시 5.1, 주의 5.2)를 제공한다. 이는 주 정리의 두 번째 부분을 위한 "수평 측면" 가정이 필요함을 강조한다. 저자들은 두 번째 주장이 수평 측면 없이 실패할 수 있음에도 불구하고, 첫 번째 주장(최소 불변량을 갖는 성분의 존재)이 실패하는 사례는 알지 못한다고 언급한다.
• 실현 가능성(Realizability): 결과적으로, 본 논문은 모든 표수와 특이 곡선에 대해 Vakil과 Vemulapalli [VV26]의 실현 가능성 결과를 회복하고 확장함으로써, 최소 스크롤라 불변량 $e_{g, \Delta}$의 실현 가능성을 확립한다.

의의
이 연구는 토릭 곡면 상의 일반적인 특이 곡선에 대한 스크롤라 불변량을 결정하기 위해 열대적 방법론을 적용한 첫 사례이다. 이는 매끄러운 곡선의 조합론적 이해와 세베리 다양 내의 기하학적 복잡성 사이의 간극을 메운다.

본 논문은 다음과 같은 구체적인 분야에서 의의를 갖는다:

• 기존 결과의 확장: Castryck-Cools 공식을 특이 곡선 및 임의의 표수로 일반화하였으며, Hirzebruch 곡면들에 대한 Redigolo [Red26]의 결과를 더 넓은 범위의 $h$-횡단적 다각형으로 확장하였다.
• 열대-리프팅 프레임워크: "상대적 접근법"의 위력을 입증하여, 기존의 실현 가능성 결과(예: [Tyo12], [ABBR15])가 적용되지 않는 작은 표수에서도, sw-동등성을 통해 소수와 서로소인 다이어그램으로의 리프팅을 통해 리프팅 가능성을 확립할 수 있음을 보여주었다.
• 모듈라이 거동의 명확화: 스크롤라 불변량에 의한 층화(Maroni loci)와 선다발의 분리 유형에 의한 층화(Brill-Noether loci) 사이의 상호작용을 명확히 함으로써, 스크롤라 불변량이 항상 최소 불변량을 실현하지만, 전체 세베리 다양체에서의 불변량의 균일성은 편극의 기하학적 구조(특히 수평 측면의 존재 여부)에 달려 있음을 보여주었다. 이는 계획된 일련의 연구 중 첫 단계로서, 모듈라이 거동에 대한 이해를 돕는다.