制限されたモノドロミー群の互換を使う解の完全性検査
Restricted monodromy containing transpositions
この論文をやさしく読む
ひとことで言うと
多項式方程式の解をすべて見つけたか検査するため、分岐被覆の群の性質を調べる。
何に役立つ？
疎な多項式系の数値計算で、得られた解集合の完全性を検査する方法に役立つ。
この研究の面白いところ
制限された群に互換があるという情報から、元の群に制約を導く。
どこまで分かった？
要旨に数値実験の精度や速度は記載されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究は、分岐被覆のモノドロミー群と、その制限に対応するモノドロミー群との関係を調べる。制限されたモノドロミー群に互換が含まれると、元の分岐被覆のモノドロミー群が大きく制約されることを示す。この結果を使い、疎な多項式系について得られた解の集合が完全かどうかを数値的に検証する、疎なトレース検査アルゴリズムを完成させる。その過程で、分岐被覆の設定にトレース検査の概念を一般化する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We relate the monodromy group of a branched cover to the monodromy groups of its restrictions. We show that the presence of a transposition in a restricted monodromy group significantly constrains the monodromy group of the original branched cover. Using this result, we complete the sparse trace test algorithm, which numerically verifies whether a set of solutions to a sparse polynomial system is complete. Along the way, we develop a generalization of the notion of a trace test in the setting of branched covers.
著者のコメント
25 pages, 5 figures
arXiv ID: 2609.23238 ／ 要約の誤りについて