표면 위 ACM 곡선의 완전 분류와 약한 허용 쌍

초록

본 논문은 차수 d인 표면 X⊂ℙ³에 포함된 모든 ACM(Arithmetically Cohen‑Macaulay) 곡선을 ‘약한 허용 쌍(weak admissible pair)’이라는 정수 배열로 기술한다. X가 약한 결정식(surface)인지 여부에 따라 완전 교차(curve)와 비완전 교차 곡선의 최소 자유 해석을 완전히 구분한다. 특히 일반적인 결정식 4차 표면에 대해 곡선들의 기하학적 형태와 Picard 군 내 클래스를 계산하고, 차수 d ≥ 2인 초월면으로의 차원 일반화도 제시한다.

상세 분석

논문은 먼저 ACM 곡선의 정의와 Hilbert–Burch 정리를 복습한 뒤, ‘약한 허용 쌍(ˆa,ˆb)’이라는 새로운 조합을 도입한다. 여기서 ˆa=(a₁,…,a_t), ˆb=(b₁,…,b_t)는 정수열이며 a_i<b_i, a₁≤…≤a_t, b₁≤…≤b_t를 만족한다. 이러한 쌍에 대해 차수 행렬 M(ˆa,ˆb){ij}=δ(a_i,b_j) (δ는 b_j−a_i가 양수이면 그 값을, 아니면 0을 반환) 를 정의하고, 이를 이용해 ‘약한 결정식 표면(weak determinantal surface)’을 F=det S 형태로 기술한다. S는 (t+1)×t 혹은 t×t 행렬이며, 각 원소 m{ij}는 차수 b_j−a_i를 갖는다. 이 정의는 기존의 결정식 표면을 포함하면서도, a_i≥b_j인 경우 원소를 0으로 두어 보다 일반적인 경우를 포괄한다.

주요 정리(Theorem 1)는 다음과 같다. 표면 X=V(F)⊂ℙ³와 곡선 C⊂X에 대해 C가 ACM이면 반드시 다음 중 하나이다. (1) X가 약한 결정식이 아니면 C는 완전 교차이다. (2) X가 약한 결정식이면 세 가지 경우가 가능하다. (i) C가 완전 교차인 경우. (ii) F가 C의 최소 생성원일 때, C의 최소 자유 해석은
0→⊕{j=1}^t 𝒪{ℙ³}(−(b_j+k)) → 𝒪_{ℙ³}(−d)⊕⊕{i=1}^t 𝒪{ℙ³}(−(a_i+k)) → I_C→0
형태이며, 여기서 (ˆa,ˆb)는 X의 약한 허용 쌍 중 하나이고 k∈ℤ이다. (iii) F가 최소 생성원이 아니면,
0→⊕{i≠j} 𝒪{ℙ³}(−d+b_{j₀}−b_i) → ⊕{i=1}^t 𝒪{ℙ³}(−d+b_{j₀}−a_i) → I_C→0
와 같은 해석을 갖는다. 이때 (ˆa,ˆb)는 (a_i+k)와 (b_i+k) 형태로 변형된 약한 허용 쌍이며, j₀∈{1,…,t}는 F가 나타나는 열을 가리킨다.

정리의 증명은 Hilbert–Burch 정리를 두 번 적용한다. 첫 번째 경우에는 F가 최소 생성원일 때, C의 자유 해석이 (a_i,b_i)를 제공하고, 이를 통해 F=det m (t×t) 행렬을 구성한다. 두 번째 경우에는 F가 최소 생성원이 아니므로, 기존 최소 생성원들의 (t−1)×(t−1) 소행렬식으로부터 행렬 S를 만들고, 마지막 열을 추가해 det S=±F를 얻는다. 이 과정에서 차수 관계 d=∑(b_i−a_i)가 유지됨을 확인한다.

다음으로 차수 2와 3인 표면에 대한 기존 결과와 비교한다. 차수 2(quadric)에서는 약한 허용 쌍이 ((1,1),(2,2))와 ((1,1+n),(2,2+n)) 두 종류만 존재한다. 전자는 매끄러운 이차곡면에 해당하고, 후자는 차수 행렬이 1 n+1;0 1 형태이므로 표면이 가 reducible하고 singular함을 보여준다. 따라서 매끄러운 이차곡면에서는 ACM 곡선이 완전 교차이거나, (ii)형 자유 해석을 갖는 경우만 존재한다. 차수 3(cubic)에서는 네 개의 서로 다른 차수 행렬이 등장하고, 각각에 대응하는 약한 허용 쌍을 전부 열거한다. 이때도 마찬가지로 Hilbert–Burch 정리를 통해 곡선들의 자유 해석을 완전히 기술한다.

특히 논문은 차수 4인 ‘매우 일반적인(deteminantal) 결정식 사면체’에 대해 깊이 탐구한다. 먼저 모든 약한 허용 쌍을 전산적으로 구하고, 그 중에서 매끄러운 표면을 정의하는 쌍을 선별한다. 결과적으로 매끄러운 약한 결정식 4차 표면은 두 종류만 존재한다는 것이 증명된다: (i) 전통적인 결정식 표면, (ii) 유형 ((0,0,1),(1,2,2)). 이 표면들의 Picard 군은 ℤ·H⊕ℤ·E 형태이며, 여기서 H는 초평면 절단, E는 특정 라인(또는 스키마)이다. 저자들은 각 약한 허용 쌍에 대응하는 곡선들의 클래스