Continuity of the tropical Prym-Torelli map

기술 요약: 열대적 프리름-토렐리 사상의 연속성 (Continuity of the Tropical Prym–Torelli Map)

문제 제기
본 논문은 열대적 프리름 다양체(tropical Prym varieties) 이론의 근본적인 불연속성을 다룬다. 고전적인 프리름 다양체는 매끄러운 대수 곡선의 에탈(étale) 이중 피복과 연관되지만, 그 열대적 대응물은 메트릭 그래프의 조화 모폴리즘(harmonic morphisms)으로부터 발생한다. Jensen과 Len은 "표준적"인 열대 프리름 다양체의 정의를 확립하였다. 그러나 [GZ24]에 따르면, 이 정의 하에서는 프리름 다양체의 부피가 패밀리 내에서 연속적으로 변하지 않으며, 결과적으로 열대적 프리름-토렐리 사상(프리름 다양체를 이중 피복에 할당하는 사상)은 연속적이지 않다.

이후 Röhrle와 Zakharov([RZ25])는 "연속적인" 프리름 다양체($Prym_c$)와 "디비저리얼(divisorial)" 프리름 다양체($Prym_d$)를 도입하였다. 그들은 이중 피복이 자유롭거나(free) 팽창 부그래프(dilation subgraph)가 연결되어 있는 경우, 팽창 부그래프의 종수를 증가시키는 에지 수축(edge contraction) 하에서 $Prym_c$가 연속적으로 변함을 입증하였다. 그러나 그들의 구성은 순수하게 열대 조합론에 의존하며, 양의 정점 가중치(positive vertex weights)가 존재하는 상황에서 여러 사이클을 수축할 때 발생하는 차원 감소(dimension drop)를 고려하지 못한다. 구체적으로, 표준 프리름 토러스의 차원($b_1(\tilde{\Gamma}) - b_1(\Gamma)$)은 가중치가 포함된 경우 팽창 구조에 따라 커버의 총 종수가 변하는 방식을 수용하기에는 불충분하다. 즉, "확장된(extended)" 정의가 필요하다.

방법론
저자는 가중치가 있는 메트릭 그래프의 조화 이중 피복에 대한 연속적인 프리름 다양체의 새로운 내재적 구성을 제안한다. 방법론은 다음 단계로 진행된다:

1. 정의 및 예비 지식: 본 논문은 가중치가 있는 메트릭 그래프에 대한 조화 모폴리즘을 공식화하고, 팽창 부그래프($\Gamma_{dil}$)와 팽창 지수(dilation index)를 정의한다. 또한 베이스 그래프의 가중치($w$)와 커버의 가중치($\tilde{w}$) 사이의 관계를 확립하며, 커버의 제1 베티 수는 일정하지 않고 팽창 구조에 의존한다는 점에 주목한다.
2. 확장된 프리름 다양체: 저자는 "확장된 프리름 다양체"($Prym_c(\pi_w)$)를 차원이 $g_{\tilde{\Gamma}} - g_{\Gamma}$인 적분 토러스(integral torus)로 정의한다. 이는 표준 연속 프리름 토러스(image of $Id - \iota^*$를 통해 정의됨)를 취하고, 1-형식(1-forms)의 격자와 호몰로지 사이클(homology cycles)의 격자 모두에 $|\tilde{w}| - |w|$만큼의 차원을 추가함으로써 달성된다. 이러한 확장은 가중치가 존재할 때도 차원이 기대되는 종수 차이와 일치하도록 보장한다.
3. 내재적 기저 구성: 반대칭 사이클(anti-symmetric cycles, $Im(Id - \iota^*)$)의 격자에 대한 내재적 기저 구축은 핵심적인 기술적 기여이다.
   • [LZ22]나 [RZ25]와 같은 기존의 구성들은 자유로운 피복으로부터 퇴화된 기저를 사용하거나 특정 스패닝 트리(spanning tree) 선택에 의존하여 잘 퇴화되지 않을 수 있는 반면, 본 논문은 **구성 1(Construction 1)**을 도입한다.
   • 이 구성은 베이스 $\Gamma$의 스패닝 트리 $T$에 대한 커버 $\tilde{\Gamma}$의 "허용 가능한(admissible)" 스패닝 트리 $\tilde{T}$를 선택한다. $\tilde{T}$의 선택은 유연하다: $\tilde{T}$는 $T$의 "양의(positive)" 측면의 전사상($\pi^{-1}(T)^+$)을 포함해야 하지만, 팽창되지 않은 $T$의 에지들에 대한 전사상에 대해서는 특정한 선택을 허용한다.
   • 기저 원소 $\beta_e$는 $\tilde{T}$에 속하지 않는 에지들과 연관된 반대칭 사이클($\tilde{\gamma}_e^- - \iota \tilde{\gamma}_e^-$)로 정의된다.
