Characterization of Some Graphs Realizing Regularity Bounds for Binomial Edge Ideals

2026-02-06T09:26:32Z

In this paper, we characterize all graphs $G$ satisfying \[\operatorname{reg}(S/J_G)=\ell(G)=c(G)\] where $\ell(G)$ is the sum of the lengths of the longest induced paths in each connected component of $G$ and $c(G)$ is the number of the maximal cliques of $G$. We also characterize all connected graphs $G$ that satisfy \[\operatorname{reg}(S/J_G)=\ell(G)=|V(G)|-ω(G)+1\] where $ω(G)$ is the clique number of $G$. Moreover, we investigate the possible values of the regularity of $S/J_G$ within the intervals $[\ell(G), c(G)]$ and $[\ell(G), |V(G)|-ω(G)+1]$.

Constructing Koszul filtrations: existence and non-existence for G-quadratic algebras

2026-02-06T08:35:46Z

Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gröbner basis implies the existence of a Koszul filtration for toric algebras equipped with the degree reverse lexicographic term order and for algebras defined by binomial edge ideals. We also resolve a conjecture of Ene, Herzog, and Hibi by constructing an example where this implication fails. These results are underpinned by algorithms we develop for constructing Koszul filtrations. We also demonstrate the utility of these algorithms on the pinched Veronese algebra.

(Almost) Complete Intersection Lovász-Saks-Schrijver ideals and regularity of their powers

2026-02-05T16:34:10Z

We discuss the property of (almost) complete intersection of LSS-ideals of graphs of some special forms, like trees, unicyclic, and bicyclic graphs. Further, we give a sufficient condition for the complete intersection property of twisted LSS-ideals in terms of a new graph theoretical invariant called twisted positive matching decomposition number denoted by tpmd.

Diagonal F-thresholds for determinants and Pfaffians

2026-02-05T15:28:11Z

We compute the diagonal F-thresholds of determinantal hypersurfaces arising from a generic matrix and from a generic symmetric matrix, as well as of the Pfaffian hypersurface arising from a generic skew-symmetric matrix of even size. The main ingredient is a cohomology vanishing theorem for certain line bundles on flag varieties in characteristic $p$. In the cases of the generic matrix and the generic skew-symmetric matrix, we show that the diagonal F-threshold attains its minimal possible value, namely the negative of the a-invariant. The symmetric case is more subtle and relies in addition on a polynomiality result for representations afforded by cohomology, building on work of the second author with VandeBogert.

Rational Interpreters for Discrete Dynamics: Existence, Exactness, and Decomposition over $p$-adic Fields

2026-02-05T08:23:37Z

We address an inverse problem in non-Archimedean dynamics: given a finite discrete dynamical system (equivalently, a functional graph on $N$ states), construct a continuous $p$-adic dynamical system whose residue-level behavior reproduces the prescribed transitions. Using the cylinder partition of $\mathcal{O}_K$ (viewed as \emph{Witt cylinders} for unramified $K/\mathbb{Q}_p$), we encode states by pairwise disjoint closed balls and formalize an \textbf{interpreter} as a map sending each state ball into its target ball. Our main existence result constructs rational interpreters that are analytic (hence pole-free) on the prescribed state cylinders, combining rigid-analytic Runge approximation with finite interpolation constraints. Under a linear-dominance condition on each cylinder, ball images are explicit and locally affine, leading to a robust classification of discrete behavior into contractive, indifferent, and expansive regimes. Good reduction provides a selection principle for natural interpreters; effective degree and height bounds for general rational interpreters remain open. For composite alphabets we prove a \textbf{Dynamic Chinese Remainder Theorem} for congruence-preserving systems: the CRT isomorphism $Θ:\mathbb{Z}/m\mathbb{Z}\xrightarrow{\sim}\prod_i\mathbb{Z}/p_i^{k_i}\mathbb{Z}$ (for $m=\prod p_i^{k_i}$) yields a factorization of the \emph{dynamics} (equivalently, the functional graph) on $\mathbb{Z}/m\mathbb{Z}$ into dynamics on the prime-power components, compatible with reduction. Finally, we discuss an inverse-limit (profinite) extension: compatible towers define a $1$-Lipschitz map on $\mathbb{Z}_p$, while selecting compatible analytic/rational interpreters across levels becomes a separate problem.

