When are tropical multidegrees positive?

기술적 요약: "언제 열대 다중 차수(Tropical Multidegrees)가 양수인가?"

문제 정의
본 논문은 실수 벡터 공간의 곱 $\Gamma \subset \mathbb{R}^{m_1} \times \cdots \times \mathbb{R}^{m_p}$ 안에 포함된 열대 다양체(tropical varieties)의 열대 다중 차수의 양수성을 조사한다. 고전 대수 기하학에서 다중 사영 다양체(multiprojective variety) $X$의 다중 차수는 비음수인 교차 수이다. 클래식 다양체에 대해 Castillo, Cid-Ruiz, Li, Montaño, Zhang [CCRL+20]이 해결한 근본적인 질문은, 이 다중 차수가 정확히 언제 엄격하게 양수가 되는지를 결정하는 것이다. 그들의 기준은 자연스러운 사영 $\Pi_I$에 의한 $X$의 차원에 의존한다.

열대 설정에서, He [He24]는 "번역 가능(translation-admissible)" 열대 다양체에 대해 유사한 양수성 기준을 확립했다. 그러나 임의의 열대 다양체의 경우, 양수성은 전체의 사영이 아닌 개별 파셋(facet)에 대한 부등식을 확인해야 하는 "파셋 단위(facet-wise)" 기준(정리 3.5)에 의해 지배된다. 본 논문은 이러한 파셋 단위 기준이 전체 열대 다양체 $\Gamma$의 사영 차원에만 의존하도록 "전역화(globalize)"될 수 있는 조건이 무엇인지 탐구한다. 또한, 이러한 다중 차수의 양수성이 연관된 열대 부피 다항식(tropical volume polynomial)이 로렌츠(Lorentzian) 성질을 갖게 함을 의미하는지 조사한다. 이는 클래식 설정에서 호지 이론적 관계(Hodge-theoretic relations)로 인해 알려진 성질이다.

방법론
저자는 열대 기하학, 토릭 교차 이론(toric intersection theory), 그리고 민코프스키 가중치(Minkowski weights) 이론의 조합을 사용한다.

1. 열대 교차 이론: 논문은 열대 다양체와 열대 디바이저(divisors)의 안정적 교차(stable intersections) 개념을 활용한다. 열대 다중 차수는 양의 열대 디바이저의 풀백(pullback)과 $\Gamma$의 안정적 교차 수로 정의된다.
2. 유계 유리스 동치(Bounded Rational Equivalence): Allermann, Hampe, Rau [AR10, AHR16]를 따라, 저자는 유계 유리스 동치를 사용하여 열대 사이클을 그들의 재귀 팬(recession fans)과 연결한다. 이를 통해 열대 교차 문제를 토릭 다양체의 언어로 번역한다.
3. 토릭 방법 및 민코프스키 가중치: 핵심적인 기술적 엔진은 완전한 토릭 다양체의 연산적 초 코호몰로지(operational Chow cohomology)와 민코프스키 가중치 사이의 대응 관계(Fulton–Sturmfels [FS97])이다. 열대 다양체를 토릭 부분 다양체(특히 부토러스의 폐포)와 연관시킴으로써, 저자는 열대 다중 차수의 양수성을 토릭 다양체 위 선다발(line bundles)의 교차 수의 양수성으로 번역한다.
4. 폴리매트로이드 이론(Polymatroid Theory): 다중 차수의 서포트(support)는 폴리매트로이드의 관점을 통해 분석된다. 폴리매트로이드의 랭크 함수는 열대 다양체의 사영 차원과 연결된다.
5. 증강 베르그만 팬(Augmented Bergman Fans): 논문은 폴리매트로이드의 증강 베르그만 팬(Eur와 Larson [EL24]가 도입)의 특정 사례를 연구하며, 이들이 가진 알려진 켈러 패키지(Kähler package) 성질을 활용하여 로렌츠 다항식에 관한 더 강력한 결과를 확립한다.

주요 정의 및 조건
He의 결과를 일반화하기 위해, 논문은 두 가지 조건을 도입한다:

• 사영 순수성(Projection-Purity): 열대 다양체 $\Gamma$가 사영 순수하다는 것은, 모든 인덱스 집합 $I$에 대하여 집합론적 사영 $\Pi_I(\Gamma)$가 열대 다양체의 서포트임을 의미한다.
• 파셋 선택 가능성(Facet-Selectability): 열대 다양체 $\Gamma$가 파셋 선택 가능하다는 것은, 전역적으로 사영 부등식을 만족하는 임의의 벡터 $n$($\sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma))$를 만족하는)에 대하여, 해당 부등식을 국소적으로 만족하는($\sum_{i \in I} n_i \leq \dim(\Pi_I(\sigma))$) 단일 파셋 $\sigma$가 $\Gamma$에 존재함을 의미한다.

