[논문 리뷰] Algebraic vector bundles on the 2-sphere and smooth rational varieties with infinitely many real forms

Adrien Dubouloz, Gene Freudenburg외 1명|arXiv (Cornell University)|2018. 07. 16.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 2차원 구면 위의 위상적 벡터(bundle)를 대수적으로 다루어, 무한히 많은 서로 다른 비이sov모르피즘을 가진 매끄럽고 유리적인 실수 아핀 4차원 다양체를 구성한다. 복소화된 랭크-2 벡터 번들의 대수적 모델을 통해 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$가 가산 무한히 많은 실수 형식을 가짐을 증명하며, 무한히 많은 실수 형식을 가진 유리 다양체의 분류에서 빈틈을 메운다.

ABSTRACT

We construct smooth rational real algebraic varieties of every dimension $\\ge$ 4 which admit infinitely many pairwise non-isomorphic real forms.

연구 동기 및 목표

• 매끄럽고 유리적인 실수 대수적 다양체가 서로 다른 비이sov모르피즘을 가진 실수 형식을 무한히 가질 수 있는지에 대한 열린 질문을 해결하기 위해.
• 비유리 다양체에 대한 이전 결과에서 남겨진 빈틈을 메우기 위해, 차원 ≥4에서 이러한 다양체의 명시적 예를 구성하기 위해.
• $\mathbb{S}^2$와 $\mathbb{A}^2_{\mathbb{R}}$ 각각이 유한한 실수 형식만을 가지는 데도 불구하고, $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$가 무한히 많은 실수 형식을 가짐을 보여주기 위해.
• 로그-일반 유형 다양체를 사용하여 고차원으로 이 구성법을 확장하고, 무한한 실수 형식 성질를 유지하기 위해.

제안 방법

• 실수 2차원 구면 $\mathbb{S}^2$ 위에서 랭크 2의 대수적 벡터 번들 $p_n: V_n \to \mathbb{S}^2$를 구성하며, 이는 $\mathcal{O}_{\mathbb{CP}^1}(n)$로 분류되는 위상적 실수 벡터 번들과 모델링된다.
• 모든 복소화 $V_{n,\mathbb{C}}$가 자명한 번들 $\mathbb{S}_{\mathbb{C}}^2 \times \mathbb{A}^2_{\mathbb{C}}$와 동형임을 보여, 전체공간의 복소 동형을 확보한다.
• $\mathbb{S}^2$ 위에서 국소적으로 동형이지만 실수 대수적 다양체로서는 상호 비이sov모르피즘을 가진 $V_n$을 이용하여, $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$의 서로 다른 실수 형식을 생성한다.
• Iitaka-Fujita 강력 취소 정리를 적용하여, $V_n \times X$와 $V_m \times X$ 사이의 임의의 동형사상은 반드시 $X$ 위에서의 측면이어야 하며, $X_{\mathbb{C}}$의 자동사상군이 자명할 경우 $n = m$이어야 함을 보인다.
• 로그-일반 유형이면서 $\mathrm{Aut}(X_{\mathbb{C}})$가 자명한 매끄럽고 유리적인 실수 아핀 다양체 $X$와의 곱을 취하여 구성법을 변형함으로써, 실수 형식의 무한한 서로 다른 성질을 보장한다.

실험 결과

연구 질문

• RQ1 매끄럽고 유리적인 실수 대수적 다양체는 서로 다른 비이sov모르피즘을 가진 실수 형식을 무한히 가질 수 있는가?
• RQ2 실수 형식 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$는 $S^2$ 위의 위상적 벡터 번들의 대수적 모델에서 유래하는가?
• RQ3 로그-일반 유형 다양체를 사용하여, 4차원을 초월해 무한히 많은 실수 형식을 구성하는 것이 가능한가?
• RQ4 복소화의 자동사상군은 곱의 실수 형식을 구별하는 데 어떤 역할을 하는가?
• RQ5 로그-일반 유형을 가진 유리 다양체와의 곱에서, 무한한 실수 형식 성질가 유지되는가?

주요 결과

• 매끄럽고 유리적인 실수 아핀 4차원 다양체인 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$는 최소한 가산 무한히 많은 서로 다른 비이sov모르피즘을 가진 실수 형식을 가진다.
• 실수 형식들은 $\mathbb{S}^2$ 위에서 랭크 2의 대수적 벡터 번들 $V_n$의 전체공간으로 실현되며, 모든 $n \geq 0$에 대해 $V_{n,\mathbb{C}} \cong \mathbb{S}_{\mathbb{C}}^2 \times \mathbb{A}^2_{\mathbb{C}}$이다.
• $V_n$은 $\mathbb{S}^2$ 위에서 국소적으로 동형이지만, 실수 대수적 다양체로서는 상호 비이sov모르피즘을 가지며, 이는 그들의 기저가 되는 실수 벡터 번들의 비자명한 위상적 분류에 기인한다.
• 모든 $d \geq 4$에 대해, 최소한 가산 무한히 많은 서로 다른 비이sov모르피즘을 가진 매끄럽고 유리적인 실수 아핀 다양체가 존재한다.
• 로그-일반 유형이며 $X_{\mathbb{C}}$가 자명한 $\mathrm{Aut}(X_{\mathbb{C}})$를 가진 매끄럽고 유리적인 실수 아핀 다양체 $X$에 대해, 구성법은 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}} \times X$로 확장되며, 이는 무한히 많은 실수 형식을 유도한다.
• $V_n$에 대응하는 $\mathbb{S}_{\mathbb{C}}^2 \times \mathbb{A}_{\mathbb{C}}^2$의 실구조는 $n \neq m$일 때 $V_m$의 실구조와 동치가 아니며, 실수 형식의 비이sov모르피즘을 확인한다.