Related papers: Graded AR Sequences and the Huneke-Wiegand Conject…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be…

Let $S$ be an unramified regular local ring of mixed characteristic $p\geq 3$ and $S^p$ the subring of $S$ obtained by lifting to $S$ the image of the Frobenius map on $S/pS$. Let $R$ be the integral closure of $S$ in a biradical extension…

Let d1,...,dn be a strictly increasing sequence of integers. Boij and S\"oderberg [arXiv:math/0611081] have conjectured the existence of a graded module M of finite length over any polynomial ring K[x_1,..., x_n], whose minimal free…

A graded Artinian algebra $A$ has the Weak Lefschetz Property if there exists a linear form $\ell$ such that the multiplication map by $\ell:[A]_i\to [A]_{i+1}$ has maximum rank in every degree. The linear forms satisfying this property…

We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…

The famous Hanna Neumann Conjecture (now the Friedman-Mineyev theorem) gives an upper bound for the ranks of the intersection of arbitrary subgroups $H$ and $K$ of a non-abelian free group. It is an interesting question to `quantify' this…

In this paper, we introduce initially Cohen-Macaulay modules over a commutative Noetherian local ring $R$, a new class of $R$-modules that generalizes both Cohen-Macaulay and sequentially Cohen-Macaulay modules. A finitely generated…

This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster's ``homological conjectures", most…

$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $\textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in…

Let $E\supseteq F$ be a field extension and $M$ a graded Lie algebra of maximal class over $E$. We investigate the $F$-subalgebras $L$ of $M$, generated by elements of degree $1$. We provide conditions for $L$ being either ideally…

This paper is inspired by Michael Artin's paper "On The Join of Hensel Rings". In his paper, Artin proves that in an absolutely integrally closed ring the sum of two prime ideals is either prime or the whole ring. A more elementary proof of…

In this paper, we introduce the class of Cohen-Macaulay (=CM) dg (=differential graded) modules over Gorenstein dg algebras and study their basic properties. We show that the category of CM dg modules forms a Frobenius extriangulated…

Let $R$ be a commutative Noetherian local ring. We characterize when its completion has an isolated singularity, thereby strengthening the Dao-Takahashi refinement of the Auslander-Huneke-Leuschke-Wiegand theorem. We investigate the ascent…

We study the relation between MCM approximations and FID hulls of modules over a Cohen-Macaulay local ring $R$ with canonical module, specifically when $R$ is generically Gorenstein. We then generalize a result of Kato, who proved that a…

We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten…

We prove an integral version of the classical Albert-Brauer-Hasse-Noether theorem regarding quaternion algebras over number fields. Let $\mathfrak A$ be a quaternion algebra over a number field $K$ and assume that $\mathfrak A$ satisfies…

Let $X$ be a complete intersection inside a variety $M$ with finite dimensional motive and for which the Lefschetz-type conjecture $B(M)$ holds. We show how conditions on the niveau filtration on the homology of $X$ influence directly the…

Let V be a rational quadratic space of signature (m,2). A conjecture of Kudla relates the arithmetic degrees of top degree special cycles on an integral model of a Shimura variety associated with SO(V) to the coefficients of the central…

In this paper, we give new characterizations of the Buchsbaum and Cohen-Macaulay properties of the tangent cone $\gr_\frakm(R)$, where $(R,\frakm)$ is a numerical semigroup ring of embedding dimension 3. In particular, we confirm the…