多変数複素解析 · 2026-10-07

Analytic multiplier ideals of toric plurisubharmonic functions on a toric complex space

トーリック複素空間上のpsh関数と乗数イデアルの凸幾何

Hoseob Seo

hoseob-seo-zzb3lc multiplier-ideals-extension pluripotential-theory toric-geometry complex-analytic-spaces singularities Singularities 特異点・特異性 Pluripotential theory 多重ポテンシャル論 Multiplier ideals and extension theorems 乗数イデアル・拡張定理 Complex analytic spaces 複素解析空間 Toric geometry トーリック幾何

arXiv Abstract

In this paper, we study analytic multiplier ideal sheaves of toric plurisubharmonic functions on normal affine toric complex analytic spaces equipped with torus-invariant rational divisors, assuming that a positive integer multiple of the log canonical divisor is Cartier. We describe these sheaves in terms of Newton convex bodies and show that they are globally generated by finitely many meromorphic monomials. Our results generalize the description of An and the formulas of Howald and Blickle for monomial ideals, and recover the descriptions of Rashkovskii and Guenancia on affine space. We also extend this description to weights obtained by subtracting positive rational multiples of monomial ideal weights.

日本語要約

トーラス不変な有理因子を備えた正規アフィン・トーリック複素空間で、対数標準因子の正整数倍がCartierである場合を考える。トーリック多重劣調和関数に付随する解析的乗数イデアル層をNewton凸体の内部によって特徴付け、有限個の有理型単項式で大域生成されることを証明する。アフィン空間上の既知の公式と、単項式イデアルに関するHowald・Blickleの公式を含む。さらに、単項式イデアルの重みの正の有理数倍を差し引いた重みに対する同様の記述を得る。

In this paper, we study analytic multiplier ideal sheaves of toric plurisubharmonic functions on normal affine toric complex analytic spaces equipped with torus-invariant rational divisors, assuming that a positive integer multiple of the log canonical divisor is Cartier. We describe these sheaves in terms of Newton convex bodies and show that they are globally generated by finitely many meromorphic monomials. Our results generalize the description of An and the formulas of Howald and Blickle for monomial ideals, and recover the descriptions of Rashkovskii and Guenancia on affine space. We also extend this description to weights obtained by subtracting positive rational multiples of monomial ideal weights.

正規アフィン・トーリック複素解析空間上で、トーリックpsh関数の解析的乗数イデアルをNewton凸体により記述する。対数標準因子がQ-Cartierとなるトーラス不変有理境界を許し、有限個の有理型単項式による大域生成と、指数の凸体内部への所属による判定を示す。単項式イデアルの重みを引いた非pshの重みにも判定式を拡張する。

arXiv
2610.08741v1
初回投稿日
2026-10-06
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
several-complex-variables 2026

原論文を開く

書誌情報

要約

乗数イデアルは、因子やpsh関数の特異性を局所可積分性で測る道具である。トーリックな状況では、単項式の指数と凸集合を使ってこの解析的条件を具体的に計算できる。本論文はその記述を、特異な正規アフィン・トーリック複素解析空間と有理境界の組に広げる。

主定理は、トーリックpsh関数 $\varphi$ の乗数イデアル層が有限個の有理型単項式で大域生成され、単項式 $\chi^m$ が属する条件を $m+u_D\in\operatorname{int}P(\varphi)$ と書けるというものである。$P(\varphi)$ はNewton凸体、$u_D$ は境界から決まる移動量である。

さらに、$\varphi$ から単項式イデアルの重みの正の有理数倍を引いた場合も扱う。この差は一般にはpshではないため、最初の定理を直接代入して済ませることはできない。論文は各生成単項式の指数について同時に満たすべき凸体内部条件を与える。

背景と問題設定

$X_\sigma$ を強凸有理多面錐 $\sigma$ に対応する正規アフィン・トーリック空間、$M$ を指標格子とする。トーラス不変な有理Weil因子 $D=\sum_\rho a_\rho D_\rho$ を与え、$K_{X_\sigma}+D$ が $\mathbf Q$-Cartierであると仮定する。各半直線の原始生成元 $v_\rho$ に対して

$$ \langle u_D,v_\rho\rangle=1-a_\rho $$

を満たす $u_D\in M_{\mathbf Q}$ を選ぶ。

