2025-11-25T16:25:18.025708

K3 surfaces with two involutions and low Picard number

Festi, Nijgh, Platt
Let $X$ be a complex algebraic K3 surface of degree $2d$ and with Picard number $ρ$. Assume that $X$ admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, $ρ\geq 1$ when $d=1$ and $ρ\geq 2$ when $d \geq 2$. For $d=1$, the first example defined over $\mathbb{Q}$ with $ρ=1$ was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over $\mathbb{Q}$, can be used to realise the minimum $ρ=2$ for all $d\geq 2$. In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum $ρ=2$ for $d=2,3,4$. We also show that a nodal quartic surface can be used to realise the minimum $ρ=2$ for infinitely many different values of $d$. Finally, we strengthen a result of Morrison by showing that for any even lattice $N$ of rank $1\leq r \leq 10$ and signature $(1,r-1)$ there exists a K3 surface $Y$ defined over $\mathbb{R}$ such that $\textrm{Pic} Y_\mathbb{C}=\textrm{Pic} Y \cong N$.
academic

2つの対合を持つK3曲面と低いピカール数

基本情報

  • 論文ID: 2210.14623
  • タイトル: K3 surfaces with two involutions and low Picard number
  • 著者: Dino Festi, Wim Nijgh, Daniel Platt
  • 分類: math.AG（代数幾何）、math.DG（微分幾何）、math.NT（数論）
  • 発表日: 2024年2月13日（v2版）
  • 論文リンク: https://arxiv.org/abs/2210.14623

要旨

本論文は、2つの対合を持つ複素代数的K3曲面を研究する。一方の対合は正則で、もう一方は反正則である。度数2d、ピカール数ρを持つK3曲面Xに対して、d=1ならばρ≥1、d≥2ならばρ≥2であることを示す。著者らは有理数体上で定義された新しい明示的K3曲面の例を構成し、d=2,3,4のときに最小ピカール数ρ=2を実現している。さらに、節点を持つ4次曲面が無限個の異なるd値で最小ピカール数ρ=2を実現できることを証明する。最後に、Morrisonの結果を強化し、秩1≤r≤10、符号(1,r-1)を持つ任意の偶格Nに対して、実数体上で定義されたK3曲面Yが存在し、Pic Y_C = Pic Y ≅ Nを満たすことを証明する。

研究背景と動機

問題の背景

  1. 幾何学的動機：K3曲面は微分幾何において重要な役割を果たし、特にG₂多様体の構成において中心的である。Joyce-Karigiannis構成とKovalev-Lee構成は2つの対合を持つK3曲面を必要とする——1つは非シンプレクティック正則対合、もう1つは反正則対合である。
  2. 物理的応用：Donaldson-Thomas綱領を通じたG₂計量のモジュライ空間の研究は、G₂インスタントンの計数を必要とする。これらのインスタントンはK3曲面上の安定束から構成される。束の安定性の検証の計算複雑性は、線束の数（すなわちピカール数）の増加とともに増大する。
  3. 理論的問題：与えられた度数のK3曲面に対して、正則対合と反正則対合の両方を持つことが要求される場合、その最小ピカール数はいくつか？これが本論文の中心的な理論的問題である。

研究の重要性

  • 幾何学的構成：低ピカール数のK3曲面の例はG₂多様体とその上のインスタントンの構成に不可欠である
  • 計算効率：低ピカール数は安定性検証を計算上より実行可能にする
  • 理論的完全性：対合を持つK3曲面のピカール数下界の完全な特徴付けを提供する

既存方法の限界

  • Elsenhans-Jahnel（2008）はd=1のときρ=1の例のみを与えた
  • Kondōの例はすべてのd≥2でρ=2を実現するが、例は1つのみである
  • 異なる度数に対する明示的構成方法が欠けている
  • Morrisonの結果は複素数体上のK3曲面のみに適用される

