On Inverting the Koszul Complex

DOI10.1080/00927870801941044MaRDI QIDQ3514816zbMATH OpenOpenAlexFDO

Authors Kamal Khuri-Makdisi

Publication date 23 July 2008

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0702876

zbMATH Keywords

tensor productssymmetric powersrepresentation ringsnormalized bar resolutionexact sequencesKoszul complexesrepresentations of general linear groups

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Syzygies, resolutions, complexes and commutative rings (13D02) Resolutions; derived functors (category-theoretic aspects) (18G10) Representation theory for linear algebraic groups (20G05) Cohomology theory for linear algebraic groups (20G10)

Abstract: Let V be an n-dimensional vector space. We give a direct construction of an exact sequence that gives a GL(V)-equivariant "resolution" of each symmetric power S^t V in terms of direct sums of tensor products of the form wedge^{i_1} V otimes ... otimes wedge^{i_p} V. This exact sequence corresponds to inverting the relation in the representation ring of GL(V) that is described by the Koszul complex, and has appeared before in work by B. Totaro, analogously to a construction of K. Akin involving the normalized bar resolution. Our approach yields a concrete description of the differentials, and provides an alternate direct proof that Ext^t_{wedge (V^*)}(k,k) = S^t V.

Recommendations

• An Explicit, Characteristic-Free, Equivariant Homology Equivalence Between Koszul Complexes
• The existence of equivariant pure free resolutions
• Pieri resolutions for classical groups.
• Characteristic-free representation theory of the general linear group
• Free resolutions of generic symmetric matrices

Cites work

• An Exact Sequence in the Representation Theory ofSL(2)
• Extensions of symmetric tensors by alternating tensors
• Projective resolutions of representations of GL (n).

Cited in

(2)

• ON THE KERNEL OF THE PROJECTION MAP T(V ) → S(V )
• scientific article; zbMATH DE number 885597 (Why is no real title available?)

This page was built for publication: On Inverting the Koszul Complex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3514816)