Abstract:Let $G$ be a finite group. A contravariant functor from the category of finite free $G$-sets to vector spaces has an associated Hilbert series, which records the underlying sequence of $G^n$ representations, $n \in \mathbb N$. We prove that this Hilbert series is rational with denominator given by linear polynomials with coefficients in the field generated by the character table of $G$.
What problem does this paper attempt to address?
This paper aims to solve the problems related to the Hilbert series of the representations of a finite group \(G\). Specifically, the paper focuses on the Hilbert series associated with the contravariant functor from the finite free \(G\)-sets to vector spaces. These Hilbert series record the underlying \(G^n\) representation sequences, where \(n\in\mathbb{N}\). The main goal of the paper is to prove that such Hilbert series are rational and that their denominators are given by linear polynomials whose coefficients belong to the field generated by the character table of \(G\).
### Core problems of the paper
- **Which \(G^n\) representation sequences can be generated in this way?**
In fact, in general, any sequence is possible. However, when the module \(M\) is finitely generated (see Definition 3.1), there are strict restrictions on the possible representation sequences. This paper answers Sam - Snowden's question by restricting the possible Hilbert series of finitely generated \((\text{FS}_G)^{\text{op}}\) modules.
### Main results
The main results of the paper are:
- **Theorem 1.3**: Let \(M\) be a sub - quotient module of an \(\text{FS}_G\) module generated in degrees \(\leq d\), then \(H_M\) is rational and its denominator is a product of polynomials of degree 1, in the form:
\[
1-\sum_{c}a_cx_c,
\]
where the sum is taken over the \(p\)-regular conjugate classes \(c\) of \(G\), \(a_c\in\mathbb{N}\), and \(a_c\leq|G|^d\).
### Proof strategy
The paper uses the research results of the author on \(\text{FS}^{\text{op}}\) modules previously. Finitely generated \((\text{FS}_G)^{\text{op}}\) modules are restricted to finitely generated \(\text{FS}^{\text{op}}\) modules by the functor \(X\mapsto G\times X\). In the previous paper, for each \(\text{FS}^{\text{op}}\) module \(M\) and \(d\in\mathbb{N}\), a Koszul complex \(K_d(M)\) was constructed. It was further proved that if \(M\) is finitely generated, then the cohomology of many iterated Koszul complexes \(K_{d_1}\circ\cdots\circ K_{d_r}(M)\) vanishes. Since the Hilbert series of \(K_d(M)\) is related to the Hilbert series of \(M\) in a predictable way, the vanishing of this cohomology implies that the Hilbert series \(H_M\) satisfies non - trivial relations. Through these relations, the specific form of \(H_M\) can be obtained.
### Applications and examples
The paper also provides some specific examples and calculations, showing how to apply the main results to calculate specific Hilbert series. For example, for the projective representation \(W\) of \(G\), an \((\text{FS}_G)^{\text{op}}\) module \(Q_W\) is constructed, whose Hilbert series can be written explicitly.
In conclusion, this paper provides a new perspective for understanding the structure of such modules by in - depth study of the properties of the Hilbert series of finitely generated \((\text{FS}_G)^{\text{op}}\) modules.