核心的貢献

  1. 理論的完全性（定理1.1）：2つの対合を持つK3曲面の最小ピカール数問題に完全に答える：
    • d=1のとき：ρ≥1、かつQ上で定義されたρ=1の例が存在
    • d>1のとき：ρ≥2、かつQ上で定義されたρ=2の例が存在
  2. 新しい明示的構成：
    • 度数4と8のK3曲面、ピカール格4 5 2（§6）
    • 度数6のK3曲面、ピカール格6 6 2（§7）
    • 度数2d（d>3）のK3曲面、ピカール格2 d+1 2d（§8）
  3. 無限族の例：節点を持つ4次曲面が無限個の異なるd値でρ=2を実現できることを証明（§4）
  4. 実数体上の強化結果（系8.3）：秩1≤r≤10、符号(1,r-1)を持つ任意の偶格Nに対して、実数体上で定義されたK3曲面Yが存在し、Pic Y_C = Pic Y ≅ Nを満たす
  5. 計算資源：これらの例を構成・検証するためのMagmaコードを提供

方法の詳細

タスク定義

正整数dが与えられたとき、度数2d、ピカール数2のK3曲面Xを構成する。ただし以下を満たす：

  1. 有理数体Q（または実数体R）上で定義される
  2. 正則対合ιを持つ
  3. 反正則対合σを持つ（実数体上の定義により自動的に提供される）
  4. 2つの対合は可換である

核心的観察（注釈1.3）

重要な同値関係：複素K3曲面が可換な正則対合と反正則対合を持つことは、基礎となる代数的K3曲面がR上で定義可能で2次の自己同型を持つことと同値である。

構成戦略：R上で定義されたK3曲面を探す。これは自己交差数D²=2を持つ豊富な因子Dを持つ。このような因子は所望の2次自己同型を提供する（補題3.1）。

方法1：平面の二重被覆（§3）

補題3.1の重要な役割：K3曲面Xが自己交差数H²=2を持つ豊富な因子Hを持つならば、Xは光滑な6次曲線上のP²の二重被覆と同型である。

二重被覆対合：加重射影空間P(1,1,1,3)で方程式w²=f(x,y,z)により定義されるK3曲面に対して、対合は以下で与えられる： ι:(x:y:z:w)↦(x:y:z:−w)ι: (x:y:z:w) \mapsto (x:y:z:-w)

例3.4：ピカール格⟨2⟩を持つ例X₂を構成し、モジュロ約化によってρ=1を検証：

  • モジュロ5とモジュロ13でピカール格の秩と判別式を計算
  • detPicX₂,₅ ≢ detPicX₂,₁₃ mod Q²の埋め込みを利用してρ(X₂)=1を推導

方法2：節点を持つ4次曲面（§4）

構成の考え方：

  1. P³内の単一の節点を持つ4次曲面Xから開始
  2. 節点をブローアップして光滑モデルSを得る
  3. ピカール格は⟨H,E⟩≅4 0 -2を含む。ここでHは超平面切断、Eは例外因子

重要な技術（命題4.4）：d>2で2がモジュロdの二次剰余であるとき、PicS内の本原豊富類D∈PicSが存在し、D²=2dを満たす。

Pell方程式の方法：問題はPell方程式 y2−2x2=−dy² - 2x² = -d の解に帰着する。Lagrangeの結果を利用すれば、この方程式が解を持つことは、y²-2x²=±1が解を持つことと同値である（常に成立）。

Weyl群の議論：Weyl群の推移的作用を通じて、正錐内の解を豊富錐内にマップする。

例4.7：Q上で定義された具体的な節点4次曲面を与え、その光滑モデルのピカール数が2であることを検証。

方法3：特定の曲線を含む光滑4次曲面（§5-6）

定理5.1（Mori, Knutsen）：度数e、種数gの光滑曲線Cを含む光滑4次曲面Xが存在するための必要十分条件は：

  • g = e²/8 + 1、または
  • g < e²/8かつ(e,g)≠(5,3)

命題5.2：e>4で、4次曲面XがPicX=⟨H,C⟩を満たす種数2、度数eの光滑曲線Cを含むならば、Cは豊富で、Xは線形系|C|により誘導される正則対合を持つ。

構成方法（注釈6.5）：

  1. P¹×P¹内で双次数(2,3)の種数2曲線C'と双次数(2,1)の種数0曲線D'を構成
  2. Segre埋め込みマップを通じてP³内の二次曲面Qへマップ
  3. 像C∪Dの合併は4次多項式により定義される
  4. 光滑性とピカール数を検証

例6.1（X₄）：度数4の4次曲面を明示的に構成。度数5種数2の曲線Cを含む。ピカール格4 5 2。

