Families of singular algebraic varieties that are rationally elliptic spaces

技術的要約：有理楕円空間である特異代数多様体の族

問題提起
本論文は、有理楕円代数多様体の分類と存在について扱う。有理楕円空間とは、単純連結な位相空間 $X$ であり、有限性条件 $\dim H^*(X, \mathbb{Q}) < \infty$ および $\dim \pi_*(X) \otimes \mathbb{Q} < \infty$ を満たすものを指す。滑らかな有理楕円多様体（例：同次空間、ファノ多様体）は十分に研究されているが、本論文では、特異な代数多様体の領域、具体的には孤立特異点を持つ超曲面の範囲において、そのような空間の無限族が存在するかどうかを調査している。

中心的な動機は、幾何学的性質（正則形式や反正則形式のネフ性など）とホモトピー型の関係にある。著者は、次元2および3の滑らかな多様体においては、ネフな正則形式または反正則形式のクラスを持つ有理楕円多様体の変形型は有限個しかないことを指摘している。本論文は、同様の幾何学的制約の下で、特異な多様体においてもこのような有限性が保持されるのか、あるいは異なるホモトピー型の無限族が存在するのかを探究するものである。

手法
著者は、重み付き射影空間および標準的な射影空間における特定の多項式方程式によって定義される、特異な射影超曲面の明示的な族を構成する。その手法は以下の通りである：

1. 明示的な構成： 以下の3つの超曲面族を定義する：

   • 族 (1)： 重み付き射影空間 $\mathbb{P}(w_0, \dots, w_{n+1})$ における $H(a_0, \dots, a_{n+1})$。式は $z_0^{a_0}z_1 + z_1^{a_1}z_2 + \dots + z_{n+1}^{a_{n+1}}z_0 = 0$ とする（$n$ が奇数の場合）。
   • 族 (2)： $\mathbb{P}^{n+1}$ における $V^d_n$。式は $z_1^d + z_0 z_2^{d-1} + z_2 z_3^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$ とする。
   • 族 (3)： $\mathbb{P}^{n+1}$ における $W^d_n$。式は $z_0 z_1^{d-1} + z_1 z_2^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$ とする。

2. 位相幾何学的解析：

   • ホモロジーとコホモロジー： これらの多様体の有理ホモロジーおよび有理コホモロジー環を計算する。族 (1) と (2) について、これらが射影空間（$\mathbb{P}^n$）の有理ホモロジーを持つことを示す。族 (3) については、これらが滑らかな偶数次元二次形式の有理ホモロジーを持つことを示す。
   • モノドロミーとミルナー数： 孤立特異点の理論を用いて、局所モノドロミーの特性多項式（$\Phi^d_n(t)$）および特異点のミルナー数を計算する。これには、Thom-Sebastianiの定理および重み付き同次特異性の性質から導かれる漸化式を用いる。
   • 形式性（Formality）： これらの特異多様体が「形式的」な空間（Sullivanの意味において）であることを確立する。この性質は、有理コホモロジー環の同型がSullivanの最小モデルの同型を誘導することを保証し、それによって彼らの有理ホモトピー型を確定させる。

3. 幾何学的性質： これらの多様体の標準束を解析して、それらがネフであるか、あるいは反ネフであるかを決定し、自己交差数を計算する。

主要な貢献と結果

• 異なるホモトピー型の無限族： 本論文は、任意の次元 $n > 1$ において、特異な有理楕円超曲面の無限族が存在することを証明する。

  • 定理 2.1 & 2.2： 族 (1) および (2) は $\mathbb{P}^n$ と有理ホモトピー同値である。これらは有理楕円的であり、かつ $\mathbb{P}^n$ の有理ホモロジーを持つが、無限個の異なる整数ホモトピー型を表す（ただし、2つの実ホモトピー型に分類される）。
  • 定理 3.1 & 命題 3.6： 族 (3)（偶数 $n$ に対する $W^d_n$）は、有理楕円的であり、滑らかな偶数次元二次形式の実ホモトピー型を提供する。しかし、パラメータが異なる場合には互いに有理ホモトピー同値ではなく、異なる有理ホモトピー型を表す。

• 幾何学的制約とネフ性：

  • 構成された特異多様体は、ネフな正則束またはネフな反正則束のいずれかを持つ。
  • 本論文は、滑らかな場合との対比を強調している。滑らかな有理楕円3次元多様体でネフな正則束を持つものは有限個である（[1]による結果）のに対し、ここで示された特異な例は、これらの性質を持ちながら無限の族を形成する。

• 付録の結果（滑らかな場合）： 著者は、ネフな正則束を持つ滑らかな有理楕円3次元多様体の無限族は存在しないことを示す付録を含めている。これは、本文中で示された特異な例の重要性を補強するものである。

• 円作用： これらの特異な超曲面のアフィン錐のリンクが、層状空間上の円作用（ホモロジー球面、または族 (2) の場合はホモロジー球面、族 (3) の場合は球面の有理積となる）を与えることに触れ、Montgomery-Yang問題への繋がりを示唆している。

意義
本論文は、ネフ（または反ネフ）な正則束を持つ、有理楕円的で特異な代数多様体の無限族の最初の明示的な例を提供することで、その意義を主張している。これは、滑らかな場合で見られる「有限性」という直感に異を唱えるものである。

本研究は、特異性が「有理楕円的」という性質を保持しつつ、いかに多様な位相構造を許容し得るかを示すことで、代数幾何学と有理ホモトピー論の間の溝を埋めるものである。これらの結果は、混合ホッジ構造がHodge-Tate型であることに関する関連文献（例：[24], [37]）で議論されている、Hodge理論的性質とも一致している。

著者は、これらの例が、ネフな正則束を持つ特異な多様体においてホモトピー型の有限性が拡張されるかという問いに対する答えとなることを明示しており、結論として、特異な場合にはそうではない（有限性は成立しない）としている。本論文は、すべての有理楕円多様体の一般的な分類を解明することを目的としているのではなく、むしろ、滑らかな場合の有限性の期待に対する具体的な反例としての、これらの特定の無限族の存在を確立することを目指している。