On Inverting the Koszul Complex

DOI10.1080/00927870801941044zbMATH Open1183.20046arXivmath/0702876OpenAlexW2034450187MaRDI QIDQ3514816FDOQ3514816

Authors: Kamal Khuri-Makdisi 

Publication date: 23 July 2008

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

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.

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

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

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)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• ON THE KERNEL OF THE PROJECTION MAP T(V ) → S(V )

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)