対合の明示的公式（注釈6.6）：線形系|9H-5D|を通じて対合ιの9次多項式表現を与える。

他のモデル：

  • |C|はP²の二重被覆モデルX'₂を与える
  • |3H-C|はP⁵内の3つの二次曲面の交のモデルX₈を与える

方法4：二次曲面と三次曲面の交（§7）

構成戦略：P⁴内で二次曲面x₄²=fと三次曲面l₁g₁+l₂g₂+l₃g₃=0により定義されるK3曲面を探す。

例7.1（X₆）：度数6のK3曲面を明示的に与える。度数6種数2の曲線C₆を含む。ピカール格6 6 2。

格論の議論（補題7.4）：格6 6 2はd≡4 mod 6の任意の数を表現しない。特に-2を表現しないため、光滑有理曲線を含まず、豊富錐は正錐に等しい。

方法5：実数体上の一般的構成（§8）

Morrisonの結果の強化（命題8.2）：U⊕²⊕E₈(-1)⊕²の本原部分格N（秩r、符号(1,r-1)）に対して、実数体上で定義されたK3曲面Xが存在し、PicX=PicX_C≅Nを満たす。

構成の手順：

  1. Λ:=U⊕²⊕E₈(-1)⊕²内でNの本原埋め込みを見つける
  2. N⊥⊗Rで条件w₋²>0を満たすw₋を選ぶ
  3. U⊗Rで条件w₊²=w₋²を満たすw₊を選ぶ
  4. w:=w₊+iw₋を構成し、Riemann条件を満たすことを確認
  5. 周期写像の全射性により、K3曲面Yを得る
  6. ΛK₃=U⊕Λ上で対合τ=id⊕(-id)を定義
  7. τが定理8.1の条件を満たすことを検証し、R上の模型Xを得る

実点の存在性：Euler特性χ(X(R))=-16≠0を計算することにより、X(R)≠∅を証明。

応用（命題8.5）：d>3に対して、実数体上で定義されたK3曲面が存在し、ピカール格2 d+1 2dを持ち、2つの豊富類により生成される。

実験設定

計算ツール

本論文はMagma計算代数システムを使用して数値検証と構成を行う。すべてのコードは以下で公開されている： https://github.com/danielplatt/quartic-k3-with-involution

検証方法

ピカール数上界の計算（§2.3）：

  1. 適切な約化素数pを選ぶ
  2. 約化曲面X_pのピカール数を計算
  3. 埋め込みPicX_C → PicX_{p,F̄_p}を利用して上界を得る
  4. Frobenius自己同型の特性多項式とTate予想を使用（Kim-Peraにより証明済み）

具体的な実装：

  • 度数2のK3曲面の場合：Elsenhans-JahnelのMagma組み込み関数を使用
  • 検証戦略：異なる素数で計算し、判別式の異なる剰余を利用して高いピカール数を排除

データセット

本論文は従来の意味でのデータセットを含まない。代わりに、特定の代数幾何学的対象を構成する。各例は以下を通じて検証される：

  1. 定義方程式
  2. 光滑性の検証
  3. ピカール数の計算
  4. 対合存在性の検証

実験結果

主要な結果

定理1.1の完全な証明：

  • d=1：例3.4がρ=1の例を与える（ピカール格⟨2⟩）
  • d≥2：Kondōの楕円K3曲面X₆₆がすべてのd>1でρ=2を実現（ピカール格U=0 1 0）

新しい例の検証：

  1. 例3.4（X₂、度数2）：
    • ピカール格：⟨2⟩（ρ=1）
    • 検証：rank(PicX₂,₅)=rank(PicX₂,₁₃)=2だが、detPicX₂,₅≢detPicX₂,₁₃ mod Q²
    • 結論：ρ(X₂)=1
  2. 例4.7（節点4次、度数2d）：
    • ピカール格：4 0 -2（ρ=2）
    • 検証：モジュロ5約化がρ=2を示す
    • 実現可能な度数：d∈{7,14,17,23,31,34,41,46,47,49,62,71,73,79,82,89,94,97,98,...}（2はモジュロdの二次剰余）
  3. 例6.1（X₄、度数4）：
    • ピカール格：4 5 2（ρ=2）
    • 度数5種数2の曲線Cを含む
    • 検証：モジュロ2約化がρ≤2を示す
    • 対合：ι*(H)=-H+5C、ι*(C)=C
  4. 例7.1（X₆、度数6）：
    • ピカール格：6 6 2（ρ=2）
    • 度数6種数2の曲線C₆を含む
    • 検証：モジュロ7約化がρ≤2を示す
    • 非表現性：d≡4 mod 6（特に、P⁴内の二次と三次の交として埋め込めない）
  5. 命題8.5（度数2d、d>3）：
    • ピカール格：2 d+1 2d（ρ=2）
    • 定義域：実数R
    • -2類を含まない（d>3のとき）。したがって豊富錐=正錐

