Matlis反射的加群の判定条件を改良
Notes on Matlis reflexive modules
この論文をやさしく読む
ひとことで言うと
加群がMatlis双対を二度取って元に戻る条件と、関連する数値的判定を調べた数学研究。
何に役立つ？
局所ネーター環上の加群の反射性や完備性を判定する理論に役立つ。
この研究の面白いところ
既存の数値的判定を改良し、Enochs数が1になる条件まで特徴づける。
どこまで分かった？
要旨は結果の概要を列挙しているが、改良した数値条件の具体式や証明の詳細は示していない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
剰余体kとその単射包Eᵣを持つ局所ネーター環(R, m)上の加群Mを考える。Dᵣ(・)＝Homᵣ(・, Eᵣ)をMatlis双対関手とし、自然な写像M→Dᵣ²(M)が同型であるとき、MをMatlis反射的と呼ぶ。本論文は次の結果を証明する。(1) Rのイデアルについて、反射的加群は準完備であり、Belshoffの結果の一部を一般化する。(2) Matlis反射性に対するZöschingerの数値的判定条件を改良する。(3) 素イデアルpと単射包Eᵣ(R/p)について、Enochsが示したように、Dᵣ(Eᵣ(R/p))は階数τₚの自由Rₚ加群を完備化したものとなる。τₚはpのEnochs数である。このτₚが1になる場合を特徴づけ、著者の以前の結果を拡張する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $M$ denote a module over a local Noetherian ring $(R,\mathfrak{m})$ with residue field $\Bbbk$ and its injective hull $E_R$. Let $D_R(\cdot) = \operatorname{Hom}_R(\cdot,E_R)$ denote the Matlis duality functor. Then $M$ is called Matlis reflexive whenever the injection $M \to D_R^2(M)$ is an isomorphism. The following results are proved: (1) For an ideal of $R$ a reflexive module is quasi-complete, generalizing part of Belshoff's results (see \cite{Br}). (2) We improve Zöschinger's numerical criterion for Matlis reflexivity (see \cite{Zh2}). (3) As shown by Enochs (see \cite{Ee}) for a prime ideal and the injective hull $E_R(R/\mathfrak{p})$ it follows that $D_R(E_R(R/\mathfrak{p}))$ is the completion of a free $R_{\mathfrak{p}}$-module of rank $\tau_{\mathfrak{p}}$, the Enochs number of $\mathfrak{p}$. We characterize when $\tau_{\mathfrak{p}} = 1$, extending author's result (see \cite{Sp16}).
著者のコメント
11 pages
arXiv ID: 2609.25167 ／ 要約の誤りについて