Generating sequences of Lefschetz numbers of iterates

Du, Huang and Li showed in 2003 that the class of Dold–Fermat sequences coincides with the class of Newton sequences, which are defined in terms of so-called generating sequences. The sequences of Lefschetz numbers of iterates form an important subclass of Dold–Fermat (thus also Newton) sequences. In this paper we characterize generating sequences of Lefschetz numbers of iterates.


Introduction
Dold-Fermat sequences constitute a class of integer sequences satisfying some congruences [cf. (2.3)] that play important role both in number theory and dynamical systems. Let us mention that the class is called Fermat sequences by some authors [5,6], while some others name it Dold sequences (cf. for example [15]). In particular, the sequences of fixed point indices of iterates are Dold-Fermat sequences, which shows the importance of this class of sequences in periodic point theory, where the existence of such congruences often leads to valuable information about behavior of orbits and dynamics of a map near fixed or periodic points.
Another important class of sequences are Newton sequences, whose definition is based on classical Newton identities. Newton sequences are defined by (and are in a one-to-one correspondence with) the so-called generating sequences (see Definition 2.9). Du, Huang and Li showed in 2003 that in fact every Dold-Fermat sequence is a Newton sequence and conversely [5].
In this paper we establish some relations between the classes of sequences mentioned above and the Lefschetz numbers of iterates. Every sequence of Lefschetz numbers of iterates of a certain map f is a Dold-Fermat sequence, thus also a Newton sequence. On the other hand, the sequences of Lefschetz numbers make a proper subset of all Dold-Fermat sequences. This fact stimulates natural question formulated by K. Wójcik during the 7th Symposium of Nonlinear Analysis (Toruń, Poland 2015): what are the generating sequences of Lefschetz numbers?
The aim of this article is to present a certain characterization of generating sequences of Lefschetz numbers of iterates.
The paper is organized in the following way. In the second section we define Lefschetz numbers, Dold-Fermat sequences and Newton sequences and show the connections between them. In Sect. 3 we find the formula for the generating sequence of the sum of two Newton sequences (Theorem 3.2) which allows us to interpret the operation of assigning a generating sequence to a given Newton sequence as a group homomorphism. In this part of the paper we also give a new, alternative proof of the fact that the classes of Dold-Fermat sequences and Newton sequences coincide (Theorems 4.3 and 4.5). Section 4 is devoted to the description of the generating sequences of (tr A n ) n and (− tr B n ) n , where A and B are integral matrices, expressed in term of coefficients of its characteristic polynomials. In the final Sect. 5 we gather the results of the two previous sections and describe the possible forms of generating sequences of Lefschetz numbers under given bounds on the dimensions of the corresponding homology spaces. We also illustrate how this description can be used to verify whether a given sequence is a generating sequence of some Lefschetz numbers.

Lefschetz numbers of iterates, Dold-Fermat sequences and Newton sequences
In this section we introduce three main classes of integer sequences considered in the article.

Lefschetz numbers of iterates
We start with giving the definition of Lefschetz numbers, for simplicity we confine ourselves to homology with rational coefficients. Let us consider a finite CW-complex K of dimension m with the homology groups where tr( f n ) * i is the trace of the integer matrix representing ( f n ) * i : [15]).
Let us divide homology groups into the odd-dimensional and the even-dimensional ones: and analogously for the induced homomorphisms Then L( f n ) = tr f n * ev − tr f n * odd .
As a consequence, every sequence of Lefschetz numbers can be represented as the difference of traces of powers of two integer matrices, i.e.
where A ev and B odd are the matrices representing f * ev and f * odd , respectively. In the later part of the paper, we will use the formula (2.2) as the definition of the sequence of Lefschetz numbers, usually abstracting from the topological background. In fact, note that for any sequence having the form of the right-hand side of (2.2) one can find its topological realization as Lefschetz numbers. Let us remark that the sequence of Lefschetz numbers of iterates is a very useful device in periodic point theory, cf. [4,11,12,15,18] and the references therein.

Dold-Fermat sequences and their relation to Lefschetz numbers
Definition 2.3 A sequence of integer numbers (a n ) ∞ n=1 will be called a Dold-Fermat sequence if the following congruences (called Dold congruences or Dold relations) are fulfilled: k|n μ(k)a n k ≡ 0 (mod n) for each n ≥ 1, where μ : N → Z is the classical Möbius function, given by the formula

