일반화된 타원곡선 위 비음수 다항식과 스펙트라헤드론

초록

본 논문은 실수체 위의 일반화된 타원곡선에서 비음수 전역 절(section)들의 원뿔을 연구한다. 극단선(ray)의 영점 집합이 실점으로 조밀함을 보이고, 완전선형계에 의해 삽입된 경우 실점들의 볼록껍질이 스펙트라헤드론임을 증명한다. 또한 2‑torsion Picard 군에 대한 새로운 가법성 결과를 제시한다.

상세 분석

논문은 먼저 일반화된 타원곡선 X(ℝ)이 실점으로 조밀하고 이중곡선 ω_X≃𝒪_X라는 정의를 상정한다. 이때 임의의 라인 번들 L에 대해 H⁰(X, L⊗L) 안의 비음수 전역 절들의 폐합 원뿔 P(X,L)을 고려한다.
Theorem 1.1은 P(X,L)의 극단선(ray)을 생성하는 원소 f의 영점 집합 Z(f)⊂X가 실점으로 조밀함을 보인다. 매끄러운 경우는 리만‑로흐 정리로 즉시 따라오지만, 논문은 특이점이 있는 경우에도 정규화와 δ‑인수(특이점에서의 결합 차수)를 이용해 동일한 결론을 얻는다. 핵심은 정규화 π: ˜X→X를 통해 f를 끌어올린 뒤, 정규화된 곡선 위에서의 2‑divisibility와 Pic⁰(˜X)의 가법성을 활용한다.
Theorem 2.2(논문에서는 Theorem 1.2)에서는 극단선이 항상 형태 ϕ(g⊗g)으로 나타낼 수 있음을 보인다. 여기서 ϕ: G⊗G→L⊗L은 양의 반정밀(positive semidefinite) 형태이며, G는 반드시 가역적일 필요는 없는 코히어트 전단사이다. 이 구조 덕분에 P(X,L)은 G의 전역 절들의 제곱합으로 완전히 기술된다. 즉, 모든 비음수 절은 어떤 코히어트 전단사 G의 절들의 제곱합으로 표현되고, 그에 대응하는 쌍선형형식 B_ℓ(g₁,g₂)=ℓ(ϕ(g₁⊗g₂))는 양의 반정밀성을 가진다.
이 결과를 이용해 Corollary 1.3을 증명한다. X를 완전선형계에 의해 Pⁿ에 삽입하고, 실점이 없는 초평면 H를 선택하면, 아핀 차트 ℝⁿ≅Pⁿ∖H 안에서 X(ℝ)의 볼록껍질이 스펙트라헤드론이 된다. 구체적인 LMI(선형 행렬 부등식) 표현은 G의 전역 절들에 대한 Gram 행렬을 사용해 차원 ≤(n+1)/2인 블록 행렬 형태로 구성된다.
핵심적인 대수기하학적 도구는 Picard 군의 2‑torsion에 대한 가법성이다. Lemma 2.1은 복소수 경우 Pic⁰가 가법적임을 재확인하고, Proposition 2.2는 실곡선에서 임의의 실점이 없는 정규화된 2‑배수 디바이저 D를 D=2E+div(f) 형태로 분해할 수 있음을 보인다. 여기서 f는 실점에서 비음수인 단위 원소이다. 이 결과는 Geyer‑Martens의 정리(실곡선의 2‑torsion 구조)를 특이점이 있는 경우까지 확장한다(Corollary 2.3). 특히, 일반화된 타원곡선에서는 양의 2‑torsion이 최대 두 개임을 Lemma 2.8이 보여준다. 이는 극단선이 정규점만을 영점으로 가질 때와 직접 연결된다.
전체 증명 구조는 정규화와 짧은 정확열 0→𝒪_X→π_*𝒪_{˜X}→S→0을 이용해 전역 절들의 공간을 분해하고, β 사상(정규화된 절들의 이미지)와 δ‑인수(특이점 기여)를 정밀히 추정한다. Lemma 3.2는 특정 영점 두 개를 제외한 경우에도 충분히 많은 변형(g)이 존재함을 보이며, 이를 통해 극단선이 실제로 제곱합 형태임을 확보한다.
결과적으로 논문은 비음수 다항식 원뿔의 구조를 완전선형계 삽입된 일반화된 타원곡선에 대해 완전히 기술하고, 이 원뿔이 스펙트라헤드론이라는 강력한 기하학적 성질을 부여한다. 이는 실대수기하학, 최적화 이론, 그리고 실수 대수곡선의 Picard 군 연구에 새로운 연결 고리를 제공한다.