For a tuple of square complex-valued N×N matrices A1,…,An the determinant of their linear combination x1A1+⋯+xnAn, which is called a pencil, is a homogeneous polynomial of degree N in C[x1,...xn]. Zero-set of this polynomial is an algebraic set in the projective space CPn−1. This set is called the determinantal hypersurface or determinantal manifold of the tuple (A1,...,An). It was shown in [7] that determinantal hypersurfaces contain substantial information about representations of finite Coxeter groups. Namely, if G is a non-special Coxeter group of type A,B, or D, ρ1 and ρ2 are two linear representations of G, and the determinantal hypersurfaces of images of the Coxeter generators of G under ρ1 and ρ2 coincide as divisors in the projective space, the characters of ρ1 and ρ2 are equal, and, therefore, ρ1 and ρ2 are equivalent. In [30] this result was extended in the characters part to affine Coxeter groups of types B,C, and D. It was shown there that each such group contains a finite subset such that, if the determinantal hypersurfaces of the images of this set under two finite-dimensional representations coincide as divisors in the projective space, the characters of these representations are equal. Notably, the affine Coxeter groups of A type are not covered by this result, as their combinatorics is quite different. In this paper we explicitly construct a finite set in A˜n having the same property. We also show that every group which is a semidirect product of a finite group and a finitely generated abelian group contains a finite subset with the similar property: for every finite-dimensional representation of the group, the determinantal hypersurface of images of the set determines the representation character.
Read full abstract