Let $\mathbb{K}$ be a field and S = ${\mathbb{K}}$[x1, . . ., xn] be the polynomial ring in n variables over the field $\mathbb{K}$. For every monomial ideal I ⊂ S, we provide a recursive formula to determine a lower bound for the Stanley depth of S/I. We use this formula to prove the inequality sdepth(S/I) ≥ size(I) for a particular class of monomial ideals.

To a pair $P$ and $Q$ of finite posets we attach the toric ring $K[P,Q]$ whose generators are in bijection to the isotone maps from $P$ to $Q$. This class of algebras, called isotonian, are natural generalizations of the so-called Hibi rings. We determine the Krull dimension of these algebras and for particular classes of posets $P$ and $Q$ we show that $K[P,Q]$ is normal and that their defining ideal admits a quadratic Gröbner basis.

This paper concerns a generalization of the Rees algebra of ideals due to Eisenbud, Huneke and Ulrich that works for any finitely generated module over a noetherian ring. Their definition is in terms of maps to free modules. We give an intrinsic definition using divided powers.

In this paper, we give an explicit realization of the universal SL2-representation rings of free groups by using ‘the ring of component functions’ of SL(2, ℂ)-representations of free groups. We introduce a descending filtration of the ring, and determine the structure of its graded quotients. Then we study the natural action of the automorphism group of a free group on the graded quotients, and introduce a generalized Johnson homomorphism. In the latter part of this paper, we investigate some properties of these homomorphisms from a viewpoint of twisted cohomologies of the automorphism group of a free group.

Over a Cohen–Macaulay (CM) local ring, we characterize those modules that can be obtained as a direct limit of finitely generated maximal CM modules. We point out two consequences of this characterization: (1) Every balanced big CM module, in the sense of Hochster, can be written as a direct limit of small CM modules. In analogy with Govorov and Lazard's characterization of flat modules as direct limits of finitely generated free modules, one can view this as a “structure theorem” for balanced big CM modules. (2) Every finitely generated module has a pre-envelope with respect to the class of finitely generated maximal CM modules. This result is, in some sense, dual to the existence of maximal CM approximations, which has been proved by Auslander and Buchweitz.

In this note, we have obtained a Whitehead-like tower of a module by considering a suitable set of morphisms and shown that the different stages of the tower are the Adams cocompletions of the module with respect to the suitably chosen set of morphisms.

Let $I$ and $J$ be homogeneous ideals in a standard graded polynomial ring. We study upper bounds of the Hilbert function of the intersection of $I$ and $g(J)$, where $g$ is a general change of coordinates. Our main result gives a generalization of Green’s hyperplane section theorem.

Building on coprincipal mesoprimary decomposition [Kahle and Miller, Decompositions of commutative monoid congruences and binomial ideals, Algebra and Number Theory 8 (2014), 1297–1364], we combinatorially construct an irreducible decomposition of any given binomial ideal. In a parallel manner, for congruences in commutative monoids we construct decompositions that are direct combinatorial analogues of binomial irreducible decompositions, and for binomial ideals we construct decompositions into ideals that are as irreducible as possible while remaining binomial. We provide an example of a binomial ideal that is not an intersection of irreducible binomial ideals, thus answering a question of Eisenbud and Sturmfels [Binomial ideals, Duke Math. J. 84 (1996), 1–45].

The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen–Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals.

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.

Tensor products usually have nonzero torsion. This is a central theme of Auslander's 1961 paper; the theme continues in the work of Huneke and Wiegand in the 1990s. The main focus in this article is on tensor powers of a finitely generated module over a local ring. Also, we study torsion-free modules N with the property that M ⊗R N has nonzero torsion unless M is very special. An important example of such a module N is the Frobenius power pe R over a complete intersection domain R of characteristic p > 0.

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular, we derive that, in any local ring R of mixed characteristic p > 0, where p is a nonzero divisor, if I is an ideal of finite projective dimension over R and p 𝜖 I or p is a nonzero divisor on R/I, then every minimal generator of I is a nonzero divisor. Hence, if P is a prime ideal of finite projective dimension in a local ring R, then every minimal generator of P is a nonzero divisor in R.

We give explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper, we proved that such formulas should exist. We give applications to the number of equations defining projective varieties and to the dimension of secant varieties of surfaces and three-folds.

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.

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.

We prove that neat and coneat submodules of a module coincide when $R$ is a commutative ring such that every maximal ideal is principal, extending a recent result by Fuchs. We characterise absolutely neat (coneat) modules and study their closure properties. We show that a module is absolutely neat if and only if it is injective with respect to the Dickson torsion theory.

The aim of this paper is to give a classification theorem for commutative torsion filial rings.

A central problem in liaison theory is to decide whether every arithmetically Cohen–Macaulay subscheme of projective $n$-space can be linked by a finite number of arithmetically Gorenstein schemes to a complete intersection. We show that this can indeed be achieved if the given scheme is also generically Gorenstein and we allow the links to take place in an $(n+ 1)$-dimensional projective space. For example, this result applies to all reduced arithmetically Cohen–Macaulay subschemes. We also show that every union of fat points in projective 3-space can be linked in the same space to a union of simple points in finitely many steps, and hence to a complete intersection in projective 4-space.