Interpolation for rational curves with secants

기술 요약: 속선(Secant)을 가진 유리 곡선의 보간(Interpolation)

문제 정의
본 논문은 secancy 조건이 주어진 사영 공간 $\mathbb{P}^r$ 내 유리 곡선의 보간 문제를 다룬다. 구체적으로, 정수 $d, k, r, s$와 선형 공간 $P_s \subset \mathbb{P}^r$가 주어졌을 때, $P_s$를 곱중도(multiplicity) $k$로 만나면서 $n$개의 일반적인 점 $x_1, \dots, x_n$을 지나는 차수 $d$인 유리 곡선 $f: \mathbb{P}^1 \to \mathbb{P}^r$의 존재성과 개수 산출을 조사한다. 연구는 다음 두 가지 시나리오를 고려한다:

1. 미지정 점(Unprescribed points): 일반적인 그러한 곡선이 통과할 수 있는 일반적인 점의 최대 개수를 결정하는 것 (질문 1.1.1(a)).
2. 지정된 점(Prescribed points): 일반적인 $x_i$에 대해 $f(p_i) = x_i$를 만족하는 일반적인 점 $p_i \in \mathbb{P}^1$의 최대 개수를 결정하는 것 (질문 1.1.1(b)).

기하학적으로, 이 질문들은 블로우업(blow-up) $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$를 통해 재구성된다. $P_s$를 곱중도 $k$로 만나는 곡선은 차수 $(d, k)$인 사상 $f: \mathbb{P}^1 \to X_{r,s}$에 대응한다. 이 질문들은 해당 사상들의 모듈라이 공간(moduli space)으로부터 타겟 공간으로의 평가 사상(evaluation map)이 지배적(dominant)인지 여부를 결정하는 문제로 귀결된다.

방법론
저자들은 일반적인 사상 $f$와 관련된 두 가지 특정 벡터 번들(vector bundle)의 분리 유형(splitting type)을 분석함으로써 답을 결정한다:

• 법다발(Normal bundle) $N_{C/X_{r,s}}$: 곡선이 주변 공간 내에서 갖는 변형(deformation)을 조절한다 (미지정 점과 관련됨).
• 제한된 접다발(Restricted tangent bundle) $f^* T_{X_{r,s}}$: 고정된 도메인 점들을 가진 사상의 변형을 조절한다 (지정된 점과 관련됨).

핵심적인 기술적 도구는 균형성(balancedness) 성질이다. $\mathbb{P}^1$ 상의 벡터 번들이 균형 잡혀 있다는 것은 그것이 차수가 최대 1만큼 차이 나는 선다발(line bundle)들의 직합으로 분리됨을 의미한다. 표수 0에서, 번들이 균형 잡혀 있다는 것은 번들이 보간 성질(즉, 일반적인 점들에서 섹션이 기대되는 대로 소멸함)을 만족하는 것과 동치이다. 저자들은 이러한 결과들을 임의의 표수, 특히 추가적인 장애물이 발생하는 표수 2의 경우까지 확장한다.

주요 방법론적 접근은 **퇴화(degeneration)**이다. 저자들은 특정한 차수를 가진 선 $L$을 포함하는 특이 노달 곡선(singular nodal curve) $C = C' \cup L$을 구성하고, 이 특이 곡선들의 법다발과 접다발을 분석한다. **기초 수정(elementary modifications)**과 포인팅 번들(pointing bundles) 이론을 사용하여, 이 특이 곡선의 번들을 매끄러운 성분들의 번들과 연관시킨다. 퇴화가 평평한 가족(flat families) 내에서 열린 조건(open condition)임을 증명함으로써, 특이한 곡선들로부터 일반적인 매끄러운 곡선의 성질을 도출한다.

주요 기술적 단계는 다음과 같다:

• 귀납적 단계: 만약 차수 $(d, k)$에 대한 번들이 균형 잡혀 있다면(또는 "거의 균형 잡혀 있다면"), 차수 $(d + r - s - 1, k + 1)$에 대한 번들도 균형 잡혀 있음을 확립한다. 이는 곡선에 특정한 선 구성을 추가하는 과정을 포함한다.
• 장애물 분석: 균형성이 실패하는 구체적인 기하학적 및 산술적 조건을 식별한다. 여기에는 다음이 포함된다:
  • 퇴화(Degeneracy): 곡선의 이미지가 적절한 선형 부분 공간에 놓여 있는 경우.
  • 투영 수열(Projection Sequences): 상대적 접다발의 기울기(slope)가 투영의 법다발에 비해 너무 커서, 확장 수열(extension sequence)이 불균형하게 분리되는 경우.
  • 표수 2의 장애물: 프로베니우스 사상(Frobenius map) 및 차수의 패리티(parity)와 관련된, 균형성을 방해하는 표수 2에서의 특정한 실패 현상.

