Deformations of the connected sum of Gorenstein algebras

2026-02-11T15:36:32Z

We prove that the Gorenstein locus of the Hilbert scheme of points on $\mathbb A^n$ is non-reduced for $n\geq 12$; we construct examples of non-reduced points that come from apolar algebras of the sum of general cubics. As a corollary, we get a non-reducedness result for the cactus scheme. We generalise the Białynicki-Birula decomposition to abstract deformation functors, providing a new method of studying deformation theory. Our construction gives us fractal structures on the nested Hilbert scheme.

On homological invariants and Cohen-Macaulayness of closed neighborhood ideals

2026-02-11T14:57:43Z

Let $G$ be a finite simple graph and $NI(G)$ be the closed neighborhood ideal of $G$ in the polynomial ring $S=K[V(G)]$. In this paper, we study the Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness of this ideal. For any chordal graph $G$, we show that $\text{reg}(S/NI(G))=τ(G)$, where $τ(G)$ denotes the vertex cover number of $G$. This generalizes the corresponding result for trees shown in [3], as in trees $τ(G)$ is the same as the matching number of $G$. When $G$ is a bipartite graph or a very well-covered graph, we notice that $\text{reg}(S/NI(G))\geq τ(G)$ and that this inequality can be strict in general. Moreover, we describe the projective dimension of $S/NI(G)$ for some families of graphs. Finally, we give a characterization of very well-covered graphs $G$ for which the ring $S/NI(G)$ is Cohen-Macaulay.

Random chain complexes of real vector spaces

2026-02-11T12:18:09Z

We introduce a natural class of models of random chain complexes of real vector spaces that some classical ensembles of random matrices, the length $1$ case. We are interested here in the homological properties of these random complexes. For chain complexes of length $1$ or $2$, we characterize the Betti numbers almost surely, in terms of the dimensions of the vector spaces. We further examine complexes of length $3$ with some constraints on dimensions, as well as complexes of arbitrary finite length in which all vector spaces have equal dimension. Across all these settings, we show that the sum of the Betti numbers is almost surely as small as possible, attaining a trivial lower bound $|χ|$ dictated by the dimensions of the underlying vector spaces and the Euler formula. These results suggest an underlying algebraic heuristic for a phenomenon frequently observed in stochastic topology, that nontrivial homology rarely appears unless forced to.

When is the canonical conductor minimal?

2026-02-11T11:20:50Z

For a one dimensional analytically unramified Cohen-Macaulay local ring $R$, the blowup algebra of the canonical ideal is a module finite birational extension. The conductor of this extension always contains the conductor of $R$. We study the case when there is equality. This is the case where $R$ is far from being almost Gorenstein. We study this property within the landscape of numerical semigroup rings and local Arf rings.

On Open Embeddings of Affine Spaces in Affine Varieties and the Jacobian Conjecture

2026-02-11T08:42:06Z

Our goal is to settle the following faded problem: The Jacobian Conjecture (JC_n): If f_1,..,f_n are elements in a polynomial ring k[X_1,..,X_n] over a field k of characteristic 0 such that det(\partial f_i/ \partial X_j) is a nonzero constant, then k[f_1,..,f_n] = k[X_1,..,X_n]. For this purpose, we generalize it to the following: The Deep Jacobian Conjecture (DJC): Let \varphi: S \rightarrow T be an unramified homomorphism of Noetherian domains with T^\times = \varphi(S^\times). Assume that T is factorial and that S is an (algebraically) simply connected normal domain. Then \varphi is an isomorphism. To settle (DJC), we show the following core result on Krull domains. Theorem: Let R be a Krull domain and let Delta_1 and Delta_2 be subsets of Ht_1(R) such that Delta_1\cup Delta_2 = Ht_1(R) and Delta_1\cap Delta_2 = \emptyset. Put R_i := \bigcap_{Q\in Delta_i}R_Q (i=1,2), subintersections of R. Assume that Delta_2 is a finite set, that R_1 is factorial and that R\hookrightarrow R_1 is flat. If R^\times = (R_1)^\times, then Delta_2 = \emptyset and R = R_1. From this theorem, we have Theorem: Let k be a field and let X be a k-affine (irreducible) variety of dimension n. Then X contains a k-affine open subvariety U which is isomorphic to a k-affine space \mathbb{A}^n_k if and only if X = U \cong \mathbb{A}^n_k.

Rational symbolic powers of ideals

2026-02-11T08:18:27Z

