In this example, we identify the Betti characters of the defining ideal of the Klein configuration of points in the projective plane and its square. The defining ideal of the Klein configuration is explicitly constructed in Proposition 7.3 of T. Bauer, S. Di Rocco, B. Harbourne, J. Huizenga, A. Seceleanu, T. Szemberg - Negative Curves on Symmetric Blowups of the Projective Plane, Resurgences, and Waldschmidt Constants. We start by constructing the ideal, its square, and both their resolutions and Betti tables. In order to later use characters, we work over the cyclotomic field obtained by adjoining a primitive 7th root of unity to $\mathbb{Q}$.
|
|
|
|
|
|
|
|
|
|
|
The unique simple group of order 168 acts as described in ยง2.2 of BDHHSS. In particular, the group is generated by the elements g of order 7, h of order 3, and i of order 2, and is minimally defined over the 7th cyclotomic field. In addition, we consider the identity, the inverse of g, and another element j of order 4 as representatives of the conjugacy classes of the group. The action of the group on the resolution of both ideals is described in the second proof of Proposition 8.1.
|
|
|
|
|
We compute the action of this group on the two resolutions above. Notice how the group action is passed as a list of square matrices (instead of one-row substitution matrices as in BettiCharacters Example 1 and BettiCharacters Example 2); to enable this, we set the option Sub to false.
|
|
|
|
Next we set up the character table of the group and decompose the Betti characters of the resolutions. The arguments are: a list with the cardinality of the conjugacy classes, a matrix with the values of the irreducible characters, the base polynomial ring, and the complex conjugation map restricted to the field of coefficients. See characterTable for more details.
|
|
|
|
|
|
Since X0 is the trivial character, this computation shows that the free module in homological degree two in the resolution of the defining ideal of the Klein configuration is a direct sum of two trivial representations, one in degree 11 and one in degree 13. It follows that its second exterior power is a trivial representation concentrated in degree 24. As observed in the second proof of Proposition 8.1 in BDHHSS, the free module in homological degree 3 in the resolution of the square of the ideal is exactly this second exterior power (and a trivial representation).
Alternatively, we can compute the symbolic square of the ideal modulo the ordinary square. The component of degree 21 of this quotient matches the generators of the last module in the resolution of the ordinary square in degree 24 (by local duality); in particular, it is a trivial representation. We can verify this directly.
|
|
|
|
|
|