技術的検証

命題5.5の否定的結果：4次曲面X⊂P³が線形対合ι:P³→P³を持ち、ι(X)=Xを満たすならば、ρ(X)≥8。これは例6.1の対合が線形対合により誘導されないことを示す。

補題5.6：命題5.2の場合に対して、対合のピカール格上の作用は：

  • ι*(C)=C
  • ι*(H)=-H+eC

構成方法の有効性

注釈6.5と7.7：体系的な構成方法を提供し、より多くの例をランダムに生成できる。MagmaファイルConstructionQuarticとConstructionK3Degree6がこれらの構成を実装している。

関連研究

K3曲面理論の基礎

  1. Huybrechts 12：K3曲面の標準教科書。ピカール格、周期領域、Torelli定理などの基礎理論を提供
  2. Kondō 18：K3曲面の専門書。特に自己同型と対合の分類に関する内容

対合の分類

  1. Nikulin 22, 24：
    • 定理2.6：シンプレクティック対合は8つの孤立不動点を持ち、ρ≥9
    • 非シンプレクティック対合の不動点集合の分類：空集合、2つの楕円曲線、または混合曲線。ρ≥10またはρ≥11-p_a(C)+kをもたらす
  2. Artebani-Sarti-Taki 1：不動点集合に関連する格L₊がピカール格に含まれることを証明

ピカール数の計算

  1. Elsenhans-Jahnel 7, 8, 9：
    • d=1、ρ=1の最初の例を与える
    • 度数2のK3曲面のWeil多項式計算方法を開発
    • 約化のピカール数計算用Magma実装
  2. van Luijk 34：点の計数による特性多項式計算の実用的方法
  3. Charles 4、Kim-Pera 15：Tate予想の証明と精密化

曲線と4次曲面

  1. Mori 20、Knutsen 16：定理5.1（4次曲面上の曲線存在性）
  2. Bini 3：ピカール格4 0 -2のK3曲面の自己同型群計算（命題4.1）

実K3曲面

  1. Morrison 21：秩≤10の偶格が複素K3曲面のピカール格として実現可能であることを証明
  2. Silhol 33：実代数曲面理論。特に定理8.1の判別基準
  3. Nikulin-Saito 25, 26：実K3曲面のモジュライ空間と連結成分の分類

幾何学的応用

  1. Joyce-Karigiannis 14：K3曲面を利用したG₂多様体構成のブローアップ方法
  2. Kovalev-Lee 19：別のG₂多様体構成方法
  3. Walpuski等29, 35：K3曲面上の束からのG₂インスタントン構成

本論文の位置付け

本論文が既存研究に対して持つ利点：

  1. 体系性：異なる度数の明示的構成方法を与える。孤立した例ではない
  2. 計算可能性：Magmaコードを提供し、構成を再現可能にする
  3. 理論的強化：Morrisonの結果をCからRに強化し、Pic Y_C = Pic Yを保証
  4. 応用指向：G₂幾何の応用需要を明確に対象とする

結論と議論

主要な結論

  1. 完全な特徴付け：定理1.1は2つの対合を持つK3曲面の最小ピカール数問題に完全に答え、有理数体上での実現を与える。
  2. 豊富な例のライブラリ：
    • 度数2：ρ=1の例（例3.4）
    • 度数4：ρ=2の例、ピカール格4 5 2（例6.1）
    • 度数6：ρ=2の例、ピカール格6 6 2（例7.1）
    • 度数2d（d>3）：ρ=2の例、ピカール格2 d+1 2d（命題8.5）
    • 無限族：節点4次曲面が無限個のdでρ=2を実現（命題4.4）
  3. 理論的強化：系8.3はMorrisonの結果を複素数体から実数体に強化し、Pic Y_C = Pic Yを確保する。
  4. 計算資源：公開のMagmaコードを提供し、さらなる研究と応用を支援。

