On a question of Cid-Ruiz: positive results and counterexamples

T. H. Freitas; V. H. Jorge Pérez

Home/Archive/arXiv

arXiv · 2610.35281

On a question of Cid-Ruiz: positive results and counterexamples

T. H. Freitas·V. H. Jorge Pérez

View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we give positive criteria and counterexamples to a question of Cid-Ruiz on whether intrinsic polar multiplicities detect reductions of modules. Over an excellent regular local surface with infinite residue field, we compute the entire polar sequence of every finite-colength submodule of a free module, showing that its only variable entry is the order of the determinant ideal. This computation yields classes for which equality of polar multiplicities characterizes reduction, while also producing counterexamples in every positive rank, including integrally closed modules with identical intrinsic Hilbert functions and arbitrarily large relative Buchsbaum--Rim multiplicity. In arbitrary dimension, we prove that, under equidimensionality and a sharp dimension bound on the kernel of the induced map of associated graded Rees algebras, equality of the sums of the polar multiplicities characterizes reduction.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

T. H. Freitas, V. H. Jorge Pérez. 2026-10-26. On a question of Cid-Ruiz: positive results and counterexamples. https://arxiv.org/abs/2610.35281

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

KEEP EXPLORING

Related papers

arXiv2026

Decomposition Theorem for Perfectoid Rings along General Ideals

Using André's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

math.AC↗

arXiv2026

On Perfectoidization of Finite Algebras over a Perfectoid Ring

We study general properties of the perfectoidization of finite algebras over a perfectoid ring, which helps to understand some precise and explicit descriptions. For example, we prove that if $A=R[t]/(m(t))$ where $m(t)$ is monic, $R$ is perfectoid and the discriminant $d$ of $m(t)$ is a non-zero divisor of $R$ satisfying a bounded torsion condition, then $dA_{\mathrm{pfd}}\subset A$. We also prove a density criterion reducing the construction of the perfectoidization to adjoining suitable $p$-power roots modulo $p$. In the second part of the paper, we compute perfectoidizations in several families of examples, including Kummer-type extensions and split finite algebras.

math.AC↗

arXiv2026

Admissible bases and generic lattice ideals

Let $L\subseteq\mathbb Z^4$ be a rank-three lattice possessing an admissible basis, and let $S=K[x_1,\ldots,x_4]$ be the polynomial ring over a field $K$. We show that the associated lattice ideal $I_L \subset S$ is generic and that $S/I_L$ is a Cohen--Macaulay ring. We also identify the neighbors of the origin in $L$ and the indispensable binomials of $I_L$. Moreover, we prove that the Betti numbers of $S/I_L$ are $β_0(S/I_L)=1$, $β_1(S/I_L)=7$, $β_2(S/I_L)=12$, and $β_3(S/I_L)=6$. In addition, we show that $I_L$ is a set-theoretic complete intersection over an arbitrary field.

math.AC↗