arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2509.06527

δ-rings, perfectoid towers, and lim Cohen-Macaulay sequences

Shinnosuke Ishiro·Kazuma Shimomoto
View original source ↗Read source document ↗Export metadata ↓

Abstract

The aim of this article is to study basic structures and interrelations of $δ$-rings, perfectoid towers, and lim Cohen--Macaulay sequences over Noetherian rings in positive or mixed characteristic. We also discuss the deformation of perfectoid purity via perfectoid towers. In the latter part of this paper, we discuss some methods for constructing perfectoid towers, dealing with $p$-torsion-free and $p$-torsion cases, respectively. Some interesting examples arise as quotients by monomial or binomial ideals or determinantal rings. We also explain a geometric method with a view toward constructing rings with certain singularities.

Explore related subjects

math.ACmath.AGmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shinnosuke Ishiro, Kazuma Shimomoto. 2026-05-31. δ-rings, perfectoid towers, and lim Cohen-Macaulay sequences. https://arxiv.org/abs/2509.06527

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

KEEP EXPLORING

Related papers

arXiv2026

The ring of $ω$-invariant symmetric functions in characteristic 2

We provide a simple presentation by generators and relations of the ring of $ω$-invariant symmetric functions over the field $\mathbb{F}_{2}$. Here, $ω$ denotes the standard involution on the ring of symmetric functions, interchanging the elementary symmetric functions with the complete homogeneous symmetric functions. Along the way, we prove several important properties of this involution in the specific setting of characteristic 2.

math.AC↗
arXiv2026

The arithmetic rank of the residual intersections of a complete intersection ideal

The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual intersection of an ideal generated by $n$ indeterminates for all $m\geq n$ and in every characteristic. We further give an explicit description of its set-theoretic generators. Our main result provides a sharp upper bound for the arithmetic rank of any residual intersection of a complete intersection ideal in any Noetherian local ring. In particular, given a complete intersection ideal of height at least two, any of its generic residual intersections -- including its generic link -- fails to be a set-theoretic complete intersection in characteristic zero.

math.AC↗
arXiv2026

Koszul cohomology of Čech cohomology modules

Let $R$ be a commutative Noetherian ring, let $\mathbf{x}=x_1,\ldots,x_n$ be an $R$-regular sequence, and let $\mathbf{y}=y_1,\ldots,y_m$ be a sequence of elements of $R$. Put $I=(\mathbf y)$. Let $\mathcal S$ be a Serre subcategory of the category of $R$-modules. We consider the double complex obtained from the Koszul co-complex with respect to $\mathbf x$ and the Čech complex with respect to $\mathbf y$. Using the two spectral sequences associated with this double complex, we prove that \[ Ext_R^i(R/(\mathbf x),H_I^j(R))\in\mathcal S \quad\text{for all }i,j\in \mathbb N_0 \] implies \[ H_I^j(R/(\mathbf x))\in\mathcal S \quad\text{for all }j\in\mathbb N_0. \]

math.AC↗