Nonsimplicial toric Nullstellensatz and stacky GKZ theory

기술 요약: 비심플리셜 토릭 널스텔슈츠(Nonsimplicial Toric Nullstellensatz) 및 스택키 GKZ 이론

문제 정의
고전적인 토릭 기하학은 심플리셜 토릭 다양체(simplicial toric varieties)의 기하학과 다중 등급 가환 대수(multigraded commutative algebra) 사이의 강력한 대응 관계를 콕스 링(Cox ring) $S$와 무관 이데알(irrelevant ideal) $B$를 통해 확립한다. 콕스(Cox)에 의해 개척된 이 프레임워크는 힐베르트의 널스텔슈츠 정리를 심플리셜 토릭 다양체로 일반화하며, 폐서브다양체(closed subvarieties)와 $B$에 포함된 근원적 동차 이데알(radical homogeneous ideals) 사이의 전단사 대응을 제공한다. 그러나 이 대응은 비심플리셜(nonsimplicial) 토릭 다양체의 경우 실패한다. 비심플리셜의 경우, 전체 디바이저 클래스 그룹 $\text{Cl}(X)$로 등급이 매겨진 콕스 링 $S$와 무관 이데알 $B$만으로는 서브다양체나 서브스키마를 유일하게 분류하기에 충분하지 않다. 구체적으로, $S$ 내의 서로 다른 근원적 동차 이데알들이 동일한 서브다양체에 대응할 수 있으며, 다양체 $X$가 더 이상 토러스(torus)에 의한 아핀 스킴의 기하학적 몫(geometric quotient)이 아니기 때문에 코히어런트 층(coherent sheaves)의 분류가 모호해진다. 또한, 토릭 다양체는 GKZ(Gelfand–Kapranov–Zelevinsky) 이론의 생사상(birational geometry) 맥락에서 자연스럽게 등장하지만, GKZ 팬(fan)의 콘(cone)과 토릭 다양체 사이의 연관성을 그들의 연관된 정규 스택(canonical stacks)으로 들어 올리려 할 때 함수론성(functoriality)이 깨진다.

방법론
저자들은 콕스 링의 등급을 전체 디바이저 클래스 그룹 $\text{Cl}(X)$에서 **$\mathbb{Q}$-카티어 디바이저(Q-Cartier divisors)**의 부분군인 $\text{Q-Car}(X)$로 전환함으로써 이러한 결함을 해결한다.

1. $\mathbb{Q}$-카티어 콕스 링 ($\check{S}$): 논문은 새로운 링 $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$를 정의하며, 이는 표준 콕스 링 $S$의 부분링이다. 이에 대응하는 무관 이데알은 $\check{B} = B \cap \check{S}$이다. 이 구성은 어떤 정수 배가 카티어 디바이저가 되는 차수(degree)들에 대해서만 주의를 제한한다.
2. $\mathbb{Q}$-카티어 스택 ($X^{\text{Q-Car}}$): 저자들은 $X$에 대하여 전역 몫(global quotient) $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$인 토릭 델리뉴-머디니(Deligne–Mumford, DM) 스택을 대응시킨다. 여기서 $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$이다.
3. 토릭 스택 데이터: $X^{\text{Q-Car}}$에 대한 조합론적 기술을 제공하기 위해, 저자들은 특정 토릭 스택 데이터 $(\tilde{N}, N, \tilde{\Sigma}, \beta)$를 구축한다. 이는 레이(ray)들의 자유 아벨 군의 몫으로서 격자 $\tilde{N}$을 정의하고, 비심플리셜 콘에서의 레이들의 선형 종속성을 인코딩하는 부격자(sublattice)를 포함하는 과정을 거친다. 사상 $\beta$는 팬 $\tilde{\Sigma}$와 원래의 팬 $\Sigma$ 사이의 조합론적 동치 관계를 유도한다.
4. 스택키 GKZ 이론: 방법론은 GKZ 설정으로 확장된다. GKZ 팬 $\Sigma_{\text{GKZ}}$의 각 콘 $\Gamma$에 대하여, 저자들은 현재의 팬이나 무관 이데알에 속하지 않는 "잉여 레이(extraneous rays)"(가중치)를 포함하는 수정된 스택 데이터를 사용하여 토릭 스택 $X_\Gamma$를 정의한다. 이 구성은 $\Gamma \mapsto X_\Gamma$가 함수론적임을 보장한다.

주요 기여 및 결과

