The purpose of this document is to provide data about known Betti numbers of unordered configuration spaces of small graphs in order to guide research and avoid duplicated effort.

It contains information for connected multigraphs having at most six edges which contain no loops, no bivalent vertices, and no internal (i.e., non-leaf) bridges.
For each such graph there is a table of Betti numbers for configurations of small numbers of points along with Poincaré series which encode Betti numbers for all larger numbers of points.
Because the Poincaré series are rational functions, this means that for fixed i and Γ, the sequence β_{i} (B_{k}Γ) of ith Betti numbers of is eventually polynomial in the number of points k in the configuration.
For the reader's convenience, the stable polynomial is also indicated.

The enumeration of the graphs in question was done by hand and verified using Richard Mathar's preprint Statistics on Small Graphs (Table 61). The core homology computation was done using Macaulay2.

The approach uses the fact that the chains of the unordered configuration spaces of a graph are a differential graded module over a polynomial ring with variables the edges of the graph. The calculation is simplified further by a presentation of this differential graded module as the tensor product of finitely generated models for local configurations at the vertices of the graph. This picture was pioneered by Świątkowski; the action by the polynomial ring was described in my work with An and Knudsen and analyzed in later work with the same collaborators. Other related work includes the following.

- Ko and Park calculated the first Betti numbers for all graphs.
- Ramos calculated all Betti numbers for trees. For trees all values are stable. In this document, this includes the graphs with fewer than two essential vertices.
- Maciążek and Sawicki calculated all Betti numbers for theta graphs. In this document, this data is reproduced in a different form in the section for graphs with precisely two essential vertices.

A pdf version of this document is available here. I would like to thank Byung Hee An and Ben Knudsen for help and suggestions related to this project. This work was supported by IBS-R003-D1. This document was last modified July 16, 2019.

Two examples of the use of this data are as follows.

In my work with An and Knudsen, we showed that the ith Betti numbers of B_{k}(Γ) grows like a polynomial in k of degree Δ_{Γ}^{i}-1, where Δ_{Γ}^{i} is the maximal number of connected components of the complement of i points in Γ.
At the time, An made the following conjecture, which I believe has not appeared publicly, about the leading coefficient of this polynomial.

For any graph Γ and any index i> 1, the leading term of the polynomial governing the growth of the ith Betti numbers of B

C_{Γ}^{i} = (Σ_{S} Π_{v in S} (d(v)-2))/(Δ_{Γ}^{i}-1)!

where S runs over i-element subsets of the essential vertices of Γ and d(v) is the degree of a vertex.
As a second example, as expressed above, for each Γ and i the sequence β_{i} (B_{k}Γ) is eventually polynomial in k.
A priori this does not tell us when polynomiality starts.
The data here allows us to immediately eliminate some possibilities.
For example, the data for the graph with adjacency matrix

0 | 3 | 2 |

3 | 0 | 1 |

2 | 1 | 0 |

The data is consistent with the polynomial range beginning with k one greater than the number of essential vertices (assuming Γ has no isolated vertices).

Betti numbers for unordered configuration spaces of graphs with loops can be obtained by reducing to loop-free graphs with the same number of edges (see Lemma 4.6 of our second paper above). Betti numbers for unordered configuration spaces of loop-free graphs with bivalent vertices can be obtained from such information for graphs without bivalent vertices (smoothing bivalent vertices is a homeomorphism and thus does not affect the configuration spaces). Betti numbers for unordered configuration spaces of disconnected graphs can be obtained combinatorially from the counts for connected graphs by summing over all ways of partitioning the desired number of points among the path components (this is true for any locally path-connected topological spaces and is not particular to graphs). Betti numbers for unordered configuration spaces of graphs with internal bridges can be obtained in a similar combinatorial manner from such information for the graphs obtained by cutting the edge into two leaves (see Proposition 5.2 of our first paper above).

The graphs are organized by the number of essential (valence at least three) vertices. They are presented both with images and with adjacency matrices. The number of essential vertices also gives the maximal homological degree of the unordered configuration spaces of a graph; as long as there is at least one essential vertex, this maximal degree is realized for configuration spaces of sufficiently many points (uniformly, twice the number of essential vertices is always enough to realize the maximal degree). The graphs are enumerated essentially at random within the grouping by number of essential vertices. Unstable values are indicated in bold. All values not explicitly included in the tables of data are stable and are calculated by the indicated stable polynomial value.

