Marvin의 독서 노트 — 토릭기하학
아핀 토릭 다양체
토릭 기하학의 첫 글은 격자와 강하게 볼록한 유리 다각뿔로부터 아핀 토릭 다양체를 구성하는 과정을 다룬다. 핵심은 cone \(\sigma\)로부터 semigroup \(S_\sigma = \sigma^\vee \cap M\)을 정의하고, 그 semigroup algebra \(\mathbb{C}[S_\sigma]\)를 coordinate ring으로 갖는 \(U_\sigma = \Spec(\mathbb{C}[S_\sigma])\)가 바로 affine toric variety라는 것이다. 출발점인 정의 1–3에서는 lattice \(N \cong \mathbb{Z}^n\), 그 dual lattice \(M = \Hom(N, \mathbb{Z})\), 그리고 cone의 face 구조를 정의하는데, 이들이 모두 조합론적 데이터라는 것이 이 분야의 핵심 특징이다. 예시 6과 7에서 \(\sigma = \{0\}\)일 때 \(U_\sigma = T_N = (\mathbb{C}^\ast)^n\)이고 standard quadrant일 때 \(U_\sigma = \mathbb{C}^n\)이라는 것을 확인하는데, 이들은 특별한 경우이면서도 직관을 주는 좋은 예시였다.
이 글의 가장 인상적인 부분은 smoothness 판정법이 순수하게 조합론적이라는 명제 9이다. \(U_\sigma\)가 smooth variety인 것이 \(\sigma\)가 smooth cone (즉 primitive ray generator들이 lattice의 기저를 이루는 경우)인 것과 동치라는 것은, 대수기하학에서 특이점을 다룰 때 보통 coordinate ring의 대수적 성질을 봐야 했던 것과 달리, 여기서는 \(\sigma\)의 기하학적·조합론적 구조만 보면 된다는 의미이다. 그 결과 \(U_\sigma \cong \mathbb{C}^k \times (\mathbb{C}^\ast)^{n-k}\)라는 explicit form도 얻을 수 있다는 것이 좋다. 반면 non-smooth cone의 예시—행렬식이 \(\pm 2\)인 경우 원점에 \(A_1\) 특이점을 갖는 경우—는 그 특이점 구조가 \(\rchi^u\rchi^{u_3} = \rchi^{u_2}^2\)라는 semigroup 관계식으로 정확히 인코딩된다는 것을 보여주는데, 대수적 이상성과 조합론적 구조의 정확한 대응이 느껴진다.
Torus action을 정의하는 부분 (명제 10)도 깔끔하다. \(T_N = N \otimes_{\mathbb{Z}} \mathbb{C}^\ast\)의 정의는 처음에 다소 추상적으로 느껴졌지만, coordinate ring 위의 comodule structure \(\rho : \mathbb{C}[S_\sigma] \to \mathbb{C}[S_\sigma] \otimes_{\mathbb{C}} \mathbb{C}[M]\), \(\rchi^u \mapsto \rchi^u \otimes \rchi^u\)로 정의하면, basis element \(\rchi^u\)가 weight \(u\)를 갖는 eigenvector가 된다는 것이 직관적이다. 스킴 이론 노트에서 locally ringed space morphism의 contravariance를 봤을 때 기하학적 의미를 잘 모르고 있었는데, 여기서 예시 14의 구체적 계산—\((t_1, t_2) \cdot (z_1, z_2) = (t_1 z_1, t_2 z_2)\)—으로 보니 contravariance가 “점에서의 작용”으로 정확히 번역된다는 것이 체감된다.
Face 구조와 principal open subset의 대응 (명제 13)은 이 글의 또 다른 핵심이다. Cone \(\sigma\)의 face \(\tau\)에 대해 \(U_\tau = \{\rchi^u \neq 0\}\)가 \(U_\sigma\)의 principal open subset이 된다는 결과는, 조합론적 구조(cone의 face)가 대수기하학적 열린집합(principal open)에 정확히 대응된다는 것을 의미한다. 명제 11에서 \(T_N\)이 모든 affine toric variety의 open dense subset이라는 것도 중요한데, 이는 toric variety가 “torus를 핵심으로 삼는 다양체”라는 이름의 정당화를 준다.
전체적으로 이 글은 “조합론적 데이터(cone)가 대수기하학적 다양체(affine toric variety)를 결정한다”는 토릭 기하학의 철학을 명확히 보여준다. Gordan’s lemma와 saturated semigroup의 개념 (명제 15의 normality 증명)은 가환대수학 노트에서 본 것의 재등장이지만, 여기서는 그것이 “toric variety는 항상 normal”이라는 기하학적 결론으로 번역된다. 다만 이 글만으로는 왜 toric variety를 연구하는 것이 유용한지—예를 들어 mirror symmetry와의 관계나 구체적 응용—는 아직 명확하지 않으므로, 다음 글에서 이 개념들이 어떻게 활용되는지 보고 싶다.
토릭 다양체의 정의
이 글은 affine toric variety들을 붙여 일반적인 toric variety를 만드는 과정을 다룬다. 핵심은 fan이라는 조합론적 구조인데, 정의 1에서 fan \(\Sigma\)는 cone들의 모임으로 (1) 각 cone의 face도 포함, (2) 두 cone의 교집합은 각각의 face라는 두 조건을 만족한다는 것이 전부이다. 둘째 조건이 중요한 이유는 “두 affine chart가 정확히 그들의 공통 face에서만 만난다”는 것을 보장하기 때문인데, 스킴 이론 노트에서 gluing construction과 cocycle condition을 봤을 때 이런 일관성 조건의 필요성을 이미 이해했으므로 이 part는 자연스럽다. 정의 3의 toric variety \(X_\Sigma\)는 affine charts \(\{U_\tau\}_{\tau \in \Sigma}\)를 fan이 정하는 방식으로 붙인 것인데, gluing이 유일하게 작동하려면 fan의 조건이 정확히 맞아떨어진다는 것이 깔끔하다.
명제 4, 5의 결과들—\(X_\Sigma\)는 normal이고 separated이며, torus \(T_N\)의 작용이 자연스럽게 정의된다—은 affine case의 명제들 (명제 15, 명제 10)의 자연스러운 일반화이지만, gluing에 의해 보존된다는 것을 보이는 과정에서 fan의 조건들이 핵심임이 드러난다. Orbit의 구조에 관한 관찰—\(d\)-차원 cone이 \((n-d)\)-차원 torus orbit을 정의—은 조합론적 차원과 기하학적 차원의 정확한 대응을 보여주는데, 이는 toric geometry가 “조합론의 문제를 기하학으로 볼 수 있게 해준다”는 특징을 가장 잘 드러내는 부분이다.
Normal fan과 projective toric variety 부분이 이 글의 또 다른 중심이다. Polytope \(P\)로부터 정의되는 normal fan \(\Sigma_P\)는 polytope의 각 면에 대응하는 cone들의 모임으로, 명제 7에서 이것이 실제로 fan임이 보여진다. 명제 8의 “toric variety가 projective ⟺ \(\Sigma = \Sigma_P\)인 어떤 polytope \(P\)의 normal fan”이라는 동치조건은 이 글의 가장 중요한 결과인데, 증명에서는 toric divisor와 line bundle 사이의 대응이 쓰인다. 다만 이 대응 자체는 다음 글에서 상세히 다뤄질 것이라는 언급이 있어서, 지금은 “polytope의 normal fan \(\to\) projective toric variety”라는 구성 방향만 알 수 있다. 명제 9의 monomial map \(\phi_P: T_N \to \mathbb{P}^s\)는 polytope의 lattice point들로부터 명시적으로 정의되는데, 이 map의 Zariski closure가 \(X_P\)와 isomorphic하다는 것은 “polytope의 조합론적 데이터가 projective embedding을 결정한다”는 직관을 구체적으로 보여준다.
Smoothness와 resolution of singularities 섹션은 affine case의 명제 9를 일반화한 것으로, 명제 11에서 \(X_\Sigma\)가 smooth ⟺ \(\Sigma\)의 모든 cone이 smooth라는 조건이 주어진다. 마지막의 singularity resolution—star subdivision과 lattice point 추가로 smooth refinement를 만드는 과정—은 구체적인 예시 (\(\mathbb{P}^2/(\mathbb{Z}/3)\))와 함께 설명되어 기하학적 직관을 주는데, “singular toric variety를 smooth로 만드는 것이 순수하게 조합론적”이라는 것이 인상적이다. 전체적으로 이 글은 affine toric variety에서 시작하여 gluing, polytope, projectivity, smoothness까지 toric geometry의 기본 틀을 모두 제시하며, 조합론 ↔ 대수기하 ↔ 위상의 세 층위가 어떻게 일관되게 상호작용하는지를 보여준다.
토러스 인자와 선다발
이 글은 toric variety 위의 divisor 이론을 다루는데, 출발점은 “\(T_N\) 자신 위에서는 divisor가 자명하다”는 관찰이다. \(\mathbb{C}[M] = \mathbb{C}[t_1^{\pm 1}, \ldots, t_n^{\pm 1}]\)이 UFD이므로 모든 Weil divisor가 principal이 되어 \(\Cl(T_N) = 0\)이다. 따라서 비자명한 divisor 정보는 모두 boundary \(X_\Sigma \setminus T_N\)에 몰려 있으며, toric variety의 divisor 이론은 torus-invariant divisor들을 중심으로 전개되어야 한다는 동기가 자연스럽다.
Fan \(\Sigma\)의 각 ray \(\rho\)는 codimension 1 torus orbit을 정의하고, 그 Zariski closure \(D_\rho\)가 torus-invariant prime divisor가 된다 (정의 1). 정의 2에서 이들의 합으로 생성되는 free abelian group \(\Div_T(X_\Sigma) = \bigoplus_{\rho \in \Sigma(1)} \mathbb{Z} D_\rho\)를 정의하고, 명제 4의 exact sequence—\(0 \to M \to \Div_T(X_\Sigma) \to \Cl(X_\Sigma) \to 0\)—를 통해 class group을 계산하는 방법을 얻는다. 핵심은 character \(\rchi^m\)들이 principal divisor \(\divisor(\rchi^m) = \sum_{\rho} \langle m, v_\rho \rangle D_\rho\)를 정의한다는 명제 3인데 (그 증명은 DVR의 valuation을 사용), 이를 통해 \(M \to \Div_T(X_\Sigma)\)이 injective임을 보인다. 여기까지는 자연스러운 전개이지만, 다음 부분부터는 명제들이 연쇄적으로 나타나기 시작한다.
Cartier divisor를 위해 piecewise linear function (정의 5)이 도입되는데, 각 maximal cone \(\sigma\) 위에서 선형이고 서로 다른 cone 위의 선형식들이 경계에서 well-define되어야 한다는 조건이 정의를 좌우한다. 명제 6은 torus-invariant Cartier divisor \(D = \sum a_\rho D_\rho\)가 하나의 piecewise linear function \(\psi_D\)를 결정하며, \(\psi_D(v_\rho) = -a_\rho\)라는 부호 규약을 따른다는 것을 보인다. 여기까지는 정의와 기본 명제들인데, 중요한 것은 정의 8의 strictly convex condition이다—이는 최대 cone들의 선형식들이 모두 \(\psi\)의 upper bound가 되면서 등호가 자신의 cone 내부에서만 성립하는 조건으로, 기하학적으로 매우 특별한 상황이다.
명제 9 (projectivity ⟺ strictly convex piecewise linear function)는 이 글의 가장 중요한 결과인데, 여기서 처음으로 ampleness가 조합론적으로 번역된다. 구체적으로, toric variety가 complete일 때 divisor \(D\)가 ample ⟺ \(\psi_D\)가 strictly convex라는 필요충분조건을 얻는다. 증명의 방향 (\(\Rightarrow\))은 polytope \(\Delta_{kD}\)의 normal fan이 \(\Sigma\)와 일치한다는 관찰을 사용하며, 이는 이전 글에서 “polytope의 normal fan ↔ projective toric variety”라는 이야기를 다시 끌어온 것이다.
Global section (명제 7)은 torus-invariant Weil divisor \(D\)에 대해 \(H^0(X_\Sigma, \mathcal{O}_{X_\Sigma}(D)) = \bigoplus_{m \in M, \langle m, v_\rho \rangle \ge -a_\rho} \mathbb{C} \cdot \rchi^m\)라고 표현된다. 이는 section이 character \(\rchi^m\)들로 basis를 갖으며, 각 \(m\)이 조건 (polyhedron 내부)을 만족해야 한다는 것을 의미한다. 그리고 그 polyhedron \(\Delta_D = \{m \mid \langle m, v_\rho \rangle \ge -a_\rho \text{ for all } \rho\}\) 내부의 lattice point들이 이전 글의 monomial map \(\phi_P\)를 정의했던 그 polytope의 lattice point들과 일치한다는 관찰이 인상적이다—즉, polytope의 lattice point가 정의했던 projective embedding이 사실은 line bundle의 global section으로 정의되는 standard linear system embedding이었다는 뜻이다.
마지막 섹션 (명제 10)은 Picard group \(\Pic(X_\Sigma) \cong \CaDiv_T(X_\Sigma) / M\)이 \(\Cl(X_\Sigma)\)의 부분군이라는 것을 보이는데, 이는 전체적으로 Weil divisor 이론과 Cartier divisor 이론의 관계를 toric 설정 하에서 명확히 한다. 예시 11 (projective space)을 통해 hyperplane class와 ampleness를 재확인하는 것도 좋은 수미상관이다.
전체적으로 이 글은 fan의 조합론적 구조로부터 divisor, line bundle, global section, ampleness, Picard group까지 모든 것을 명시적으로 계산하는 강력한 기계를 제시한다. Weil divisor에서 출발하여 Cartier divisor를 거쳐 piecewise linear function으로 갈아타면서 기하학적 개념이 순수하게 조합론적으로 번역된다. 다만 전체 흐름이 다소 밀도 있게 진행되어, 각 섹션 사이의 동기부여가 때로는 모호하게 느껴진다는 점이 아쉽다. 예를 들어 Cartier divisor를 따로 도입하는 이유, Weil divisor와 Cartier divisor의 관계 (smooth case와 singular case에서의 차이)가 명확하게 설명되지 않아서, 왜 이 도구들을 새로 끌어와야 하는지 처음에는 따라가기 어려웠다.
파노 다양체
이 글은 “토릭 다양체의 정의”와 “토러스 인자와 선다발”을 직접 응용하는 첫 번째 글로, reflexive polytope과 Gorenstein Fano variety 사이의 대응을 다룬다. 출발점은 lattice polytope \(\Delta\)와 그 dual \(\Delta^\circ\)의 정의인데, dual polytope은 pairing \(\langle -, - \rangle\)을 통해 정의되며 정의 1의 두 조건—원점이 \(\Delta\) 내부에 포함, \(\Delta^\circ\)가 lattice polytope—이 reflexive polytope의 특별함을 드러낸다. 명제 2 (Bipolar theorem)가 이 특별함의 핵심으로, \((\Delta^\circ)^\circ = \Delta\)라는 involution 성질은 두 polytope이 같은 조합론적 데이터의 대칭적 측면임을 보여준다. 증명이 facet과 vertex 간의 대응에 기반해 명확한데, polytope을 정의하는 반평면 집합이 normal fan의 ray들과 일대일 대응된다는 것이 직관적으로 인상적이었다.
Fano variety로의 전환은 명제 3부터인데, \(X_\Sigma\)의 anticanonical divisor \(-K_{X_\Sigma} = \sum_{\rho \in \Sigma(1)} D_\rho\)라는 공식은 character \(\chi^m\)의 divisor 계산으로 체계적으로 증명된다. 명제 4가 이 글의 핵심인데, “reflexive polytope \(\Delta\)의 normal fan으로부터 만들어진 toric variety는 항상 Gorenstein Fano”라는 결과는 기하학과 조합론의 완벽한 동기화를 보여준다. 증명의 forward direction은 maximal cone과 polytope vertex의 대응으로부터 anticanonical divisor의 Cartier 조건과 strict convexity를 확인하는 방식인데, cone 조건들이 정확히 dual polytope의 vertex 조건과 일치한다는 관찰이 특히 아름답다.
명제 5 (Global section의 lattice point 대응)는 앞 글의 “global section 계산”을 reflexive 설정에서 재확인한 것인데, \(H^0(X_\Delta, \mathcal{O}(-K_{X_\Delta})) \cong \bigoplus_{u \in \Delta \cap M} \mathbb{C} \cdot \chi^u\)라는 공식이 \(\Delta\)의 lattice point가 직접 anticanonical system의 basis를 결정한다는 뜻이 명확하다. 예시 6 (\(\mathbb{P}^n\)의 변형된 simplex)은 abstract 정의를 구체적으로 확인하는 자리로 좋은데, \(n=2\)일 때 10개의 lattice point와 \(h^0(\mathbb{P}^2, \mathcal{O}(3))=10\) 비교는 이론과 실제 계산이 일치한다는 확신을 준다.
“거울 대칭” 섹션은 갑자기 Calabi-Yau로 도약하는데, \(V \in \lvert -K_X \rvert\)의 smooth divisor가 \(K_V = 0\)을 갖는다는 명제 7은 adjunction formula의 자연스러운 응용이지만, 왜 이 조건이 중요한지는 이후 설명(stringy Hodge number, crepant resolution)이 복잡해 정확히 따라가기 어려웠다. 특히 singular variety의 divisor가 singular하게 되는 문제와 discrepancy formula는 \(n \ge 4\)에서 crepant resolution이 항상 존재하지 않는다는 결론으로 이어지는데, 이 부분의 논리 흐름이 다소 급격해서 이 전체 section의 목표가 명확하게 와닿지 않는다. Batyrev mirror symmetry 정리는 결과 자체가 중요한 것 같지만, 이 글의 범위 내에서는 motivation이 약해 보인다.
전체적으로 이 글은 앞 세 글에서 다룬 도구들(fan, divisor, line bundle)이 정확히 어디에 응용되는지를 처음으로 보여주는 중요한 글이다. Reflexive polytope—Gorenstein Fano variety 대응은 토릭 기하학의 아름다운 결과이며, 조합론적 조건들이 algebraic geometry의 성질로 정확히 번역되는 것을 보는 것이 만족스럽다. 다만 거울 대칭 부분은 이 글만으로는 완결되지 않으며, 보다 깊은 이해를 위해 다음 글이나 특화된 자료가 필요해 보인다.
댓글남기기