무한대에서의 정지점과 다변수 조합론

초록

본 논문은 복소 대수다양체 위에서 조합론적 응용에 등장하는 높이 함수가 비정상적(proper)하지 않을 때, 무한대에서 발생할 수 있는 정지점(Stationary Points at Infinity, SPAI)을 효과적으로 판별하고 이를 무시할 수 있는 충분조건을 제시한다. 이러한 조건이 만족되면 고전 및 계층적 모스 이론을 그대로 적용할 수 있어, 다변수 조합론(ACSV)에서의 계수 비대칭 추정 과정을 크게 단순화한다. 또한 SPAI를 계산하는 알고리즘과 주요 정리(Theorem 2.7)를 제공하여, 실제 조합 문제에 바로 활용 가능한 도구를 마련한다.

상세 분석

논문은 먼저 다변수 생성함수 F(z)=P(z)/Q(z) 의 계수를 Cauchy 적분식 (1.1) 로 표현하고, 이 적분을 평가하기 위해 높이 함수 h_r(z)=−∑_{j=1}^d \hat r_j log|z_j| 를 도입한다. 이 함수는 방향 \hat r 에 따라 정의되며, 적분 경로를 낮은 h‑값 쪽으로 변형하는 과정에서 “정지점”이 나타난다. 기존 ACSV 이론은 이러한 정지점이 유한 개이고, 모두 복소다양체 V={Q=0} 의 정상 교차(stratum) 안에 존재한다고 가정한다. 그러나 실제 문제에서는 h_r 이 비정상적이어서, 경로가 무한대로 끌려가거나 좌표 평면(좌표가 0이 되는 점)에서 새로운 정지점이 생길 수 있다. 이는 Step I(동형학적 기저 구성)와 Step II(계수 전개)에서 심각한 장애가 된다.

저자들은 “무한대에서의 정지점”(SPAI)이라는 개념을 정의하고, 이를 “높이 부여된 SPAI”(H‑SPAI)와 계층적 비판값 crit