We introduce and study rational symbolic powers of ideals in Noetherian rings. We give membership criteria for rational symbolic powers and discuss settings where they agree with integer symbolic powers. We investigate the binomial expansion formula for rational symbolic powers of mixed sums of ideals. Finally, we study rational symbolic powers of monomial ideals. In this case, we give a convex-geometric description of the rational symbolic powers. We also show that the filtration of rational symbolic powers of a monomial ideal is asymptotically stable and, as a consequence, deduce that the asymptotic regularity and asymptotic depth for this filtration exist.

Realizable (reg, deg h)-Pairs for Cover Ideals via Independence Polynomials

2026-02-10T23:50:24Z

Let $G$ be a finite simple graph on $n$ vertices and set $R=\Bbbk[x_1,\dots,x_n]$, with edge ideal $I(G)$ and cover ideal $J(G)$. We give an explicit description of the $h$-polynomial of $R/J(G)$, in a form that extends to the Alexander dual of any squarefree monomial ideal. We then express $\textrm{deg } h_{R/I(G)}(t)$ and $\textrm{deg } h_{R/J(G)}(t)$ in terms of the independence polynomial $P_G(x)=\sum_{i\ge 0} g_i x^i$ via an invariant $M(G)$, the multiplicity of $x=-1$ as a root of $P_G(x)$. In particular, we prove \[\textrm{deg } h_{R/I(G)}(t)=α(G)-M(G) \qquad\text{and}\qquad \textrm{deg } h_{R/J(G)}(t)=n-2-M(G), \] where $α(G)$ is the independence number of $G$. As a corollary, $M(G)$ is the additive inverse of the $\mathfrak{a}$-invariants of $R/I(G)$ and $R/J(G)$. We develop recursions and closed formulas for $M(G)$ for broad graph families, and use them to analyze which (reg, deg h)-pairs occur for cover ideals within chordal classes, including explicit constructions realizing extremal behavior. We conclude with a conjectural bound on $\left|\textrm{reg }(R/J(G))-\textrm{deg } h_{R/J(G)}(t)\right|$ for connected graphs.

A Weaker Notion of Atomicity in Integral Domains

2026-02-10T18:04:04Z

In classical factorization theory, an integral domain is called \emph{atomic} if every nonzero nonunit element can be written as a finite product of irreducible elements. Here, we introduce and study a weaker notion of atomicity, which relaxes the requirement that all elements admit a factorization into irreducibles. Namely, we say that an integral domain is \emph{sub-atomic} if every nonunit divisor of an atomic element is also atomic. We further consider several factorization properties associated with this notion. Then, we investigate the basic properties of such domains, provide examples, and explore the behavior of the sub-atomic property under standard constructions such as localization, polynomial rings, and $D+M$ constructions. Our results highlight the independence of the sub-atomic property from other classical factorization properties and introduce an important class of integral domains that lies between atomic and non-atomic domains.

On Extension modules of finite homological dimension

2026-02-10T16:27:01Z

We explore the implications of the finiteness of homological dimensions for Ext modules, focusing on projective dimension, injective dimension, and their Gorenstein counterpart. In this direction, we establish several finiteness criteria for homological dimensions. Under such finiteness conditions, our main result is a new duality for certain Ext modules when tensored by canonical modules.

Homological properties of rings defined by $n+1$ general quadrics in $n$ variables

2026-02-10T16:25:10Z

We study the almost complete intersection ring $R$ defined by $n+1$ general quadrics in a polynomial ring in $n$ variables over a field $\sf{k}$ and a corresponding linked Gorenstein ring $A$. The overarching theme is that, while not Koszul (except for some small values of $n$), these rings have homological properties that extend those of Koszul rings. We establish that finitely generated modules over these rings have rational Poincaré series and we give concrete formulas for the Poincaré series of $\sf{k}$ over both $A$ and $R$. We also show that $A$ has minimal rate and its Yoneda algebra $\text{Ext}_A(\sf{k},\sf{k})$ is generated by its elements of degrees $1$ and $2$. While the graded Betti numbers of $R$ and $A$ over the polynomial ring are not known when $n$ is odd, our approach provides bounds and yields values for two of these Betti numbers, showing in particular that $R$ is level.

A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal

2026-02-10T16:02:18Z

We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the complete intersection ideal $(x_1^2, \dots, x_n^2)$. We compute the Betti numbers of $I$ and $G$ over $Q$ when $n$ is odd and extend known computations when $n$ is even. A consequence is that the socle of $Q/I$ is generated in a single degree (thus $Q/I$ is level) and its dimension is a Catalan number. We also describe the generators and the initial ideal with respect to reverse lexicographic order for the Gorenstein ideal $G$.