The core computation of a presentation for the homology and all Poincaré series for 36 graphs (the isolated vertex and edge have irregular chain complexes because they have no essential vertices and therefore were computed by hand) took between four and five seconds on a late 2012 MacBook Pro.
Pushing the kind of calculation pursued here from graphs with six to seven, eight, or possibly even nine edges should be more or less just a problem of graph enumeration.
For example, the full computation for the complete graph K_{5} with two disjoint edges removed (eight edges) takes under a minute. On the other hand, the full computation for the complete graph K_{5} with a single edge removed (nine edges) takes seven minutes, and I did not complete the computation for K_{5} itself (ten edges).

Example code for the core computation looks as follows. It presents a local two-stage chain complex model for each vertex and then tensors them together, both over the full polynomial ring on the edges.

` ````
-- macaulay script for H_*(B_*(K4))
R = ZZ[e_0, e_1, e_2, e_3, e_4, e_5]
C0 = chainComplex { matrix {{e_4 - e_0, e_5 - e_0}} }
C1 = chainComplex { matrix {{e_1 - e_0, e_2 - e_0}} }
C2 = chainComplex { matrix {{e_3 - e_1, e_5 - e_1}} }
C3 = chainComplex { matrix {{e_3 - e_2, e_4 - e_2}} }
C = C0 ** C1 ** C2 ** C3
H = HH (C)
p0 = hilbertSeries (H_0, Reduce => true)
p1 = hilbertSeries (H_1, Reduce => true)
p2 = hilbertSeries (H_2, Reduce => true)
p3 = hilbertSeries (H_3, Reduce => true)
p4 = hilbertSeries (H_4, Reduce => true)
```

0 |

Note: values calculated by hand

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 0 | 1+t | 0 |

0 | 1 |

1 | 0 |

Note: values calculated by hand

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | Poincaré series | stable polynomial value |
---|---|---|---|

0 | 1 | 1/(1-t) | 1 |

0 | 1 | 1 | 1 |

1 | 0 | 0 | 0 |

1 | 0 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | Poincaré series | stable polynomial value |
---|---|---|---|

0 | 1 | 1/(1-t) | 1 |

1 | 0 | t^{2}/(1-t)^{3} |
(-k+k^{2})/2! |

0 | 1 | 1 | 1 | 1 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | Poincaré series | stable polynomial value |
---|---|---|---|

0 | 1 | 1/(1-t) | 1 |

1 | 0 | (3t^{2}-t^{3})/(1-t)^{4} |
(-5k+3k^{2}+2k^{3})/3! |

0 | 1 | 1 | 1 | 1 | 1 |

1 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | Poincaré series | stable polynomial value |
---|---|---|---|

0 | 1 | 1/(1-t) | 1 |

1 | 0 | (6t^{2}-4t^{3}+t^{4})/(1-t)^{5} |
(-26k+9k^{2}+14k^{3}+3k^{4})/4! |

0 | 1 | 1 | 1 | 1 | 1 | 1 |

1 | 0 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | Poincaré series | stable polynomial value |
---|---|---|---|

0 | 1 | 1/(1-t) | 1 |

1 | 0 | (10t^{2}-10t^{3}+5t^{4}-t^{5})/(1-t)^{6} |
(-154k+25k^{2}+90k^{3}+35k^{4}+4k^{5})/5! |

0 | 3 |

3 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 3 | (2t+t^{2})/(1-t) |
3 |

2 | 0 | 0 | 0 | t^{4}/(1-t)^{3} |
(6-5k+k^{2})/2! |

0 | 4 |

4 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 6 | (3t+3t^{2})/(1-t) |
6 |

2 | 0 | 0 | 0 | (t^{3}+6t^{4}-3t^{5})/(1-t)^{4} |
(36-10k-12k^{2}+4k^{3})/3! |

0 | 5 |

5 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 4 | 10 | (4t+6t^{2})/(1-t) |
10 |

2 | 0 | 0 | 0 | (4t^{3}+19t^{4}-20t^{5}+6t^{6})/(1-t)^{5} |
(240-30k-69k^{2}-6k^{3}+9k^{4})/4! |

