Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Obtaining the Solomon-Orlik algebra in QPA with the help of Sage

The Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )associates to a finite matroid a finite dimensional algebra. It is implemented in Sage to obtain generators and relations of those algebras but there seems to be no easy way to translate them into the GAP-package QPA where many more functions are available to study those algebras.

Let M be a finite matroid which we can assume for simplicity given as a finite set X of vectors with set of circuts C, which are simply the minimal linearly dependent subsets of X.

Recall that the exterior algebra on a ground set of variables x1,...,xn (assume them to be ordered x1<...<xn) is="" given="" as="" the="" quotient="" of="" the="" free="" algebra="" on="" x1,...,xn="" modulo="" the="" relations="" xi^2="" and="" xi="" xj="" +xj="" xi="" for="" i<j.<="" p="">

In QPA the exterior algebra for n=4 is for example obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];A:=KQ/rel;

Now the Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )of a matroid M is given by adding the relations $\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} ... \hat{x_{j_r}} .... x_{j_t}}$ for every element (x1< ... < xt) in the circusts C (why does the sum not display in correct latex? Sorry but I can not see the mistake at the moment).

For example when M is the matroid given by the vectors x1=t=(1,-1,0), x2=u=(0,1,-1), x3=v=(-1,0,1), x4=w=(1,1,1). then we have one circut given by x1 x2 x3 and thus one additional relation given by x2 x3 - x1 x3 +x1x2 and the algebra in QPA can be obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];A:=KQ/rel;

Question: Is there a direct way to directly obtain the quiver and relations for QPA in the format as in the examples using Sage for a given matroid?

Obtaining the Solomon-Orlik algebra in QPA with the help of Sage

The Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )associates to a finite matroid a finite dimensional algebra. It is implemented in Sage to obtain generators and relations of those algebras but there seems to be no easy way to translate them into the GAP-package QPA where many more functions are available to study those algebras.

Let M be a finite matroid which we can assume for simplicity given as a finite set X of vectors with set of circuts C, which are simply the minimal linearly dependent subsets of X.

Recall that the exterior algebra on a ground set of variables x1,...,xn (assume them to be ordered x1<...<xn) is="" given="" as="" the="" quotient="" of="" the="" free="" algebra="" on="" x1,...,xn="" modulo="" the="" relations="" xi^2="" and="" xi="" xj="" +xj="" xi="" for="" i<j.<="" x1 < ... < xn) is given as the quotient of the free algebra on x1,...,xn modulo the relations xi^2 and xi xj +xj xi for i<j.< p="">

In QPA the exterior algebra for n=4 is for example obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];A:=KQ/rel;

Now the Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )of a matroid M is given by adding the relations $\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} ... \hat{x_{j_r}} .... x_{j_t}}$ for every element (x1< ... < xt) in the circusts C (why does the sum not display in correct latex? Sorry but I can not see the mistake at the moment).

For example when M is the matroid given by the vectors x1=t=(1,-1,0), x2=u=(0,1,-1), x3=v=(-1,0,1), x4=w=(1,1,1). then we have one circut given by x1 x2 x3 and thus one additional relation given by x2 x3 - x1 x3 +x1x2 and the algebra in QPA can be obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];A:=KQ/rel;

Question: Is there a direct way to directly obtain the quiver and relations for QPA in the format as in the examples using Sage for a given matroid? matroid?

Obtaining the Solomon-Orlik algebra in QPA with the help of Sage

The Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )associates to a finite matroid a finite dimensional algebra. It is implemented in Sage to obtain generators and relations of those algebras but there seems to be no easy way to translate them into the GAP-package QPA where many more functions are available to study those algebras.

Let M be a finite matroid which we can assume for simplicity given as a finite set X of vectors with set of circuts C, which are simply the minimal linearly dependent subsets of X.

Recall that the exterior algebra on a ground set of variables x1,...,xn (assume them to be ordered x1 < ... < xn) is given as the quotient of the free algebra on x1,...,xn modulo the relations xi^2 and xi xj +xj xi for i<j.< p="">

i < j.

In QPA the exterior algebra for n=4 is for example obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];A:=KQ/rel;

Now the Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )of a matroid M is given by adding the relations $\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} ... \hat{x_{j_r}} .... x_{j_t}}$ for every element (x1< ... < xt) in the circusts C (why does the sum not display in correct latex? Sorry but I can not see the mistake at the moment).

For example when M is the matroid given by the vectors x1=t=(1,-1,0), x2=u=(0,1,-1), x3=v=(-1,0,1), x4=w=(1,1,1). then we have one circut given by x1 x2 x3 and thus one additional relation given by x2 x3 - x1 x3 +x1x2 and the algebra in QPA can be obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];A:=KQ/rel;

Question: Is there a direct way to directly obtain the quiver and relations for QPA in the format as in the examples using Sage for a given matroid?

Obtaining the Solomon-Orlik algebra in QPA with the help of Sage

The Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )associates Sage documentation: Orlik-Solomon algebra) associates to a finite matroid a finite dimensional algebra. It is implemented in Sage to obtain generators and relations of those algebras but there seems to be no easy way to translate them into the GAP-package QPA where many more functions are available to study those algebras.

Let M be a finite matroid which we can assume for simplicity given as a finite set X of vectors with set of circuts circuits C, which are simply the minimal linearly dependent subsets of X.

Recall that the exterior algebra on a ground set of variables x1,...,xn (assume them to be ordered x1 < ... < xn) is given as the quotient of the free algebra on x1,...,xn modulo the relations xi^2 and xi xj +xj xi for i < j.

