Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 \(({\text {tr}}A^n)_n\) and \((-{\text {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.
2 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.
2.1 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 \(H_i(K;\mathbb {Q})\), where \(i = 0, 1, \ldots , m\). The groups \(H_i(K;\mathbb {Q})\) are finite dimensional linear spaces over \(\mathbb {Q}\). For a self-map f of K we denote by \(f_{*i}\) the linear map induced by f on \(H_i(K;\mathbb Q)\) and by \(f_{*}\) the self-map \(\bigoplus _{i=0}^m f_{*i}\) of \(\bigoplus _{i=0}^m H_i(K;\mathbb Q)\). The Lefschetz number \(L(f^n)\) of \(f^n\) is then equal to
where \(\text {tr}(f^n)_{*i}\) is the trace of the integer matrix representing \((f^n)_{*i}: H_i(K;\mathbb {Q})\rightarrow H_i(K;\mathbb {Q})\). Observe that if A is a matrix of \(f_{*i}\), then \(A^n\) is a matrix of \((f^n)_{*i}\), representing the homomorphism induced on \(H_i(K;\mathbb {Q})\) by \(f^n\) (cf. [15]).
Remark 2.1
The Lefschetz number is always an integer (cf. [2]).
Let us divide homology groups into the odd-dimensional and the even-dimensional ones:
and analogously for the induced homomorphisms
Then
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_{\text {ev}}\) and \(B_{\text {odd}}\) are the matrices representing \(f_{*\text {ev}}\) and \(f_{*\text {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.
Remark 2.2
Let \(M_i(\mathbb Z)\) denote the set of integer \(i \times i\) matrices. Then for each pair of matrices \(A_{\text {ev}}\in M_{n_1}(\mathbb Z)\), \(B_{\text {odd}} \in M_{n_2}(\mathbb Z)\), there exist a finite CW-complex K and a self-map \(f:K \rightarrow K\) satisfying \(L(f^n) = \text {tr} A^n_{\text {ev}} - \text {tr} B^n_{\text {odd}}\) for every \(n \in \mathbb N\) [15].
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.
2.2 Dold–Fermat sequences and their relation to Lefschetz numbers
Definition 2.3
A sequence of integer numbers \((a_n)_{n=1}^{\infty }\) will be called a Dold–Fermat sequence if the following congruences (called Dold congruences or Dold relations) are fulfilled:
where \(\mu :\mathbb {N}\rightarrow \mathbb {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 \in M_n(\mathbb Z)\), p-prime, \(\alpha \in \mathbb N\), we have
Then by induction with respect to the number of primes dividing n one may show that the sequence \((\mathrm{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 so-called 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, \({\text {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}^{\infty }\) 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 \(\alpha _k \in \mathbb Z\) for every \(k \in \mathbb N\).
Remark 2.7
By Proposition 2.6 every Dold–Fermat sequence is an integral combination (possibly infinite) of basic sequences \({\text {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.
Example 2.8
Let \(g(n)=\sum _{k|n}k^k\). Then by the Möbius inversion formula \(n^n=\sum _{k|n}\mu (n/k)g(k)\), and thus \(\alpha _n=\frac{1}{n}n^n \in \mathbb 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)|\le c \rho ^n\), where c is some positive constant and \(\rho \) is the greatest modulus of eigenvalues of matrices \(A_{\text {ev}}\) and \(B_{\text {odd}}\) (cf. [1]). As a consequence, \((g_n)_n\) could not be a sequence of Lefschetz numbers of iterates.
Other important examples of Dold–Fermat sequences are sequences of fixed point indices of iterates. Let \(f: V\rightarrow Y\) be a continuous map, where Y is an Euclidean Neighborhood Retract and \(V \subset Y\) is an open subset. Consider the iterates \(f^n: V_n \rightarrow Y\), where \(V_n\) is defined inductively by \(V_1=V\), \(V_n=f^{-1}(V_{n-1})\) for \(n>1\), and assume that the set of fixed points of \(f^n\), \({\text {Fix}}(f^n)\), is compact. Then, for each n the fixed point index \({\text {ind}}(f^n):={\text {ind}}(f^n, V_n)\) is a well-defined integer [7].
The fact that \(({\text {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].
2.3 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:
Example 2.10
The sequence \((a^n)_n\) is generated by the finite sequence \((a,0,0,\ldots )\) 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.
Theorem 2.11
(Theorem 5 and 6 in [5]) The classes of Dold–Fermat sequences and Newton sequences coincide.
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:
For the sake of convenience we extend the domain of a generating sequence \((c_n)_n\) from \(\mathbb {N}=\mathbb {N}^+\) to \(\mathbb {N}^+\cup \{0\}\), by putting \(c_0=-1\). Then we have:
3 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 \((e_n)_n\) such that
for \(n\ge 0\).
Proof
We have: \(\exp \Bigg (\displaystyle \mathop {\sum }_{n=1}^{\infty }\frac{a_n+b_n}{n}x^n\Bigg )=\exp \Bigg (\displaystyle \mathop {\sum }_{n=1}^{\infty }\frac{a_n}{n}x^n\Bigg ) \exp \Bigg (\displaystyle \mathop {\sum }_{n=1}^{\infty }\frac{b_n}{n}x^n\Bigg ).\)
Therefore, by Theorem 3.1
Thus
\(\square \)
We define the operation \(*\) (convolution) in the set of generating sequences:
(Recall that the zero term of a generating sequence is always \(-1\).)
Let us consider an operator \(T:(N, +)\rightarrow (G, *)\), where N is the set of Newton sequences equipped with the ordinary addition and G is the set of generating sequences with the operation \(*\), defined by assigning to each sequence in N its generating sequence.
Remark 3.3
The map \(T:N\rightarrow G\) is a bijection by the definition, and a homomorphism by Theorem 3.2, we get that \((G, *)\) is a commutative group (with \((-1,0,0,\ldots )\) as the neutral element).
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.
4 Generating sequences of the sequences of the form \(({\text {tr}}A^n)_n\) and \((-{\text {tr}}B^n)_n\)
Let us consider first a simpler situation in which Problem 2.12 is reduced to the case \(B_{\text {odd}}=0\), i.e. to finding a generating sequence of \(a_n=\mathrm{tr} A_{\text {ev}}^n\). In this case the generating sequence \((c_n)_n\) turns out to be finite (i.e. for some \(m\ge 1\), \(c_{m+1}=c_{m+2}=\cdots =0\)) and \(c_n\) are equal to the coefficients of the characteristic polynomial of \(A_{\mathrm {ev}}\) multiplied by \(-1\).
In more details, let \(W=x^m-c_1x^{m-1}-c_2x^{m-2}-\cdots -c_{m-1}x-c_m\) be the characteristic polynomial of the matrix \(A_{\text {ev}}\). Then we may consider the companion matrix \(M_m\) of the polynomial W:
Remark 4.1
(cf. Remark 4 in [24]). The sequence \((-1, c_1, c_2, \ldots , c_m, 0, 0, \ldots )\) is a generating sequence of \(({\text {tr}}M_m^n)_n\). Since \(A_{\text {ev}}\) and \(M_m\) have the same characteristic polynomial, thus for \(n\ge 1\),
As a consequence, both sequences have the same generating sequence.
Let us determine the generating sequence of the sequence \(a(n)={\text {reg}}_k(n)\), where \(k \in \mathbb N\) is fixed.
Lemma 4.2
The generating sequence of \(({\text {reg}}_k)_n\) is \((e_k)_n= (-1, 0, \ldots , 1, 0, \ldots )\), where the value 1 occurs at the kth place.
Proof
Consider the matrix \(M_k\) given by the formula (4.1) with \(c_1=c_2=\cdots =c_{k-1}=0\) and \(c_k=1\). Then it is easy to see that \({\text {tr}}M_k^n={\text {reg}}_k(n)\), which ends the proof by Remark 4.1. \(\square \)
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=1}^{n_0})\) takes integer values. On the other hand, by Proposition 2.6, \(g(n)=\sum _{k=1}^{\infty } \alpha _k {\text {reg}}_k(n)\), thus for each \(n\le n_0\)\(g(n)=\sum _{k=1}^{n_0} \alpha _k {\text {reg}}_k(n)\). Consequently, by Theorem 3.2
As each \(T(({\text {reg}}_k)_n)\) is an integer sequence by Lemma 4.2, their convolution is also an integer sequence, which completes the proof. \(\square \)
We will denote by \(e_k^m\) the convolution of m copies of the sequence \(e_k\) defined in Lemma 4.2, i.e. \(e_k^m= e_k * \ldots * 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\).
Lemma 4.4
For any sequence \(c=(c_n)_{n=0}^{m_0}\) there exists a sequence \((\alpha _n)_{n=0}^{m_0}\), \(\alpha _n \in \mathbb N \cup \{0\}\), such that the following equality holds for each \(n\le m_0\):
Proof
Notice first that for a given sequence \(d=(d_n)_{n=0}^{m_0}\) we have, by the formula (3.4), the following equality for \(n\le m_0\) and a fixed \(k\le m_0\):
Assume that a sequence \(x=(-1,c_1, c_2, \ldots , c_{k-1}, c'_k, c'_{k+1}, \ldots , c'_{m_0})\) has the needed form given by the right-hand side of the formula (4.3) for any \(n\le k-1\). Consider then the sequence \(y=x* e_k^{c_k-c_k'}\). By the formula (4.4) it is of the form:
Repeating the same procedure finitely many times, we get the Eq. (4.3). \(\square \)
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, \ldots , c_{m_0}, c_{m_0+1}, \ldots )\). It is enough to prove that for an arbitrary \(m_0\) and all \(n\le m_0\) the sequence \((a_n)_{n=0}^{m_0}\) is a Dold–Fermat sequence i.e. satisfies the Dold congruences (2.3). By Lemma 4.4 we may represent c(n), for \(n\le m_0\) and some \(\alpha _1, \ldots , \alpha _{m_0}\), in the form
On the other hand, the sequence \((e_k)_n\) generates \(({\text {reg}}_k)_n\) by Lemma 4.2, thus \((c_n)_{n=0}^{m_0}\) generates \((\sum _{0\le i\le m_0} \alpha _i{\text {reg}}_i)_n\), which by Proposition 2.6 satisfies Dold congruences. This completes the proof. \(\square \)
While it was not difficult to find generating sequence of \(a_n= {\text {tr}}A_{\text {ev}}^n\), the situation is much more complicated when we search for generating sequences of \(b_n= -{\text {tr}}B_{\text {odd}}^n\). 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_{\text {ev}}=A\) and \(B_{\text {odd}}= B\) for short.
Theorem 4.6
Let \(B \in M_i(\mathbb Z)\) be a matrix that is not nilpotent. Then the generating sequence \(d_n\) of \((-{\text {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]).
Lemma 4.7
Let G and H be finitely generated \(\mathbb {C}\)-vector spaces and let \(u: G\rightarrow G\) and \(v: H\rightarrow H\) be linear maps. If \(\text {tr}(u^n)=\text {tr}(v^n)\) for every \(n\ge 1\), then u and v have the same non-zero eigenvalues counted with their multiplicities.
Proof of Theorem 4.6
If the generating sequence \(d_n\) of \(b_n=-{\text {tr}}B^n\) were finite, then there would exist, by the formula (4.2), a matrix \(M_m\) (where m is fixed) such that \({\text {tr}}M_m^n= b_n=-{\text {tr}}B^n\), thus
Consider the matrix \(C=M_m \bigoplus B\). Then \({\text {tr}}C^n=0\), so by Lemma 4.7C is nilpotent, thus also B is nilpotent. We obtain a contradiction. \(\square \)
Theorem 4.8
Let a sequence \((b_n)_n\) be generated by \((d_n)_n\). We consider the sequence \((\tilde{b}_n)_n\) given by the formula \(\tilde{b}_n=-b_n\). Let us denote by \((\beta _n)_n\) the generating sequence of \((\tilde{b}_n)_n\). Then
where each element of the sum in (4.6) is determined by the configuration \((k_1, \ldots , k_n)\) satisfying \(\sum _{i=1}^{n}ik_i=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* (\beta _n)_n\). As a consequence, the sequences \(\beta _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 \(\beta _1+d_1=0\), so \(\beta _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.
Definition 4.10
We also define some symbolic notation that enables us to shorten the expressions appearing in the proof. For \(k\in M\) we define
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\in A_i\) for some \(0\le i\le n-1\). Then we find \(k'\) such that \(k \in B_{k'}\) and \(d^{k'}=d^k\cdot d_{n-i}\). Since \(k\in A_i\), obviously \(k' \in A_n\). It is easy to notice that there exists a bijection between pairs (i, k), where \(0\le i\le n-1\) and \(k\in A_i\); and pairs \((k',k)\), where \(k'\in A_n\) and \(k \in B_{k'}\).
As a result, the formula (4.13) has the form:
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. \(\square \)
5 Generating sequences of sequences of Lefschetz numbers of iterates
Consider a map \(f:K\rightarrow K\) and assume that we have some bounds on the dimensions of the homology spaces \(\dim H_{\text {ev}}(K;\mathbb {Q}) \le m_0\) and \(\dim H_{\text {odd}}(K;\mathbb {Q}) \le 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_{\text {ev}}(K;\mathbb {Q})\) and \(H_{\text {odd}}(K;\mathbb {Q})\).
Theorem 5.1
Let \(A \in M_{m_0}(\mathbb Z)\), \(B \in M_{n_0}(\mathbb Z)\). We denote by \(-c_1, \ldots , -c_{m_0}\) and \(-d_1, \ldots , -d_{n_0}\) the coefficients of their characteristic polynomials, respectively. Denote \(\overline{m}_0=\min \{n, m_0\}\) and \(\overline{n}_0=\min \{n, n_0\}\). Then the generating sequence \((\gamma _n)_n\) of \(({\text {tr}}A^n-{\text {tr}}B^n)_n\) is given by the formula:
Proof
By Remark 3.3, the generating sequence of \(({\text {tr}}A^n-{\text {tr}}B^n)_n\) is given by
where \((\beta _n)_n\) is the generating sequence of \((-{\text {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).\(\square \)
Example 5.2
Assume that \(n_0=m_0=1\), then the sequence \(({\text {tr}}A^n-{\text {tr}}B^n)_n\) has the form \((c^n-d^n)_n\), where \(c,d \in \mathbb Z\). We calculate its generating sequence \(\gamma _n\):
Thus, for \(n\ge 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=\gamma _n\) for \(n=1, \ldots , m_0+n_0\) with the \(m_0+n_0\) unknown variables \(c_i\) and \(d_i\). If this system has a solution \(\tilde{c}_1, \ldots \tilde{c}_{m_0}, \tilde{d}_1, \ldots \tilde{d}_{n_0}\), we verify whether it satisfies the rest of the equations \(s_{n}=\gamma _{n}\) for \(n>n_0+m_0\).
Example 5.3
Let us consider \((s_n)_n\) of the form \((0, -2, -2, 4, \ldots )\) and take \(m_0=2, n_0=1\). Comparing \(s_n\) with \(\gamma _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 \(\gamma _4=4\), i.e.
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)={\text {tr}}A^n -{\text {tr}}B^n\), where \(A \in M_{m_0}(\mathbb Z)\), \(B \in M_{n_0}(\mathbb Z)\). Let us take the smallest constant \(\sigma >0\) such that for all j
Then:
Proof
Applying the formulas (5.1) and (5.3) we get for \(n> \max (m_0,n_0)\):
On the other hand, by Remark 8 in [5], the following equality holds:
As a consequence of (5.4), we obtain:
which is the desired estimate. \(\square \)
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 \({\text {reg}}_k\) with some coefficients \(\alpha _k\) (called Dold coefficients), i.e.
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 \(({\text {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\times 1\) matrix with the entry equal to 2. In such a case the coefficients \(\alpha _k\) of periodic expansion of the sequence \(L(f^n)=2^n\) are non-zero for each k (cf. [17] Theorem 1.2).
References
Babenko, I.K., Bogatyi, S.A.: The behavior of the index of periodic points under iterations of a mapping. Math. USSR Izv. 38, 1–26 (1992)
Brown, R.F.: The Lefschetz fixed point theorem. Glenview, New York (1971)
Chow, S.N., Mallet-Parret, J., Yorke, J.A.: A Periodic Point Index Which is a Bifurcation Invariant. Geometric Dynamics (Rio de Janeiro, 1981), 109–131. Springer Lecture Notes in Math, Berlin (1983)
Duan, H.-B.: The Lefschetz numbers of iterated maps. Topol. Appl. 67(1), 71–79 (1995)
Du, B.-S., Huang, S.-S., Li, M.-C.: Generalized Fermat, double Fermat and Newton sequences. J. Number Theory 98, 172–183 (2003)
Du, B.-S., Huang S.-S., Li, M.-C.: Newton, Fermat, and exactly realizable sequences. J. Integer Seq. 8, Article 05.1.2 (2005)
Dold, A.: Fixed point indices of iterated maps. Invent. Math. 74, 419–435 (1985)
Graff, G.: Minimal periods of maps of rational exterior spaces. Fund. Math. 163(2), 99–115 (2000)
Graff, G.: Minimal number of periodic points for smooth self-maps of two-holed \(3\)-dimensional closed ball. Topol. Method Nonlinear Anal 33(1), 121–130 (2009)
Graff, G., Jezierski, J., Nowak-Przygodzki, P.: Fixed point indices of iterated smooth maps in arbitrary dimension. J. Differ. Equ. 251, 1526–1548 (2011)
Graff, G., Jezierski, J.: Minimal number of periodic points of smooth boundary-preserving self-maps of simply-connected manifolds. Geom. Dedicata 187, 241–258 (2017)
Guirao, G., Llibre, J.: Periodic structure of transversal maps on \(\mathbb{C}P^n\), \(\mathbb{H}P^n\) and \(\mathbb{S}^p \times \mathbb{S}^q\). Qual. Theory Dyn. Syst. 12(2), 417–425 (2013)
Hernández-Corbato, L., Le Calvez, P., Ruiz del Portal, F.: About the homological discrete Conley index of isolated invariant acyclic continua. Geom. Topol. 17(5), 2977–3026 (2013)
Horn, R.A., Johnson, C.A.: Matrix Analysis. Cambridge University Press, Cambridge (1990)
Jezierski, J., Marzantowicz, W.: Homotopy methods in topological fixed and periodic points theory. In: Topological Fixed Point Theory and Its Applications, vol. 3. Springer, Dordrecht (2006)
Le Calvez, P., Ruiz del Portal, F., Salazar, J.: Indices of the iterates of \({\mathbb{R}} ^3\)-homeomorphisms at fixed points which are isolated invariant sets. J. Lond. Math. Soc. (2) 82(3), 683–696 (2010)
Llibre, J., Paranõs, J., Rodriguez, J.A.: Periods for transversal maps on compact manifolds with a given homology. Houston J. Math. 24(3), 397–407 (1998)
Llibre, J., Todd, M.: Periods, Lefschetz numbers and entropy for a class of maps on a bouquet of circles. J. Differ. Equ. Appl. 11(12), 1049–1069 (2005)
Marzantowicz, W., Nowak-Przygodzki, P.: Finding periodic points of a map by use of a \(k\)-adic expansion. Discrete Contin. Dynam. Systems 5(3), 495–514 (1999)
Mead, D.G.: Newton’s identities. Am. Math. Mon. 99, 749–751 (1992)
Pokrovskii, A., Rasskazov, O.: On the use of the topological degree theory in broken orbits analysis. Proc. Am. Math. Soc. 132(2), 567–577 (2004)
Steinlein, H.: 70 years of asymptotic fixed point theory. J. Fixed Point Theory Appl. 17(1), 3–21 (2015)
Steinlein, H.: Fermat’s little theorem and Gauss congruence: matrix versions and cyclic permutations. Am. Math. Mon. 124(6), 548–553 (2017)
Wójcik, K.: Binomial Transform and Dold sequences. J. Integer Seq. 18(1), Article 15.1.1 (2015)
Acknowledgements
We would like to thank Dr. Jakub Byszewski for valuable remarks and comments that help us to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Research supported by the National Science Centre, Poland, UMO-2014/15/B/ST1/01710.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Graff, G., Lebiedź, M. & Nowak-Przygodzki, P. Generating sequences of Lefschetz numbers of iterates. Monatsh Math 188, 511–525 (2019). https://doi.org/10.1007/s00605-018-1193-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-018-1193-8