Unirationality is the same thing as Rational Connectedness in Characteristic Zero

기술 요약: 0특성에서의 유니라셔널리티(Unirationality)와 라셔널 커넥티드니스(Rational Connectedness)

문제 정의
본 논문은 0특성을 가진 체 $k$ 위의 매끄러운 사영 다양체(smooth projective varieties)에 대하여, 유니라셔널리티와 라셔널 커넥티드니스 사이의 관계에 관한 대수 기하학의 근본적인 질문을 다룬다. 유리 다양체(rational varieties)가 유니라셔널하다는 것과, 유니라셔널 다양체가 라셔널 커넥티드(rationally connected)하며 (또한 라셔널 체인 커넥티드(rationally chain connected)하다는 것)은 이미 잘 확립되어 있으나, 이들의 역관계는 역사적으로 미묘한 문제였다.

• **유니라셔널리티(Unirationality)**는 $\mathbb{P}^n_k \dashrightarrow Z$로 가는 일반 유한(generically finite)이고 지배적인(dominant) 유리 사상(rational map)의 존재로 정의된다.
• **라셔널 커넥티드니스(Rational Connectedness)**는 $\mathbb{P}^1_k \times M \dashrightarrow Z$로 가는 지배적인 유리 사상이 존재하여, 유도된 사상이 쌍(pairs)에 대해 지배적임을 만족하는 것으로 정의된다.
• **라셔널 체인 커넥티드니스(Rational Chain Connectedness)**는 임의의 두 점이 유리 곡선(rational curves)의 체인에 의해 연결될 것을 요구한다.

0특성에서, 매끄러운 라셔널 체인 커넥티드 다양체는 라셔널 커넥티드이다. 그러나 모든 라셔널 커넥티드 다양체가 유니라셔널한가라는 질문은 여전히 남아 있다. 이전의 반례들(예: Clemens-Griffiths의 매끄러운 큐빅 쓰리폴드)은 유니라셔널리티가 유리성(rationality)(즉, $\mathbb{P}^n$에 유리 동형인 성질)을 함의하지 않는다는 것을 보여주었다. 본 논문은 더 강력한 조건인 유리성(rationality)과는 구별되는, 더 약한 조건인 라셔널 커넥티드니스가 매끄러운 사영 환경에서 유니라셔널리티와 동등한지를 규명하고자 한다.

방법론
저자는 Campana, Kollár, Miyaoka, Mori에 의해 정립된 최대 라셔널 커넥티드(Maximal Rationally Connected, MRC) 파이브레이션 이론을 활용한다. 핵심 전략은 다양체 $X$와 그 MRC 몫(quotient) 사이를 연결하는 특정 중간 다양체 $MU(X)$를 구성하는 것이다.

1. **$MU(X)$의 구성:** 본 논문은 다음 세 가지 조건을 만족하는 유리 사상$\pi: X \dashrightarrow MU(X)$와$\lambda: MU(X) \dashrightarrow MRC(X)$를 갖는 다양체$MU(X)$의 존재를 증명한다.

   • 합성 사상 $\lambda \circ \pi$는 MRC 파이브레이션 $\nu: X \dashrightarrow MRC(X)$를 복원한다.
   • $\pi$의 매우 일반적인(very general) 파이버들은 유니라셔널하다.
   • $\lambda$의 매우 일반적인 파이버들은 라셔널 커넥티드이지만 유니라셔널하지는 않다.

2. 귀납적 논증: 증명은 다양체의 차원에 대한 귀납법을 사용한다. 저자는 $X$가 라셔널 커넥티드라면, $MRC(X)$는 한 점(구체적으로$\text{Spec}(k)$)임을 확립한다. 결과적으로$MU(X)$는$\lambda$의 매우 일반적인 파이버가 된다.

   • 만약 $MU(X)$가 양의 차원을 가진다면, (저차원 라셔널 커넥티드 다양체에 적용된) 귀납 가설에 의해$MU(X)$는 유니라셔널해야 한다.
   • 그러나 구성 방식에 따라, $\lambda$의 파이버들은 유니라셔널하지 않다.
   • 이 모순은 $MU(X)$가 한 점이어야 함을 강제하며, 이는$\pi$의 파이버(이 경우$X$ 자신)가 유니라셔널해야 함을 의미한다.

3. 조른의 보조정리(Zorn's Lemma) 적용: "최대" 유니라셔널 파이브레이션의 존재를 보장하기 위해, 저자는 함수체의 포함 관계를 통해 유니라셔널 파이버를 가진 유리 사상들의 집합을 정렬한다. 조른의 보조정리를 사용하여, 저자는 (유리 동형을 제외하고) 유일한 최대 원소로서의 $MU(X)$가 존재함을 보여준다.

주요 기여 및 결과

• 동등성 정리: 주요 결과(정리 9)는 0특성을 가진 체 $k$ 위의 임의의 매끄러운 사영 다양체 $X$에 대하여 다음의 성질들이 동등함을 증명한다.
  1. $X$는 유니라셔널하다.
  2. $X$는 라셔널 커넥티드이다.
  3. $X$는 라셔널 체인 커넥티드이다.
     참고: 이 동등성은 유리성(rationality)이라는 더 강한 성질과는 구별되는, 유니라셔널리티와 라셔널 커넥티드니스 사이의 관계에 국한된 것이다. 저자는 다양체가 유리하면서 동시에 라셔널 커넥티드일 수 있다는 점(예: 매끄러운 큐빅 쓰리폴드)을 인정한다.
• 최대 유니라셔널 파이브레이션의 존재: 본 논문은 임의의 매끄러운 사영 다양체 $X$에 대하여 유일한(유리 동형을 제외하고) 최대 유니라셔널 파이브레이션 $\pi: X \dashrightarrow MU(X)$의 존재를 확립한다.
• 구조적 분해: 저자는 임의의 매끄러운 사영 다양체 $X$를 파이브레이션의 순차적 구조로 분해한다. 즉, "유니라셔널 부분"이 "비-유니라셔널 라셔널 커넥티드 부분"으로부터 분리된다. 구체적으로, MRC 몫이 자명할 경우(trivial), 다양체 자체도 유니라셔널해야 함을 보여준다.

의의 및 주장
본 논문은 0특성을 가진 매끄로운 사영 다양체에 대하여 유니라셔널리티와 라셔널 커넥티드니스의 동등성을 해결했다고 주장한다. 저자는 라셔널 커넥티드니스가 (매우 자유로운 곡선(very free curves)의 존재 등을 통해) 유니라셔널리티보다 검증하기 쉬운 경우가 많다는 점을 언급하면서도, 이 결과가 매끄러운 사영 다양체에서는 두 개념이 동일함을 확립한다고 밝힌다.

이 연구는 MRC 파이브레이션의 메커니리와 0특성에서의 일반 매끄러움(generic smoothness)에 의존한다. 저자는 자신의 결과가 분리성 조건(separability conditions)이 필요한 양의 표수(positive characteristic)의 경우와 명확히 구별됨을 명시하며, 또한 유리성(rationality) 문제와도 구별됨을 분명히 한다. 본 논문은 유리성 문제를 해결하려는 것이 아니라, 지정된 맥락에서 유니라셔널리티와 라셔널 커넥티드니스 사이의 계층 구조를 명확히 하여, 후자가 전자를 함의함을 보여주는 데 목적이 있다.