고정 분모를 가진 유리점과 실 토릭 배열

초록

이 논문은 정수 $m$이 특정 최소공배수 $D_A$의 배수이면서 $m\ge (n+1)D_A$일 때, $n$‑차원 토러스 $ \mathbb R^n/\mathbb Z^n$ 위의 실 토릭 초평면 배열이 만든 모든 층(stratum)에 분모가 $m$인 유리점이 존재함을 보인다. 이를 토릭 다양체의 토릭 푸리니우스 사상 $F_m$에 적용하면, $m$이 충분히 크고 $D_A$의 배수이면 $F_{m*}\mathcal O_{X_\Sigma}$가 Picard 군의 모든 가능한 라인 번들을 직접합으로 포함한다는 결론을 얻는다.

상세 분석

논문은 먼저 $A={v_1,\dots ,v_k}\subset\mathbb Z^n$를 선택하고, 각 $v_i$에 대해 토러스 상의 실값 함수 $f_i(x)=v_i\cdot x$를 정의한다. $f_i^{-1}(0)$는 토러스 안의 하위 토러스 $h_i$를 이루며, 이들로 이루어진 초평면 배열이 $S_A$라는 층 구조를 만든다. 핵심은 “분모가 $m$인 유리점 집합” $L_m=\frac1m\mathbb Z^n!!\mod\mathbb Z^n$가 모든 층과 교차하도록 하는 충분조건을 찾는 것이다.

$D_A$는 $A$ 안에서 $n$개의 벡터를 골라 만든 모든 $n\times n$ 행렬의 비영 정수 행렬식의 절댓값들의 최소공배수로 정의된다. $D_A$는 각 층의 “기하학적 복잡도”를 측정하는 정수이며, $D_A$가 클수록 더 촘촘한 격자를 필요로 한다.

정리 A는 $A$가 $\mathbb R^n$의 기저를 포함하고, $m$이 $D_A$의 배수이며 $m\ge (n+1)D_A$이면 $L_m\cap S\neq\varnothing$가 모든 $S\in S_A$에 대해 성립한다는 것을 말한다. 여기서 “$\cap$가 비어 있다”는 표현은 원문 오류로 보이며, 실제 의미는 “교차한다”이다. 정리의 증명은 두 보조 보조정리로 나뉜다.

Lemma 3.1은 각 층의 리프트 $\widetilde S$를 닫은 다면체 $\Delta$로 잡고, $D_A\Delta$를 정수 격자점만을 정점으로 갖는 유한한 격자 다면체로 만든다. 이는 $A$가 기저를 포함함을 이용해 $\Delta$가 $n$개의 하이퍼플레인에 의해 제한되고, 행렬식이 $D_A$로 나누어 떨어지는 점을 보이는 선형대수적 계산으로 증명된다.

Lemma 3.2는 $p$‑차원 유한 격자 다면체 $\Delta$에 대해 $k\ge p+1$이면 $k\Delta$의 상대 내부에 적어도 하나의 격자점이 존재한다는 전형적인 Ehrhart‑reciprocity 결과를 elementary하게 재구성한다. 핵심 아이디어는 $p+1$개의 정점을 선택해 그 합을 이용해 $(p+1)\Delta$ 안에 격자점을 만든다.

정리 A의 증명은 먼저 $\Delta$를 $D_A$배해 격자 다면체로 만든 뒤, Lemma 3.2를 적용해 $k\ge n+1$이면 $kD_A\Delta$에 격자점이 존재함을 보인다. 이 격자점은 원래 토러스 상에서 분모가 $m=kD_A$인 유리점이 되므로, 모든 층에 교차한다.

그 다음 Corollary B는 토릭 다양체 $X_\Sigma$ (스무스, 토러스 요인 없음)와 그 팬의 원시 생성벡터 집합 $A$를 연결한다. 토릭 푸리니우스 사상 $F_m$는 $m$‑제곱 맵이며, $F_{m*}\mathcal O_{X_\Sigma}$는 (4)식에 따라 $M/mM$의 원소 $x$에 대응하는 라인 번들의 직접합으로 분해된다. $x$가 $L_m$에 속하면 해당 라인 번들은 $F_{m*}\mathcal O$의 한 summand이 된다. 따라서 $L_m$이 모든 층과 교차하면 (5)식이 모든 가능한 라인 번들을 생성하고, 이는 Picard 군의 전부를 포함한다는 의미다.

예시 5.1은 $A={e_1,\dots ,e_n,-\sum e_i}$ (즉 $\mathbb P^n$의 팬)에서 $D_A=1$이지만, $m\le n$이면 내부에 유리점이 없고 $m=n+1$부터 존재함을 보여 정리 A가 최적임을 확인한다. 예시 5.2는 $D_A=6$이지만 실제로 $m=12$이면 충분히 작아도 모든 층을 관통한다는 점을 들어 정리의 충분조건이 필요조건은 아님을 시사한다.

마지막 섹션에서는 정리 A의 필요조건을 언제 만족하는지, 혹은 $D_A$ 외에 어떤 추가 불변량이 필요할지, 그리고 “가장 작은 면적을 갖는 층이 삼각형”이라는 관찰이 일반적인지 등 여러 개방문제를 제시한다.

전체적으로 이 논문은 실 토릭 배열의 기하학과 격자 다면체 이론을 결합해, 토릭 푸리니우스 사상의 직접합 구조를 정수론적 조건으로 제어하는 새로운 관점을 제공한다.