Optimal embedding dimension in the Nash--Tognoli theorem

기술적 요약: 내시-토그놀리 정리의 최적 매장 차원

문제 제기
본 논문은 $\mathbb{R}^n$의 매끄러운 콤팩트 부분다양체를 작은 등변성(isotopy)까지 실대수집합으로 근사하는 고전적 문제를 다룬다. 내시-토그놀리 정리는 임의의 매끄러운 콤팩트 연결다양체 $M \subset \mathbb{R}^n$ (단, $n > 2 \dim M$) 이 실대수집합의 비특이 연결성분으로 근사될 수 있음을 확립했으나, 여차원 $n$을 유지하면서 불필요한 연결성분을 도입하거나 여공간의 차원을 증가시키지 않고 근사가 가능한지 여부는 여전히 미해결 과제로 남았다.

구체적으로, 본 논문은 1952 년 내시가 제기한 추측을 다룬다: 임의의 매끄러운 콤팩트 부분다양체 $M \subset \mathbb{R}^n$을 $\mathbb{R}$ 위에서 정의된 $\mathbb{C}^n$의 비특이 복소대수 부분집합의 실수 자취로 근사할 수 있는가? 아크불루트와 킹 (1992) 의 이전 연구는 비특이 대수집합에 의한 근사를 달성했으나, 결과 집합이 비특이가 되도록 보장하기 위해 여차원을 증가시켜야 했다 ($\mathbb{R}^n$에서 $\mathbb{R}^{n+1}$로 이동). 본 논문의 목표는 여차원을 증가시키지 않고 근사 문제를 해결하고, 근사 집합의 전체 복소화 (complexification) 가 매끄러우도록 보장하는 것이다.

방법론
주요 결과 (정리 1.4) 의 증명은 아크불루트와 킹이 처음 개발한 "특이점 이동 (singularities shifting)" 기법에 의존하며, 본 작업에서 이를 정제하고 확장하였다. 방법론은 다음과 같은 논리적 단계를 거친다:

1. 다항식 근사: 비특이 콤팩트 실대수집합 $W$의 매끄러운 매장 $i: W \to \mathbb{R}^n$을 시작점으로 하여, 저자는 먼저 $i$를 다항식 사상 $j$로 근사한다. 이때 복소화 $j_C: W_C \to \mathbb{C}^n$이 유한 사상 (finite map) 이 되도록 한다 (보조정리 3.1).
2. 특이점 이동 (보조정리 3.2): 핵심 기술적 혁신은 이미지의 자리스키 폐포 (Zariski closure) 의 특이점 궤적을 조작하는 것이다. 메를리안 정리와 스톤-바이어슈트라스 근사를 사용하여 특정 다항식 섭동을 구성함으로써, 저자는 복소화된 집합의 특이점들을 실수 자취에서 멀리 이동시킨다. 이는 다음과 같이 달성된다:
   • 첫 두 좌표를 제거하는 사영 $\pi_{1,2}$가 복소화 위에서 유한하도록 보장한다.
   • 특이점 궤적의 사영과 비특이 실수 자취의 사영을 분리하는 다항식 함수를 구성한다.
   • 첫 두 변수 ($x_1$과 $x_2$) 의 역할을 반복적으로 전환하여, 특이점을 먼저 $x_1$ 방향으로, 그 다음 $x_2$ 방향으로, 그리고 최종적으로 무한대로 이동시킨다.
3. 특이점 제거 (보조정리 3.3 및 정리 1.4): 사영을 통해 특이점들이 실수 자취로부터 분리되면, 저자는 유리 사상 (특히 분모에 다항식의 제곱합이 포함된 사상) 을 사용하여 특이점들을 무한대로 "밀어낸다". 이는 실수 자취를 포함하는 준아핀 다양체를 전역적으로 비특이인 복소대수 집합으로 변환한다.

주요 기여 및 결과

• 정리 1.3 (주요 결과): 본 논문은 임의의 매끄러운 콤팩트 부분다양체 $M \subset \mathbb{R}^n$이 $\mathbb{R}$ 위에서 정의된 $\mathbb{C}^n$의 비특이 복소대수 부분집합의 실수 자취로 근사될 수 있음을 증명한다. 이는 여차원을 증가시킬 필요가 없음을 확인함으로써 내시 추측에 대한 최적의 매장 차원을 규명한다.
• 정리 1.4 (더 강력한 결과): 본 논문은 $\mathbb{R}^m$의 비특이 콤팩트 실대수집합 $W$를 $\mathbb{R}^n$으로 매장하는 경우 ($n \ge \dim W + 2$) 에 대한 더 강력한 근사 정리를 확립한다. 이는 매장이 다음과 같은 정규 사상 (regular map) $j$로 근사될 수 있음을 보인다:
  1. 이미지 $j(W)$는 $\mathbb{R}^n$의 비특이 대수 부분집합이다.
  2. $j$는 $W$와 $j(W)$ 사이의 쌍정규 동형사상 (biregular isomorphism) 이다.
  3. $j(W)$의 $\mathbb{C}^n$ 내 자리스키 폐포는 비특이 복소대수 집합이다.
• 계 1.6 및 1.7 (동형사상 유형): 코디멘션이 2 이상인 다양체의 경우, 본 논문은 근사 대수집합을 사전에 정해진 쌍정규 동형사상 유형으로 선택할 수 있음을 보여준다. 구체적으로, $M$이 유리 비특이 실대수집합과 미분동형이면, 이를 유리 비특이 실대수집합으로 근사할 수 있다. 이는 코디멘션이 $\ge 2$일 때 유리 근사가 가능한 시기에 대한 완전한 특징을 제공한다.

의의 및 주장
본 논문은 1992 년 아크불루트와 킹의 연구 이후 진전이 없었던 실대수기하학의 오랜 미해결 문제를 해결했다고 주장한다. 여차원을 증가시킬 필요성 ($\mathbb{R}^n$에서 $\mathbb{R}^{n+1}$로) 을 제거함으로써, 이 결과는 내시-토그놀리 정리에 대한 "최적"인 매장 차원을 제공한다.

저자는 현재의 접근법이 코디멘션이 1 인 경우 (즉, $n = \dim W + 1$) 는 다루지 않는다고 명시적으로 언급하지만, 해당 경우에도 결과가 성립할 것으로 추측된다. 또한 본 논문은 사영 공간 $\mathbb{CP}^n$ 내의 자리스키 폐포가 비특이여야 한다는 요구사항이 있을 경우 결과가 성립하지 않음을 강조하여, 여기서 달성된 아핀 비특이성의 구체적인 성격을 부각시킨다.

이 결과의 의의는 매끄러운 다양체를 근사하는 대수집합이 실수 자취에서 매끄러울 뿐만 아니라 전역적으로 매끄러운 복소화를 갖도록 할 수 있다는 점에 있으며, 이를 통해 불필요한 성분이나 차원 팽창 없이 원래 다양체의 위상적 및 대수적 구조를 보존할 수 있다.