A computer algorithm for the BGG resolution

DOI10.1016/J.JALGEBRA.2020.09.043MaRDI QIDQ2216568zbMATH OpenOpenAlexFDO

Authors Nicolas Hemelsoet, Rik Voorhaar

Publication date 16 December 2020

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

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

zbMATH Keywords

BGG resolutionflag varieties

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04) Computational methods for problems pertaining to nonassociative rings and algebras (17-08) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Homological methods in Lie (super)algebras (17B55)

Abstract: We present a computer algorithm to explicitly compute the BGG resolution and its cohomology. We give several applications, in particular computation of various sheaf cohomology groups on flag varieties. An implementation of the algorithm is available at https://github.com/RikVoorhaar/bgg-cohomology.

Review text

This paper treats the famous BGG resolution from the algorithmic viewpoint, basing on the previous work by \textit{A. Lachowska} and \textit{Y. Qi} [Int. Math. Res. Not. 2018, No. 20, 6349--6405 (2018; Zbl 1460.17021)]. The paper provides a nice overview of the BGG resolution and its properties, including explanation how to use BGG resolution to compute cohomology of flag varieties, and can be read independently. Examples of computations are given, and further possible improvements of the algorithm are indicated. The code, written in Python as a part of SAGE, is available online.

Recommendations

• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• scientific article; zbMATH DE number 1989678
• scientific article; zbMATH DE number 1693054
• Sheaf cohomology and free resolutions over exterior algebras
• scientific article; zbMATH DE number 1736033

Cites work

• A BLAS based C library for exact linear algebra on integer matrices
• BGG resolutions via configuration spaces
• Differential equations and singular vectors in Verma modules over \(\mathfrak{sl}(n, \mathbb{C})\)
• Homogeneous vector bundles
• Homomorphisms of the modules M_
• scientific article; zbMATH DE number 3721128 (Why is no real title available?)
• scientific article; zbMATH DE number 52497 (Why is no real title available?)
• scientific article; zbMATH DE number 3529178 (Why is no real title available?)
• scientific article; zbMATH DE number 1983902 (Why is no real title available?)
• Representations of semisimple Lie algebras in the BGG category O
• Singular vectors in Verma modules over Kac-Moody algebras
• Splitting Criteria for -Modules Induced from a Parabolic and the Bernstein-Gelfand-Gelfand Resolution of a Finite Dimensional, Irreducible -Module
• The center of small quantum groups. I: The principal block in type A
• The Hochschild cohomology ring of a global quotient orbifold
• The Penrose transform. Its interaction with representation theory

Cited in

(6)

• bgg-cohomology
• On certain Hochschild cohomology groups for the small quantum group
• Polyvector fields for Fano 3-folds
• Hochschild cohomology of generalised Grassmannians
• Irreducible components in Hochschild cohomology of flag varieties
• Singularities of Steinberg deformation rings

Describes a project that uses

Uses Software

• SageMath
• FLINT
• IML - Integer Matrix Library
• PARI/GP
• GitHub

This page was built for publication: A computer algorithm for the BGG resolution

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