0 | 6 |

6 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 5 | 15 | (5t+10t^{2})/(1-t) |
15 |

2 | 0 | 0 | 0 | (10t^{3}+45t^{4}-74t^{5}+45t^{6}-10t^{7})/(1-t)^{6} |
(1800-116k-400k^{2}-140k^{3}+40k^{4}+16k^{5})/5! |

0 | 3 | 1 | 1 |

3 | 0 | 0 | 0 |

1 | 0 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 8 | (2t+2t^{2}-2t^{3}+t^{4})/(1-t)^{3} |
(2+k+3k^{2})/2! |

2 | 0 | 0 | 0 | (6t^{4}-4t^{5}+t^{6})/(1-t)^{5} |
(24+10k-3k^{2}-10k^{3}+3k^{4})/4! |

0 | 4 | 1 | 1 |

4 | 0 | 0 | 0 |

1 | 0 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 13 | (3t+4t^{2}-6t^{3}+3t^{4})/(1-t)^{3} |
(6+2k+4k^{2})/2! |

2 | 0 | 0 | 0 | (t^{3}+25t^{4}-30t^{5}+15t^{6}-3t^{7})/(1-t)^{6} |
(360+112k-10k^{2}-120k^{3}+10k^{4}+8k^{5})/5! |

0 | 3 | 1 | 1 | 1 |

3 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 12 | (2t+4t^{2}-4t^{3}+3t^{4}-t^{5})/(1-t)^{4} |
(6-k+9k^{2}+4k^{3})/3! |

2 | 0 | 0 | 0 | (10t^{4}-10t^{5}+5t^{6}-t^{7})/(1-t)^{6} |
(120+26k+5k^{2}-30k^{3}-5k^{4}+4k^{5})/5! |

0 | 1 | 0 | 0 |

1 | 0 | 2 | 0 |

0 | 2 | 0 | 1 |

0 | 0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | Poincaré series | stable polynomial value |
---|---|---|---|---|

0 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 1 | (t+t^{2})/(1-t)^{2} |
-1+2k |

2 | 0 | 0 | t^{4}/(1-t)^{4} |
(-6+11k-6k^{2}+k^{3})/3! |

0 | 1 | 0 | 0 |

1 | 0 | 3 | 0 |

0 | 3 | 0 | 1 |

0 | 0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 7 | (2t+3t^{2}-t^{3})/(1-t)^{2} |
-1+4k |

2 | 0 | 0 | 0 | (9t^{4}-6t^{5}+t^{6})/(1-t)^{5} |
(-24+92k-40k^{2}-8k^{3}+4k^{4})/4! |

0 | 1 | 0 | 0 |

1 | 0 | 4 | 0 |

0 | 4 | 0 | 1 |

0 | 0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 12 | (3t+6t^{2}-3t^{3})/(1-t)^{2} |
6k |

2 | 0 | 0 | 0 | (t^{3}+31t^{4}-38t^{5}+18t^{6}-3t^{7})/(1-t)^{6} |
(706k-255k^{2}-115k^{3}+15k^{4}+9k^{5})/5! |

0 | 3 | 0 |

3 | 0 | 1 |

0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 5 | (2t+t^{2}-t^{3})/(1-t)^{2} |
1+2k |

2 | 0 | 0 | 0 | (3t^{4}-t^{5})/(1-t)^{4} |
(6+7k-9k^{2}+2k^{3})/3! |

0 | 4 | 0 |

4 | 0 | 1 |

0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 9 | (3t+3t^{2}-3t^{3})/(1-t)^{2} |
3+3k |

2 | 0 | 0 | 0 | (t^{3}+14t^{4}-12t^{5}+3t^{6})/(1-t)^{5} |
(72+56k-54k^{2}-8k^{3}+6k^{4})/4! |

0 | 5 | 0 |

5 | 0 | 1 |

0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 4 | 14 | (4t+6t^{2}-6t^{3})/(1-t)^{2} |
6+4k |

2 | 0 | 0 | 0 | (4t^{3}+39t^{4}-55t^{5}+30t^{6}-6t^{7})/(1-t)^{6} |
(720+418k-325k^{2}-130k^{3}+25k^{4}+12k^{5})/5! |

