Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

기술적 요약: 쌍정칙적으로 동치이지만 대수적으로 동치가 아닌 실수 대수 곡면

문제 제기
본 논문은 복소기하학과 실수 대수기하학의 오랜 미해결 문제인 $\mathbb{C}^n$ 내의 실수 대수 다양체의 국소 (germs) 에 대해, 쌍정칙적 동치가 대수적 동치를 함의하는지 여부를 다룬다. 구체적으로, $\mathbb{C}^n$ 내의 두 매끄러운 실수 대수 다양체의 국소 $(M, 0)$와 $(M', 0)$가 주어졌을 때, $M$을 $M'$으로 사상하는 쌍정칙사상 $\Phi$가 존재한다면, 반드시 $M$을 $M'$으로 사상하는 대수적 멱급수 (즉, 다항식 계수를 가진 비자명한 다항 방정식을 만족하는 멱급수) 로 정의된 쌍정칙사상 $\Psi$가 존재하는가?

이 질문에 대한 답은 리비 (Levi) 비퇴화 실수 대수 초곡면 (Webster, 1977) 과 정칙적으로 비퇴화인 유한형 실수 대수 일반 다양체 (Berteloot, Ebenfelt, Rakhimov, 1996) 등 몇몇 중요한 다양체 클래스에 대해서는 긍정적으로 알려져 있으나, 실수 대수 다양체에 대한 일반적인 경우는 해결되지 않았다. Moser 와 Webster (1983) 의 이전 연구는 비스커 (Bishop) 곡면에 대해 형식적 동치가 수렴 (쌍정칙) 동치를 항상 함의하지는 않음을 보였으나, 수렴 동치가 대수적 동치를 함의하는지 여부에 대한 구체적인 질문은 아직 해결되지 않았다.

방법론
저자는 $\mathbb{C}^2$ 내의 실수 곡면 중 원점을 제외한 모든 점에서 완전 실수 (totally real) 접공간을 가지며, 원점에서는 복소 직선이 접공간이 되는 것으로 특징지어지는 비스커 곡면을 사용하여 반례를 구성한다.

1. 반례의 구성:
   본 논문은 다음과 같이 정의된 비스커 곡면 $M_\gamma$의 족을 고려한다:
   $$M_\gamma := \{(z, w) \in \mathbb{C}^2 \mid w = |z|^2 + \gamma(z^2 + \bar{z}^2)\}$$
   여기서 $\gamma \in (0, 1/2)$는 초월수이다.

2. 쌍정칙적 동치의 존재:
   Moser 와 Webster (1983) 를 인용하여, $\gamma \in (0, 1/2)$인 경우 곡면 $M_\gamma$가 정규형 $N_{\gamma, \epsilon, s}$ (구체적으로 $w = |z|^2 + (\gamma + \epsilon w^s)(z^2 + \bar{z}^2)$로 정의되고 $\text{Im}(w)=0$인 곡면) 로 가는 수렴 쌍정칙 사상 $\Phi$를 가진다고 기술한다. 따라서 $M_\gamma$는 그 정규형과 쌍정칙적으로 동치이다.

3. 대수적 동치가 아님을 증명:
   증명의 핵심은 모순법으로 진행된다. 저자는 $M_\gamma$를 정규형 (구체적으로 실수 초평면 $\text{Im}(w)=0$ 안으로 사상) 으로 사상하는 대수적 멱급수 환 $\mathbb{C}\langle z, w \rangle$의 성분을 갖는 쌍정칙사상 $\Phi = (\phi_1, \phi_2)$가 존재한다고 가정한다.

   • 대수적 구조 분석: 증명은 암시 함수 정리, 충실한 평탄성 (faithful flatness), 그리고 체 확장에 따른 계수의 거동을 포함하는 대수적 멱급수 환의 성질을 활용한다.
   • 계수 체 축소: 보조정리 6 과 보조정리 5 를 사용하여, 가정된 대수적 사상의 계수를 $\mathbb{Q}(\gamma)$의 유한 생성 체 확장 $L$로 축소한다. 추가 분석 (보조정리 7, Eisenstein 유형의 정리) 을 통해 계수들이 초월 매개변수 $\gamma_1, \dots, \gamma_r$의 유리함수임을 보인다.
   • 매개변수 변형: 저자는 $\delta \in \mathbb{R}$로 매개변수화된 곡면의 족 $M_\delta$를 구성한다. 초월수 $\gamma$의 대수적 독립성을 이용하여, 초월수 $\gamma$에 대해 대수적 동치가 존재한다면, 조밀한 실수 집합에서 선택된 "근접한" 매개변수 $\delta_1$에 대해서도 대수적 동치가 존재해야 함을 증명한다.
   • 예외적 매개변수를 통한 모순: 저자는 $\delta_1 > 1/2$가 "예외적" 매개변수 (즉, $\gamma T^2 - T + \gamma = 0$의 해가 단위근이 아닌 경우) 가 되도록 선택한다. Moser 와 Webster (1983, 정리 6.1) 는 이러한 예외적 매개변수에 대해서는 곡면을 정규형으로 사상하는 수렴 쌍정칙사상이 존재하지 않음을 증명했다. 대수적 멱급수는 수렴하므로, $\delta_1$에 대한 대수적 사상의 존재는 수렴 사상의 존재를 의미하게 되는데, 이는 알려진 불가능한 상황이다.

주요 기여 및 결과

• 정리 1: 본 논문은 $\gamma \in (0, 1/2)$가 초월수일 때, 비스커 곡면 $M_\gamma$는 그 정규형과 쌍정칙적으로 동치이지만, 대수적 쌍정칙사상에 의한 것은 아님을 확립한다.
• 일반적 질문에 대한 부정적 답변: 이 결과는 [BER00] 과 [Mir13] 에서 제기된 질문에 대한 결정적인 부정적 답변을 제공한다: 일반적으로 실수 대수 다양체의 국소에 대해 쌍정칙적 동치는 대수적 동치를 함의하지 않는다.
• 비스커 곡면 이론의 정교화: 이 연구는 초월 불변수의 역할을 강조하며, 비스커 곡면의 맥락에서 형식적, 수렴, 대수적 동치 사이의 구분을 명확히 한다.

의의
본 논문은 쌍정칙 사상 하에서 실수 대수 구조의 강성 (rigidity) 에 관한 구체적이고 미해결된 문제를 해결한다. 이는 이러한 곡면들의 해석적 구조가 ( $\gamma \in (0, 1/2)$인 경우) 수렴 정규형을 허용할 정도로 충분히 강성 (rigid) 하지만, 대수적 구조는 이러한 동치에 의해 보존되지 않음을 보여준다. 이 결과는 실수 대수 다양체를 사상하는 맥락에서 대수적 멱급수의 클래스가 수렴 멱급수 클래스보다 엄격히 작음을 강조한다. 이는 다양체 자체가 대수적일지라도 마찬가지이다. 저자는 이 작업을 일반적 가설에 대한 구체적인 반례를 제공하는 것으로 겸손하게 제시하며, Moser 와 Webster 에 의해 확립된 예외적 매개변수에 대한 비수렴 결과를 모순을 이끌어내는 데 활용한다.