Remark 2.4
Consider the sequence a n = a n . For a prime number n = p the congruences (2.3) take the form: which is the well-known Fermat's Little Theorem. The following generalized version of this theorem holds for traces of matrices (cf. for example Theorem 1.10 in [19]): for every A ∈ M n (Z), p-prime, α ∈ N, we have Then by induction with respect to the number of primes dividing n one may show that the sequence (tr A n ) n satisfies the Dold congruences (Theorem 1.9 in [19]), and as a consequence any sequence of Lefschetz numbers of iterates is a Dold-Fermat sequence (for a dynamical proof cf. Lemma 10 in [5]). In fact, this statement was known in the literature much earlier and appeared in different contexts (see [22,23]).
There is a convenient way of writing down a Dold-Fermat sequence using the socalled periodic expansion, i.e. as a combination of some basic periodic sequences.

Definition 2.5
Let k be a fixed natural number. We define Thus, reg k is the periodic sequence: where the non-zero entries appear for indices divisible by k. Proposition 2.6 (cf. [19] Proposition 2.7) Any arithmetic function (g n ) ∞ n=1 can be written uniquely in the following form of a periodic expansion: Moreover, g is integral valued and satisfies Dold congruences if and only if α k ∈ Z for every k ∈ N. Remark 2.7 By Proposition 2.6 every Dold-Fermat sequence is an integral combination (possibly infinite) of basic sequences reg k .
Sequences of Lefschetz numbers make a proper subset of Dold-Fermat sequences. This results from a cardinality argument: there are only countably many sequences that are given as differences of traces of powers of integer matrices, while there are uncountably many Dold-Fermat sequences. In order to show an example of a sequence that is Dold-Fermat but is not a sequence of Lefschetz numbers it is enough to observe that Lefschetz numbers cannot increase faster than exponentially.
Then by the Möbius inversion formula n n = k|n μ(n/k)g(k), and thus α n = 1 n n n ∈ Z, so (g n ) n , by Proposition 2.6, is a Dold-Fermat sequence. On the other hand, consider a sequence of Lefschetz numbers of iterates (L( f n )) n , which by definition has the form (2.2). Then |L( f n )| ≤ cρ n , where c is some positive constant and ρ is the greatest modulus of eigenvalues of matrices A ev and B odd (cf. [1]). As a consequence, (g n ) n could not be a sequence of Lefschetz numbers of iterates.
for n > 1, and assume that the set of fixed points of f n , Fix( f n ), is compact. Then, for each n the fixed point index ind( f n ) := ind( f n , V n ) is a well-defined integer [7].
The fact that (ind( f n )) n is a Dold-Fermat sequence was proved by A. Dold in 1985 [7]. The study of fixed point indices of iterates was used in many contexts in periodic point theory and dynamics, cf. for example [3,[8][9][10][11]13,21].

Newton sequences and generating sequences
Definition 2.9 A sequence of integer numbers (a n ) n is a Newton sequence generated by the sequence of integers (c n ) n if: a n = c 1 a n−1 + c 2 a n−2 + · · · + c n−1 a 1 + nc n . (2.6) Example 2. 10 The sequence (a n ) n is generated by the finite sequence (a, 0, 0, . . .) while the sequence (−b n ) n is generated by the infinite sequence (−b n ) n (cf. Theorem 4.6).
The definition of Newton sequences (cf. [14]) is based on the famous Newton identities (cf. [6,20]), which play an important role in dynamics, algebra and number theory. The class of Newton sequences encompasses many well-known types of sequences such as k-Lucas sequences or generalized k-Fibonacci sequences.
It turned out that there is a strict relation between Newton and Dold-Fermat sequences.
Our aim is to describe the Lefschetz numbers of iterates, regarded as a proper subset of the Dold-Fermat (hence Newton) sequences in terms of their generating sequences. We want thus to answer the following question:

Problem 2.12 What are the generating sequences of sequences of Lefschetz numbers of iterates?
Note that the formula (2.6) in the definition of Newton sequence can be written as: 0 = −a n + c 1 a n−1 + c 2 a n−2 + · · · + c n−1 a 1 + nc n .
For the sake of convenience we extend the domain of a generating sequence (c n ) n from N = N + to N + ∪ {0}, by putting c 0 = −1. Then we have: (2.7)

The generating sequence of a sum of Newton sequences
In this section we establish the formula for generating sequence of a sum of two Newton sequences. It turns out that this formula is almost an immediate consequence of the formal power series approach, in which the relation between a given Newton sequence and its generating sequence has very simple and elegant form.
Theorem 3.1 [Theorem 2 (1) in [6]] A sequence (a n ) n is a Dold sequence generated by (c n ) n if and only if the following formal power series equality holds: Theorem 3.2 Assume that a sequence (a n ) n is a Newton sequence generated by a sequence (c n ) n and a sequence (b n ) n is a Newton sequence generated by a sequence (d n ) n . Then the sequence (a n + b n ) n is a Newton sequence generated by the sequence  Our aim, which we realize in the next sections, is to describe the set T (L), where L denotes the set of sequences of the Lefchetz numbers of iterates.

