多変数複素解析 · 2026-09-30

A Generalized $L^2$ Division Theorem and the Strong Openness Property of Multiplier Ideal Sheaves

一般化$L^2$除法定理と乗数イデアル層の強開性

Masakazu Takakura

masakazu-takakura-ww2klc l2-methods multiplier-ideals-extension pluripotential-theory Pluripotential theory 多重ポテンシャル論 L² methods L²法 Multiplier ideals and extension theorems 乗数イデアル・拡張定理

arXiv Abstract

In this paper, we generalize Guan's sharp effective strong openness theorem to the case of several plurisubharmonic weights. The proof uses a generalized Skoda-type $L^2$ division theorem for multiplier ideal sheaves. We also discuss the relationships among the $L^2$-division theorem, the $L^2$-extension theorem and the effective openness theorem.

日本語要約

Guanによるsharp effective strong openness theoremを、複数の多重劣調和重みの場合へ一般化する。証明には乗数イデアル層に対する一般化Skoda型 $L^2$ 除法定理を用いる。また $L^2$ 除法定理、$L^2$ 拡張定理、有効開性定理の相互関係を論じる。

In this paper, we generalize Guan's sharp effective strong openness theorem to the case of several plurisubharmonic weights. The proof uses a generalized Skoda-type $L^2$ division theorem for multiplier ideal sheaves. We also discuss the relationships among the $L^2$-division theorem, the $L^2$-extension theorem and the effective openness theorem.

Guanのsharp effective strong openness theoremを複数の多重劣調和重みへ一般化する。乗数イデアル層に対するSkoda型 $L^2$ 除法定理から明示的評価を導き、$L^2$ 除法・$L^2$ 拡張・強開性の関係を整理する。

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

原論文を開く

書誌情報

要約

乗数イデアル層の強開性は、重みをわずかに強めても局所可積分性が保たれることを述べる。Guanは一つの多重劣調和重みに対しsharpで有効な評価を与えた。

本論文は複数の重み $\varphi_1,\ldots,\varphi_r$ を同時に扱う定量的評価を証明する。核となるのは、関数を複数の乗数イデアルに属する項へ分解しつつ $L^2$ ノルムを制御する一般化除法定理である。

背景と問題設定

擬凸領域 $\Omega\subset\mathbb C^n$、psh関数 $\psi$、負のpsh関数 $\varphi_i$ を考える。$m=\min(n,r)$ とし、各 $p_i>1$ が $\sum_i p_i^{-1}<m$ を満たす場合に、有効強開性の最小積分を評価する。

主結果

複数重みに対する有効強開性（Theorem 1.2）

$f$ が $e^{-(\psi+\sum_i\varphi_i)}$ に関して二乗可積分で、その積分を $I$ とする。Introductionで定義される最小積分 $c_{\varphi_1,\ldots,\varphi_r,f,\psi}(p_1,\ldots,p_r)$ は

$$ c_{\varphi_1,\ldots,\varphi_r,f,\psi}(p_1,\ldots,p_r) \le \left(1-\frac1m\sum_{i=1}^r\frac1{p_i}\right)I $$

を満たす。

一般化$L^2$除法（Theorem 1.3）

$q=\min(n,r-1)$ とし、$\sum_i e^{\varphi_i}<1$ とする。適切な可積分性を満たす正則関数 $f$ は $f=\sum_i h_i$ と分解でき、

$$ \int_\Omega\sum_{i=1}^r |h_i|^2e^{-\varphi_i-\psi} \le \int_\Omega\frac{|f|^2e^{-\psi}}{(\sum_i e^{\varphi_i})^{q+1}} $$

が成り立つ。これにより対応する乗数イデアル層の包含が従う。

証明の見取り図

商束と部分束のChern曲率をNakano正値性の下で比較し、twisted Hörmander型 $\bar\partial$ 解法を適用して除法評価を得る。この除法を最小積分問題へ組み込み、cut-off関数構成に頼らず複数重みの有効強開性へ到達する。

原論文との対応

  • Abstractページ: arXiv:2609.36420
  • Introduction: Section 1, pp. 1–2
  • Introduction中で言及された主要定理番号: Theorems 1.2 and 1.3
  • 論文構成の説明: Contents, p. 1
  • 確認したarXivバージョン: v1
  • 確認したライセンス: arXiv non-exclusive distribution license
  • source_scope: Abstract and Introduction