• 토릭 이데알-다양체 대응 (정리 A): 본 논문은 임의의 반사영(semiprojective) 토릭 다양체 $X$(심플리셜 또는 비심플리셜)에 대하여, $X$의 폐서브다양체와 $\check{B} \subseteq \check{S}$ 내의 근원적 동차 이데알 사이에 전단사 대응이 존재함을 증명한다. 이는 $\mathbb{Q}$-카티어 콕스 링을 활용함으로써 콕스의 결과를 비심플리셜 사례로 일반화한 것이다. 증명은 기하학적 몫을 이용한 직접적인 대수 기하학적 방식과 스택 이론을 통해 모두 제공된다.
• 층 및 서브스키마의 분류 (정리 B): 저자들은 $X^{\text{Q-Car}}$가 코스 모듈라이 공간(coarse moduli space) $X$를 갖는 토릭 DM 스택임을 확립한다. 결정적으로, $X^{\text{Q-Car}}$는 임의의 $\mathbb{Q}$-카티어 디바이저의 풀백(pullback)이 카티어(Cartier)가 되는 성질에 대해 보편적(universal)이다.
  • $X^{\text{Q-Car}}$ 상의 준코히어런트 층(quasi-coherent sheaves)의 범주는 $\check{B}$-토션(torsion)에 의한 모듈을 제외한 $\text{Q-Car}(X)$-등급 $\check{S}$-모듈의 범주와 동등하다.
  • 스택 $X^{\text{Q-Car}}$는 $X$가 심플리셜일 때만 매끄럽다(smooth).
  • 이 프레임워크는 서브스키마 분류의 모호성을 해결한다: $\check{S}$ 내의 서로 다른 이데알들은 $X^{\text{Q-Car}}$의 서로 다른 서브스키마에 대응하며, 이들은 오직 $\check{B}$-토션에 의해서만 $X$의 동일한 서브스키마로 매핑된다.
• 다른 링들과의 비교: 논문은 세 가지 링의 관계를 명확히 한다: 표준 콕스 링 $S$ (Weil 디바이저), $\mathbb{Q}$-카티어 콕스 링 $\check{S}$, 그리고 피카르드 링 $S_{\text{Pic}}$ (Cartier 디바이저). 이는 $S_{\text{Pic}} \subseteq \check{S} \subseteq S$임을 보여주며, 대응하는 스택들이 $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$라는 일련의 사상을 형성함을 보여준다 (여기서 $X_{\text{Pic}}$는 $X$와 동형이다).
• 스택키 GKZ 이론 (정리 C): 논문은 토릭 다양체의 표준적인 함수론성을 들어 올리는 함수론적 도표의 토릭 DM 스택 $F: \Sigma_{\text{GKZ}} \to \{\text{DM stacks}\}$를 구축한다.
  • 각 콘 $\Gamma \in \Sigma_{\text{GKZ}}$에 대하여, 코스 모듈라이 공간 $X_\Gamma$를 갖는 토릭 스택 $X_\Gamma$가 존재한다.
  • 이 할당은 콘의 포함 관계에 대해 함수론적이며, 이를 통해 정규 스택을 사용할 때 상실되었던 함수론성을 복구한다.
  • $X_\Gamma$는 유한 사상을 통해 다양체 $X_\Gamma$와 $\mathbb{Q}$-카티어 스택 $X_{\Gamma, \text{Q-Car}}$ 사이에 위치한다. $\Gamma$가 이동 콘(moving cone) 내에 있을 때, $X_\Gamma = X_{\Gamma, \text{Q-Car}}$이다.
  • 이 구성은 이전 연구(BBB+25)에서 정의된 공통 세분화(common refinement) $\tilde{X}$와 호환되며, 이를 통해 함수론성이 공통 세분화로 확장됨을 보장한다.

의의
본 논문은 $\mathbb{Q}$-카티어 콕스 링과 그에 따른 $\mathbb{Q}$-카티어 스택의 도입이 비심플리셜 토릭 다양체 연구의 근본적인 결함을 해결한다고 주장한다. $\mathbb{Q}$-카티어 차수에 초점을 맞춤으로써, 저자들은 이전에 비심플리셜 사례에서는 불가능했던 이데알-다양체 대응과 정밀한 모듈-층 대응을 회복한다. 나아가, 스택키 GKZ 이론의 확장은 정규 스택이 함수론성을 보존하지 못할 때 발생하는 생사상(birational geometry) 연구의 한계를 극복하는 견고한 프레임워크를 제공한다. 이 결과들은 심플리셜 및 비심플리셜 토릭 다양체의 처리를 스택의 언어 안에서 통합하며, 콕스 구성의 조합론적 단순성을 유지하면서도 밑바탕이 되는 다양체의 기하학을 정확하게 반영하는 "올바른" 기하학적 대상($X^{\text{Q-Car}}$)을 제시한다.