1. Introduction
Let be a group, a finite subset, and
a positive integer weight.
Let be the set of all words from .
For a word , we define .
For , we define as the smallest for all words that represent .
The growth series of with respect to and is defined as
|
|
|
where .
In [Ben83], Benson proved that the growth series is a rational function when is a virtually abelian group (see Theorem 2.6).
An -dimensional periodic graph is a pair of a directed graph (that may have loops and multiple edges) and a free abelian group of rank such that freely acts on and its quotient graph is finite (see Definition 2.2).
For a vertex of ,
the growth series of with respect to is defined by
|
|
|
where is defined as the number of vertices of whose distance from is .
The sequence is studied in both areas of crystallography and combinatorics (cf. [GS19]*Introduction).
Furthermore, this is also studied in relation to the Ehrhart theory (cf. [IN1, IN2]).
In [GKBS96], Grosse-Kunstleve, Brunner and Sloane conjectured that the growth series of periodic graphs are always rational functions.
In [NSMN21], the author, Sakamoto, Mase and Nakagawa proved that this conjecture is true (see Theorem 2.3).
This result is a generalization of Benson’s theorem since the Cayley graphs of virtually abelian groups are periodic graphs (see Remark 2.7).
In the proof of Theorem 2.3, they use the commutative monoid theory, and the proof is essentially different from Benson’s original proof of Theorem 2.6, where he uses his theory of “polyhedral sets”.
In [EL22], Evetts and Levine generalize Benson’s theorem to the univariate relative growth series for algebraic sets of virtually abelian groups.
For a positive integer , a subset is called algebraic if is the set of solutions of a finite system of equations with variables whose coefficients are in (see Definition 4.1).
The univariate (relative) growth series of with respect to and is defined by
|
|
|
where .
Furthermore, the multivariate (relative) growth series is defined by
|
|
|
In [EL22], for any algebraic sets of any virtually abelian groups, the univariate growth series are proved to be rational functions ([EL22]*Theorem 4.3), and furthermore, the multivariate growth series are proved to be holonomic functions ([EL22]*Corollary 4.21).
However, the rationality of the multivariate growth series remained a conjecture ([EL22]*Conjecture 5.1).
The purpose of this paper is to give an affirmative answer to this conjecture.
Theorem 1.1 ( Theorem 4.4).
Let be a finitely generated virtually abelian group, a finite subset, and a positive integer weight.
Then, for any algebraic subset of , its multivariate growth series is a rational function.
Theorem 1.1 is a consequence of Theorem 3.5, which is the corresponding theorem for periodic graphs.
The idea of the proof of Theorem 3.5 is to use an algebraic structure on the graded growth set
|
|
|
which is studied in [NSMN21] (see Appendix A).
In [IN2], further structure of , which is not used in this paper, is studied as an analogy to the Ehrhart ring.
We believe that these ideas have potential for further applications to similar studies of virtually abelian groups.
The paper is organized as follows.
In Section 2, we introduce some notations on graphs and groups, and we also summarize facts on commutative monoid theory which will be used in Section 3.
In Section 3, we prove Theorem 3.5.
In Section 4, we prove Theorem 4.4.
In Appendix A, we explain the algebraic structure of the graded growth set proved in [NSMN21].
The proofs in Appendix A are essentially the same as those in [NSMN21], but streamlined for mathematicians.
Acknowledgements.
The author would like to thank Professor Takeo Uramoto for pointing him to the connection between the paper [NSMN21] and the geometric group theory of virtually abelian groups.
He would also like to thank Takuya Inoue for many discussions.
The author is partially supported by JSPS KAKENHI No. 18K13384 and 22K13888.
3. Rationality of the growth series of periodic graphs
This section is devoted to proving Theorem 3.5.
Throughout this section, we fix an -dimensional periodic graph .
We also fix .
We define a graded growth set of with respect to by
|
|
|
Note that has a free -module structure by the free -action on .
Therefore, has a free -module structure.
The key point of the proof of Theorem 3.5 is to use the following algebraic structure of .
Theorem 3.1 ([NSMN21]).
For each subset , there exist subsets and
with the following conditions:
-
(1)
We have .
-
(2)
Each is a finitely generated submonoid of .
-
(3)
Each is a finitely generated -module.
In Appendix A, we give constructions of and , and we also give a proof of Theorem 3.1 for readers’ convenience.
In this section, we fix and that satisfy the properties (1)-(3).
Definition 3.2.
Let be a positive integer.
We identify the two sets and
(resp. and ) by the map
|
|
|
-
(1)
For a subset ,
we define by
|
|
|
-
(2)
For , we define and by
|
|
|
|
|
|
|
|
For subsets and ,
we also define
|
|
|
In the following lemma, we assume that is a submonoid of .
Since is an -module, naturally has an -module structure.
Lemma 3.3.
Let be a positive integer.
Let be a finitely generated submonoid of .
Let be a finitely generated -submodule of .
For any subset , the following assertions hold.
-
(1)
is a finitely generated monoid.
-
(2)
is a finitely generated -module.
Proof.
For each ,
the product is a finitely generated monoid since are finitely generated monoids by Theorem 3.1(2).
Since is a finitely generated monoid, is also a finitely generated monoid by Theorem 2.8(1).
Therefore, the intersection is also a finitely generated monoid again by Theorem 2.8(1).
For each ,
the product is a finitely generated -module since each is a finitely generated -module by Theorem 3.1(3).
Since is a finitely generated -module, is also a finitely generated -module by Theorem 2.8(2).
Therefore, the intersection is a finitely generated -module again by Theorem 2.8(2).
∎
Definition 3.4.
Let be a positive integer, and let be a subset.
For , we define
|
|
|
|
|
|
|
|
Let and denote their cardinalities.
Then, we define the multivariate growth series of by
|
|
|
Here, denotes for .
Theorem 3.5.
Let be a positive integer.
Let be a finitely generated submonoid of .
Let be a finitely generated -submodule of .
Then the multivariate growth series and of are rational functions.
Proof.
Since we have ,
it is sufficient to show that is a rational function.
For each ,
we have .
Since we have by Theorem 3.1(1), we have
|
|
|
By the inclusion-exclusion principle, in order to show the rationality of
|
|
|
it is sufficient to show the rationality of the series
|
|
|
for each subset .
By Theorem 2.9, the rationality of each follows from Lemma 3.3.
∎