In QPA the exterior algebra for n=4 is for example obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];A:=KQ/rel;
Q := Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);
KQ := PathAlgebra(Rationals,Q);
AssignGeneratorVariables(KQ);
rel := [x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];
A := KQ/rel;

Now the Solomon-Orlik algebra (see https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/orlik_solomon.html )of Sage documentation: Orlik-Solomon algebra) of a matroid M is given by adding the relations $\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} ... \hat{x_{j_r}} .... x_{j_t}}$ for every element (x1< ... < xt) in the circusts C (why does the sum not display in correct latex? Sorry but I can not see the mistake at the moment).circuits C.

For example when M is the matroid given by the vectors vectors x1=t=(1,-1,0), x2=u=(0,1,-1), x3=v=(-1,0,1), x4=w=(1,1,1). then we have one circut given by x1 x2 x3 and thus one additional relation relation given by x2 x3 - x1 x3 +x1x2 and the algebra in QPA can be obtained as follows:

Q:=Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);KQ:=PathAlgebra(Rationals,Q);AssignGeneratorVariables(KQ);rel:=[x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];A:=KQ/rel;
Q := Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);
KQ := PathAlgebra(Rationals,Q);
AssignGeneratorVariables(KQ);
rel := [x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];
A := KQ/rel;

Question: Is there a direct way to directly obtain the quiver and relations for QPA in the format as in the examples using Sage for a given matroid?

Obtaining the Solomon-Orlik algebra in QPA with the help of Sage

The Solomon-Orlik algebra (see Sage documentation: Orlik-Solomon algebra) associates to a finite matroid a finite dimensional algebra. It is implemented in Sage to obtain generators and relations of those algebras but there seems to be no easy way to translate them into the GAP-package QPA where many more functions are available to study those algebras.

Let M be a finite matroid which we can assume for simplicity given as a finite set X of vectors with set of circuits C, which are simply the minimal linearly dependent subsets of X.

Recall that the exterior algebra on a ground set of variables x1,...,xn (assume them to be ordered x1 < ... < xn) is given as the quotient of the free algebra on x1,...,xn modulo the relations xi^2 and xi xj +xj xi for i < j.

In QPA the exterior algebra for n=4 is for example obtained as follows:

Q := Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);
KQ := PathAlgebra(Rationals,Q);
AssignGeneratorVariables(KQ);
rel := [x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];
A := KQ/rel;

Now the Solomon-Orlik algebra (see Sage documentation: Orlik-Solomon algebra) of a matroid M is given by adding the relations $\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} relations $$\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} ... \hat{x_{j_r}} .... x_{j_t}}$ x_{j_t}}$$ for every element (x1< ... < xt) in the circuits C.

For example when M is the matroid given by the vectors x1=t=(1,-1,0), x2=u=(0,1,-1), x3=v=(-1,0,1), x4=w=(1,1,1). then we have one circut given by x1 x2 x3 and thus one additional relation given by x2 x3 - x1 x3 +x1x2 and the algebra in QPA can be obtained as follows:

Q := Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);
KQ := PathAlgebra(Rationals,Q);
AssignGeneratorVariables(KQ);
rel := [x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];
A := KQ/rel;

Question: Is there a direct way to directly obtain the quiver and relations for QPA in the format as in the examples using Sage for a given matroid?

Obtaining the Solomon-Orlik algebra in QPA with the help of Sage

The Solomon-Orlik algebra (see Sage documentation: Orlik-Solomon algebra) associates to a finite matroid a finite dimensional algebra. It is implemented in Sage to obtain generators and relations of those algebras but there seems to be no easy way to translate them into the GAP-package QPA where many more functions are available to study those algebras.

Let M be a finite matroid which we can assume for simplicity given as a finite set X of vectors with set of circuits C, which are simply the minimal linearly dependent subsets of X.

Recall that the exterior algebra on a ground set of variables x1,...,xn (assume them to be ordered x1 < ... < xn) is given as the quotient of the free algebra on x1,...,xn modulo the relations xi^2 and xi xj +xj xi for i < j.

In QPA the exterior algebra for n=4 is for example obtained as follows:

Q := Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);
KQ := PathAlgebra(Rationals,Q);
AssignGeneratorVariables(KQ);
rel := [x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3];
A := KQ/rel;

Now the Solomon-Orlik algebra (see Sage documentation: Orlik-Solomon algebra) of a matroid M is given by adding the relations $$\sum\limits_{r=1}^{t}{(-1)^{r-1}{x_{j_1} $$\sum_{r=1}^{t}{(-1)^{r-1}{x_{j_1} ... \hat{x_{j_r}} .... x_{j_t}}$$ for every element (x1< ... < xt) in the circuits C.

For example when M is the matroid given by the vectors x1=t=(1,-1,0), x2=u=(0,1,-1), x3=v=(-1,0,1), x4=w=(1,1,1). then we have one circut given by x1 x2 x3 and thus one additional relation given by x2 x3 - x1 x3 +x1x2 and the algebra in QPA can be obtained as follows:

Q := Quiver(1,[[1,1,"x1"],[1,1,"x2"],[1,1,"x3"],[1,1,"x4"]]);
KQ := PathAlgebra(Rationals,Q);
AssignGeneratorVariables(KQ);
rel := [x1^2,x2^2,x3^2,x4^2,x1*x2+x2*x1,x1*x3+x3*x1,x1*x4+x4*x1,x2*x3+x3*x2,x2*x4+x4*x2,x3*x4+x4*x3,x2*x3-x1*x3+x1*x2];
A := KQ/rel;

Question: Is there a direct way to directly obtain the quiver and relations for QPA in the format as in the examples using Sage for a given matroid?