Howaldはアフィン空間の単項式イデアルをNewton多面体で記述し、Blickleは正規アフィン・トーリック対へ拡張した。また、RashkovskiiとGuenanciaはトーリックpsh関数をNewton凸体によって扱った。本論文では、対の境界と特異な解析空間を同時に許す。境界の係数が負の場合も含むため、層を常に正則関数のイデアルと思うのではなく、有理型関数層 $\mathcal M_{X_\sigma}$ の部分加群として扱う必要がある。

主結果

主定理1：Newton凸体による所属判定（Theorem 1.3＝Theorem 6.1）

$\varphi$ を $X_\sigma$ 上のトーリックpsh関数とする。解析的乗数イデアル層 $\mathcal I((X_\sigma,D);\varphi)$ は連接かつ $T_N$-不変な $\mathcal O_{X_\sigma}$-部分加群で、有限個の有理型単項式により大域生成される。任意の $m\in M$ について、

$$ \chi^m\in H^0\bigl(X_\sigma,\mathcal I((X_\sigma,D);\varphi)\bigr) \quad\Longleftrightarrow\quad m+u_D\in\operatorname{int}P(\varphi) $$

が成り立つ。境界による移動 $u_D$ とNewton凸体の「内部」という厳密な条件が、局所可積分性を表す。

$X_\sigma=\mathbf C^n$、$D=0$ なら $u_D=\mathbf1$ となり、既知の $\alpha+\mathbf1\in\operatorname{int}P(\varphi)$ という判定を回復する。非零単項式イデアル $\mathfrak a$ の重み $\varphi_{\mathfrak a}$ に対しては

$$ \operatorname{int}P(c\varphi_{\mathfrak a}) =\operatorname{int}\bigl(c\operatorname{Newt}(\mathfrak a)\bigr) $$

となり、Blickleの公式へつながる。また、錐が全次元でない場合も含み、Anの既存の記述を対へ拡張する。

主定理2：単項式イデアルの重みを引く場合（Theorem 1.4＝Corollary 6.3）

$\mathfrak a$ を非零の連接 $T_N$-不変イデアル層とし、$c>0$ を有理数とする。単項式生成元で

$$ \mathfrak a=\chi^{a_1}\mathcal O_{X_\sigma}+\cdots+ \chi^{a_s}\mathcal O_{X_\sigma} $$

と書けば、$\mathcal I((X_\sigma,D);\varphi-c\varphi_{\mathfrak a})$ も同様に連接で、有限個の有理型単項式により大域生成される。その所属条件は

$$ \chi^m\in H^0\bigl(X_\sigma, \mathcal I((X_\sigma,D);\varphi-c\varphi_{\mathfrak a})\bigr) \quad\Longleftrightarrow\quad m+u_D+ca_j\in\operatorname{int}P(\varphi) \quad(1\le j\le s) $$

である。すべての生成元に対する条件であり、どれか一つを満たせばよいわけではない。重みを引く操作が一般にはpsh性を保たない点を越えて、明示的判定を与える。

Introductionはこの種の重みの動機として最大非lcイデアルを挙げる。また、被約トーリック境界を備える正規トーリック多様体がlcであることや、$\mathbf Q$-Gorensteinトーリック多様体のklt性などの既知の事実を回復する。これらは新たな一般特異点分類としてではなく、公式の応用として位置付けられる。

証明の見取り図

第一の要素は、負の係数をもつ境界も許した解析的乗数イデアルの基礎性質である。変換公式、連接性、強開性を確立し、適合体積形式を通じた定義を安定して扱う。境界が有効で重みが局所有界上なら、実際に正則関数のイデアルとなることも示す。

第二の要素は、不変な解析的層を単項式で生成することである。コンパクトトーラス $K_N$ の作用で不変な連接部分加群から、複素トーラス $T_N$ に関する不変性と、有限個の有理型単項式による大域生成を得る。

最後に、どの単項式が局所可積分になるかを凸解析へ移す。Legendre変換とrecession関数の関係により、可積分性がNewton凸体の内部条件として表れる。Introductionが述べるこの役割分担に沿った説明であり、後続節の凸解析の証明や解消上の計算を再構成してはいない。

原論文との対応

  • 確認箇所: Abstract、Introduction（PDF 1–3頁、Section 2の前まで）。
  • 主結果: Theorems 1.3、1.4。Theorems 1.1、1.2は既存結果として区別した。
  • 式の確認: $u_D$ の符号、凸体の内部、Theorem 1.4で全生成元に要求される $+ca_j$ の条件を原文と照合した。
  • 確認ライセンス: arXiv non-exclusive distribution license。
  • source_scope: Abstract and Introduction。