4. 연속성 증명: 저자는 이 특정 기저 선택이 에지 수축 하에서 잘 작동함을 증명한다. 임의의 부그래프 $S$의 수축에 대하여, 수축 전 그래프에서의 허용 가능한 스팬링 트리가 수축 후의 허용 가능한 스팬링 트리로 정확히 수축되는 선택이 존재함을 보임으로써, 저자는 반대칭 사이클의 기저가 연속적으로 변형됨을 입증한다.

주요 기여 및 결과

• 정리 A (사상의 연속성): 열대적 프리름-토렐리 사상 $P_g^{trop}: R_g^{trop} \to A_{g-1}^{trop, V}$는 자신의 확장된 연속 프리름 다양체를 이중 피복에 할당하며, 이는 연속적이다. 이 결과는 가중치가 있는 메트릭 그래프의 일반적인 설정에서 유효하며, 이전 정의들에서 발견된 불연속성 문제를 해결한다.
• 정리 B (정리 3.1): 구성 1을 통해 구축된 사이클의 집합은 연속 프리름 다양체를 정의하는 격자($Im(Id - \iota^*)$)의 기저를 형성한다. 이 기저는 임의의 허용 가능한 스팬링 트리 선택에 대해 독립적이며 격자를 생성함이 증명되었다.
• 내재적 구성: 본 논문은 이중 피복에 내재적인 기저 구성을 제공하며, 자유로운 피복으로부터의 퇴화에 의존하지 않는다. 이는 팽창된 에지와 $\pi$-평행 루프( $\pi$-parallel loops)의 처리를 명시적으로 다루어, 자유로운 피복과 팽창된 피복의 처리를 통합한다.
• 차원 일관성: 확장된 프리름 다양체의 정의는 팽창 부그래프의 종수를 증가시키는 에지 수축 시 발생하는 차원의 변화를 정확하게 반영하며, 결과적으로 해당 차원을 가진 주한정(principally polarized) 열적 아벨 다양체가 되도록 보장한다.

의의 및 주장
본 논문은 가중치가 있는 메트릭 그래프의 일반적인 설정에서 열대적 프리름-토렐리 사상의 연속성을 증명한 첫 번째 사례라고 주장한다. 저자는 이 결과가 "전문가들에게는 알려져 있다"고 언급했으나, 문헌에는 아직 등장하지 않았던 것이다. 본 연구의 의의는 다음과 같다:

1. 불연속성 해결: 표준 프리름 정의의 실패를 수정하고, 양의 가중치 및 다중 사이클 수축을 포함하는 경우까지 Röhrle와 Zakharov의 연속성 결과를 확장한다.
2. 내재적 기저: 반대칭 사이클의 기저 구성은 이전 방법들보다 더 유연하고 견고하여, 자유로운 피복으로부터의 극한 논리에 의존하지 않고도 연속성에 대한 직접적인 증명을 가능하게 한다.
3. 기초적 안정성: 프리름-토렐리 사상의 연속성을 확립함으로써, 본 논문은 프리름 다양체의 모듈라이 공간이 주한정 열적 아벨 다양체의 모듈라이 공간으로 연속적으로 사상됨을 보장하며, 이는 열대 기하학에서 사상이 잘 정의된 모피즘(morphism)이 되기 위한 필수 조건이다.

이 연구는 새로운 응용이나 실험적 설정을 제안하기보다는, 열적 기하학 연구를 위한 엄밀한 이론적 토대를 제공하며, 기하학적 불변량이 모듈라이 공간의 자연스러운 연산(에지 수축) 하에서 일관되게 행동함을 보장한다.