限界

  1. 度数の制限：
    • 例6.1のピカール格4 5 2は6を表現しないため、その曲面は度数6の偏極を持たない
    • 度数6の因子を同時に持つ4次曲面を見つけるにはd=9が必要
  2. 定義域：
    • 命題8.5の例は実数体R上でのみ定義され、必ずしも有理数体Qに下降しない
    • 例3.4、4.7、6.1、7.1はQ上で定義されるが、すべての度数をカバーできない
  3. 構成方法：
    • 注釈6.5と7.7の構成方法はランダム探索と検証を必要とする
    • 所望のピカール数を持つ曲面を見つけることを保証する決定論的アルゴリズムがない
  4. 対合の明示性：
    • 対合の存在は証明されるが、二重被覆の場合を除き、一般には明示的公式がない
    • 例6.1は9次多項式表現を与えるが、非常に複雑である
  5. 高ピカール数の場合：
    • 命題5.5は線形対合を持つ4次曲面のピカール数が少なくとも8であることを示す
    • ρ>2の場合、本論文は体系的に研究していない

将来の方向

  1. より多くの度数の例：
    • 度数10, 12, 14などのρ=2例を体系的に構成
    • どの度数がQ上でρ=2を実現できるかを研究
  2. アルゴリズムの改善：
    • 与えられた度数とピカール格を持つK3曲面を構成する決定論的アルゴリズムを開発
    • ピカール数計算の効率を改善
  3. G₂幾何への応用：
    • これらの例を利用してG₂多様体を具体的に構成
    • 対応するG₂インスタントンを研究
  4. モジュライ空間の研究：
    • 2つの対合を持つK3曲面のモジュライ空間構造を研究
    • 異なるピカール格に対応する連結成分を分類
  5. 計量の退化：
    • これらの例に対応するCalabi-Yau計量の退化挙動を研究
    • Chen-Viaclovsky-Zhangの研究に類似した結果
  6. 高秩の場合：
    • 系8.3を秩r>10の場合に一般化
    • 実数体上の埋め込みの一意性を研究

深い評価

利点

  1. 理論的完全性：
    • 定理1.1は最小ピカール数の完全な特徴付けを与える
    • 系8.3はMorrisonの古典的結果を強化する
    • 理論的結果と明示的例が結合されている
  2. 構成方法の体系性：
    • 複数の構成技術を提供（二重被覆、節点4次、曲線を含む4次、二次と三次の交）
    • 注釈6.5と7.7は再現可能な構成手順を与える
    • 異なる方法が異なる度数範囲に適用可能
  3. 計算検証の厳密性：
    • モジュロ約化とTate予想を使用してピカール数を検証
    • 複数の素数で検証し、高ピカール数を排除
    • 公開のMagmaコードで再現可能性を確保
  4. 技術的革新：
    • 補題3.1と命題3.3は対合、度数2、二重被覆の等価性を確立
    • 命題4.4はPell方程式を豊富性条件と巧妙に結合
    • 命題8.2の構成はRiemann条件と周期写像の全射性を利用
  5. 応用指向：
    • G₂幾何の需要を明確に対象とする（低ピカール数は安定性検証を容易にする）
    • 後続の応用に供する豊富な明示的例を提供
    • コードの公開は幾何物理学者の使用を促進
  6. 執筆品質：
    • 構造が明確で、背景から理論から例へと段階的に進む
    • 注釈が詳細。注釈6.5、7.7は構成の詳細な手順を提供
    • 補題、命題、定理の陳述が正確

