K-basis of Homology of a simplicial complex

29 views
Skip to first unread message

Hola

unread,
Jun 2, 2025, 9:25:17 AMJun 2
to Macaulay2
The question concerns how to compute a -basis of the group homology of a simplicial complex. Using the command prune homology in Macaulay2, I can compute the homology groups, but I do not know how to extract the corresponding generating cycles.  

Example
Consider the oriented simplcial S complex generated by the facets set:

{ [5,6,7,8],[3,6,7,8],[3,4,7,8],[3,4,5,8],[3,4,5,6],[1,6,7,8],[1,4,7,8],[1,4,5,8],[1,4,5,6],[1,2,7,8],[1,2,5,8],[1,2,5,6],[1,2,3,8],[1,2,3,6],[1,2,3,4] }

- Running prune homology S in Macaulay2 returns:  
o11 = -1 : 0
            0 : 0
            1 : 0
                      4
            2 : QQ
            3 : 0

This tells me that the second homology group is 4-dimensional. However, I do not know how to extract a basis of explicit cycles corresponding to this homology.

In SageMath, I was able to compute a basis of and obtained the following generating 2-cycles:

c1 = [3, 4, 6]-[3, 4, 8]+[3, 6, 8]+[4, 5, 6]-[4, 5, 8]-[5, 6, 8]
c2 = [1, 4, 6]-[1, 4, 8]+[1, 6, 8]+[4, 5, 6]-[4, 5, 8]-[5, 6, 8]
c3 = [1, 3, 6]-[1, 3, 8]+[1, 6, 8]-[3, 6, 8]
c4 = [1, 2, 4]-[1, 2, 8]+[1, 4, 8]+[2, 3, 4]-[2, 3, 8]-[3, 4, 8]

Question. Is there a way in Macaulay2 to obtain the same kind of output — i.e., explicit generators of the homology group — similar to what I get in SageMath?  
Reply all
Reply to author
Forward
0 new messages