0 | 2 | 0 | 1 | 1 |

2 | 0 | 1 | 0 | 0 |

0 | 1 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | Poincaré series | stable polynomial value |
---|---|---|---|---|

0 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 1 | (t+2t^{2}-t^{3})/(1-t)^{3} |
(-2+2k+2k^{2})/2! |

2 | 0 | 0 | (3t^{4}-t^{5})/(1-t)^{5} |
(-24+32k-2k^{2}-8k^{3}+2k^{4})/4! |

0 | 3 | 0 | 1 | 1 |

3 | 0 | 1 | 0 | 0 |

0 | 1 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 10 | (2t+4t^{2}-4t^{3}+t^{4})/(1-t)^{3} |
(-2+5k+3k^{2})/2! |

2 | 0 | 0 | 0 | (18t^{4}-18t^{5}+7t^{6}-t^{7})/(1-t)^{6} |
(-120+334k-5k^{2}-100k^{3}+5k^{4}+6k^{5})/5! |

0 | 1 | 0 | 0 | 0 | 0 |

1 | 0 | 2 | 0 | 0 | 0 |

0 | 2 | 0 | 1 | 1 | 1 |

0 | 0 | 1 | 0 | 0 | 0 |

0 | 0 | 1 | 0 | 0 | 0 |

0 | 0 | 1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | Poincaré series | stable polynomial value |
---|---|---|---|---|

0 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 1 | (t+4t^{2}-3t^{3}+t^{4})/(1-t)^{4} |
(-6+3k+6k^{2}+3k^{3})/3! |

2 | 0 | 0 | (6t^{4}-4t^{5}+t^{6})/(1-t)^{6} |
(-120+142k+5k^{2}-25k^{3}-5k^{4}+3k^{5})/5! |

0 | 0 | 1 | 0 | 0 | 0 |

0 | 0 | 1 | 0 | 0 | 0 |

1 | 1 | 0 | 2 | 0 | 0 |

0 | 0 | 2 | 0 | 1 | 1 |

0 | 0 | 0 | 1 | 0 | 0 |

0 | 0 | 0 | 1 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | Poincaré series | stable polynomial value |
---|---|---|---|---|

0 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 1 | (t+4t^{2}-t^{3})/(1-t)^{3} |
(-2+4k^{2})/2! |

2 | 0 | 0 | (9t^{4}-6t^{5}+t^{6})/(1-t)^{6} |
(-120+76k+120k^{2}-80k^{3}+4k^{5})/5! |

0 | 3 | 0 | 0 |

3 | 0 | 2 | 0 |

0 | 2 | 0 | 1 |

0 | 0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 8 | 12 | (3t+2t^{2}-t^{3})/(1-t)^{2} |
4k |

2 | 0 | 0 | 0 | 3 | (3t^{3}+5t^{4}-3t^{5}+t^{6})/(1-t)^{4} |
(-18+30k-24k^{2}+6k^{3})/3! |

3 | 0 | 0 | 0 | 0 | (6t^{6}-4t^{7}+t^{8})/(1-t)^{6} |
(-360+222k-205k^{2}+135k^{3}-35k^{4}+3k^{5})/5! |

0 | 3 | 0 |

3 | 0 | 3 |

0 | 3 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | 4 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 4 | 10 | 14 | 18 | (4t+2t^{2}-2t^{3})/(1-t)^{2} |
2+4k |

2 | 0 | 0 | 0 | 4 | 23 | (4t^{3}+7t^{4}-5t^{5}+3t^{6}-t^{7})/(1-t)^{4} |
(18+22k-30k^{2}+8k^{3})/3! |

3 | 0 | 0 | 0 | 0 | 0 | (10t^{6}-10t^{7}+5t^{8}-t^{9})/(1-t)^{6} |
(120+126k-255k^{2}+170k^{3}-45k^{4}+4k^{5})/5! |

0 | 2 | 2 |

2 | 0 | 1 |

2 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 5 | 5 | (3t+2t^{2})/(1-t) |
5 |

2 | 0 | 0 | 0 | 2 | (2t^{3}+3t^{4}-t^{5})/(1-t)^{3} |
(10-14k+4k^{2})/2! |

