Let $(A,\mathfrak{m})$ be a Cohen–Macaulay local ring, and then the notion of a $T$-split sequence was introduced in the part-1 of this paper for the $\mathfrak{m}$-adic filtration with the help of the numerical function $e^T_A$. In this article, we explore the relation between Auslander–Reiten (AR)-sequences and $T$-split sequences. For a Gorenstein ring $(A,\mathfrak{m})$, we define a Hom-finite Krull–Remak–Schmidt category $\mathcal{D}_A$ as a quotient of the stable category $\underline{\mathrm{CM}}(A)$. This category preserves isomorphism, that is, $M\cong N$ in $\mathcal{D}_A$ if and only if $M\cong N$ in $\underline{\mathrm{CM}}(A)$.This article has two objectives: first objective is to extend the notion of $T$-split sequences, and second objective is to explore the function $e^T_A$ and $T$-split sequences. When $(A,\mathfrak{m})$ is an analytically unramified Cohen–Macaulay local ring and $I$ is an $\mathfrak{m}$-primary ideal, then we extend the techniques in part-1 of this paper to the integral closure filtration with respect to $I$ and prove a version of Brauer–Thrall-II for a class of such rings.

Given any commutative Noetherian ring R and an element x in R, we consider the full subcategory $\mathsf{C}(x)$ of its singularity category consisting of objects for which the morphism that is given by the multiplication by x is zero. Our main observation is that we can establish a relation between $\mathsf{C}(x), \mathsf{C}(y)$ and $\mathsf{C}(xy)$ for any two ring elements x and y. Utilizing this observation, we obtain a decomposition of the singularity category and consequently an upper bound on the dimension of the singularity category.

This paper extends the results of Boij, Eisenbud, Erman, Schreyer and Söderberg on the structure of Betti cones of finitely generated graded modules and finite free complexes over polynomial rings, to all finitely generated graded rings admitting linear Noether normalizations. The key new input is the existence of lim Ulrich sequences of graded modules over such rings.

Let $({\cal{A}},{\cal{E}})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of ${\operatorname{Ext}}_{\cal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories. We also study a small number of these new functors over commutative local rings in detail and find a range of applications from detecting regularity to understanding Ulrich modules.

The existence of Ulrich modules for (complete) local domains has been a difficult and elusive open question. For over thirty years, it was unknown whether complete local domains always have Ulrich modules. In this paper, we answer the question of existence for both Ulrich modules and weakly lim Ulrich sequences – a weaker notion recently introduced by Ma – in the negative. We construct many local domains in all dimensions $d \geq 2$ that do not have any Ulrich modules. Moreover, we show that when $d = 2$, these local domains do not have weakly lim Ulrich sequences.

For a simple bipartite graph G, we give an upper bound for the regularity of powers of the edge ideal $I(G)$ in terms of its vertex domination number. Consequently, we explicitly compute the regularity of powers of the edge ideal of a bipartite Kneser graph. Further, we compute the induced matching number of a bipartite Kneser graph.

We show that the Specht ideal of a two-rowed partition is perfect over an arbitrary field, provided that the characteristic is either zero or bounded below by the size of the second row of the partition, and we show this lower bound is tight. We also establish perfection and other properties of certain variants of Specht ideals, and find a surprising connection to the weak Lefschetz property. Our results, in particular, give a self-contained proof of Cohen–Macaulayness of certain h-equals sets, a result previously obtained by Etingof–Gorsky–Losev over the complex numbers using rational Cherednik algebras.

In representation theory, commutative algebra and algebraic geometry, it is an important problem to understand when the triangulated category $\mathsf{D}_{\operatorname{sg}}^{\mathbb{Z}}(R)=\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ admits a tilting (respectively, silting) object for a $\mathbb{Z}$-graded commutative Gorenstein ring $R=\bigoplus _{i\geqslant 0}R_{i}$. Here $\mathsf{D}_{\operatorname{sg}}^{\mathbb{Z}}(R)$ is the singularity category, and $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ is the stable category of $\mathbb{Z}$-graded Cohen–Macaulay (CM) $R$-modules, which are locally free at all nonmaximal prime ideals of $R$.

In this paper, we give a complete answer to this problem in the case where $\dim R=1$ and $R_{0}$ is a field. We prove that $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ always admits a silting object, and that $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ admits a tilting object if and only if either $R$ is regular or the $a$-invariant of $R$ is nonnegative. Our silting/tilting object will be given explicitly. We also show that if $R$ is reduced and nonregular, then its $a$-invariant is nonnegative and the above tilting object gives a full strong exceptional collection in $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R=\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}R$.

