arXiv 0709.09432007-09-06math.AC

On the Frobenius functor and colon ideals

Wenliang Zhang

英文摘要：

In this paper we study the commutativity of the Frobenius functor and the colon operation of two ideals for Noetherian rings of positive characteristic $p$. New characterizations of regular rings and local UFDs are given.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The Frobenius functor and injective modules

We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again injective. We characterize the class of one-dimensional local rings with this property and show that it includes all one-dimensional F-pure rings.

2012-02-28math.AC

On the interplay between the Frobenius functor and its dual

For a commutative Noetherian ring $R$ of prime characteristic, denote by $^{f}R$ the ring $R$ with the left structure given by the Frobenius map. We develop Thomas Marley's work on the property of the Frobenius functor $\F(-) = - \otimes_R {^f}R$ and show the interplay between $\F$ and its dual $\widetilde{\F}(-) = \Hom_R({}^{f}R, -)$ which is introduced by Jürgen Herzog.

2020-02-13math.AC

The Acyclicity of the Frobenius Functor for Modules of Finite Flat Dimension

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and Herzog state that for finitely generated modules $M$, $M$ has finite projective dimension if and only if $\operatorname{Tor}_i^R(R^{(e)},M)=0$ for all $i>0$ and all (equivalently, infinitely many) $e\ge 1$. We prove this statement holds for arbitrary modules using the theory of flat covers and minimal flat resolutions.

2015-01-05math.AC

On the categorical entropy of the Frobenius pushforward functor

In this paper, we consider the Frobenius pushforward endofunctor $F_\ast$ of the bounded derived category of finitely generated modules over an $F$-finite noetherian local ring. We completely determine the categorical entropy of $F_\ast$ in the sense of Dimitrov, Haiden, Katzarkov, and Kontsevich.

2022-07-27math.ACmath.RT

Frobenius criteria of freeness and Gorensteinness

Let $F^n(-)$ be the Frobenius functor of Peskine and Szpiro. In this note, we show that the maximal Cohen-Macaulayness of $F^n(M)$ forces $M$ to be free, provided $M$ has a rank. We apply this result to obtain several Frobenius related criteria for the Gorensteinness of a local ring $R$, one of which improves a previous characterization due to Hanes and Huneke. We also establish a special class of finite length modules over Cohen-Macaulay rings, which are rigid against Frobenius.

2012-04-11math.AC

Diagonalizing the Frobenius

Over a Noetherian, local ring R of prime characteristic p, the Frobenius functor F induces a diagonalizable map on certain quotients of rational Grothendieck groups. This leads to an explicit formula for the Dutta multiplicity, and it is shown that a weaker version of Serre's vanishing conjecture holds if only chi(F(X)) = p^{dim R}chi(X) for all bounded complexes X of finitely generated, projective modules with finite length homology.

2007-09-30math.AC

更多相关论文收起更多论文

相对弗罗贝尼乌斯映射的Betti数与Bass数

Betti and Bass numbers of relative Frobenius maps

University of Utah（犹他大学）；University of Nevada, Reno（内华达大学里诺分校）

该研究在局部环同态满足适当假设下，得到同调有限复形相对弗罗贝尼乌斯推前的Betti数与Bass数的增长界，将Betti数研究扩展到系数情形并通过Bass数提供对偶视角，助力环同态信息的探究。

2026-08-24math.AC

Frobenius powers of non-complete intersections

For a commutative ring $R$ of characteristic $p$, let $ϕ: R \to R$ be the Frobenius homomorphism and let $^{ϕ^r}R$ denote the $R$-module structure on $R$ defined via the $r$-th power of the Frobenius. We show that the Tor functor against the Frobenius module, $\Tor^R_*(-, {^{ϕ^r}}R)$, is rigid for a certain class of depth zero rings which includes rings that are not complete intersection. We also show that $\Tor^R_*(-, {^{ϕ^r}}R)$ is not rigid (non-vacuously) when $\depth (R) >0$ and $r$ is large enough. This answers a question of Avramov and Miller: does rigidity of $\Tor^R_*(-, {^{ϕ^r}}R)$ h…

2001-08-02math.AC

Right and Left Modules over the Frobenius Skew Polynomial Ring in the F-Finite Case

The main purposes of this paper are to establish and exploit the result that, over a complete (Noetherian) local ring $R$ of prime characteristic for which the Frobenius homomorphism $f$ is finite, the appropriate restrictions of the Matlis-duality functor provide an equivalence between the category of left modules over the Frobenius skew polynomial ring $R[x,f]$ that are Artinian as $R$-modules and the category of right $R[x,f]$-modules that are Noetherian as $R$-modules.

2010-08-31math.AC

A sub-functor for Ext and Cohen-Macaulay associated graded modules with bounded multiplicity

Let $(A,\mathfrak{m})$ be a Henselian Cohen-Macaulay local ring and let CM(A) be the category of maximal Cohen-Macaulay $A$-modules. We construct $T \colon CM(A)\times CM(A) \rightarrow mod(A)$, a subfunctor of $Ext^1_A(-, -)$ and use it to study properties of associated graded modules over $G(A) = \bigoplus_{n\geq 0} \mathfrak{m}^n/\mathfrak{m}^{n+1}$, the associated graded ring of $A$. As an application we give several examples of complete Cohen-Macaulay local rings $A$ with $G(A)$ Cohen-Macaulay and having distinct indecomposable maximal Cohen-Macaulay modules $M_n$ with $G(M_n)$ Cohen-Maca…

2018-08-21math.AC

正特征下多项式函子的理想论非诺特性

Ideal-theoretic non-noetherianity of polynomial functors in positive characteristic

本文利用不变量理论，在正特征域上构造了严格多项式函子范畴中一个有限生成但非诺特的交换代数，从而否定了该范畴中诺特性质的长期猜想。

2025-06-18math.ACmath.COmath.RT