Symbolic powers and integral closures via extremal ideals

2026-02-04T21:50:04Z

This paper demonstrates that extremal ideals can be used to great effect to compute integral closures of powers and symbolic powers of square-free monomial ideals. We show that the generators of these powers are images of the generators of the corresponding powers of extremal ideals under a specific ring homomorphism. Extremal ideals provide sharp bounds for a variety of invariants widely studied in the literature, including resurgence, asymptotic resurgence, and symbolic defect, as well as Betti numbers of symbolic powers and of integral closures of powers of square-free monomial ideals. When restricted to the class of extremal ideals, algebraic computations are reduced to problems of discrete geometry and linear programming, allowing the use of a wide variety of techniques. As a result, in situations where computations are feasible for extremal ideals, we provide concrete sharp bounds for many of these invariants. Our methods reduce finding homological invariants and algebraic constructions for infinitely many ideals to computations for a single highly symmetric ideal, based solely on the number of generators.

Abelian extensions of equicharacteristic regular rings need not be Cohen-Macaulay

2026-02-04T21:49:03Z

By a theorem of Roberts, the integral closure of a regular local ring in a finite abelian extension of its fraction field is Cohen-Macaulay, provided that the degree of the extension is coprime to the characteristic of the residue field. We show that the result need not hold in the absence of this requirement on the characteristic: for each positive prime integer $p$, we construct polynomial rings over fields of characteristic $p$, whose integral closure in an elementary abelian extension of order $p^2$ is not Cohen-Macaulay. Localizing at the homogeneous maximal ideal preserves the essential features of the construction.

Lifting solutions of polynomial equations on matrices over field to complete local principal ideal rings

2026-02-04T14:03:25Z

Let $\widehat{\mathscr O}$ be a complete local principal ideal ring with residue field $k$ of characteristic not $2$ and $f\in \widehat{\mathscr O}[x_1,x_2,\dots,x_m]$. Take $A\in \mathrm M_n(\widehat{\mathscr O})$ with its reduction $\overline{A}\in \mathrm M_n(k)$. In this article, we study the following lifting problem. Suppose there exists a tuple $(\widetilde{B}_1, \widetilde{B}_2, \dots,\widetilde{B}_m)\in \mathrm M_n(k)^m$ of pairwise commuting matrices such that $f(\widetilde{B}_1, \widetilde{B}_2, \dots,\widetilde{B}_m) = \overline{A}$; under what conditions can this solution be lifted to a tuple $(B_1,B_2,\dots,B_m)\in \mathrm M_n(\widehat{\mathscr O})^m$ of pairwise commuting matrices satisfying $f(B_1,B_2,\dots,B_m)=A$? For $\overline{A}$ cyclic, we show that, under suitable hypotheses analogous to those appearing in Hensel lemma, such a lifting is always possible.

Nearly Gorenstein normal graded rings

2026-02-04T05:13:29Z

We investigate nearly Gorenstein property for a normal graded ring $R = \bigoplus_{n\ge 0}R_n$ finitely generated over a field. For that purpose, we investigate ${K_R}^{-1}$, the inverse of $K_R$ (the canonical module of $R$) and introduce a new invariant $b(R)$ of $R$. We investigate nearly Gorenstein property of $R$ using $a(R)$ and $b(R)$ and $m(R)$, the initial degree of $R$. If $b(R)<0$, (and if $R$ is $\mathbb Q$-Gorenstein), then we believe that $R$ is log-terminal -- this is proved if $\dim R=2$ or $R$ is F-pure (or $F$-pure type). Then we determine the condition for a $2$-dimensional cone singularity over a smooth curve of genus $g\le 3$ to be nearly Gorenstein. We observe that ``almost Gorenstein" property and nearly Gorenstein property are drastically different for such rings.

A concept of largeness of monochromatic sums and products in large ideal domain

2026-02-03T17:21:27Z

An infinite integral domain $R$ is called a large ideal domain (LID) if every nontrivial ideal of $R$ has finite index in $R$. Recently, N. Hindman and D. Strauss have established a refinement of Moreira's theorem for the set of natural numbers and infinite fields. In this article, we prove the same result of N. Hindman and D. Strauss for large ideal domains (LID) and a polynomial extension.

Fel's Conjecture on Syzygies of Numerical Semigroups

2026-02-03T16:41:24Z

