Tensor complexes: Multilinear free resolutions constructed from higher tensors
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.
Cite
@article{arxiv.1101.4604,
title = {Tensor complexes: Multilinear free resolutions constructed from higher tensors},
author = {Christine Berkesch Zamaere and Daniel Erman and Manoj Kummini and Steven V Sam},
journal= {arXiv preprint arXiv:1101.4604},
year = {2013}
}
Comments
36 pages; v2: The material on hyperdeterminantal varieties is significantly clarified and strengthened; v3: Conjecture 1.10 (indecomposability) is now Proposition 1.10; v4: filled gaps in proof of Proposition 9.4; v5: corrected typos and updated first author's name