Invariants of real affine varieties based on their complexifications

タイトル: 複素化に基づく実アフィン多様体の不変量
著者: ユリウスズ・バネツキ

1. 問題提起

本論文は、実代数幾何学における基本的な実現問題、特に位相データと代数構造との関係性について取り扱っている。調査されている核心的な課題は以下の通りである：

1. ホモトピー類の代数的実現: 実代数集合（特に球面の積）間の連続写像のホモトピー類のうち、どのものが正則（代数的）写像によって表現可能かを決定すること。
2. 代数的近似: 実代数集合の滑らかな部分多様体が、「弱代数的近似」（ザリスキ閉集合の非特異点 locus による近似）を許容するかどうかを調査すること。
3. 既存の不変量の限界: 特異ホモロジー/コホモロジーや標準的な代数 K 理論に基づく既存の不変量は、特定のケース（例えば、異なる次元の球面間など）において正則写像の存在を妨げるのに弱すぎたり、代数的近似と非代数的近似のシナリオを区別するのに不十分であったりする。

2. 手法

著者は、実アフィン多様体の複素化の位相を通じて定義される新しい不変量の族を導入する。この手法は以下の手順に依存している：

• 複素化: 非特異な完備な実アフィン多様体 $X$ に対して、その実点集合 $X$ が $\mathcal{X}$ 内でザリスキ稠密となるような、$\mathbb{R}$ 上で定義された非特異な射影的複素多様体 $\mathcal{X}$（複素化）を考える。
• 一般化コホモロジー理論: 特異コホモロジーの使用に代わり、より強力な一般化コホモロジー理論を採用する。具体的には、以下の理論を用いる：
  • 複素向き付け理論 ($E^*$): 複素 K 理論 ($KU^*$) や複素コボルディズムなど。
  • 実向き付け等変理論 ($F^\star$): 複素共役によって複素化に誘導される $\mathbb{Z}/2$-作用を考慮する、アティヤの実 K 理論 ($KR^\star$) や実コボルディズムなど。
• 不変量の定義: 理論 $E^*$（または $F^\star$）に対し、不変量 $E^*_C(X)$（または $F^\star_C(X)$）を、実点集合の包含写像による複素化のコホモロジーの像として定義する：
  $$E^*_C(X) := \text{im}(i^*: E^*(\mathcal{X}) \to E^*(X))$$
  本論文は、この像が複素化 $\mathcal{X}$ の選択に依存しないことを証明する。
• 代数 K 理論との比較: 著者は、これらの新しい不変量が古典的な代数 K 群（例えば $K_0(R(X, \mathbb{C}))$）を部分群として含むことを確立しており、これにより特異ホモロジー不変量よりも厳密に強力でありながら、生々しい代数 K 理論よりも扱いやすい計算可能な枠組みが提供される。

3. 主要な貢献と結果

A. 球面に対する不変量の計算

本論文は、すべての $n$ に対する不変量 $KU^*_C(S^n)$ および $KR^\star_C(S^n)$ の完全な計算を提供する。

• ユニタリの場合: $n$ が偶数であれば $KU^p_C(S^n) = KU^p(S^n)$ であり、$n$ が奇数であれば $0$ である。
• 直交/実の場合: $KO^p_C(S^n)$ の構造は、$n$ を 4 と 8 で割った合同式によって決定される。部分群 $KO^p_C(S^n)$ が完全な位相群 $KO^p(S^n)$ 内における指数は、次元の二進展開に依存する関数 $\phi(n, m)$ によって記述される。

B. 代数ベクトル束の分類

計算された不変量を用いて、本論文は 2 つの球面の積 $S^n \times S^m$ 上の代数ベクトル束の位相的同型類を完全に分類する。

• 定理: 代数 K 群 $\tilde{K}_0(R(S^n \times S^m, \mathbb{K}))$（ただし $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}\}$）の対応する位相 K 群への像は、$\phi(n, m)$ によって決定される指数を持つ部分群を含む直和として明示的に記述される。
• これにより、$K_0(R(S^2 \times S^2, \mathbb{H}))$ の計算という長年の問題が解決され、Bochnak および Kucharz による以前の結果が一般化される。

C. 球面間の正則写像

不変量は、正則写像 $f: S^n \times S^m \to S^{n+m}$ の存在を決定するために適用される。

• 予想の反証: 本論文は、Bochnak と Kucharz (2022) の予想 1.11 を反証する。この予想は、次元 $n$ の非特異なコンパクト実代数集合から $S^n$ への任意の連続写像が、ある正則写像にホモトピックであると述べていた。
  • 結果: $n \equiv 1 \pmod 4$ かつ $n > 1$ である場合、いかなる正則写像にもホモトピックではない連続写像 $S^n \times S^m \to S^{n+m}$ が存在する。
• 新たな障害: 本論文は、正則写像が存在するための特定の条件（例えば、一方の次元が $\equiv 2 \pmod 4$ で他方が $\equiv 2, 3 \pmod 4$ である場合）を同定しており、その場合、正則写像が存在するのは位相的次数が偶数である場合に限られる。
• 肯定的な結果: 著者は「nice normed bilinear maps（良好なノルム付き双線形写像）」を用いた Loday の構成を一般化し、$n \le 8$ かつ二項係数 $\binom{n+m}{n}$ が奇数である場合、任意の連続写像 $S^n \times S^m \to S^{n+m}$ がある正則写像にホモトピックであることを示す。これは、正則写像の存在と $\binom{n+m}{n}$ の偶奇を関連付ける新しい予想（予想 1.15）を支持する。

D. 代数的近似への障害

本論文は、部分多様体の弱代数的近似の問題に取り組みます。

• 予想の反証: 包含写像 $[M \hookrightarrow X]$ のコボルディズム類の代数性が、弱代数的近似の存在にとって十分であるとする [26] の予想を反証する。
• 反例: 著者は、次元 6 の非特異なコンパクト実代数集合 $X$ と次元 4 の滑らかな部分多様体 $M$ を構成し、以下の性質を持つものを示す：
  1. 包含写像のコボルディズム類はゼロ（代数的）である。
  2. $M$ は $X$ 内で弱代数的近似を許容しない。
• 機構: この障害は、新しい不変量（特に $H^*_C(X; \mathbb{Z})$ と実向き付け理論を用いる）によって提供され、コボルディズムの障害が消滅した場合であっても、必要なコホモロジー類が代数的に実現できないことを検出する。

4. 意義

本論文は、主に 3 つの分野で意義を有すると主張している：

1. 理論的進展: 初等的な特異ホモロジー不変量と計算が困難な代数 K 群の間のギャップを埋める、堅牢で計算可能な不変量の族（$E^*_C$ および $F^\star_C$）を導入する。これらの不変量が複素化の選択に依存しないことが示される。
2. 未解決問題の解決: 球面の積上の代数ベクトル束の最初の完全な分類を提供し、代数集合から球面への正則写像に関する予想 1.11 のステータスを確定する。
3. 十分条件の反証: 包含写像のコボルディズム類の代数性が弱代数的近似にとって十分ではないことを実証し、実代数幾何学における障害の理解を精緻化する。その結果、これらの近似問題を完全に特徴づけるためには、実向き付けコホモロジーに基づくより強力な不変量が必要であることが示唆される。

本論文は、提示された反例に対しては現在の不変量（K 理論に基づくもの）で十分であるが、[26] の予想 B(p) のような残存する未解決ケースを解決するには、実コボルディズムのようなさらに強力な理論が必要となるかもしれないと結論付けている。