Searcharxiv⌕ Search

arXiv · 2609.30519

Asymptotic multiplicity sequences of graded families

Abstract

We study asymptotic multiplicity sequences of graded families of arbitrary ideals in Noetherian local rings. We characterize convergence of the zeroth component and prove that the first positive component not forced to vanish always converges under natural equidimensionality and catenarity assumptions. In contrast, higher components may exhibit arbitrary asymptotic behavior: even in $k[[x,y]]$, integrally closed filtrations with fixed radical, height, and analytic spread can realize any prescribed lower and upper limits. For Noetherian graded filtrations, however, all asymptotic components exist, are finite and rational, and satisfy Rees-type and valuative criteria for integral dependence. In the reduced pure-dimensional complex analytic setting, a common principalizing modification provides a second convergence mechanism without finite-generation assumptions. We also develop a diagonal mixed theory: for graded $\mathfrak m$-primary families, the top diagonal components are sums of Cutkosky's mixed multiplicities, while on a common analytic model all diagonal mixed components converge. The latter result extends the one-family common-model theorem.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

T. H. Freitas, V. H. Jorge Pérez. 2026-09-24. Asymptotic multiplicity sequences of graded families. https://arxiv.org/abs/2609.30519

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

KEEP EXPLORING

Related papers

Homological Detection by Perfectoid Algebras

We first establish estimates for the projective and injective dimensions for quotients of perfectoid algebras by radical ideals. As applications, we obtain homological characterizations of modules of finite injective dimension, (big) Cohen--Macaulay modules, Gorenstein local rings, and regular local rings in mixed characteristic in terms of perfectoid algebras. These are mixed characteristic analogues of the corresponding characterizations via Frobenius morphisms in positive characteristic.

math.AC↗

Holomorphy rings and the Nullstellensatz over large fields

For an infinite field $K$ and an ideal $I\subseteq K[X_1,\dots,X_n]$, let $J(Z_K(I))$ be the ideal of polynomials vanishing on the $K$-rational zero locus of $I$. A Nullstellensatz over $K$ is an algebraic description of this closure operator on ideals. Hilbert's classical theorem provides such a description via the radical of $I$ over any algebraically closed field. In the present article, we introduce a unifying framework for Nullstellensätze over arbitrary rings using the notion of an $A$-radical, for $A$ is a subring of $K(X)$ containing $K[X]$. We show that a single canonical holomorphy ring gives a Nullstellensatz over every infinite field, recovering Hilbert's theorem when $K$ is algebraically closed. In addition, we give a new characterization of large fields (in the sense of Pop) via a particular Nullstellensatz: a perfect field is large exactly when the \emph{rational} holomorphy ring $A_n(K)$--the intersection of all $K$-rational places of residue field exactly $K$--satisfies the corresponding Nullstellensatz. Finally we study the order structure of the class of rings $A$ for which the $A$-radical gives a Nullstellensatz. We show that over non-algebraically closed fields this class has no minimal element, showing there is no optimal Nullstellensatz over such fields.

math.AC↗

On the variety of sum of powers of certain complete intersection forms

Let $F$ be a homogeneous polynomial (form). If the annihilator ideal $F^\perp$ is a complete intersection, then $F$ is called as a complete intersection form. For many complete intersection forms, we show that its minimal apolar ideal is a complete intersection and further we show that ${\rm VSP}(F)$ is irreducible and compute its dimension.

math.AC↗