Generating sequences of the sequences of the form (tr A n ) n and (− tr B n ) n
Let us consider first a simpler situation in which Problem 2.12 is reduced to the case B odd = 0, i.e. to finding a generating sequence of a n = tr A n ev . In this case the generating sequence (c n ) n turns out to be finite (i.e. for some m ≥ 1, c m+1 = c m+2 = · · · = 0) and c n are equal to the coefficients of the characteristic polynomial of A ev multiplied by −1.
In more details, let W = x m − c 1 x m−1 − c 2 x m−2 − · · · − c m−1 x − c m be the characteristic polynomial of the matrix A ev . Then we may consider the companion matrix M m of the polynomial W : As a consequence, both sequences have the same generating sequence.
Let us determine the generating sequence of the sequence a(n) = reg k (n), where k ∈ N is fixed.
Proof Consider the matrix M k given by the formula (4.1) with c 1 = c 2 = · · · = c k−1 = 0 and c k = 1. Then it is easy to see that tr M n k = reg k (n), which ends the proof by Remark 4.1.
By the use of the language of periodic expansion, basing on Theorem 3.2 and Lemma 4.2, we are able to give a short, alternative proof of Theorem 2.11.

Theorem 4.3 Every Dold-Fermat sequence is a Newton sequence.
Proof Let (g n ) be a Dold-Fermat sequence. To prove the theorem it is enough to show that for any fixed natural n 0 the sequence T ((g n ) n 0 n=1 ) takes integer values. On the other hand, by Proposition 2.6, g(n) = ∞ k=1 α k reg k (n), thus for each n ≤ n 0 g(n) = n 0 k=1 α k reg k (n). Consequently, by Theorem 3.2 As each T ((reg k ) n ) is an integer sequence by Lemma 4.2, their convolution is also an integer sequence, which completes the proof.
We will denote by e m k the convolution of m copies of the sequence e k defined in Lemma 4.2, i.e. e m k = e k * . . . * e k . Below we observe that the initial part of a generating sequence coincides with the initial part of the convolution of finitely many elementary sequences e k . Proof Notice first that for a given sequence d = (d n ) m 0 n=0 we have, by the formula (3.4), the following equality for n ≤ m 0 and a fixed k ≤ m 0 : d 1 , d 2 , . . . , d k−1 , d k , . . . , d m 0 Assume that a sequence x = (−1, c 1 , c 2 , . . . , c k−1 , c k , c k+1 , . . . , c m 0 ) has the needed form given by the right-hand side of the formula (4.3) for any n ≤ k − 1. Consider then the sequence y = x * e c k −c k k . By the formula (4.4) it is of the form: Repeating the same procedure finitely many times, we get the Eq. (4.3).

Theorem 4.5 Every Newton sequence is a Dold-Fermat sequence.
Proof Consider a Newton sequence (a n ) n generated by the sequence c = (−1, c 1 , . . . , c m 0 , c m 0 +1 , . . .). It is enough to prove that for an arbitrary m 0 and all n ≤ m 0 the sequence (a n ) m 0 n=0 is a Dold-Fermat sequence i.e. satisfies the Dold congruences On the other hand, the sequence (e k ) n generates (reg k ) n by Lemma 4.2, thus (c n ) m 0 n=0 generates ( 0≤i≤m 0 α i reg i ) n , which by Proposition 2.6 satisfies Dold congruences. This completes the proof.
While it was not difficult to find generating sequence of a n = tr A n ev , the situation is much more complicated when we search for generating sequences of b n = − tr B n odd . As it is stated below, the corresponding generating sequence in this case is infinite, and its form is given in Theorem 4.8. In the remaining part of the paper we will denote A ev = A and B odd = B for short. Theorem 4.6 Let B ∈ M i (Z) be a matrix that is not nilpotent. Then the generating sequence d n of (− tr B n ) n is infinite.
In the proof of the above theorem we will make use of the following algebraic result (Proposition 1 in [16]). Consider the matrix C = M m B. Then tr C n = 0, so by Lemma 4.7 C is nilpotent, thus also B is nilpotent. We obtain a contradiction. Theorem 4.8 Let a sequence (b n ) n be generated by (d n ) n . We consider the sequence (b n ) n given by the formulab n = −b n . Let us denote by (β n ) n the generating sequence of (b n ) n . Then where each element of the sum in (4.6) is determined by the configuration (k 1 , . . . , k n ) Proof First of all let us notice that the generating sequence of (b n ) + (−b n ) = 0 is, by Theorem 3.2, the sequence (d n ) n * (β n ) n . As a consequence, the sequences β n and d n are related by the following recursive relation: Now, to prove (4.6) we use induction with respect to n. When n = 1 we get β 1 + d 1 = 0, so β 1 = −d 1 , therefore (4.6) holds. Assume that the formula (4.6) is valid for all i < n, we will show that it is true also for i = n.
To simplify the proof we introduce the following notation.

