arXiv subjects
Publications and source records attributed to Tim Tribone.
Given a commutative and graded Gorenstein ring $R$ with associated projective variety $X$, a theorem of Orlov gives fully faithful embeddings from the graded singularity category of $R$ to the derived category of $X$, or vice versa, depending on the degree of the canonical bundle of $X$. We describe algorithms for computing these embeddings that can be implemented in Macaulay2.
The $t$-connected ideal of a graph $G$ is generated by all connected induced subgraphs of $G$ with $t$ vertices. When $t = 2$, this coincides with the usual edge ideal of the graph. Following the work of Faridi et al., we give a classification of the graphs whose $t$-connected ideals are minimally resolved by their Scarf complex. We also consider the $t$-path ideal of a graph $G$ which is the ideal generated by all paths of length $t$ in $G$. In this case, we are able to give a classification of the same type for paths of length $t = 4$.
In his work on the Bass series of syzygy modules of modules over a commutative noetherian local ring $R$, Lescot introduces a numerical invariant, denoted $\sigma(R)$, and asks whether it is finite for any $R$. He proves that this is so when $R$ is Gorenstein or Golod. In the present work many new classes of rings $R$ for which $\sigma(R)$ is finite are identified. The new insight is that $\sigma(R)$ is related to the natural map from the usual cohomology of the module to its stable cohomology, which permits the use of multiplicative structures to study the question of finiteness of $\sigma(R)$.
Each monomial ideal over a polynomial ring admits a free resolution which has the structure of a DG-algebra, namely, the Taylor resolution. A pivot resolution of a monomial ideal, which we introduce, is a resolution that is always shorter than the Taylor resolution (unless the Taylor resolution is as short as possible) but still retains a DG-algebra structure. We study the basic properties of this family of resolutions including a characterization of when the construction is minimal. Following the work of Sobieska, we use the explicit nature of pivot resolutions to give formulae for the Eisenbud-Shamash construction of a free resolution of a given monomial ideal over complete intersections.
Consider a pair of elements $f$ and $g$ in a commutative ring $Q$. Given a matrix factorization of $f$ and another of $g$, the tensor product of matrix factorizations, which was first introduced by Kn\"orrer and later generalized by Yoshino, produces a matrix factorization of the sum $f+g$. We will study the tensor product of $d$-fold matrix factorizations, with a particular emphasis on understanding when the construction has a non-trivial direct sum decomposition. As an application of our results, we construct indecomposable maximal Cohen-Macaulay and Ulrich modules over hypersurface domains of a certain form.
Let $(S,\mathfrak n)$ be a regular local ring and $f$ a non-zero element of $\mathfrak n^2$. A theorem due to Kn\"orrer states that there are finitely many isomorphism classes of maximal Cohen-Macaulay $R=S/(f)$-modules if and only if the same is true for the double branched cover of $R$, that is, the hypersurface ring defined by $f+z^2$ in $S[[ z ]]$. We consider an analogue of this statement in the case of the hypersurface ring defined instead by $f+z^d$ for $d\ge 2$. In particular, we show that this hypersurface, which we refer to as the $d$-fold branched cover of $R$, has finite Cohen-Macaulay representation type if and only if, up to isomorphism, there are only finitely many indecomposable matrix factorizations of $f$ with $d$ factors. As a result, we give a complete list of polynomials $f$ with this property in characteristic zero. Furthermore, we show that reduced $d$-fold matrix factorizations of $f$ correspond to Ulrich modules over the $d$-fold branched cover of $R$.
Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(\varphi_1,\varphi_2,\dots,\varphi_d)$ such that their product is $f$ times an identity matrix of the appropriate size. Several well known properties of matrix factorizations with $2$ factors extend to the case of arbitrarily many factors. For instance, we show that the stable category of matrix factorizations with $d\ge 2$ factors is naturally triangulated and we give explicit formula for the relevant suspension functor. We also extend results of Kn\"orrer and Solberg which identify the category of matrix factorizations with the full subcategory of maximal Cohen-Macaulay modules over a certain non-commutative algebra $\Gamma$. As a consequence of our findings, we observe that the ring $\Gamma$ behaves, homologically, like a "non-commutative hypersurface ring" in the sense that every finitely generated module over $\Gamma$ has an eventually $2$-periodic projective resolution.