[논문 리뷰] On the subvarieties with nonsingular real loci of a real algebraic variety

Olivier Benoist|arXiv (Cornell University)|2020. 05. 13.

Algebraic Geometry and Number Theory참고 문헌 46인용 수 4

한 줄 요약

이 논문은 매끄러운 실수 계량 대수기하학적 다양체의 부분다양체 중 실수 국소에서 비특이성을 가지는 것들을 조사하며, 차원이 코드림보다 작을 경우 그들의 호이 차수 군을 생성함을 증명한다. 또한 동일한 조건 하에서 이러한 부분다양체가 실수 국소의 매끄러운 부분다양체를 근사할 수 있음을 보이며, 차원이 코드림 이상일 경우 코버드יזם과 호모로지 클래스를 통한 날카로운 차단 조건을 제시하여 오랫동안 남아 있던 차수 군 생성 및 실수 근사 문제를 해결한다.

ABSTRACT

Let $X$ be a smooth projective real algebraic variety. We give new positive and negative results on the problem of approximating a submanifold of the real locus of $X$ by real loci of subvarieties of $X$, as well as on the problem of determining the subgroups of the Chow groups of $X$ generated by subvarieties with nonsingular real loci, or with empty real loci.

연구 동기 및 목표

• 매끄럽고 프로젝티브인 실수 대수기하학적 다양체의 차수 군이 실수 국소에서 매끄러운 부분다양체의 호이 클래스로 생성되는 조건을 규명하는 것.
• 실수 국소의 매끄러운 부분다양체가 실수 국소에서 비특이성을 가지는 부분다양체의 실수 국소로 근사될 수 있는지 조사하는 것.
• Borel–Haefliger 사이클 클래스 사상의 핵을 실수 국소가 없는 부분다양체의 클래스로 특성화하는 것.
• 실수 대수기하학적 근사에서 호모로지 차단 조건 $(H)$와 코버드יזם 차단 조건 $(B)$가 언제 일치하는지 규명하는 것.
• 실수 대수기하학에서 근사, 호모로지, 코버드יזם 차단 조건의 동치성에 관한 열린 문제를 해결하는 것.

제안 방법

• 차원 3를 초월하는 특이점을 제어하고 실수 국소를 제어하기 위해 Hironaka의 스무딩 기법을 개선하여 적용한다.
• Peskine–Szpiro 및 Huneke–Ulrich의 연결 이론을 활용하여 실수 국소를 제어하는 부분다양체를 구성한다.
• 이중점 공식과 채르니 클래스의 나누어떨어짐(Rees–Thomas)을 적용하여 차수 군 생성을 막는다.
• Borel–Haefliger 사이클 클래스 사상으로 대수기하 사이클과 실수 호모로지 클래스를 연결한다.
• Arf와 Ragozini의 동치성 정리( isotopy theorems )를 적용하여 주어진 부분다양체를 근사하는 매끄러운 초표면을 구성한다.
• 코버드יזם 이론과 등장관계 $ MO_d(X(bR)) \cong (H_{d-2}(X(bR),\bbZ/2) \otimes MO_2) \oplus H_d^\mathrm{alg}(X(bR),\bbZ/2) $ 을 활용하여 차단 조건을 비교한다.

실험 결과

연구 질문

• RQ1 차원 $\mathrm{CH}_d(X)$ 가 실수 국소에서 매끄러운 부분다양체의 호이 클래스로 생성되는 조건은 언제인가?
• RQ2 모든 $\mathcal{C}^\infty$ 부분다양체 $X(\mathbb{R})$ 는 실수 국소에서 비특이성을 가지는 부분다양체의 실수 국소로 근사될 수 있는가?
• RQ3 실수 대수기하학적 근사에서 호모로지 차단 조건 $(H)$ 와 코버드יזם 차단 조건 $(B)$ 가 언제 일치하는가?
• RQ4 실수 국소에서 비특이성을 가지는 부분다양체가 차수 군을 생성하지 못하는 정확한 조건은 무엇인가?
• RQ5 차원 $d < c$ 일 때, Borel–Haefliger 핵은 실수 국소가 없는 부분다양체의 클래스로 생성되는가?

주요 결과

• 차원 $d < c$ 일 경우, 차수 군 $\mathrm{CH}_d(X)$ 는 실수 국소에서 매끄러운 부분다양체의 호이 클래스로 생성되며, 이는 Hironaka의 결과를 실수 대수기하학으로 확장한다.
• 차원 $d \geq c$ 이고 $\alpha(c+1) \geq 3$ 일 경우, 실수 위에서 정의된 아벨 다양체 $X$ 가 존재하여 $\mathrm{CH}_d(X)$ 가 이러한 클래스로 생성되지 않음을 보이며, 이는 $d < c$ 조건의 최적성을 증명한다.
• 복소수 위에서 동일한 조건 $\alpha(c+1) \geq 3$ 는 매끄럽고 프로젝티브인 다양체를 제공하며, 그들에 대해 $\mathrm{CH}_d(X)$ 는 매끄러운 부분다양체의 호이 클래스로 생성되지 않는다.
• 차원 $d < c$ 일 경우, Borel–Haefliger 사상의 핵은 실수 국소가 없는 부분다양체의 클래스로 생성된다.
• 호모로지 차단 조건 $(H)$ 와 코버드יזם 차단 조건 $(B)$ 는 $d \leq 2$ 이거나, $c \leq 1$ 이거나, $d = 2$ 이고 $c \geq 3$ 일 경우에 동치이다.
• 특히 $c = d = 2$ 일 경우, $(H)$ 는 성립하지만 $(A)$ 는 실패하는 예가 존재하여, 실수 호모로지 클래스가 대수적이라도 근사가 막힐 수 있음을 보여준다.