Definition 4.9
We define below three classes of sequences that will be used in the proof.
. (4.10) Definition 4. 10 We also define some symbolic notation that enables us to shorten the expressions appearing in the proof. For k ∈ M we define (4.11) In this notation, our inductive assumption takes the form: We want to prove that the formula (4.12) is also valid for n. For each i < n we apply in the formula (4.7) our inductive assumption and get: We will rearrange the formula (4.13). Let k ∈ A i for some 0 ≤ i ≤ n − 1. Then we find k such that k ∈ B k and d k = d k · d n−i . Since k ∈ A i , obviously k ∈ A n . It is easy to notice that there exists a bijection between pairs (i, k), where 0 ≤ i ≤ n − 1 and k ∈ A i ; and pairs (k , k), where k ∈ A n and k ∈ B k .
As a result, the formula (4.13) has the form: (4.14) Observe also that: As a consequence, we obtain Finally, substituting (4.16) to (4.14), we get which is our inductive claim. This completes the proof.

Generating sequences of sequences of Lefschetz numbers of iterates
Consider a map f : K → K and assume that we have some bounds on the dimensions of the homology spaces dim H ev (K ; Q) ≤ m 0 and dim H odd (K ; Q) ≤ n 0 . Under these assumptions we provide the formulas for generating sequences of Lefschetz numbers in terms of the coefficients of the characteristic polynomials of the matrices A and B representing the homomorphisms induced by f on H ev (K ; Q) and H odd (K ; Q). Denote m 0 = min{n, m 0 } and n 0 = min{n, n 0 }. Then the generating sequence (γ n ) n of (tr A n − tr B n ) n is given by the formula: Proof By Remark 3.3, the generating sequence of (tr A n − tr B n ) n is given by where (β n ) n is the generating sequence of (− tr B n ) n . Applying Theorem 4.8 and taking into account that by our assumption in the formula (4.7) d i = 0 for i > n 0 , we get (5.1).
Example 5.2 Assume that n 0 = m 0 = 1, then the sequence (tr A n − tr B n ) n has the form (c n − d n ) n , where c, d ∈ Z. We calculate its generating sequence γ n : Thus, for n ≥ 1: Due to the formulas (5.1), we may verify whether a particular sequence of integers (s n ) n can be a generating sequence of some sequence of Lefschetz numbers obtained from matrices of given dimensions m 0 and n 0 . Namely, consider the diophantine system of equations: s n = γ n for n = 1, . . . , m 0 + n 0 with the m 0 + n 0 unknown variables c i and d i . If this system has a solutionc 1 , . . .c m 0 ,d 1 , . . .d n 0 , we verify whether it satisfies the rest of the equations s n = γ n for n > n 0 + m 0 .

Example 5.3
Let us consider (s n ) n of the form (0, −2, −2, 4, . . .) and take m 0 = 2, n 0 = 1. Comparing s n with γ n for n = 1, 2, 3 and multiplying both sides by −1 we get It is immediate to verify that d 1 = 1, c 1 = 1, c 2 = −2 is the only solution of the system (5.2). On the other hand, this set of integers does not fulfill the fourth equation Hence, the sequence (s n ) n cannot be a generating sequence of the sequence of Lefschetz numbers obtained as a difference of two matrices of dimension 2 and 1, respectively Another important property of the generating sequence of Lefschetz numbers is the fact that it grows not faster than exponentially (like the Lefschetz numbers themselves, cf. Example 2.8). Namely we have the following estimate (we apply the notation from Theorem 5.1):

Theorem 5.4
Assume L( f n ) = tr A n − tr B n , where A ∈ M m 0 (Z), B ∈ M n 0 (Z). Let us take the smallest constant σ > 0 such that for all j j |c j | ≤ σ and j |d j | ≤ σ. (5.3)
To conclude, we formulate an open problem related to the representation of Lefschetz numbers in the form of periodic expansion. By Proposition 2.6, we may represent any sequence of Lefschetz numbers as a combination of basic sequences reg k with some coefficients α k (called Dold coefficients), i.e. L( f n ) = ∞ k=1 α k reg k (n). (5.5)

Problem 5.5 Characterize the sequences of Dold coefficients of periodic expansion for Lefschetz numbers.
The representation of Lefschetz numbers by Dold coefficients is much different from the representation by the use of generating sequences. Notice for example that the generating sequence of (tr A n ) n is finite, while the sequence of Dold coefficients of its periodic expansion may be infinite. This holds even in the simplest case for 1 × 1 matrix with the entry equal to 2. In such a case the coefficients α k of periodic expansion of the sequence L( f n ) = 2 n are non-zero for each k (cf. [17] Theorem 1.2).