不足

  1. カバー範囲の不完全性：
    • 度数8, 10, 12などに対してQ上の明示的例がない
    • 節点4次の方法は2がモジュロdの二次剰余であることに依存し、多くのd値を排除
    • どの(d,ρ)対がQ上で実現可能かを決定する体系的方法がない
  2. 構成のランダム性：
    • 注釈6.5と7.7の方法はランダム生成と検証を必要とする
    • 成功確率の推定がない
    • 特定の度数とピカール格に対して、例を見つけることを保証しない
  3. 対合の明示性の不足：
    • 二重被覆の場合を除き、ほとんどの対合に明示的公式がない
    • 注釈6.6の9次多項式は過度に複雑で、実際の計算に使用困難
    • 不動点集合上の対合の幾何学的記述が不十分
  4. G₂幾何との連携の深さ不足：
    • 動機はG₂幾何から来るが、具体的なG₂多様体構成がない
    • これらの例に対応するG₂インスタントンが議論されていない
    • 計量退化との連携が欠けている
  5. 実験部分の限界：
    • 有限個の例のみが検証されている
    • 異なる構成方法の成功率統計がない
    • ピカール数計算効率の分析が欠けている
  6. 理論的深さ：
    • 系8.3の証明は主に技術的で、深い幾何学的洞察が欠けている
    • ピカール格のモジュライ空間構造が議論されていない
    • なぜ特定のピカール格がより実現しやすいかの説明がない

影響力

  1. 代数幾何への貢献：
    • K3曲面の例ライブラリを豊かにする
    • 系8.3はMorrisonの古典的結果を強化
    • 新しい構成技術を提供（命題4.4のPell方程式方法など）
  2. 微分幾何への貢献：
    • G₂多様体構成の原料を提供
    • 低ピカール数の例は計量退化の研究を容易にする
    • 新しいG₂インスタントン構成を触発する可能性
  3. 計算数論への貢献：
    • Magmaコードはさらなる計算実験に利用可能
    • モジュロ約化技術の応用を示す
    • アルゴリズム開発のテストケースとして機能
  4. 実用的価値：
    • 幾何物理学者向け：G₂幾何に使用可能な具体的K3曲面を提供
    • 代数幾何学者向け：モジュライ空間と退化を研究する例を提供
    • 計算数学者向け：アルゴリズムテストのベンチマークを提供
  5. 再現可能性：
    • コードはGitHubで公開
    • 構成手順が詳細
    • 検証方法が明確
    • 他の研究者による使用と拡張を容易にする

適用場面

  1. G₂多様体構成：
    • Joyce-Karigiannis爆破方法
    • Kovalev-Lee捻れ連結和方法
    • 低ピカール数が計算を必要とする
  2. G₂インスタントン研究：
    • K3曲面上の安定束からの構成
    • 低ピカール数は安定性検証を簡略化
    • モジュライ空間コンパクト化の研究に利用可能
  3. K3曲面モジュライ空間：
    • 対合を持つK3曲面のモジュライ空間研究
    • 異なるピカール格に対応する分枝の研究
    • 退化族の研究
  4. 算術幾何：
    • 有理点の研究
    • Galois作用の研究
    • 約化性質の研究
  5. 計算代数幾何：
    • アルゴリズムテスト
    • 記号計算のベンチマーク
    • ピカール数計算方法の検証
  6. 教育と学習：
    • K3曲面理論の具体例として
    • 対合とピカール格の関係を示す
    • 計算検証技術の実演

参考文献（精選）

12 D. Huybrechts, Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, 2016.

17 S. Kondō, Automorphisms of algebraic K3 surfaces which act trivially on Picard groups, J. Math. Soc. Japan 44 (1992), no. 1, 75–98.

18 S. Kondō, K3 surfaces, EMS Tracts in Mathematics, vol. 32, 2020.

21 D. R. Morrison, On K3 surfaces with large Picard number, Invent. Math. 75 (1984), no. 1, 105–121.

22 V. V. Nikulin, Finite groups of automorphisms of Kählerian K3 surfaces, Trudy Moskov. Mat. Obshch. 38 (1979), 75–137.

23 V. V. Nikulin, Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 111–177.

33 R. Silhol, Real algebraic surfaces, Lecture Notes in Mathematics, vol. 1392, Springer-Verlag, Berlin, 1989.

総括：これは代数幾何の高品質論文であり、2つの対合を持つK3曲面の最小ピカール数問題を体系的に研究している。論文の主な強みは理論的完全性、構成方法の多様性、計算検証の厳密性、および応用への関心にある。主な不足は、カバー範囲の不完全性、構成のランダム性、および応用分野（G₂幾何）との連携の深さにある。論文は代数幾何、微分幾何、計算数論に重要な貢献をもたらし、提供されるコードと例は後続の研究に継続的な影響を与えるであろう。