열대 기하학에서 포르투스 공식의 새로운 틀

초록

본 논문은 경계가 있는 유리 다면체 공간 위에 정의된 열대 벡터 번들을 이용해 차수 제한된 유리 섹션을 선택함으로써 전통적인 차수론과 일치하는 Chern 클래스 체계를 구축한다. 이를 바탕으로 열대 분할 원리를 증명하고, 차수 0인 경우에 한해 열대 포르투스 공식(퇴화 지점의 기본 클래스가 Chern 클래스의 행렬식으로 표현됨)을 제시한다. 경계와 침잠(strata) 구조가 차수 감소를 허용해 기대 차원을 확보한다는 점이 핵심이다.

상세 분석

논문은 먼저 Mikhalkin–Rau가 제시한 “rational polyhedral space”라는 개념을 확장한다. 기존의 열대 사이클은 Rⁿ 내부에만 존재했지만, 저자는 Tⁿ=(R∪{−∞})ⁿ 로 확장함으로써 경계면을 포함하도록 했다. 이때 점 p∈Tⁿ의 침잠도(I(p))를 정의하고, 침잠도가 큰 면은 −∞ 값으로 수렴하는 함수가 자연스럽게 정의될 수 있음을 보인다. 이러한 구조는 매트릭스 항목이 −∞ 로 가면서 선형 사상 ϕ:E→F 의 계급(rank)이 떨어지는 현상을 모델링한다.

열대 벡터 번들은 두 종류(실수 섬유와 열대 섬유)로 정의되며, 섹션은 “bounded rational” 즉, 각 침잠도 구역에서 −∞ 로 발산하지 않는 유리 함수로 제한한다. 이 제한을 두면 Chern 클래스 cₖ(E) 를 전통적인 차수론과 동일하게 정의할 수 있다. 저자는 특히 차수 0인 경우, 즉 섹션이 전역적으로 유한한 경우에 Chern 다항식 c_t(E)=∑cₖ(E)tᵏ 를 도입하고, 이를 이용해 차수 연산자를 통한 곱셈 구조를 구축한다.

핵심 기술은 열대 분할 원리(splitting principle)이다. 저자는 먼저 열대 선형 대수에서 GLₙ(T)=G(n) (한 행에 유한 항목 하나만 존재) 를 정의하고, 이들의 행렬식(trop det) 가 −∞ 가 아니면 가역임을 보인다. 그런 다음, 임의의 열대 벡터 번들을 충분히 큰 직합으로 분해하여 1차 라인 번들의 직접합 형태로 “분할”할 수 있음을 증명한다. 이 과정에서 G(n) 의 작용을 이용해 Chern 클래스가 라인 번들의 Chern 클래스의 대칭 다항식으로 표현됨을 확인한다.

이제 포르투스 공식의 열대 버전을 도출한다. ϕ:E→F 가 bounded matrix entries 를 갖는 사상이라 하고, D₀(ϕ)={x∈X | rankϕ(x)=0} 라 정의한다. 침잠도에 따라 rank가 떨어지는 점들이 경계면에 존재하므로, D₀(ϕ) 는 기대 차원 (e·f) 를 갖는다. 저자는 차수 0인 경우에 한해 \