Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Checking Koszulness for incidence algebras of posets via Sage

In theorem 1.6. in the article https://www.sciencedirect.com/science/article/pii/S0001870810000538?via%3Dihub there is the characterisation that the incidence algebra kP over the field k of a given graded poset P is Koszul if and only if every intervall (x,y) in P is Cohen-Macaulay over the field k.

My question is whether one can check for a given bounded (meaning it has a global maximum and a global minimum) and graded poset P whether it is Koszul using Sage.

Thanks for any help.

Checking Koszulness for incidence algebras of posets via Sage

In theorem 1.6. in the article https://www.sciencedirect.com/science/article/pii/S0001870810000538?via%3Dihub there is the characterisation that the incidence algebra kP over the field k of a given graded poset P is Koszul if and only if every open intervall (x,y) in P is Cohen-Macaulay over the field k.

My question is whether one can check for a given bounded (meaning it has a global maximum and a global minimum) and graded poset P whether it is Koszul using Sage. Im especially interested in the cases where k is the rational number or the field with 3 elements.

Thanks for any help.

Checking Koszulness for incidence algebras of posets via Sage

In theorem 1.6. in the article https://www.sciencedirect.com/science/article/pii/S0001870810000538?via%3Dihub there is the characterisation that the incidence algebra kP over the field k of a given graded poset P is Koszul if and only if every open intervall (x,y) in P is Cohen-Macaulay over the field k.

My first question is whether one can check for a given bounded (meaning it has a global maximum and a global minimum) and graded poset P whether it is Koszul using Sage. Im especially interested in the cases where k is the rational number or the field with 3 elements.

My second question is wheter it is possible to check whether a given incidence algebra kP of a bounded poset is quadratic (this does not depend on the field k), which means that the quiver algebra kQ/I isomorphic to kP has admissible relations I where the relations are quadratic (so it contains only commutativity relations of length 2).

Thanks for any help.