주요 결과

1. 전역 양수성 기준 (정리 A):
   본 논문은 만약 열대 다양체 $\Gamma$가 사정 순수하고 파셋 선택 가능하다면, 그 열대 다중 차수가 양수인 것은 차수의 벡터 $n$이 전체 다양체에 대한 사영 부등식을 만족하는 것과 동치임을 증명한다:
   $$\deg^n_\Lambda(\Gamma) > 0 \iff \sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma)) \quad \forall I \subseteq [p].$$
   이 조건 하에서, 함수 $I \mapsto \dim(\Pi_I(\Gamma))$는 폴리매트로이드의 랭크 함수이며, 양의 다중 차수의 서포트는 정확히 폴리매트로이드 베이스 폴리토프(base polytope)의 격자점들과 일치한다. 이는 He의 정리를 일반화한 것으로, 모든 번역 가능 열대 다양체는 이 두 조건을 만족하지만, 그 역은 성립하지 않는다 (예시 2.10).

2. 로렌츠 성질의 실패 (섹션 4):
   논문은 사정 순수성과 파셋 선택성(심지어 번역 가능성까지도)이 열대 부피 다항식이 로렌츠가 되도록 보장하기에는 불충분함을 보여준다.

   • 명제 4.2: 번역 가능하지 않은, 사정 순수하고 파셋 선택 가능한 열대 다양체를 구성하며, 이의 열대 부피 다항식은 로렌츠가 아니다(헤시안이 두 개의 양의 고윳값을 가짐).
   • 명제 4.3: 번ial 가능(codimension one에서 연결됨)한 열대 다양체를 구성하며, 이 역시 열대 부피 다항식이 로렌츠가 아님을 보여준다.
     이는 디바이저의 네프성(nefness)이 로렌츠 성질을 함의하는 클래식 설정과 대조된다.

3. 증강 베르그만 팬에 대한 로렌츠성 (정리 B):
   논문은 열대 부피 다항식이 로렌츠인 열대 다양체의 클래스를 식별한다: 폴리매트로이드의 증강 베르그만 팬이다.

   • 폴리매트로이드 $P$의 증강 베르그만 팬 $\Sigma_P$에 대하여, 이 팬은 사정 순수하고 파셋 선택 가능함이 입증되었다.
   • 양의 다중 차수의 서포트는 정확히 $B(P)$의 격자점 집합이다.
   • 결정적으로, 임의의 양의 열대 디바이저 시퀀스에 대해 열대 부피 다项식 $tvol_{\Sigma_P, \Lambda}(t)$는 로렌츠이다. 이 결과는 폴리매트로이드의 증강 초 환(augmented Chow ring)이 켈러 패키지를 만족한다는 사실에 기초한다 (Eur–Larson [EL24], Adiprasito–Huh–Larson [ADH23]).

4. 실현 가능성 진술 (따름정리 C):
   논문은 사정 순수하고 파셋 선택 가능한 열대 다양체의 양의 열대 다중 차수의 서포트 집합이 정확히 폴리매트로이드 베이스 폴리토프의 격자점( $\mathbb{N}^p$와 교집합)임을 확립한다.

의의 및 주장
본 논문은 광범위한 열대 다양체에 대해 열대 다중 차수가 양수인 경우를 완전히 규명한다고 주장하며, 이는 번역 가능성에 국한되었던 이전의 결과들을 확장한 것이다. 논문은 서포트의 조합적 구조(M-볼록성/폴리매트로이드 베이스 폴리토프)와 계수의 해석적 구조(로렌츠성) 사이의 구분을 명확히 한다.

저자는 사정 순수성과 파셋 선택성이 다중 차수의 서포트를 결정하는 데는 충분하지만, 로렌츠 성질을 강제하지는 않는다는 점을 명시적으로 밝힌다. 증강 베르그만 팬에 관한 연구의 의의는 서포트 구조와 로렌츠 성질이 모두 성립하는 자연스러운 기하학적 맥락을 식별함으로써, 폴리매트로이드에 대한 클래식 호지 이론적 결과의 열대적 상응물을 회복하는 데 있다. 논문은 마지막으로 증강 베르그만 팬이 번역 가능한지에 대한 미해결 문제를 제기하며 마무리한다.