相关论文: On the minimal free resolution of the universal ri…

Let $\zeta$ be a complex $\ell$th root of unity for an odd integer $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let $u_\zeta=u_\zeta({\mathfrak g})$ be the associated "small" quantum enveloping algebra. In general, little is…

The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is…

Huneke and Wiegand conjectured that, if $M$ is a finitely generated, non-free, torsion-free module with rank over a one-dimensional Cohen-Macaulay local ring $R$, then the tensor product of $M$ with its algebraic dual has torsion. This…

When does a Noetherian commutative ring $R$ have uniform symbolic topologies on primes--read, when does there exist an integer $D>0$ such that the symbolic power $P^{(Dr)} \subseteq P^r$ for all prime ideals $P \subseteq R$ and all $r >0$?…

Let $ X $ be an $ m \times n $ matrix of distinct indeterminates over a field $ K $, where $ m \le n $. Set the polynomial ring $ K[X] := K[X_{ij} : 1 \le i \le m, 1 \le j \le n] $. Let $ 1 \le k < l \le n $ be such that $ l - k + 1 \ge m…

Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall…

A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there…

Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to…

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…

With a view to study problems of smoothability, we construct a minimal free resolution for the coordinate ring of an algebroid monomial curve associated to an $AS$ numerical semigroup (i.e. generated by an arithmetic sequence), obtained…

We prove a form of generic local duality that generalizes a result of Karen E. Smith. Specifically, let $R$ be a Noetherian ring, let $P$ be a prime ideal of $R$ of height $h$, let $A:=R/P$, and $W$ be a subset of $R$ that maps onto…

Let $G$ be the fundamental group of a sapphire that admits the Sol geometry and is not a torus bundle. We determine a finite free resolution of $\mathbb{Z}$ over $\mathbb{Z}G$ and calculate a partial diagonal approximation for this…

In this article, we give the explicit minimal free resolution of the associated graded ring of certain affine monomial curves in affine 4-space based on the standard basis theory. As a result, we give the minimal graded free resolution and…

We prove two results about the derived functor of $a$-adic completion: (1) Let $K$ be a commutative noetherian ring, let $A$ be a flat noetherian $K$-algebra which is $a$-adically complete with respect to some ideal $a\subseteq A$, such…

An explicit construction is given of a minimal free resolution of the ideal generated by all squarefree monomials of a given degree. The construction relies upon and exhibits the natural action of the symmetric group on the syzygy modules.…

Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure…

Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $\rm{K_R}$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $I \otimes_RI^{\vee}$ is torsionfree, where $I^{\vee} = \operatorname{Hom_R(I,…

We describe new combinatorial methods for constructing an explicit free resolution of Z by ZG-modules when G is a group of fractions of a monoid where enough least common multiples exist (``locally Gaussian monoid''), and, therefore, for…

We propose a notion of minimal free resolutions for differential modules, and we prove existence and uniqueness results for such resolutions. We also take the first steps toward studying the structure of minimal free resolutions of…

Let R be a commutative noetherian ring. We give criteria for a complex of cotorsion flat R-modules to be minimal, in the sense that every self homotopy equivalence is an isomorphism. To do this, we exploit Enochs' description of the…