Obstructions to embedding singular curves in toric varieties

기술 요약: 토릭 다양체로의 특이 곡선 매립에 대한 장애 요인

문제 정의
본 논문은 사영 곡선을 토릭 다양체로 매립하는 문제를 다룬다. 모든 매끄러운 사영 곡선은 $\mathbb{P}^3$에 매립될 수 있지만, 특이 곡선은 국소적 장애 요인을 갖는다. 만약 특이점 $p$의 자리스 탄젠트 공간(Zariski tangent space)의 차원이 $d$라면, 해당 곡선은 차원이 $d$보다 엄격히 작은 임의의 매끄러운 사영 다양체에 매립될 수 없다. 이를 우회하기 위한 자연스러운 전략은 가중 사영 공간(weighted projective space)이나 일반적인 토릭 다양체와 같이, 특이점에서의 탄젠트 공간이 충분히 클 수 있는 특이한 주변 다양체에 곡선을 매립하는 것이다.

저자들은 모든 사영 곡선이 어떤 가중 사영 3차원 공간에 매립될 수 있는지(질문 1.1)에 대한 핵심적인 질문을 던진다. 저자들은 $\mathbb{P}^d$에 매립되지만, 차원이 $d$보다 작은 임의의 사영 정규 토릭 다양체에는 매립되지 못하는 축약되고 기약인 곡선이 존재하는지 조사한다.

방법론
저자들은 특이점에서의 탄젠트 원뿔(tangent cone)의 기하학에 초점을 맞추어 국소-전역(local-to-global) 전략을 채택한다.

1. 선형 배열을 통한 국소적 장애: 논증의 핵심은 정점 $p$를 가진 하이퍼플레인 $H \subset \mathbb{P}^d$ 내의 $m$개 점 $\Gamma$에 대한 원뿔인 "동시 선형 배열(concurrent line arrangements)" $C_\Gamma$를 분석하는 것이다. $p$에서의 사영화된 탄젠트 원뿔은 구성 $\Gamma$와 동형이다.
2. 차원 계산 및 모듈라이 공간: 저자들은 이러한 선형 배열의 모듈라이 공간의 차원과 대상 다양체에서 사용 가능한 탄젠트 원뿔의 차원을 비교한다.
   • 저자들은 충분히 큰 $m$에 대하여, $C_\Gamma$의 동형 클래스들의 모듈라이 공간의 차원이 $m(d-1) - d^2 + 1$임을 확립한다(따름정리 3.3).
   • 저자들은 $\delta$-차원 다양체들의 가족을 분석하고, 이 가족들에서 나타나는 탄젠트 원뿔들이 유계된 차원의 가족들로 변한다는 것을 보여준다.
   • 차원 계산을 통해, $m$이 충분히 클 때, "일반적인(very general)" 배열 $C_\Gamma$는 차원이 $\delta < d$인 다양체의 점에서의 정점 보존 폐쇄 매립(vertex-preserving closed immersion)을 가질 수 없음을 입증한다(정리 3.6).
3. 특이 곡선의 구성: 이 국소적 장애를 실제 곡선에 적용하기 위해, 저자들은 완비된 탄젠트 원뿔 $TC_p C$가 주어진 배열 $C_\Gamma$를 포함하는, $\mathbb{P}^d$ 내의 유일한 특이점 $p$를 가진 축약되고 기약인 곡선 $C \subset \mathbb{P}^d$를 구성한다(명제 4.1). 이는 블로잉 업(blow-up)의 연속적 적용과 베르티니 정리(Bertini's Theorem)를 통해 달성된다.
4. 정규(Normal) 및 비정규(Non-normal) 토릭 다양체의 구분: 저자들은 정규 토릭 다양체와 비정형 토릭 다양체를 구분한다. 저자들은 정규 토릭 다양체가 오직 가산 개의 동형 클래스의 탄젠트 원뿔만을 갖는다는 것을 보여주며(이를 통해 차원 계산으로 매립을 배제함), 비정규 토릭 다양체는 임의의 특정 선형 배열을 포함하도록 구성될 수 있음을 보여준다(정리 3.11).

주요 결과

• 주요 정리 (정리 1.2 및 정리 4.2): 모든 정수 $d \geq 2$에 대하여, 차원이 $d$보다 작은 임의의 사영 정규 토릭 다양체에 매립되지 않는 축약되고 기약인 사영 곡선 $C_d \subset \mathbb{P}^d$가 존재한다.
  • 이 결과는 차원이 $d$보다 엄격히 작고 유계된 기저 차원을 갖는 다양체들의 임의의 가산 집합에 대해, 그 어느 것에도 매립되지 않는 곡선이 존재함을 보여주는 것으로 일반화된다.
• 가중 사영 공간에 관한 따름정리: 가중 사영 공간은 정규 토릭 다양체이므로, 본 주요 정리는 모든 $d \geq 2$에 대하여, 차원이 $d$보다 작은 임의의 가중 사영 공간에 매립되지 않는 $\mathbb{P}^d$ 내의 곡선이 존재함을 함의한다. 이는 $d=4$인 경우 질문 1.1에 대한 부정적인 답변을 제공한다.
• 국소적 vs 전역적 장애: 저자들은 장애 요인이 "정규(normal)" 가설에 민감하다는 점을 명확히 한다.
  • 정규의 경우: 국소적 장애(탄젠트 원뿔의 차원)는 차원이 낮은 정규 토릭 다양체로의 매립을 막는 데 충분하다.
  • 비정규의 경우: 모든 동시 선형 배열 $C_\Gamma$는 비정규 사영 3차원 토릭 다양체로의 매립을 허용한다(정리 3.11).
  • 선형 투영: 모든 $C_\Gamma$는 충분히 큰 $n$에 대하여 가중 사영 평면 $\mathbb{P}(1, 1, n)$의 선형 투영에 매립될 수 있으나, 이러한 투영들은 일반적으로 토릭이 아니다(정리 3.9).
• 매끄러운 곡선에 대한 전역적 장애: 저자들은 매끄러운 곡선에 대해서도 전역적 장애가 존재함을 언급한다. 예를 들어, 종수(genus) $g > 10$인 일반적인 매끄러운 곡선은 매끄러운 유리 곡선 위의 원뿔, 또는 임의의 히르츠브루슈 곡면(Hirzebruch surface)에 매립되지 않는다(주석 4.3).

의의 및 범위

본 논문은 사영 곡선을 매립할 때 (차원이 낮은 싱귤러 주변 공간을 허용하더라도) 사영 정규 토릭 다양체(및 가중 사영 공간)의 클래스가 "보편적"이지 않음을 확립한다. 저자들은 곡선의 탄젠트 원뿔에서의 국소적 기하학이 주변 다양체의 차원에 엄격한 제약을 가한다는 것을 보여주는데, 이는 해당 다양체가 정규이고 토릭이어야 한다는 조건 하에서 그러하다.

이 연구는 매립 능력에 있어 정규 토릭 다양체와 비정규 토릭 다양체 사이의 근본적인 차이를 강조한다. 정규 토릭 다양체는 탄젠트 원뿔의 차원 계산에 의해 매립이 차단될 만큼 경직되어 있는 반면, 비정규 토릭 다양체는 임의의 유한한 동시 선형 배열을 수용할 수 있을 만큼 유연하다.

논문은 결론적으로, 실제로 정규 토릭 3차원 공간에 매립되는 곡선들의 분류와, 곡수의 경우 표면의 경우보다 훨씬 더 미묘한 상황임을 언급하며, 이 매립 문제를 고차원 매끄러운 다양체로 확장하는 것에 관한 열린 질문들을 제기한다.