This paper introduces the study of LG-quadratic quotients of exterior algebras, showing that they are Koszul, as in the commutative case. We construct an example of an LG-quadratic algebra that is not G-quadratic and another example that is Koszul but not LG-quadratic. This is only the second known Koszul algebra that is not LG-quadratic and the first that is noncommutative.
more »
« less
This content will become publicly available on January 1, 2026
Koszulity, supersolvability and Stirling Representations
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik–Solomon algebras and graded Varchenko–Gel’fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.
more »
« less
- Award ID(s):
- 2053288
- PAR ID:
- 10616556
- Publisher / Repository:
- Centre Mersenne
- Date Published:
- Journal Name:
- Annals of Representation Theory
- Volume:
- 2
- Issue:
- 2
- ISSN:
- 2704-2081
- Page Range / eLocation ID:
- 173 to 247
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite-dimensional algebra, whose representation theory is analogous to blocks of Bernstein—Gelfand—Gelfand category\mathcal{O}. When the data above comes from a generic linear program for a hyperplane arrangement, we recover the algebra defined by Braden—Licata—Proudfoot—Webster. Applying our construction to non-linear oriented matroid programs provides a large new class of algebras. For Euclidean oriented matroid programs, the resulting algebras are quasi-hereditary and Koszul, as in the linear setting. In the non-Euclidean case, we obtain algebras that are not quasi-hereditary and not known to be Koszul, but still have a natural class of standard modules and satisfy numerical analogues of quasi-heredity and Koszulity on the level of graded Grothendieck groups.more » « less
-
null (Ed.)By a fundamental theorem of D. Quillen, there is a natural duality - an instance of general Koszul duality - between differential graded (DG) Lie algebras and DG cocommutative coalgebras defined over a field k of characteristic 0. A cyclic pairing (i.e., an inner product satisfying a natural cyclicity condition) on the cocommutative coalgebra gives rise to an interesting structure on the universal enveloping algebra Ua of the Koszul dual Lie algebra a called the derived Poisson bracket. Interesting special cases of the derived Poisson bracket include the Chas-Sullivan bracket on string topology. We study the derived Poisson brackets on universal enveloping algebras Ua, and their relation to the classical Poisson brackets on the derived moduli spaces DRep_g(a) of representations of a in a finite dimensional reductive Lie algebra g. More specifically, we show that certain derived character maps of a intertwine the derived Poisson bracket with the classical Poisson structure on the representation homology HR(a, g) related to DRep_g(a).more » « less
-
We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a non-empty Zariski open subset of this projective space and we determine this resolution explicitly. Along the way, we study two classes of graded algebras which we term narrow and extremely narrow; both of which are instances of compressed artinian algebras.more » « less
An official website of the United States government