Let R be a Cohen–Macaulay local ring. It is shown that under some mild conditions, the Cohen–Macaulay property is preserved under linkage. We also study the connection of the (Sn) locus of a horizontally linked module and the attached primes of certain local cohomology modules of its linked module.

A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a beautiful result of Corso, Huneke, Katz and Vasconcelos, we prove that the conjecture is affirmative for a large class of ideals over arbitrary one-dimensional local domains. Furthermore, we study a higher-dimensional analogue of the conjecture for integrally closed ideals over Noetherian rings that are not necessarily local. We also consider a related question on the conjecture and give an affirmative answer for first syzygies of maximal Cohen–Macaulay modules.

We consider plane Cremona maps with proper base points and the base ideal generated by the linear system of forms defining the map. The object of this work is to study the link between the algebraic properties of the base ideal and those of the ideal of these points fattened by the virtual multiplicities arising from the linear system. We reveal conditions which naturally regulate this association, with particular emphasis on the homological side. While most classical numerical inequalities concern the three highest virtual multiplicities, here we emphasize also the role of one single highest multiplicity. In this vein we describe classes of Cremona maps for large and small values of the highest virtual multiplicity. We also deal with the delicate question as to when is the base ideal non-saturated and consider the structure of its saturation.

Let $R$ be a commutative noetherian local ring. As an analog of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated $R$-modules is introduced in this paper. We found evidence that certain categories over nice singularities have small dimensions. When $R$ is Cohen–Macaulay, under a mild assumption it is proved that finiteness of the dimension of the full subcategory consisting of maximal Cohen–Macaulay modules which are locally free on the punctured spectrum is equivalent to saying that $R$ is an isolated singularity. As an application, the celebrated theorem of Auslander, Huneke, Leuschke, and Wiegand is not only recovered but also improved. The dimensions of stable categories of maximal Cohen–Macaulay modules as triangulated categories are also investigated in the case where $R$ is Gorenstein, and special cases of the recent results of Aihara and Takahashi, and Oppermann and Št́ovíček are recovered and improved. Our key technique involves a careful study of annihilators and supports of $\mathsf{Tor}$, $\mathsf{Ext}$, and $\underline{\mathsf{Hom}}$ between two subcategories.

We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga–Gorenstein ring. We then apply this result to the Frobenius category of special Cohen–Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga–Gorenstein rings of finite Gorenstein projective type. We also apply our method to representation theory, obtaining Auslander–Solberg and Kong type results.

Let $\left( R,\,\mathfrak{m} \right)$ be a local ring and $\mathfrak{a}$ be an ideal of $R$. The inequalities

$$\text{ht}\left( \mathfrak{a} \right)\,\le \,\text{cd}\left( \mathfrak{a},\,R \right)\,\le \,\text{ara}\left( \mathfrak{a} \right)\,\le \,l\left( \mathfrak{a} \right)\,\le \,\mu \left( \mathfrak{a} \right)$$

are known. It is an interesting and long-standing problem to determine the cases giving equality. Thanks to the formal grade we give conditions in which the above inequalities become equalities.

We study Serre duality in the singularity category of an isolated Gorenstein singularity and find an explicit formula for the duality pairing in terms of generalised fractions and residues. For hypersurfaces we recover the residue formula of the string theorists Kapustin and Li. These results are obtained from an explicit construction of complete injective resolutions of maximal Cohen–Macaulay modules.

A recent result of Eisenbud–Schreyer and Boij–Söderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resolutions with some plausible-looking Betti diagrams and to study the semigroup of quiver representations of the simplest ‘wild’ quiver.

For a characteristic-$p\gt 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen–Macaulay or at least has depth $\geq $3 at certain points. This mirrors results of Kollár for varieties in characteristic 0. As an application, we show that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers.

We study the depth of classes of binomial edge ideals and classify all closed graphs whose binomial edge ideal is Cohen-Macaulay.

In a recent paper, Iyama and Yoshino considered two interesting examples of isolated singularities over which it is possible to classify the indecomposable maximal Cohen–Macaulay modules in terms of linear algebra data. In this paper, we present two new approaches to these examples. In the first approach we give a relation with cluster categories. In the second approach we use Orlov’s result on the graded singularity category.

Generalizing the concepts of Stanley-Reisner and affine monoid algebras, one can associate to a rational pointed fan Σ in ℝd the ℤd-graded toric face ring K[Σ]. Assuming that K[Σ] is Cohen-Macaulay, the main result of this paper is to characterize the situation when its canonical module is isomorphic to a ℤd-graded ideal of K[Σ]. From this result several algebraic and combinatorial consequences are deduced. As an application, we give a relation between the cleanness of K[Σ] and the shellability of Σ.