内在的摂動では得られない超幾何系の解の次元を計算
A codimension formula for intrinsic perturbation of $A$-hypergeometric series
この論文をやさしく読む
ひとことで言うと
特殊な連立微分方程式の解をある摂動法で作ったとき、全解空間のうち何次元分がその方法では埋まらないかを調べる数学研究です。
何に役立つ？
内在的摂動で得られた級数だけで十分な解がそろうかを判定するのに役立ちます。形式的な級数と、実際の領域で正則な解との対応も扱います。
この研究の面白いところ
取りこぼしを単に指摘するのではなく、有限次元の余核として表し、余次元を計算しています。特定の系列では、足りない次元にqの二乗に比例する下限を与えます。
どこまで分かった？
対象は斉次A超幾何系と指定された解空間です。⌈3q²/4⌉という下限は、格子階数2・列数5qの系への適用結果で、すべての微分方程式に対する評価ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
一般の方向における斉次A超幾何系の標準形式解空間を研究する。この空間に現れるすべての指数と、すべての順序付き負台族について内在的摂動で得られる標準級数を取り、その線形包で元の空間を割った商を、有限次元の余核として表示する。また、この線形包の余次元を計算する。 この表示と余次元が、共通の非特異領域上の正則解にも引き継がれることを示す。これらの結果を、各整数q ≥ 1について、格子階数が2で列数が5qの斉次A超幾何系に適用する。そして、内在的摂動によって得られる標準級数の線形包が、標準形式解空間の中で少なくとも⌈3q²/4⌉の余次元を持つことを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the canonical formal solution space of a homogeneous $A$-hypergeometric system in a generic direction. We present as a finite-dimensional cokernel the quotient of that space by the span of the canonical series obtained by intrinsic perturbation, taken over all exponents occurring in that space and all ordered negative support families, and we compute the codimension of that span. We show that the presentation and the codimension transfer to the holomorphic solutions on a common nonsingular domain. We apply these results, for every integer $q\geq 1$, to a homogeneous $A$-hypergeometric system of lattice rank 2 with $5q$ columns and show that the span of the canonical series obtained by intrinsic perturbation has codimension at least $\lceil 3q^2/4\rceil$ in the canonical formal solution space.
著者のコメント
20 pages, 1 table; ancillary files: verification scripts for Sage and Macaulay2. Companion paper to arXiv:2608.18006, from which this paper was split; the obstruction module used here is constructed there
arXiv ID: 2609.22414 ／ 要約の誤りについて