Let $S=\langle d_1,\dots,d_m\rangle$ be a numerical semigroup and $k[S]$ its semigroup ring. The Hilbert numerator of $k[S]$ determines normalized alternating syzygy power sums $K_p(S)$ encoding alternating power sums of syzygy degrees. Fel conjectured an explicit formula for $K_p(S)$, for all $p\ge 0$, in terms of the gap power sums $G_r(S)=\sum_{g\notin S} g^r$ and universal symmetric polynomials $T_n$ evaluated at the generator power sums $σ_k=\sum_i d_i^k$ (and $δ_k=(σ_k-1)/2^k$). We prove Fel's conjecture via exponential generating functions and coefficient extraction, solating the universal identities for $T_n$ needed for the derivation. The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the conjecture.

On Zero-Dimensional Glicci Monomial Ideals

2026-02-03T16:24:52Z

Consider the polynomial ring $R_n = k[x_1,...,x_n]$, where $k$ is a field. Let $m = (x_1,...,x_n)$ and $I$ be an $m$-primary monomial ideal in $R$. We consider the problem of determining whether such ideals are in the Gorenstein liasion class of a complete intersection (glicci). We prove that all $m$-primary monomial ideals in $k[x,y,z]$ with at most eight generators are homogeneously glicci. We also construct a large class of $m$-primary monomial ideals in $R_n$ for any $n$ with any number of minimal generators that are homogeneously glicci but not in the complete intersection liaison class of a complete intersection (licci). All Gorenstein links used are constructed explicitly and every second step links to another $m$-primary monomial ideal.

Uniformly S-pseudo-injective modules

2026-02-03T14:34:16Z

This paper introduces the notion of uniformly-S-pseudo-injective (u-S-pseudo-injective) modules as a generalization of u-S-injective modules. Let R be a ring and S a multiplicative subset of R. An R-module E is said to be u-S-pseudo-injective if for any submodule K of E, there is s in S such that for any u-S-monomorphism f : K \to E, sf can be extended to an endomorphism g : E \to E. Several properties of this notion are studied. For example, we show that an R-module M is u-S-quasi-injective if and only if M \oplus M is u-S-pseudo-injective. Two classes of rings related to the class of QI-rings are introduced and characterized.

b-divisorial valuations and Berkovich positivity functions

2026-02-03T12:36:48Z

We prove semicontinuity properties for local positivity invariants of big and nef divisors. The usual definition of Seshadri constant and asymptotic order of vanishing along a subvariety is extended to include all seminorms in the Berkovich space, and we obtain semicontinuity of such constants as a function of the center seminorm. We use Shokurov's language of b-divisors; to each seminorm there is an associated b-divisor which can be used to translate questions about positivity into questions about the shape of certain cones of b-divisors. The theory works especially well for what we call b-divisorial valuations, a natural extension of the notion of divisorial valuations which encompasses, e.g., all Abhyankar valuations.

The complex of $r$-co-connected subgraphs, chordality and Fröberg's theorem

2026-02-03T11:27:35Z

We introduce a new family of pure simplicial complexes, called the $r$-co-connected complex of $G$ with respect to $A$, $Σ_r(A,G)$, where $r\geq 1$ is a natural number, $G$ is a simple graph, and $A$ is a subset of vertices. Interestingly, when $A$ is empty, this complex is precisely the Alexander dual of the $r$-independence complex of $G$. We focus on uncovering the relationship between the topological and combinatorial properties of the complex and the algebraic and homological properties of the Stanley-Reisner ideal of the dual complex. First, we prove that $Σ_r(A,G)$ is vertex decomposable whenever the induced subgraph $G[A]$ is connected and nonempty, yielding a versatile deletion-link calculus for higher independence via Alexander duality. Furthermore, when $A=\emptyset$ and $r \ge 2$, we establish that for several significant classes of graphs - including chordal, co-chordal, cographs, cycles, complements of cycles, and certain grid graphs - the properties of vertex decomposability, shellability, and Cohen-Macaulayness are equivalent and precisely characterized by the co-chordality of the associated clutter $\mathrm{Con}_r(G)$. These results extend Fröberg's theorem to the setting of $r$-connected ideals for these graph classes and motivate a conjecture concerning the linear resolution property of $r$-connected ideals in general. We also construct examples separating shellability from vertex decomposability.