Buchstaber, Ochanine, Krichever, and Witten genera

以下のは、Mikhail Kornev による論文「Buchstaber, Ochanine, Krichever, and Witten genera」の技術的な詳細な要約です。

1. 研究の背景と問題設定

この論文は、複素コボルディズム（complex cobordism）の理論における**Hirzebruch 種数（Hirzebruch genus）の分類と、それに対応する形式群法則（formal group laws）**の構造に関する研究です。

• 既存の枠組み:
  • Buchstaber は 1990 年、2 値形式群（two-valued formal groups）のクラスを記述する多項式の族 $B_a(z; x, y)$ を導入しました。これは、特定の形式群 $F(u, v)$ から「絶対値の二乗構成（modulus square construction）」と呼ばれる操作を通じて得られる普遍的な族です。
  • このクラスには、Todd 種数、符号数（signature）、Ochanine 種数（楕円種数）、Krichever 種数などが含まれます。
  • Krichever 種数は、Baker-Akhiezer 関数 $\Phi(x, z)$ を指数関数（exponential）とする形式群に対応し、4 つのパラメータ（$\alpha, \wp(z), \wp'(z), g_2$）に依存します。
• 未解決の課題:
  • Buchstaber の多項式族が定義する形式群が、既存の Krichever 形式群の族と完全に一致するかどうか、あるいは新しい構造を含んでいるかという点について、明確な区別と具体的な生成元の特定が課題でした。
  • 特に、Hirzebruch のレベル $n$ の楕円種数から導かれない新しい種数の例を構成し、その性質を明らかにすることが目的です。

2. 手法と理論的枠組み

論文は、以下の数学的構成を用いて問題を解決しています。

• 絶対値の二乗構成（Modulus Square Construction）:
  • 複素コボルディズム環 $\Omega_U$ において、四元数線束のテンソル積から導かれる 2 値形式群の構成法を再考します。
  • 形式群 $F(u, v)$ の対数 $g(u)$ を用いて、2 値形式群 $G_F$ の対数 $B(x)$ を $B(x) = -g(u)^2$ （ここで $x=u^2$）として定義します。
• 新しい形式群法則の導入:
  • 多項式 $Q(t) = 1 - a_1 t^2 + a_2 t^4 - a_3 t^6$ を定義し、以下の形式群法則 $F_{Bc}(u, v)$ を提案します。
    $$F_{Bc}(u, v) = \left[ \left( \frac{u\sqrt{Q(v)} - v\sqrt{Q(u)}}{u^2 - v^2} \right)^2 + a_3 u^2 v^2 \right]^{-1/2}$$
  • この形式群の「絶対値の二乗」が、Buchstaber の多項式族 $B_a$ と一致することを示します。
• 微分方程式と楕円関数との対応:
  • Buchstaber の 2 値形式群の対数 $B(x)$ が満たす微分方程式を解き、その解が Weierstrass の $\wp$ 関数や $\sigma$ 関数とどのように関連するかを解析します。
  • 指数関数 $f_{Bc}(u)$ が $\wp$ 関数の逆数（シフト付き）で表されることを導出します。

3. 主要な貢献と結果

A. 新しい形式群と Buchstaber 種数の定義

• 定理 2: 上記の $F_{Bc}(u, v)$ が、Buchstaber の多項式族 (1) を「絶対値の二乗」として持つ普遍的形式群であることを証明しました。
• 対数と指数関数:
  • 対数 $g_{Bc}(u)$ は、$Q(t)^{-1/2}$ の積分として表されます。
  • 指数関数 $f_{Bc}(u)$ は、$f_{Bc}(u) = \frac{1}{\sqrt{\wp(u; g_2, -g_3) + a_1/3}}$ と表され、ここで $g_2, g_3$ はパラメータ $a_1, a_2, a_3$ で定義されます。
• 普遍性: この形式群は、条件 $u = -u$（奇関数性）を満たす単一値形式群の中で、Buchstaber の 2 値形式群を生成するものとして普遍的です。

B. Buchstaber 種数（$B_c$）の計算

• 定義: この形式群に対応する Hirzebruch 種数を「Buchstaber 種数 ($B_c$)」と呼びます。
• Theta 除数（$\Theta_n$）上の値:
  • 滑らかな Theta 除数 $\Theta_n$ 上の値 $B_c(\Theta_n)$ を計算しました。
  • 結果、$B_c(\Theta_{2n+1}) = 0$ となり、偶数次の値 $B_c(\Theta_{2n})$ は係数環 $\mathbb{Z}[a_1, a_2, a_3]$ に属することが示されました（命題 4）。
  • 具体的な値：
    • $B_c(\Theta_2) = -a_1$
    • $B_c(\Theta_4) = a_1^2 + 12a_2$
    • $B_c(\Theta_6) = -a_1^3 - 132a_1a_2 - 360a_3$
• 複素射影空間（$\mathbb{C}P^n$）上の値:
  • Mishchenko の対数を用いて $\mathbb{C}P^n$ 上の値も計算し、同様に係数環に属することを示しました。

C. 既存の種数との比較と独立性

• Ochanine 種数との関係: $a_3 = 0$ の場合、この形式群は Ochanine 種数（楕円種数）に一致します。したがって、$a_3 \neq 0$ の場合、これは Hirzebruch のレベル $n$ の楕円種数とは異なる新しい種数です。
• Krichever 種数との違い（命題 5）:
  • Krichever 種数 $Kr$ と Buchstaber 種数 $B_c$ を比較しました。
  • 次元 12 のコボルディズム類 $K$（$\Theta_6$ と $\Theta_1, \dots, \Theta_4$ の多項式で構成される）を定義し、$Kr(K) = 0$かつ$B_c(K) = -360a_3$ であることを示しました。
  • これは、$a_3 \neq 0$ のとき、Buchstaber 種数が Krichever 種数とは異なる（Krichever 種数の核に含まれない）ことを意味し、両者が同値ではないことを証明しています。
• Witten 種数との比較（命題 6）:
  • $a_1=0$ とした場合、Buchstaber 種数の指数関数 $f_{Bc}(u)$ が、係数環 $\mathbb{Z}[g_2, g_3]$ 上の Hurwitz 級数（係数が整数環上の多項式となる級数）であることを証明しました。これは Witten 種数（$\sigma$ 関数）の Hurwitz 性に関する Bunkova の予想と関連する結果です。

4. 意義と結論

この論文の主な意義は以下の点にあります。

1. 新しい種数の構成: Buchstaber の 2 値形式群の理論から、Krichever 種数や Ochanine 種数とは本質的に異なる新しい Hirzebruch 種数（Buchstaber 種数）を具体的に構成しました。
2. パラメータの分離: 形式群のパラメータ $a_3$ が、この新しい種数を既存の楕円種数から区別する鍵となることを示しました。$a_3 \neq 0$ の場合、Hirzebruch のレベル $n$ の楕円種数では表現できないコボルディズム不変量が存在します。
3. 代数的構造の解明: 種数の値が係数環 $\mathbb{Z}[a_1, a_2, a_3]$ に属し、Hurwitz 級数の性質を持つことを示すことで、この種数の代数的・数論的な性質を明らかにしました。
4. 理論的統合: Buchstaber の形式群論、Krichever 種数、Witten 種数、および楕円関数論を統一的な枠組みで扱い、それらの関係性を明確にしました。

結論として、著者は Buchstaber の多項式族が単なる既存の種数の再発見ではなく、$a_3$ の項によって制御される新しいクラスの形式群と種数を生成することを示し、複素コボルディズム理論における種数の分類をさらに発展させました。