Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1101.4604

Tensor complexes: Multilinear free resolutions constructed from higher tensors

Christine Berkesch Zamaere·Daniel Erman·Manoj Kummini·Steven V Sam
View original source ↗Read source document ↗Export metadata ↓

Abstract

The most fundamental complexes of free modules over a commutative ring are the Koszul complex, which is constructed from a vector (i.e., a 1-tensor), and the Eagon-Northcott and the Buchsbaum-Rim complexes, which are constructed from a matrix (i.e., a 2-tensor). The subject of this paper is a multilinear analogue of these complexes, which we construct from an arbitrary higher tensor. Our construction provides detailed new examples of minimal free resolutions, as well as a unifying view on a wide variety of complexes including: the Eagon-Northcott, Buchsbaum-Rim and similar complexes, the Eisenbud-Schreyer pure resolutions, and the complexes used by Gelfand-Kapranov-Zelevinsky and Weyman to compute hyperdeterminants. In addition, we provide applications to the study of pure resolutions and Boij-Soederberg theory, including the construction of infinitely many new families of pure resolutions and the first explicit description of the differentials of the Eisenbud-Schreyer pure resolutions.

Explore related subjects

math.ACmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christine Berkesch Zamaere, Daniel Erman, Manoj Kummini, Steven V Sam. 2013-10-13. Tensor complexes: Multilinear free resolutions constructed from higher tensors. https://doi.org/10.4171/jems%2F421

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the perturbations of Noetherian local domains

We study how the properties of being reduced, integral domain, and normal, behave under small perturbations of the defining equations of a noetherian local ring. It is not hard to show that the property of being a local integral domain (reduced, normal ring) is not stable under small perturbations in general. We prove that perturbation stability holds in the following situations: (1) perturbation of being an integral domain for factorial excellent Henselian local rings; (2) perturbation of normality for excellent local complete intersections containing a field of characteristic zero; and (3) perturbation of reducedness for excellent local complete intersections containing a field of characteristic zero, and for factorial Nagata local rings.

math.AC↗
arXiv2026

On strongly multiplicative sets

A multiplicative subset $S$ of a ring $R$ is called \textit{strongly multiplicative} if $(\bigcap_{i\inΔ}s_iR)\cap S \neq \emptyset$ for each family $(s_i)_{i\inΔ}$ of elements in $S$. In this paper, we investigate how these sets help stabilize localization and ideal operations. We show that localization and arbitrary intersections commute, meaning $S^{-1}(\bigcap I_α) = \bigcap S^{-1}I_α$ for any family of ideals, if and only if $S$ is strongly multiplicative. Furthermore, we characterize some important classes of rings, such as total quotient rings and strongly zero-dimensional rings, in terms of strongly multiplicative sets. We also answer an open question by Hamed and Malek about whether this condition is needed for the existence of $S$-minimal primes. Furthermore, we demonstrate that if $S$ is a strongly multiplicative set and $S \not\subseteq U(R)$, then $S$-minimal primes are not classical prime ideals, and we provide an algorithmic approach to constructing such ideals. Finally, we prove a Strong Krull's Separation Lemma, which guarantees a maximal ideal disjoint from $S$. As an application of Strong Krull's Separation Lemma, we establish a one-to-one correspondence between the maximal ideals of $S^{-1}R$ and the maximal ideals of $R$ disjoint from a strongly multiplicative set $S$ of $R$.

math.AC↗
arXiv2026

Categories of Multigraded Local Cohomology Modules: Serre Filtrations and Nakayama Duality

Let $\Bbbk$ be a field, let $S=\Bbbk[x_1,\ldots,x_n]$ with its standard $\mathbb N^n$-grading, and let $\mathfrak m=(x_1,\ldots,x_n)$. For $0\le i<n$ and $q=n-i$, we identify the category $\mathcal H_i(\mathbf t)$ of shifted multigraded local cohomology modules with \[ \Rep(U_q(\mathbf t)),\qquad U_q(\mathbf t)=\{\mathbf a\in[\mathbf0,\mathbf t]\mid |\operatorname{supp}(\mathbf a)|\ge q\}. \] This gives the finite and global Serre filtrations and their pure support-rank quotients. We organize the resulting torsion and quotient structures through abelian recollement: an order-ideal decomposition produces a canonical TTF triple, hereditary support torsion pairs, and Gabriel quotients. For finite posets both complementary recollement orientations exist, whereas for the global finite-support categories only the inward-finite orientation is automatic. These recollements admit bounded derived lifts. Under an additional finite-resolution condition the derived finite-support categories have right Serre functors, and derived Kan extensions satisfy a right-Serre exchange. In finite boxes we further construct a functorial rank-layer resolution comparing the left and right Kan sections; Nakayama--Serre duality transforms it into an explicit costandard rank complex. The exceptional top category $\mathcal H_n(\mathbf t)$ is treated separately via second cosyzygies.

math.AC↗