[論文レビュー] Sally modules of canonical ideals in dimension one and 2-AGL rings

Tran Do Minh Chau, Shirô Gotô+2 more|arXiv (Cornell University)|Apr 4, 2017

Commutative Algebra and Its Applications参考文献 25被引用数 13

ひとこと要約

本稿は、正則イデアルのサリー代数のランクを用いて定義される1次元における2-AGL環を導入し、それらがほぼゴレンスタイン局所環の自然な一般化であることを研究する。この環は、数値的セミ群環において自然に生じ、サリー代数と被覆イデアルの構造を用いて特徴づけられ、商 $ K_n/R_n $ が $ (R_n / \frak{c}_n)^{\oplus(e-2)} $ に同型であることを示している。ここで $ e $ は多重度、$ \frak{c}_n $ は $ n $ 番目のヴェロネーゼ部分環の被覆イデアルである。

ABSTRACT

The notion of 2-AGL ring in dimension one which is a natural generalization of almost Gorenstein local ring is posed in terms of the rank of Sally modules of canonical ideals. The basic theory is developed, investigating also the case where the rings considered are numerical semigroup rings over fields. Examples are explored.

研究の動機と目的

• 1次元におけるほぼゴレンスタイン局所環の自然な一般化を、解析的に分岐している場合にも適用可能な形で開発すること。
• 正則イデアルのサリー代数のランクを用いて2-AGL環を定義し、それらを研究すること。
• 体上の数値的セミ群環の文脈において2-AGL環の構造を調査すること。
• 被覆イデアルとリース代数の加群論的性質を用いて2-AGL環を特徴づけること。
• ほぼゴレンスタイン環の理論を、サリー代数のランクが制御された1次元コhen＝マカウル局所環の広いクラスへと拡張すること。

提案手法

• 正則イデアル $ I $ とパラメータイデアル $ Q $ に関するサリー代数 $ \mathcal{S}_Q(I) $ のランクを用いて2-AGL環を定義し、ほぼゴレンスタイン条件を一般化する。
• リース代数 $ \mathcal{R}(I) = R[It] $ 及びその関連層の次数環を用いて、サリー代数と被覆イデアル $ \frak{c} = R:S $ の構造を分析する。
• 数値的セミ群環 $ R = k[H] $ のリース代数のヴェロネーゼ部分環 $ R_n $ を研究し、$ n > 0 $ に対する $ n $ 番目のヴェロネーゼ部分環に注目する。
• 分数イデアル $ K_n = R_n[K] $ を分析し、ここで $ K = I/a $ であり、$ a $ はパラメータである。$ K_n/R_n $ の長さ $ \ell_{R_n}(K_n/R_n) $ を計算して加群構造を特定する。
• フィルトレーション $ K_n = L_0 \supseteq L_1 \supseteq \cdots \supseteq L_n = R_n $ を用いて $ K_n/R_n $ の長さを計算し、それが $ n(e-2) $ に等しいことを示す。
• 次数成分の分析と極大イデアル $ \mathfrak{m}_n $ の作用を用いて、$ K_n/R_n \cong (R_n / \frak{c}_n)^{\oplus(e-2)} $ を $ R_n $-加群として証明する。

実験結果

リサーチクエスチョン

• RQ1 解析的に分岐している環にも適用可能な、1次元におけるほぼゴレンスタイン環の自然な一般化は何か？
• RQ2 正則イデアルのサリー代数のランクは、1次元コhen＝マカウル局所環の構造をどのように特徴づけるか？
• RQ3 正則イデアルのサリー代数がランク1または2である条件は何か？そしてそれは環の構造にどのような意味を持つのか？
• RQ4 被覆イデアルと数値的セミ群環のリース代数は、2-AGL性質をどのように反映するか？
• RQ5 数値的セミ群環のヴェロネーゼ部分環 $ R_n $ における $ K_n/R_n $ の加群論的構造は何か？

主な発見

• 任意の $ 0 < e \in H $ に対して、$ R_n $ は2-AGL環である。ここで $ e $ は数値的セミ群 $ H $ の多重度であり、$ R_n $ は $ R = k[H] $ の $ n $ 番目のヴェロネーゼ部分環である。
• 長さ $ \ell_{R_n}(K_n/R_n) = n(e-2) $ が成り立つ。ここで $ K_n = R_n[K] $ であり、$ K = I/a $ である。$ I $ は正則イデアル、$ a $ はパラメータである。
• 商 $ K_n/R_n $ は $ R_n $-加群として $ (R_n / \frak{c}_n)^{\oplus(e-2)} $ に同型である。ここで $ \frak{c}_n $ は $ R_n $ の被覆イデアルである。
• 正則イデアル $ I $ とパラメータイデアル $ Q $ に関するサリー代数のランクが1であることは、$ R $ がほぼゴレンスタインであることと同値であり、ランクが2であることは、$ R $ が2-AGLだがほぼゴレンスタインでないことに同値である。
• $ R_n $ が2-AGL環としての構造を持つことは、フィルトレーション $ L_q = \mathfrak{m}_n^q K_n + R_n $ を用いて特徴づけられ、任意の $ 0 \leq q < n $ に対して $ \ell_k(L_q / L_{q+1}) = e-2 $ が成り立つ。
• 被覆イデアル $ \frak{c}_n = (t^{h_i + ne} \mid 0 \leq i \leq e-1)R_n $ であり、$ \ell_{R_n}(R_n / \frak{c}_n) = n $ が成り立つ。これは $ K_n/R_n \cong (R_n / \frak{c}_n)^{\oplus(e-2)} $ の同型を支持する。