Newton-Okounkov bodies for nested Hilbert schemes

기술 요약: 중첩된 힐베르트 스킴을 위한 뉴턴-오쿠니코프 바디(Newton-Okounkov Bodies)

문제 정의
본 논문은 아핀 평면 위의 중첩된 점들의 힐베르트 스킴(nested Hilbert scheme of points on the affine plane), 즉 $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$ 상의 선다발(line bundles)의 기하학을 조사한다. 이 모듈라이 공간은 $\dim \mathbb{C}[x, y]/I = n$이고 $\dim \mathbb{C}[x, y]/J = n+1$인 아이디얼 쌍 $J \subset I \subset \mathbb{C}[x, y]$를 매개한다. 주요 목적은 이 공간 위의 자연스러운 선다발 $\mathcal{O}(m, k)$의 전역 단면(global sections)들을 명시적으로 기술하고, 이 단면들의 명시적인 기저(bases)를 구성하며, 연관된 뉴턴-오쿠니코프 바디를 계산하는 것이다. 표준 힐베르트 스킴 $\text{Hilb}_n(\mathbb{C}^2)$과 그 단면들에 관한 하이먼(Haiman)의 연구는 잘 이해되어 있는 반면, 중첩된 경우(nested case)는 두 하위 스킴 사이의 상호작용으로 인해 추가적인 복잡성을 띤다.

방법론
저자들은 중첩된 힐베르트 스킴과 블로우업(blow-up) 상의 힐베르트 스킴 사이의 간극을 메우기 위해 생사적 기하학(birational geometry), 표현론(representation theory), 그리고 조합 대수(combinatorial algebra)의 결합을 사용한다.

1. 생사적 축소(Birational Reduction): 저자들은 먼저 분해 $\text{Hilb}_{n,n+1}(\mathbb{C}^2) \simeq \mathbb{C}^2 \times \text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$를 확립하는데, 여기서 후자는 원점에서의 파이버(fiber)이다. 그 후 이들은 $\text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$와 $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$(원점에서의 블로우업된 평면 상의 힐베르트 스킴) 사이의 생사적 사상(birational map)을 구축한다. 결정적으로, 이들은 두 다양체가 코디멘션-2 로커스(codimension-2 locus) 밖에서 동형임을 증명한다. 두 다양체 모두 매끄럽고 노멀(normal)하므로, 이 동형 관계는 선다발의 전역 단면의 식별으로 확장된다.
2. 대수적 번역(Algebraic Translation): 블로우업 상의 힐베르트 스킴과의 동형 관계를 사용하여, 문제는 다항식의 언어로 번역된다. 블로우업 상의 단면들은 특정 지지 제약 조건(support constraints, 예외적 디바이서(exceptional divisor)와 관련됨)을 만족하는 특정 반대칭 다항식의 부분 공간으로 식별된다.
3. 좌표 변환(Coordinate Transformation): 변수 $x_i \mapsto x_i - x$ 및 $y_i \mapsto y_i - y$를 이동시키는 환 준동형 사상(ring homomorphism) $\phi$가 도입된다. 이 대수적 연산은 중첩된 쌍 내의 구별된 점의 기하학적 이동에 대응한다. 이를 통해 저자들은 블로우업 상의 단면들을 중첩된 힐베르트 스킴으로 다시 매핑할 수 있으며, 이를 다항 환 내의 특정 아이디얼들의 교집합으로 식별한다.
4. 말단 항(Trailing Terms)의 조합론적 분석: 명시적인 기저를 찾기 위해, 저자들은 특정 렉시코그래픽(lexicographic) 단항식 순서($x < y < x_1 < \dots < x_n < y_1 < \dots < y_n$)에 대한 다항식의 "말단 항"을 분석한다. 이들은 정수 점들의 집합에 대한 "k-리프트(k-lift)" 연산을 정의하고, 행렬식 곱의 말단 항이 리프트된 집합들의 합에 대응함을 증명함으로써 말단 항이 될 수 있는 지수 벡터들을 특징짓는다.

주요 기여 및 결과

• 전역 단면의 식별 (정리 1.1 & 3.14): 저자들은 $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$ 상의 $\mathcal{O}(m, k)$의 전역 단면들이 두 아이디얼의 교집합 $J_{m+k} \cap I_k$의 $\text{sgn}(m+k)$-성분과 동형임을 증명한다. 여기서 $J$는 (표준 힐베르트 스킴과 관련된) 변수들의 차이로 생성된 아이디얼이고, $I$는 $(x_i - x, y_i - y)$로 생성된 아이디얼이다.
• 말단 항을 통한 명시적 기저 (정리 1.4 & 4.4): 본 논문은 이 단면들의 말단 항에 대한 완전한 조합론적 특징을 제공한다. 단항식 $x^a y^b \prod x_i^{a_i} y_i^{b_i}$가 말단 항이 되기 위한 필요충분조건은 그 지수들이 $m$과 $k$라는 파라미터를 포함하는 특정 부등식 세트를 만족하는 것이다. 이 부등식들은 다면체 집합 $P(m+k, k)$를 정의한다.
• 힐베르트 급수 (따름정리 1.5 & 4.13): 말단 항의 특징화를 사용하여, 저자들은 다면체 집합 $P(m+k, k)$ 상의 정수 점들에 대한 가중 합으로서 힐베르트 급수의 공식을 유도한다. 저자들은 이 조합론적 공식이 아티아-보트(Atiyah-Bott) 국소화 공식(localization formula)을 통해 얻은 결과와 일치함을 언급하며, 이는 비자명한 조합론적 항등식들로 이어진다.
• 뉴턴-오쿠니코프 바디 (정리 1.6 & 따름정리 4.18): 저자들은 렉시코그래픽 말단 항에 의해 정의된 밸류에이션(valuation)에 대하여 선다발 $\mathcal{O}(m, k)$의 뉴턴-오쿠니코프 바디를 계산한다. 이들은 이 바디가 $\mathbb{R}^2_{\geq 0} \times \Delta(m+k, k)$의 곱 형태임을 보여주는데, 여기서 $\Delta(m+k, k)$는 말단 항 부등식의 점근적 버전(asymptotic version)에 의해 정의되는 다면체이다.

의의
본 논문은 표준 힐베르트 스킴보다 덜 알려진 공간인 중첩된 힐베르트 스킴의 기하학을 이해하기 위한 구체적인 대수적 및 조합론적 프레임워크를 제공한다. 블로우업 상의 힐베르트 스킴과의 생사적 연결을 확립함으로써, 저자들은 알려진 결과들을 활용하여 중첩된 경우의 문제를 해결한다. 기저에 대한 명시적 기술과 뉴턴-오쿠니코프 바디의 계산은 이러한 모듈라이 공간의 점근적 기하학을 연구하기 위한 새로운 도구를 제공한다. 저자들은 결과로 도출된 폴리토프(polytope)의 조합론이 나카지마(Nakajima)와 요시오카(Yoshioka)가 연구한 중첩된 힐베르트 스킴의 생사적 기하학에서의 월-크로싱(wall-crossing) 현상과 관련될 수 있음을 시사하지만, 이 연결은 본문 내에서 증명된 결과라기보다는 하나의 기대치로 제시된다.