Orthosymplectic Lie superalgebras, Koszul duality, and a complete intersection analogue of the Eagon-Northcott complex

DOI10.4171/JEMS/651MaRDI QIDQ502147zbMATH OpenFDO

Authors Steven V. Sam

Publication date 30 December 2016

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

classical Lie superalgebrascomplete intersectionsHowe dualityKoszul dualityminimal free resolutions

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Homological methods in Lie (super)algebras (17B55) Resolutions; derived functors (category-theoretic aspects) (18G10)

Abstract: We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show that they have a linear free resolution over the complete intersection and that their Koszul dual is an infinite-dimensional irreducible representation of the orthosymplectic Lie superalgebra. We calculate the algebra of cohomology operators acting on this free resolution. We prove analogous results for powers of the ideals of maximal minors in the variety of length 2 complexes when it is a complete intersection, and show that their Koszul dual is an infinite-dimensional irreducible representation of the general linear Lie superalgebra. This generalizes work of Akin, J'ozefiak, Pragacz, Weyman, and the author on resolutions of determinantal ideals in polynomial rings to the setting of complete intersections and provides a new connection between representations of classical Lie superalgebras and commutative algebra. As a curious application, we prove that the cohomology of a class of reducible homogeneous bundles on symplectic and orthogonal Grassmannians and 2-step flag varieties can be calculated by an analogue of the Borel-Weil-Bott theorem.

Review text

The paper deals with representations of orthosymplectic Lie superalgebras (a family of simple Lie superalgebras) and free resolutions over a class of quadratic complete intersections called \textit{Littlewood varieties}. The two sides of the story are connected by Koszul duality. The author presents a geometric construction for a large class of modules, including all powers of the ideal of maximal minors in Littlewood varieties, and shows that they have a linear free resolution over the complete intersection and that their Koszul dual is an infinite-dimensional irreducible representation of the orthosymplectic Lie superalgebra. This generalizes work of \textit{K. Akin} and \textit{J. Weyman} [J. Algebra 197, No. 2, 559--583, Art. No. JA977101 (1997; Zbl 0898.17003); J. Algebra 230, No. 1, 5--23 (2000; Zbl 1041.17005)], \textit{T. Jozefiak} et al. [Astérisque 87--88, 109--189 (1981; Zbl 0488.14012)] and the author and \textit{J. Weyman} [Int. Math. Res. Not. 2015, No. 13, 4663--4707 (2015; Zbl 1316.05127)] on resolutions of determinantal ideals in polynomial rings. As an application, a Borel-Weil-Bott type theorem for a class of reducible homogeneous bundles over orthogonal and symplectic Grassmannians is deduced.

Recommendations

• Syzygies of determinantal thickenings and representations of the general linear Lie superalgebra
• Primary ideals associated to the linear strands of Lascoux's resolution and syzygies of the corresponding irreducible representations of the Lie superalgebra \(\mathfrak {gl}(m|n)\)
• Minimal free resolutions of determinantal ideals and irreducible representations of the Lie superalgebra \(gl(m\mid n)\)
• Homology of Littlewood complexes
• Koszul homology and Lie algebras with application to generic forms and points

Cites work

• A BGG-type resolution for tensor modules over general linear superalgebra
• Character formula for infinite-dimensional unitarizable modules of the general linear super\-algebra.
• Complexes associated with trace and evaluation. Another approach to Lascoux's resolution
• Derived supersymmetries of determinantal varieties
• Dualities and representations of Lie superalgebras
• Homological Algebra on a Complete Intersection, with an Application to Group Representations
• Homology of analogues of Heisenberg Lie algebras
• Homology of Littlewood complexes
• scientific article; zbMATH DE number 4029719 (Why is no real title available?)
• scientific article; zbMATH DE number 3767833 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 3513932 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 739282 (Why is no real title available?)
• scientific article; zbMATH DE number 2019767 (Why is no real title available?)
• scientific article; zbMATH DE number 2115428 (Why is no real title available?)
• scientific article; zbMATH DE number 796484 (Why is no real title available?)
• Ideals defined by matrices and a certain complex associated with them
• Infinite rank spinor and oscillator representations
• Kostant homology formulas for oscillator modules of Lie superalgebras
• Koszul Duality Patterns in Representation Theory
• Littlewood complexes and analogues of determinantal varieties
• Minimal free resolutions of determinantal ideals and irreducible representations of the Lie superalgebra \(gl(m\mid n)\)
• Modules of finite virtual projective dimension
• On a theorem of Castelnuovo, and the equations defining space curves
• On the geometry of a theorem of Riemann
• On the variety of complexes
• Orthosymplectic Lie superalgebras, Koszul duality, and a complete intersection analogue of the Eagon-Northcott complex
• Powers of ideals: Betti numbers, cohomology and regularity
• Primary ideals associated to the linear strands of Lascoux's resolution and syzygies of the corresponding irreducible representations of the Lie superalgebra \(\mathfrak {gl}(m|n)\)
• Resolutions of determinantal ideals: The submaximal minors
• Resolutions of orthogonal and symplectic analogues of determinantal ideals
• Schubert complexes and degeneracy loci
• Some remarks on nilpotent orbits
• Support varieties and cohomology over complete intersections
• Symmetric quivers, invariant theory, and saturation theorems for the classical groups.
• The Geometry of Syzygies
• The irreducible tensor representations of \(\text{gl}(m| 1)\) and their generic homology.
• The universal form of the Littlewood-Richardson rule
• Young diagrams and determinantal varieties

Cited in

(9)

• Koszul homology and Lie algebras with application to generic forms and points
• A note on super Koszul complex and the Berezinian
• Homology of Littlewood complexes
• Derived supersymmetries of determinantal varieties
• Orthosymplectic Lie superalgebras, Koszul duality, and a complete intersection analogue of the Eagon-Northcott complex
• Cohomology of flag supervarieties and resolutions of determinantal ideals
• Resolution of singularities of the odd nilpotent cone of orthosymplectic Lie superalgebras
• Borel-Weil factorization for super Grassmannians
• Primary ideals associated to the linear strands of Lascoux's resolution and syzygies of the corresponding irreducible representations of the Lie superalgebra \(\mathfrak {gl}(m|n)\)

This page was built for publication: Orthosymplectic Lie superalgebras, Koszul duality, and a complete intersection analogue of the Eagon-Northcott complex

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