Remarks on modules of finite projective dimension

2026-02-10T15:37:09Z

We investigate homological and depth-theoretic properties of finitely generated modules of finite projective dimension over Noetherian local rings. A central theme is the study of criteria for freeness and reflexivity derived from the torsion-freeness or reflexivity of tensor products of the form $ M \otimes_R M $ and $ M \otimes_R M^* $. Under mild homological assumptions, we prove that such properties of these tensor products impose strong structural constraints on $ M $, often forcing it to be free. These results generalize classical theorems of Auslander beyond the regular case and contribute to the broader understanding of rigidity phenomena in commutative algebra. The second part of the paper is devoted to the dimension and support of Ext-modules, particularly $ {Ext}^i_R(M, R) $ for critical values of i, when $ M $ has finite projective dimension. We establish sharp bounds on their Krull dimensions, analyze their behavior for prime and equidimensional modules, and relate these findings to the grade conjecture and other homological conjectures. Applications include new cases of a question of Jorgensen, which asks whether $ {pd}(M) < i $ whenever ${Ext}^i_R(M, M) = 0 $ and M has finite projective dimension over a complete intersection ring. Finally, we examine the projective dimension of prime ideals in rings that fail chain conditions. We show that in non-catenary or pathological saturated chain settings, such prime ideals often have infinite projective dimension.

Valuation rings of mixed characteristic as limits of complete intersection rings

2026-02-10T10:29:55Z

We show that a mixed characteristic valuation ring with a value group $Γ$, $\val$ its valuation and a residue field of characteristic $p>0$, is a filtered colimit of complete intersection $\bf Z$-algebras if $Γ/{\bf Z}\val(p)$ has no $p$-torsion and $V$ is Henselian.

Shellability in Clique-Free Complexes of Graphs

2026-02-10T10:10:05Z

We study combinatorial and algebraic properties of $t$-clique-free complexes, a family of simplicial complexes associated with finite simple graphs that generalize the classical independence complex. For a graph $G$ and an integer $t \ge 2$, the $t$-clique-free complex $\mathsf{CF}_t(G)$ is the simplicial complex on the vertex set of $G$ whose faces are the subsets inducing no cliques of size $t$. Our main results provide sufficient conditions for shellability and related decomposability properties of $t$-clique-free complexes. In particular, we show that if $G$ is a $t$-diamond-free chordal graph (in particular, a block graph), then $\mathsf{CF}_t(G)$ is $(t-2)$-decomposable and hence shellable. We also investigate how graph modifications via clique attachments influence shellability. Generalizing earlier constructions involving whiskers and clique extensions, we introduce the following operation: given a graph $H$, a subset $S \subseteq V(H)$, and an integer $t \ge 2$, we form a graph $\operatorname{Cl}(H,S,t)$ by attaching to each vertex in $S$ a clique of size at least $t$. We prove that $\mathsf{CF}_t(H\setminus S)$ is shellable if and only if $\mathsf{CF}_t(\operatorname{Cl}(H,S,t))$ is shellable. This yields a flexible method for constructing shellable complexes, particularly when $S$ is a cycle cover. In addition, we extend the notion of clique whiskering and show that for any graph admitting a clique vertex-partition, the resulting $t$-clique whiskering produces a pure and shellable, and hence Cohen-Macaulay, $t$-clique-free complex. Finally, we establish a Fröberg-type result linking chordality and linear resolutions. We show that for any chordal graph $G$, the edge ideal of the complement $t$-clique clutter $\overline{\mathcal{CH}_t(G)}$ admits a $t$-linear resolution over any field.

On the Hilbert depth of the quotient ring of the edge ideal of a complete bipartite graph

2026-02-10T09:56:34Z

Let $n\geq m$ be two positive integers, $S_{n,m}=K[x_1,\ldots,x_n,y_1,\ldots,y_m]$ and $I_{n,m}=(x_iy_j\;:\;1\leq i\leq n,1\leq j\leq m)\subset S_{n,m}$ the edge ideal of a complete bipartite graph. Denote $h(n,m)=\operatorname{hdepth}(S_{n,m}/I_{n,m})$. We prove that $h(n,m)\geq \left\lceil \frac{n}{2} \right\rceil$ and the equality holds if $m$ belong to a certain interval centered in $\left\lceil \frac{n} {2} \right\rceil$. Also, we find some tight bounds for $h(n,n)$ and we prove several inequalities between $h(n,m)$ and $h(n,m')$.