토릭 다양체의 정칙성 기준과 차원 4 정규 단순체 분류

초록

본 논문은 Reid‑Shepherd‑Barron‑Tai 기준을 토대로 토릭 다양체의 정칙성·터미널성을 지역 클래스 군의 작용으로 기술한다. 특히 Picard 수가 1인 가짜 가중치 사영공간(fake weighted projective spaces, fwps)을 대상으로 알고리즘을 제시해 차원 4에서 710 450개의 정칙 fwps를 완전 분류하고, 이와 대응되는 4차 정규 단순체들의 Fine 내부와 Calabi‑Yau 초곡면의 문자열 오일러 수를 계산·분석한다.

상세 분석

논문은 먼저 Cox의 사상적 구성을 이용해 Q‑factorial 토릭 다양체 X를 ˆX/H 형태의 몫으로 표현한다. 여기서 H는 클래스 군 Cl(X)의 문자군에 해당하는 준토러스이며, 각 정점 x_i에 대해 지역 클래스 군 Cl(X, x_i)와 동형인 유한 부분군 H_i⊂H가 정의된다. 저자는 H_i의 원소 h에 대해 고유값의 지수합을 ‘age’라 두고, Reid‑Shepherd‑Barron‑Tai 기준에 따라 모든 비자명 원소가 age≥1이면 X가 정칙(canonical), age>1이면 터미널(terminal)임을 정리 2.7에 명시한다. 이때 ‘quasi‑reflection’이 발생하지 않음을 증명하기 위해 H의 작용이 좌표 부분공간 차원 r‑2 이하에서만 자유롭다는 사실을 활용한다.

다음 단계에서는 Picard 수가 1인 경우, 즉 fwps에 특화한다. fwps는 n차원에서 n+1개의 원시 생성벡터 v_0,…,v_n과 정수 가중치 w_i, 그리고 유한 군 Γ의 원소 η_i로 기술된다. 각 최대 원뿔 σ_i에 대해 H_i는 단일 정수 c∈