주요 기여 및 결과

1. 법다발의 완전한 결정:
   본 논문은 임의의 표수에서 $X_{r,s}$ 내의 일반적인 유리 곡선에 대한 법다발 $N_{C/X_{r,s}}$의 분리 유형에 대한 완전한 분류를 제공한다.

   • 표수 $\neq 2$: 번들은 곡선이 비퇴화(non-degenerate)이고 차수 $d$가 특정 하한 $d \ge L_{r,s}(k)$를 만족할 때만 균형 잡혀 있다. $d$가 이보다 작으면, 번들은 상대적 접다발과 투영의 법다발의 직합으로 분리되며, 이는 불균형하다.
   • 표수 2: 저자들은 투영 수열의 분리뿐만 아니라, 주변 사영 공간 $\mathbb{P}^r$으로부터 상속된 장애물(구체적으로 $(r-1) \nmid (d-1)$일 때) 및 $d$와 $k$에 대한 특정한 산술적 조건 때문에 균형성이 실패함을 식별하였다. 정리 1.4.3은 이것들이 유일한 장애물임을 명시한다.

2. 제한된 접다발의 완전한 결정:
   본 논문은 모든 표수에서 제한된 접다발 $f^* T_{X_{r,s}}$의 분리 유형을 결정한다.

   • 법다발과 달리, 제한된 접다발은 $d, k, r, s$를 포함하는 특정 부등식($d \ge L^t_{r,s}(k)$)이 성립할 때만 균형 잡혀 있다. 이 조건은 모든 표수에 걸쳐 균일하다.
   • 이 결과는 지정된 점의 최대 개수가 필드의 표수와 관계없이 제한된 접다발의 기울기에 의해 균일하게 결정됨을 시사한다.

3. 개수론적 결과 (Tevelev degrees):
   부록에서, 저자들은 점의 개수가 최대일 때 그러한 보간 곡선의 개수를 계산한다. 저자들은 $X_{r,s}$에 대한 "테벨레프 차수(Tevelev degrees)"를 계산하며, $n$개의 일반적인 인시던스 조건(incidence conditions)을 만족하는 사상의 개수에 대한 공식을 제공한다. 이는 $s=0$인 경우의 기존 결과들을 회복하며, 이를 더 높은 차원의 선형 공간으로 일반화한다.

의의 및 주장
본 논문은 임의의 표수에서 속선을 가진 유리 곡선의 보간 문제를 해결한다고 주장한다. 본 논문의 의의는 다음과 같다:

• 균일성: 지정된 점 문제(질문 1.1.1(b))의 해답은 표수에 대해 균일한 반면, 미지정 점 문제(질문 1.1.1(a))는 표수 2에서 구별되는 거동을 보인다는 점을 확립하였다.
• 완전성: 균형성에 대한 장애물의 전체 목록을 제공함으로써, 표수 2에서 균형성의 실패가 투영 수열의 분리 또는 주변 사영 공간으로부터의 불균형성 전파에 의해 완전히 설명됨을 보여준다.
• 일반화: $\mathbb{P}^r$에서의 유리 곡선(여기서 $k=0$)에 대한 알려진 결과를 더 복잡한 설정인 사영 공간의 블로우업 상의 secancy 조건이 있는 곡선($k>0$)으로 확장하였다.

저자들은 자신들이 유리 곡선에 초점을 맞추고 있지만, 그 방법론과 질문들이 양의 속수(positive genus)를 가진 일반적인 곡선들에게도 유효하다는 점을 명시하였으나, 해당 사례들은 본 연구에서 다루지 않았다. 결과들은 실험적 데이터나 증명되지 않은 추측에 의존하지 않고, 대수 기하학적 기법(특히 모듈라이 공간, 벡터 번들 이론, 퇴화 논증)을 사용하여 엄밀하게 도출되었다.