次数付きイデアル族へReesの混合重複度定理を拡張
Mixed multiplicities and Rees Theorems for graded families and their converses
この論文をやさしく読む
ひとことで言うと
Reesの混合重複度に関する定理を、次数付きのイデアル族へ広げる。
何に役立つ?
局所環の重複度とイデアル族の関係を調べる可換環論の研究に役立つ。
この研究の面白いところ
弱い漸近版と強い斉次版を区別し、弱い版の逆は単純な場合にも成り立たないと示す。
どこまで分かった?
局所化した逆定理には形式的な等次元性が必要である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Noether局所環(R,m)と、mを根基に持つ次数付きの族I^(1),…,I^(s)を考える。本研究は、弱い漸近的な共同縮約と、強い斉次の共同縮約を導入し、共同縮約と混合重複度を結びつけるReesの混合重複度定理を、それぞれに対応する形へ拡張する。 弱い漸近的共同縮約の場合、混合重複度はHilbert–Samuel重複度を正規化した極限として表され、漸近的なRees定理が得られる。多重次数の許容される族では、型d=(d₁,…,d_s)の強い斉次共同縮約{x_ij}が、x_ij∈I^(i)_{a_ij}のとき、e((x_ij);R)=(∏_{i,j}a_ij)e(I^(1)[d₁],…,I^(s)[d_s])を満たす。 さらに、形式的に等次元という条件の下で局所化した逆も証明し、イデアルの冪で作る通常の族ではReesの古典的な逆定理を再現する。応用として次数付きの族に対するBöger型定理を導き、通常の冪の族では古典的なBöger定理に戻る。一方、弱い漸近的なRees定理の逆は、一次元の正則局所環上の冪の族でさえ成り立たない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19(UTC)
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $(R,\mathfrak m)$ be a Noetherian local ring and let $\mathcal I^{(1)},\ldots,\mathcal I^{(s)}$ be graded $\mathfrak m$-primary families. We introduce weak asymptotic and strong homogeneous joint reductions and prove corresponding extensions of Rees's mixed multiplicity theorem relating joint reductions and mixed multiplicities. Actually, for weak asymptotic joint reductions, mixed multiplicities are realized as normalized limits of Hilbert--Samuel multiplicities, yielding an asymptotic Rees theorem. For multigraded admissible collections, a strong homogeneous joint reduction $\{x_{ij}\}$ of type $\mathbf d=(d_1,\ldots,d_s)$, with $x_{ij}\in I_{a_{ij}}^{(i)}$, satisfies the formula \[ e((x_{ij});R) = \left(\prod_{i,j}a_{ij}\right) e\!\left( \mathcal I^{(1)[d_1]},\ldots, \mathcal I^{(s)[d_s]} \right). \] We also prove a localized converse under formal equidimensionality, recovering the classical converse of Rees in the adic case. As an application, we derive a Böger-type theorem for graded families, whose adic specialization recovers Böger's classical theorem. In contrast, the converse to the weak asymptotic Rees theorem fails even for an adic family on a one-dimensional regular local ring.
arXiv ID: 2609.23202 / 要約の誤りについて