3 | 0 | 0 | 0 | 0 | (3t^{6}-t^{7})/(1-t)^{5} |
(-120k+94k^{2}-24k^{3}+2k^{4})/4! |

0 | 2 | 2 |

2 | 0 | 2 |

2 | 2 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | 4 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 4 | 7 | 7 | 7 | (4t+3t^{2})/(1-t) |
7 |

2 | 0 | 0 | 0 | 8 | 33 | (8t^{3}+9t^{4}-6t^{5}+t^{6})/(1-t)^{3} |
(18-36k+12k^{2})/2! |

3 | 0 | 0 | 0 | 0 | 0 | (27t^{6}-27t^{7}+9t^{8}-t^{9})/(1-t)^{6} |
(240-1948k+1080k^{2}-40k^{3}-60k^{4}+8k^{5})/5! |

0 | 3 | 2 |

3 | 0 | 1 |

2 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | 4 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 4 | 8 | 8 | 8 | (4t+4t^{2})/(1-t) |
8 |

2 | 0 | 0 | 0 | 6 | 31 | (6t^{3}+7t^{4}-11t^{5}+5t^{6}-t^{7})/(1-t)^{4} |
(42-36k-6k^{2}+6k^{3})/3! |

3 | 0 | 0 | 0 | 0 | 0 | (18t^{6}-18t^{7}+7t^{8}-t^{9})/(1-t)^{6} |
(-120-526k+235k^{2}+100k^{3}-55k^{4}+6k^{5})/5! |

0 | 1 | 1 | 1 |

1 | 0 | 2 | 0 |

1 | 2 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 4 | (2t-t^{3})/(1-t)^{2} |
2+k |

2 | 0 | 0 | 0 | (t^{3}+2t^{4})/(1-t)^{3} |
(14-13k+3k^{2})/2! |

3 | 0 | 0 | 0 | t^{6}/(1-t)^{5} |
(120-154k+71k^{2}-14k^{3}+k^{4})/4! |

0 | 1 | 1 | 1 |

1 | 0 | 3 | 0 |

1 | 3 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 7 | 8 | (3t+t^{2}-3t^{3})/(1-t)^{2} |
5+k |

2 | 0 | 0 | 0 | 3 | (3t^{3}+7t^{4}-7t^{5}+t^{6})/(1-t)^{4} |
(66-52k+4k^{3})/3! |

3 | 0 | 0 | 0 | 0 | (9t^{6}-6t^{7}+t^{8})/(1-t)^{6} |
(720-1044k+280k^{2}+80k^{3}-40k^{4}+4k^{5})/5! |

0 | 2 | 2 | 1 |

2 | 0 | 1 | 0 |

2 | 1 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 8 | 11 | (3t+2t^{2}-2t^{3})/(1-t)^{2} |
2+3k |

2 | 0 | 0 | 0 | 2 | (2t^{3}+7t^{4}-4t^{5}+t^{6})/(1-t)^{4} |
(-6+24k-24k^{2}+6k^{3})/3! |

3 | 0 | 0 | 0 | 0 | (6t^{6}-4t^{7}+t^{8})/(1-t)^{6} |
(-360+222k-205k^{2}+135k^{3}-35k^{4}+3k^{5})/5! |

0 | 2 | 1 | 1 |

2 | 0 | 2 | 0 |

1 | 2 | 0 | 0 |

1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 7 | 9 | (3t+t^{2}-2t^{3})/(1-t)^{2} |
3+2k |

2 | 0 | 0 | 0 | 4 | (4t^{3}+5t^{4}-6t^{5}+t^{6})/(1-t)^{4} |
(54-46k+4k^{3})/3! |

3 | 0 | 0 | 0 | 0 | (9t^{6}-6t^{7}+t^{8})/(1-t)^{6} |
(720-1044k+280k^{2}+80k^{3}-40k^{4}+4k^{5})/5! |

0 | 1 | 0 | 0 | 0 |

1 | 0 | 2 | 0 | 0 |

0 | 2 | 0 | 2 | 0 |

0 | 0 | 2 | 0 | 1 |

0 | 0 | 0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 6 | (2t+2t^{2})/(1-t)^{2} |
-2+4k |

