Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2506.10626

Relative Inverse Limit Perfection of Derived Commutative Rings

Daniel Fink
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection which, under suitable conditions on the base, serves as a right adjoint to the inclusion of relatively perfect algebras into the category of all algebras. Specializing to animated rings, we investigate relative versions of semiperfectness and F-finiteness, and use these to show that any map of F-finite animated rings factors into a free map of finite type, followed by a relatively perfect map, followed by a surjective map. We also show that, for a morphism of Noetherian F-finite rings, the vanishing of the cotangent complex implies that the morphism is relatively perfect.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniel Fink. 2025-06-12. Relative Inverse Limit Perfection of Derived Commutative Rings. https://arxiv.org/abs/2506.10626

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Systems of parameters consisting of linear forms for monomial ideal quotients

Let $S=K[x_1,\ldots,x_n]$ be a polynomial ring over a field $K$ and let $I$ be a monomial ideal of $S$. We classify linear systems of parameters of $S/I$ over any field $K$ using linear algebra and show explicit linear systems of parameters when $K$ has at least $n$ elements. If $I(G)$ is the edge ideal of a perfect graph $G$, a cycle or the complement of a cycle, we show that $S/I(G)$ has a 0-1 linear system of parameters, and for graphs with independence number equal to $2$, we characterize when $S/I(G)$ has a 0-1 linear system of parameters.

math.AC↗
arXiv2026

Primality of dilated closed path polyominoes

In this paper we define a novel product on polyominoes called the tensor product of polyominoes. Using a special case of this product which we name a dilation, we construct a new class of polyominoes called the dilated closed paths. This class is a ''thick'' generalization of Cisto and Navarra's class of closed paths (arXiv:2006.13935). We prove the Zig-Zag Walk Conjecture for this new class thereby fully characterizing primality for its associated polyomino ideals.

math.AC↗
arXiv2026

Reduced and coreduced modules with respect to inverse families of ideals

Let R be a commutative ring and Phi an inverse family of ideals with greatest proper member L. We introduce and study Phi reduced and Phi coreduced modules, extending the corresponding notions for powers of a single ideal. We show that, on these classes of modules, the generalized torsion and completion functors associated with Phi are determined by L. We establish characterizations and closure properties of these modules and obtain a Greenlees May type adjunction and a Matlis Greenlees May type characterization. When Phi is a system of ideals, we further investigate the radicality of the generalized torsion functor and derive associated torsion theories on suitable Serre subcategories. These results provide a module theoretic framework for studying generalized torsion and completion with respect to families of ideals

math.AC↗