2 | 0 | 0 | 0 | (2t^{3}+3t^{4}-t^{5})/(1-t)^{4} |
(6+11k-15k^{2}+4k^{3})/3! |

3 | 0 | 0 | 0 | (3t^{6}-t^{7})/(1-t)^{6} |
(360-222k-95k^{2}+100k^{3}-25k^{4}+2k^{5})/5! |

0 | 1 | 1 | 1 | 1 |

1 | 0 | 2 | 0 | 0 |

1 | 2 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

1 | 0 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 6 | (2t-t^{3}+t^{4})/(1-t)^{3} |
(4+2k^{2})/2! |

2 | 0 | 0 | 0 | (3t^{3}+3t^{4}-2t^{5})/(1-t)^{4} |
(30-13k-9k^{2}+4k^{3})/3! |

3 | 0 | 0 | 0 | (3t^{6}-t^{7})/(1-t)^{6} |
(360-222k-95k^{2}+100k^{3}-25k^{4}+2k^{5})/5! |

0 | 2 | 1 | 0 | 0 |

2 | 0 | 1 | 1 | 0 |

1 | 1 | 0 | 0 | 1 |

0 | 1 | 0 | 0 | 0 |

0 | 0 | 1 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 2 | 6 | (2t+2t^{2}-t^{3})/(1-t)^{2} |
3k |

2 | 0 | 0 | 0 | (t^{3}+5t^{4}-2t^{5})/(1-t)^{4} |
(18+5k-15k^{2}+4k^{3})/3! |

3 | 0 | 0 | 0 | (3t^{6}-t^{7})/(1-t)^{6} |
(360-222k-95k^{2}+100k^{3}-25k^{4}+2k^{5})/5! |

0 | 1 | 1 | 1 | 0 | 0 |

1 | 0 | 1 | 0 | 1 | 0 |

1 | 1 | 0 | 0 | 0 | 1 |

1 | 0 | 0 | 0 | 0 | 0 |

0 | 1 | 0 | 0 | 0 | 0 |

0 | 0 | 1 | 0 | 0 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | Poincaré series | stable polynomial value |
---|---|---|---|---|

0 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 1 | (t+2t^{2})/(1-t)^{2} |
-2+3k |

2 | 0 | 0 | 3t^{4}/(1-t)^{4} |
(-18+33k-18k^{2}+3k^{3})/3! |

3 | 0 | 0 | t^{6}/(1-t)^{6} |
(-120+274k-225k^{2}+85k^{3}-15k^{4}+k^{5})/5! |

0 | 1 | 0 | 2 |

1 | 0 | 2 | 0 |

0 | 2 | 0 | 1 |

2 | 0 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 5 | 5 | (3t+2t^{2})/(1-t) |
5 |

2 | 0 | 0 | 1 | 4 | (t^{2}+t^{3}+t^{4}-t^{5})/(1-t)^{3} |
(-4-2k+2k^{2})/2! |

3 | 0 | 0 | 0 | 0 | (2t^{5}+2t^{6})/(1-t)^{4} |
(-168+146k-42k^{2}+4k^{3})/3! |

4 | 0 | 0 | 0 | 0 | t^{8}/(1-t)^{6} |
(-2520+2754k-1175k^{2}+245k^{3}-25k^{4}+k^{5})/5! |

0 | 1 | 1 | 1 |

1 | 0 | 1 | 1 |

1 | 1 | 0 | 1 |

1 | 1 | 1 | 0 |

Betti numbers β_{i}(B_{k}(Γ)):

i\k | 0 | 1 | 2 | 3 | Poincaré series | stable polynomial value |
---|---|---|---|---|---|---|

0 | 1 | 1 | 1 | 1 | 1/(1-t) | 1 |

1 | 0 | 3 | 4 | 4 | (3t+t^{2})/(1-t) |
4 |

2 | 0 | 0 | 0 | 3 | (3t^{3}+3t^{4})/(1-t)^{2} |
-15+6k |

3 | 0 | 0 | 0 | 0 | 4t^{6}/(1-t)^{4} |
(-240+188k-48k^{2}+4k^{3})/3! |

4 | 0 | 0 | 0 | 0 | t^{8}/(1-t)^{6} |
(-2520+2754k-1175k^{2}+245k^{3}-25k^{4}+k^{5})/5! |