, ,

The leading coefficient of the Alexander polynomial

Δ_{K} (t)

of a knot

K

is a well-known invariant for detecting fibered knots. The Alexander polynomial of a fibered knot is always monic [21] . The converse is not always true, but it holds for many knots, for example, alternating knots [20] . Moreover the monic condition characterizes fibered knots in a sense of realization [3, 22] .

The leading coefficient of the Alexander polynomial of a knot is also related to the commutator subgroup

G_{K}^{'}

of the knot group

G_{K} = π_{1} (S^{3} \ K)

. The abelianaization of

G_{K}^{'}

is finitely generated if and only if the leading coefficient is

\pm 1

[5, 24] .

The

r

-fold cyclic covering branched over a knot

K

, which is denoted by

X_{r}

, is a fundamental object in the knot theory, since topological invariants of it are also invariants of the knot. In [9] , Gordon studied the growth of the order of

H_{1} (X_{r}; Z)

with respect to

r

and asked whether the growth is exponential in case same zero of

Δ_{K} (t)

are not a root of unity. More than 15 years later, this question was affirmatively answered by Riley [25] and González-Acun͂a and Short [8] independently.

But it still remains improvable. We completely express the growth by the zeros of the Alexander polynomial.

The entropy is an invariant of a self-map for measuring complexity of the map.

However, we study the entropy of the meridian action on the Alexander module (Theorem 1 ) and regard it as an invariant to measure complexity of the Alexander module, for the meridian action is canonical for every Alexander module. Precisely speaking, it should be called the entropy of the dual action of the dual group of the Alexander module. But we confuse them by their duality (see Section 2.1).

With interpretation of the entropy, we obtain the following results. For more precise statements, see Section 4.

Results. Let

Δ_{K} (t) = \sum_{i = 0}^{n} a_{i} t^{i} (a_{0} a_{n} \neq 0)

be the Alexander polynomial of a knot

K

and

α_{i}

the zeros (counted with multiplicity) of

Δ_{K} (t)

. Then,

(1) the leading coefficient of

Δ_{K} (t)

\begin{matrix} log | a_{n} | = \sum_{p < \infty} \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p} \end{matrix}

\begin{matrix}  \end{matrix}

(Corollary 4 ), and

(2) the growth of order of the first homology of the

r

-fold cyclic covering branched over

K

\begin{matrix} {lim}_{\overset{r \to \infty}{| H_{1} (\cdot) | \neq 0}} \frac{log | H_{1} (X_{r}; Z) |}{r} = \sum_{p \leq \infty} \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p} \end{matrix}

\begin{matrix}  \end{matrix}

(Corollary 1 ).

Here,

| \cdot |_{p}

are the

p

-adic norms and

| \cdot |_{\infty}

is the standard norm. (we assume that the embeddings

\bar{Q} \to \bar{Q_{p}}

are fixed.)

In our study, we establish the followings.

$∙$ The leading coefficient of the Alexander polynomial can be recovered from its zeros. Furthermore, the distribution of the zeros measures a certain distance of the Alexander module from being finitely generated as $Z$ -module and a new interpretation of the leading coefficient is given. (Section 4.2)
$∙$ Since the primary interests of Gordon [9] was to investigate the periodicity of $H_{1} (X_{r}; Z)$ , he studied the growth of orders to determine the non-periodic case. However, the growth also measures complexity of the Alexander module. (Section 4.1)

Here, we have a few comments on this study. It might make our study a little more attractive.

The Alexander polynomial of a knot is defined as a greatest common divisor of the initial Fitting ideal (elementary ideal) of the Alexander module

H_{1} (X_{\infty}; Z)

Z [t^{\pm}]

-module. Here, the indeterminate

t

is identified with the meridian action on

H_{1} (X_{\infty}; Z)

and

X_{\infty}

is the infinite cyclic cover of

X = S^{3} \ K

. Then, by tensoring with the rational numbers

Q

, the Alexander polynomial is also generator of the Fitting ideal of the module

H_{1} (X_{\infty}; Q)

Q [t^{\pm}]

-module, and hence it is the characteristic polynomial of the meridian action on

H_{1} (X_{\infty}; Q)

, up to units (see Theorem 6.17 in [15] ).

Although the rational homology

H_{1} (X_{\infty}; Q)

gives a nice explanation of the Alexander polynomial, the leading coefficient

a_{n}

is lost in

H_{1} (X_{\infty}; Q)

because

a_{n}

is a unit in

Q [t^{\pm}]

. On the other hand, the entropy has an advantage over the Fitting ideal because we can replace

H_{1} (X_{\infty}; Z)

with

H_{1} (X_{\infty}; Q)

with preserving the entropy (cf. Step 1 in the proof of Proposition 9 ). This is why the zeros of the Alexander polynomial keep information about

H_{1} (X_{\infty}; Z)

As Gordon mentioned, the difficulty in computing the growth of orders arises from the case in which all zeros belong to the unit circle but some are not a root of unity (e.g.

Δ_{5_{2}} (t) = 2 t^{2} - 3 t + 2

). In this case, the standard norm is useless. Reliy [25] managed the difficulty by the

p

-adic analysis. On the other hand, González-Acun͂a and Short [8] managed it by showing that the growth is equal to the Mahler measure of the Alexander polynomial.

Our feature is the interpretation of the growth as the entropy of the meridian action on the Alexander module, which can be obtained by combining the result of González-Acun͂a and Short [8] and Einseidler and Ward [6] . As a result, the growth turn out to be an invariant to measure the complexity of the Alexander module.

Because the Alexander module is not always finite generated, toral automorphisms are not enough to investigate it. But solenoidal automorphisms are enough for the Alexander module (Lemma 1 ). So, we can apply the works of Lind and Ward [17] :

the Haar measure on solenoid can be lifted to the Haar measure on adele rings with preserving the entropy and the entropy is the sum of the entropies for the

p

-adic directions. That is to say, they established a kind of Hasse principle for dynamical systems. Finally, the growth of orders is expressed by the

p

-adic norms of the zeros of the Alexander polynomial, for expansions (or entropy) in adele rings can be computed by the

p

-adic norms (see Example 1 , 2 ). Although our approach is different from Riley, the

p

-adic method is useful again.

In [25] , Riley also proved the other results, which are on the

p

-part of

| H_{1} (X_{r}; Z) |

He obtained the upper bounds for the

p

-parts:

| H_{1} (X_{r}; Z) |^{(p)} < A {H^{p}}^{E} r^{n}

, where

A, H, E, n

are constants depending on a knot (Theorem 2 in [25] ). This result implies that the

p

-parts have trivial growth with respect to

r

for any primes (as against

e^{r}

). Silver and Williams [29] re-proved this trivial growth and generalized it under mild hypotheses, and their argument is helpful for us. As Silver and Williams mentioned, this fact implies that if

| H_{1} (X_{r}; Z) |

dose not have the trivial growth then the sequence of them displays infinitely many prime numbers in the factorization of its terms. Furthermore, Riley also confirmed that almost all

p

-parts actually increase and his upper bounds are best possible (except for the constant multiplier) with respect to

r

and also

p

(Theorem 3 in [25] ).

Acknowledgment. I would like to thank Dr. Kazuo Masuda for his helpful advice and valuable discussion, and also thank Dr. Sadayoshi Kojima, Dr. Hitoshi Murakami, Dr. Masanori Morishita and Dr. Gregor Masbaum for their kind reading my rough draft and giving helpful comments. And, I am grateful to Dr. Kunio Murasugi for his encouragement in this study and kind hospitality during my visiting University of Toronto, and also Dr. Miho Aoki for her helpful conversation on number theory. I also appreciate the seminor with Dr. Shoichi Nakajima, Dr. Shin Nakano and Dr. Mikami Hirasawa, which was helpful to meke this paper readable.

2 Preliminaries

2.1 Fourier analysis on number fields

The classical Fourier analysis is based on the Pontryagin duality between the integers

Z

and the torus

T = R / Z

. The modern Fourier analysis is extended over more general Pontryagin dualities. It is called harmonic analysis sometimes. In this section, we review the Pontryagin duality for the rational number field

Q

and related topics.

2.1.1 Fourier analysis on LCA groups

Let

G

be a locally compact group. A collection

\hat{G}

of all continuous homomorphisms

χ : G \to C

is called a dual group or character group if

| χ (g) | = 1

for all

g \in G

with pointwise multiplication and compact-open topology. The dual group

\hat{G}

has the following properties. For more details, Rudin's book [27] is a standard exposition.

Proposition 1. A locally compact abelian group

G

and its dual group

\hat{G}

have the following properties.

(1) $\hat{G}$ is also a locally compact abelian group.
(2) $G$ is compact if and only if $\hat{G}$ is discrete.
(3) $\hat{\hat{G}}$ is naturally isomorphic to $G$ , which is called the Pontryagin duality.
(4) Let $〈 g, χ 〉 = χ (g)$ for every $g \in G, χ \in \hat{G}$ . Then, for any continuous homomorphism $φ : G \to H$ , there exists a continuous homomorphism $\hat{φ} : \hat{H} \to \hat{G}$ such that $〈 φ (g), χ_{H} 〉 = 〈 g, \hat{φ} (χ_{H}) 〉$ and $\hat{\hat{φ}} = φ$ .
(5) If $G$ and $H$ are both either compact or discrete, $φ$ is surjective if and only if $\hat{φ}$ is injective.

By the above proposition, an automorphism of a discrete abelian group can be transformed to an automorphism of a compact abelian group, and this transformation is reversible.

The duality translates topological structures to algebraic structures.

Proposition 2. Let

G

be a compact abelian group.

(1) $G$ is connected if and only if $\hat{G}$ is torsion free.
(2) $G$ is finite dimension $d$ if and only if $\hat{G}$ is finite rank $d$ .
(3) $G$ is metrizable if and only if $\hat{G}$ is countable.

2.1.2 Fourier analysis on the rational number field

We now deal with the Pontryagin duality for the rational number field

Q

with the discrete topology. To do that, we need

p

-adic number fields and the adele ring of

Q

. See [23, 32] for more details.

Every non-zero rational number

a \in Q

can be presented as

a = p^{m} \frac{u}{v}

for each rational prime number

p

. Then, the

p

-adic norm of

a

is defined by

| a |_{p} = {\begin{matrix} p^{- m} & a \neq 0 \\ 0 & a = 0, \end{matrix}

and defines a metric on

Q

d_{p} (a, b) = | a - b |_{p}

, which is called the

p

-adic metric.

The

p

-adic number field

Q_{p}

is defined as the completion of

Q

with respect to the

p

-adic metric

d_{p}

. An algebraic closure

\bar{Q_{p}}

has a unique norm which extends from the

p

-adic norm on

Q_{p}

These spaces do not seem natural. However, they are natural under the following concept.

Definition 1. Let

F

be a locally compact field and

μ

an additive Haar measure on

F

. Then for every

a \in F

μ (a \cdot)

is another Haar measure on

F

. Therefore, for every

a \in F

, there exists the module

| a |_{F}

such that

μ (a \cdot) = | a |_{F} μ (\cdot)

Example 1. When

F

is the real number field

R

, the module

| a |_{R}

is the ordinary norm

| a |

. When

F

is the

p

-adic number field

Q_{p}

, the module

| a |_{Q_{p}}

is the

p

-adic norm

| a |_{p}

The

p

-adic norms are natural concept with respect to an additive Haar measure on

Q_{p}

, and consequently

p

-adic norms are useful for computing an entropy (see Example 2 ).

Definition 2. The adele ring of the rational numbers is defined as a restricted direct product space of

Q_{p}

, that is

A_{Q} = {x = (x_{p}) \in \prod_{p \leq \infty} Q_{p} | | x_{p} |_{p} \leq 1 for almost all p} .

The adele group (with addition) is a locally compact abelian group, and hence has a Haar measure, which is a kind of product measure.

The following proposition means that the adele ring of the rational numbers is parallels to the real numbers

R

in the duality

\hat{Z} \sim = R / Z

Proposition 3.

Q

is uniform lattice in

A_{Q}

, i.e. discrete co-compact subgroup of

A_{Q}

. Moreover,

A_{Q} / Q \sim = \hat{Q} .

2.2 Entropy

An entropy is a quantity to measure a complexity of a self-map. There are several definitions of entropies from various aspect. Kolmogorov [13] and Sinai [30] introduced the measure theoretic entropy

h_{μ} (T)

for a measure preserving map

T

on a probability space

(X, B, μ)

. Alder, Konheim and McAndrew [1] introduced the topological entropy

h (T)

for a continuous map

T

on a compact space. Bowen [2] defined a variant of topological entropy

h_{d} (T)

, which is called Bowen's topological entropy, for a uniformally continuous map

T

on a metric space

(X, d)

. Each entropy has its own property and is related to the others. For more details, see Walters [31] .

Bowen's topological entropy is equal to the original topological entropy for compact metrizable space.

Proposition 4. When

X

is compact,

h_{d} (T)

is not depend on a metric

d

and

\begin{matrix} h_{d} (T) = h (T) . \end{matrix}

\begin{matrix}  \end{matrix}

The following proposition shows that the topological entropy is a supremum of measure theoretic entropy, and we usually call it the variational principle.

Proposition 5. Let

T

be a continuous map of a compact metric space

X

and

M (X, T)

the all probability measures which are preserved by

T

. Then

\begin{matrix} h (T) = sup {h_{μ} (T) | μ \in M (X, T)} \end{matrix}

\begin{matrix}  \end{matrix}

Our main interest is an automorphism of a locally compact abelian group and especially a compact abelian group. Since any surjective endomorphism of a compact group preserves the Haar measure, an automorphism of a compact group is a simple example for which both topological entropy and measure theoretic entropy can be defined. Moreover the both entropies are identical in this case.

Proposition 6. Suppose

G

is a compact metrizable group,

T

a surjective endomorphism of

G

, and

μ

a normalized Haar measure on

G

. Then

\begin{matrix} h_{μ} (T) = h_{d} (T) = h (T) . \end{matrix}

\begin{matrix}  \end{matrix}

From Proposition 6 , we can choose any definition for studying the entropy in this condition. Bowen [2] also introduce yet another topological entropy, which is computable and inherits its habit from

h_{d} (T)

and

h_{μ} (T)

. In our condition, this entropy can be identified with

h_{d} (T)

and computed by the following formula.

Proposition 7. Let

G

be a locally compact metrizable abelian group with a Haar measure

μ

and

T

a surjective endomorphism, then the entropy can be computed by the formula

\begin{matrix} h_{d} (T) = {lim}_{ɛ \to 0} {limsup}_{n \to \infty} [- \frac{1}{n} log μ (\cap_{k = 0}^{n - 1} T^{- k} B (e, ɛ))], \end{matrix}

\begin{matrix}  \end{matrix}

where

B (e, ɛ)

is a open

ɛ

-ball of the identity element with respect to an invariant metric

d

Example 2. Let

T_{a}

be an automorphism of

Q_{p}

defined by a multiplication by

a \in Q_{p}^{*}

. Then it follows from Example 1 that

\begin{matrix} h_{d_{p}} (T_{a}) = {\begin{matrix} log | a |_{p} & | a |_{p} > 1, \\ 0 & | a |_{p} \leq 1 . \end{matrix} \end{matrix}

\begin{matrix}  \end{matrix}

Bowen's topological entropy is compatible with coverings.

Proposition 8 (Bowen [2] ). Let

G

be a locally compact metrizable abelian group with an invariant metric

d

. Suppose

Γ

is a uniform lattice of

G

, that is, a discrete and co-compact subgroup of

G

. Let

\tilde{T}

and

T

be endomorphisms of

G

and

G / Γ

such that

π \circ \tilde{T} = T \circ π

, where

π : G \to G / Γ

is the projection. Then

\begin{matrix} h (T) = h_{d} (\tilde{T}) . \end{matrix}

\begin{matrix}  \end{matrix}

3 Solenoidal entropy and Alexander polynomial

A solenoid

Σ^{d}

is, by definition, a compact connected finite-dimensional abelian group and arose from a generalization of the torus

T^{d}

. The following theorem, which was given by Lind and Ward [17] , plays a key role for our results.

Proposition 9 (Lind and Ward [17] ). Let

A

be an automorphism of

d

-dimensional solenoid

Σ^{d}

. Then,

(1) the entropy of

A

is the sum of the entropies of the automorphisms of

Q_{p}^{d}

induced by

A

\begin{matrix} h (A; Σ^{d}) = \sum_{p \leq \infty} h (A; Q_{p}^{d}), \end{matrix}

\begin{matrix}  \end{matrix}

and

(2) the

p

-adic entropy is computed by the eigenvalues

λ_{1}, . . ., λ_{d}

of the induced automorphism in

G L (d, Q_{p})

as follows:

\begin{matrix} h (A; Q_{p}^{d}) = \sum_{| λ_{i} |_{p} > 1} log | λ_{i} |_{p} . \end{matrix}

\begin{matrix}  \end{matrix}

In [17] , Lind and Ward computed the entropy of solenoidal automorphisms with intrinsic arguments. The proof is really helpful for our applications later. Although we review an outline of the proof, referring to the original paper is strongly recommend.

Outline of the proof.

Step 1: Because the dual group of $Σ^{d}$ can be embed into $Q^{d}$ , $l i m - \to Γ_{n} \sim = Q^{d}$ , where $Γ_{n} = \frac{1}{n!} {\hat{Σ}}^{d}$ . Hence ${\hat{Q}}^{d} \sim = l i m \leftarrow - {\hat{Γ}}_{n}$ and ${\hat{Γ}}_{n} \sim = {\hat{Q}}^{d} / K_{n}$ . By addition formula [10] , $h (A; {\hat{Q}}^{d}) = h (A; {\hat{Γ}}_{n}) + h (A; K_{n})$ . Because $h (A; {\hat{Γ}}_{n}) = h (A; Σ^{d})$ for any $n$ and $h (A; K_{n}) \to 0$ as $n \to \infty$ ,

$\begin{matrix} h (A; Σ^{d}) = h (A; {\hat{Q}}^{d}) . \end{matrix}$

$\begin{matrix} \end{matrix}$

Step 2: By Proposition 3 and Proposition 8 , the entropy on the full solenoid

{\hat{Q}}^{d}

can be lifted to the entropy on the adele ring

A_{Q}

\begin{matrix} h (A; {\hat{Q}}^{d}) = h (A; A_{Q}^{d}) . \end{matrix}

\begin{matrix}  \end{matrix}

Step 3: Since the adele ring is a restricted direct product space, the entropy on it can be decomposed into the entropies of each direction

\begin{matrix} h (A; A_{Q}^{d}) = \sum_{p \leq \infty} h (A; Q_{p}^{d}) . \end{matrix}

\begin{matrix}  \end{matrix}

This additivity follows from that

A_{Q}^{d}

is almost the direct product space.

But it needs delicate arguments.

Step 4: Finally, using the formula in Proposition 7 , we have

\begin{matrix} h (A; Q_{p}^{d}) = \sum_{| λ_{i} |_{p} > 1} log | λ_{i} |_{p} . \end{matrix}

\begin{matrix}  \end{matrix}

The computation is essentially similar to Example 2 .

□

To connect the Alexander polynomial with a solenoidal automorphism, we need the following lemma.

Lemma 1. For any knot, the dual group of the first homology group of an infinite cyclic cover

H_{1} (X_{\infty}; Z)

is a

n

-dimensional solenoid. Here,

n

is the degree of the Alexander polynomial of the knot.

Proof. From Proposition 1 and 2 , it is sufficient to prove that $H_{1} (X_{\infty}; Z)$ is a discrete torsion-free abelian group which has finite-rank $n$ . Rapaport [24] and Crowell [5] proved that $H_{1} (X_{\infty}; Z)$ is torsion-free and has finite rank $n$ . (Here, the rank of $A$ means the cardinality of any maximal set of $Z$ -linearly independent elements of $A$ .) □

Because the Alexander polynomial is equal to the characteristic polynomial of the meridian action on

H_{1} (X_{\infty}; Q)

, up to multiplication by a unit, the following theorem follows from Proposition 9 .

Theorem 1. Let

α_{i}

be the zeros (counted with multiplicity) of the Alexander polynomial of a knot. Then,

(1) the entropy of the meridian action on the

p

-adic Alexander module;

t_{p} : H_{1} (X_{\infty}; Q_{p}) \to H_{1} (X_{\infty}; Q_{p})

\begin{matrix} h (t_{p}) = \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p}, \end{matrix}

\begin{matrix}  \end{matrix}

where

| \cdot |_{p}

is the

p

-adic norms, and

(2) the entropy of dual action of meridian

\hat{t} : \hat{H_{1} (X_{\infty}; Z)} \to \hat{H_{1} (X_{\infty}; Z)}

h (\hat{t}) = \sum_{p \leq \infty} h (t_{p})

, that is

\begin{matrix} h (\hat{t}) = \sum_{p \leq \infty} \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p} . \end{matrix}

\begin{matrix}  \end{matrix}

Here

Q_{\infty} = R

by convention.

4 Applications

4.1 Growth of order of homology of branched cyclic covering space

In this section, we study the relation between the

p

-adic zeros of

Δ_{K}

and the growth of orders of the first homology groups of the

r

-fold cyclic covering of

S^{3}

branched over

K

. Roughly speaking, the

r

-fold cyclic covering branched over

K

is a compact space which associated with a homomorphism

\begin{matrix} G = π_{1} (S^{3} \ K) \overset{}{⟶} Z / r Z, \end{matrix}

\begin{matrix}  \end{matrix}

(for precise definition, see [4, 15, 26] ).

The order of the first homology group of this space can be computed by the following formula.

Proposition 10 (Fox [7] ). Let

X_{r}

be the

r

-fold cyclic covering of

S^{3}

branched over

K

. Then, the order of the first homology group of

X_{r}

is given by

| H_{1} (X_{r}; Z) | = |^{r - 1} \prod_{d = 1} Δ_{K} (exp (2 d π \sqrt{- 1} / r)) | .

By convention,

| H_{1} (X_{r}; Z) | = 0

means that

H_{1} (X_{r}; Z)

is an infinite group.

Definition 3 (logarithmic Mahler measure [18] ). For non-zero Laurent polynomial

f (x)

with integral coefficients, the logarithmic Mahler measure of

f

is defined by

\begin{matrix} m (f) = \int_{0}^{1} log | f (exp (2 π t \sqrt{- 1})) | d t . \end{matrix}

\begin{matrix}  \end{matrix}

The growth of orders

| H_{1} (X_{r}; Z) |

is expressed by the logarithmic Mahler measure of the Alexander polynomial. It has been already proved by González-Acun͂a and Short [8] , but we show a proof because we base on the other definition from [8] .

\begin{matrix} {lim}_{\overset{r \to \infty}{| H_{1} (\cdot) | \neq 0}} \frac{log | H_{1} (X_{r}; Z) |}{r} & = {lim}_{\overset{r \to \infty}{Δ_{K} (\cdot) \neq 0}} \frac{1}{r} log |^{r - 1} \prod_{d = 0} Δ_{K} (exp (2 d π \sqrt{- 1} / r)) | \end{matrix}

\begin{matrix} = {lim}_{\overset{r \to \infty}{Δ_{K} (\cdot) \neq 0}} \sum_{d = 0}^{r - 1} \frac{1}{r} log | Δ_{K} (exp (2 π \sqrt{- 1} \frac{d}{r})) | \end{matrix}

\begin{matrix} = m (Δ_{K}) . \end{matrix}

\begin{matrix}  \end{matrix}

Mahler measure is deeply related to the entropy of an algebraic dynamical system, which is found in [16] for example. In this paper, we use a more suitable result which was proved by Einseidler and Ward [6] .

Proposition 11 (Einseidler and Ward [6] ). Let

0 \overset{}{⟶} F_{n} \overset{}{⟶} . . . \overset{}{⟶} F_{1} \overset{φ_{1}}{⟶} F_{0} \overset{}{⟶} M \overset{}{⟶} 0

be a finite free resolution of the

Z [t^{\pm}]

-module

M

and

J (φ_{1})

the initial Fitting ideal.

Let

α_{t}

a natural automorphism which is induced by the shift of the indeterminate

t

. Then the entropy of

α_{t}

h (\hat{α_{t}}) = m (gcd (J (φ_{1}))) .

By combining Proposition 10 and 11 , we can see that the growth of orders gives another method to compute the entropy in Theorem 1 . Therefore, we can obtain the following corollary.

Corollary 1.

\begin{matrix} {lim}_{\overset{r \to \infty}{| H_{1} (\cdot) | \neq 0}} \frac{log | H_{1} (X_{r}; Z) |}{r} = \sum_{p \leq \infty} \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p}, \end{matrix}

\begin{matrix}  \end{matrix}

where

α_{i}

are the zeros of the Alexander polynomial

Δ_{K} (t)

In a special case of Corollary 1 , we obtain that the growth is zero if and only if the zeros of

Δ_{K} (t)

are roots of unity. That is, we have the following.

Corollary 2 (Riley [25] , González-Acun͂a and Short [8] ). Let

X_{r}

be the

r

-fold cyclic covering branched over

K

. Then, if the Alexander polynomial

Δ_{K} (t)

have zeros which are not roots of unity, the finite values of the order of the first homology group

| H_{1} (X_{r}; Z) |

grows exponentially with respect to

r

Proof. (Indirect proof) Because all $α_{i}$ belong to the valuation ring $O_{p} = {x \in \bar{Q_{p}} | | x |_{p} \leq 1}$ , $f (t) = \prod_{i} (t - α_{i})$ , which is $Δ (t)$ up to constant multiples, belongs to $Z_{p} [t] \cap Q [t]$ , where $Z_{p} = {x \in Q_{p} | | x |_{p} \leq 1}$ . This holds for any prime $p$ . Hence $f (t) \in Z [t]$ . (Another way to see this is to prove Corollary 4 before. But in this proof, the condition $Δ (1) = \pm 1$ is not necessary.) Consequently, the zeros of the Alexander polynomial must be roots of unity from $| α_{i} | \leq 1$ and the Kronecker's theorem [14] . □

Remark 1. In [28] , Silver and Williams generalized the result of González-Acun͂a and Short [8] to links with dynamical systems viewpoint. And our study is motivated by their approach.

4.2 Leading coefficient of Alexander polynomial

In this section, we apply Theorem 1 to a criterion for being finitely generated as

Z

-module. Formerly, we have utilized the leading coefficient of the Alexander polynomial for the criterion. But it only determines whether the Alexander module is finitely generated or not. Now, we reveal that the leading coefficient of the Alexander polynomial is not just the criterion for being finitely generated as

Z

-module.

From the following corollary, we can regard the entropies

h (t_{p})

for all primes

p < \infty

as obstructions for being finitely generated.

Corollary 3. Let

h (t_{p})

be the entropy of the meridian action on the

p

-adic Alexander module

H_{1} (X_{\infty}; Q_{p})

. If the Alexander module

H_{1} (X_{\infty}; Z)

is finitely generated as

Z

-module, then all the entropies

h (t_{p})

are equal to zero for finite prime

p < \infty

Proof. The Alexander module

H_{1} (X_{\infty}; Z)

is finitely generated if and only if

\hat{H_{1} (X_{\infty}; Z)}

is isomorphic to the

n

dimensional torus. Then, it is covered by

H_{1} (X_{\infty}; R)

. By the well-known result for toral automorphisms, the entropy of the meridian action on

\hat{H_{1} (X_{\infty}; Z)}

\begin{matrix} h (t) = \sum_{| α_{i} | > 1} log | α_{i} |, \end{matrix}

\begin{matrix}  \end{matrix}

where

α_{i}

are eigenvalues of the meridian action on

H_{1} (X_{\infty}; R)

These entropy must be equal to the entropy in Theorem 1-(2). Therefore, the entropies of the meridian action on

H_{1} (X_{\infty}; Q_{p})

are zero for any

p < \infty

, that is

h (t_{p}) = \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p} = 0 for p < \infty .

□

This obstructions give a new interpretation of the leading coefficient of the Alexander polynomial. In fact, the following Corollary means that the entropies

h (t_{p})

are fine factors of the leading coefficient of the Alexander polynomial.

Corollary 4. Let

α_{i}

be the zeros of

Δ_{K} (t) = \sum_{i = 0}^{n} a_{i} t^{i}

. Then the leading coefficient of

Δ_{K} (t)

is the sum of the entropies of the meridian action on the

p

-adic Alexander module

H_{1} (X_{\infty}; Q_{p})

for the finite primes

p < \infty

, that is

\begin{matrix} log | a_{n} | & = \sum_{p < \infty} \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p} . \end{matrix}

\begin{matrix}  \end{matrix}

Proof. Let

f (t) = Δ_{K} (t) / a_{n} = \prod (t - α_{i})

and

s

the least common multiple of the denominators of the coefficients of

f (t)

. Then,

\begin{matrix} \sum_{p < \infty} h (t_{p}) = \sum_{p < \infty} \sum_{| α_{i} |_{p} > 1} log | α_{i} |_{p} = log s . \end{matrix}

\begin{matrix}  \end{matrix}

Because

Δ_{K} (1) = \pm 1

, the coefficients are relatively prime

(a_{n}, . . ., a_{1}) = 1

Hence

s = | a_{n} |

. (The above argument is essentially found in the proofs of Theorem 3 in [17] and Theorem 2 in [25] .) □

Since

Δ_{K} (1) = \pm 1

for any knot, the Alexander polynomial can be completely determined (up to

\pm 1

) by the zeros. Hence the leading coefficient is also determined.

On the other hand, Corollary 4 shows furthermore that the distribution of the zeros measures how much different from being finitely generated

Z

-module the Alexander module is.

4.3 Final remarks

4.3.1 Determining knots by cyclic branched covers

In [12] , Kojima showed that prime knots are determined by their cyclic branched covers. So, there might be a method to determine the Alexander module by the data of cyclic branched covers.

The growth of orders

| H_{1} (X_{r}; Z) |

does not determine completely the Alexander module

H_{1} (X_{\infty}; Z)

, but it has information of the Alexander module. In fact, the growth measures complexity of the Alexander module and is similar invariant with the leading coefficient of the Alexander polynomial.

In addition, it is still remain open whether infinitely many branched covers are necessary for determining the knot.

4.3.2 Volume conjecture

The volume (or Kashaev) conjecture [11, 19] expects that the asymptotic behavior of the Kashaev invariant (= the specialization of the colored Jones polynomial) implies the hyperbolic volume of the complement of the knot (hyperbolic case).

In general, a topological entropy picks up natural measures, which are called measures of the maximal entropy, from the variational principle (see Proposition 5 ).

Then, the topological entropy is equal to the measure theoretic entropy with respect to a measure of the maximal entropy. In our case, the Haar measure on the Alexander module (precisely, the Plancherel measure on its dual group) is a measure of the maximal entropy, and this measure is lifted to adele rings with preserving the entropy.

Consequently the asymptotic behavior (growth of orders) can be translated into expansions of volumes with respect to the Haar measure on the adele ring because the growth is interpreted as the entropy of the meridian action.

Our point is that, when an asymptotic behavior is interpreted as an entropy, it can be related with a natural measure theory. Does this strategy work out for the volume conjecture?

References

R. L. Adler, A. G. Konheim, and M. H. McAndrew. Topological entropy. Trans. Amer. Math. Soc., 114:309–319, 1965.
R. Bowen. Entropy for group endomorphisms and homogeneous spaces. Trans. Amer. Math. Soc., 153:401–414, 1971.
G. Burde. Alexanderpolynome Neuwirthscher Knoten. Topology, 5:321–330, 1966.
G. Burde and H. Zieschang. Knots, volume 5 of de Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1985.
R. H. Crowell. The group $G^{'} / G^{''}$ of a knot group $G$ . Duke Math. J., 30:349–354, 1963.
M. Einsiedler and T. Ward. Fitting ideals for finitely presented algebraic dynamical systems. Aequationes Math., 60(1-2):57–71, 2000.
R. H. Fox. Free differential calculus. III. Subgroups. Ann. of Math. (2), 64:407–419, 1956.
F. González-Acun͂a and H. Short. Cyclic branched coverings of knots and homology spheres. Rev. Mat. Univ. Complut. Madrid, 4(1):97–120, 1991.
C. M. Gordon. Knots whose branched cyclic coverings have periodic homology. Trans. Amer. Math. Soc., 168:357–370, 1972.
S. A. Juzvinskiĭ. Metric properties of the endomorphisms of compact groups. Izv. Akad. Nauk SSSR Ser. Mat., 29:1295–1328, 1965. English transl. in Ams. Math. Soc. Transl. 66 (1968), 63-98.
R. M. Kashaev. The hyperbolic volume of knots from the quantum dilogarithm. Lett. Math. Phys., 39(3):269–275, 1997.
S. Kojima. Determining knots by branched covers. In Low-dimensional topology and Kleinian groups (Coventry/Durham, 1984), volume 112 of London Math. Soc. Lecture Note Ser., pages 193–207. Cambridge Univ. Press, Cambridge, 1986.
A. N. Kolmogorov. A new metric invariant of transient dynamical systems and automorphisms in Lebesgue spaces. Dokl. Akad. Nauk SSSR (N.S.), 119:861–864, 1958.
L. Kronecker. Zwei Sätze ueber Gleichungen mit ganzzahligen Coeffichienten. J. Reine Angew. Math., 53:173–175, 1857.
W. B. R. Lickorish. An introduction to knot theory, volume 175 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1997.
D. Lind, K. Schmidt, and T. Ward. Mahler measure and entropy for commuting automorphisms of compact groups. Invent. Math., 101(3):593–629, 1990.
D. A. Lind and T. Ward. Automorphisms of solenoids and $p$ -adic entropy. Ergodic Theory Dynam. Systems, 8(3):411–419, 1988.
K. Mahler. An application of Jensen's formula to polynomials. Mathematika, 7:98–100, 1960.
H. Murakami and J. Murakami. The colored Jones polynomials and the simplicial volume of a knot. Acta Math., 186(1):85–104, 2001.
K. Murasugi. The commutator subgroups of the alternating knot groups. Proc. Amer. Math. Soc., 28:237–241, 1971.
L. P. Neuwirth. Knot groups. Annals of Mathematics Studies, No. 56. Princeton University Press, Princeton, N.J., 1965.
C. V. Quach. Polynôme d'Alexander des noeuds fibrés. C. R. Acad. Sci. Paris Sér. A-B, 289(6):A375–A377, 1979.
D. Ramakrishnan and R. J. Valenza. Fourier analysis on number fields, volume 186 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1999.
E. S. Rapaport. On the commutator subgroup of a knot group. Ann. of Math. (2), 71:157–162, 1960.
R. Riley. Growth of order of homology of cyclic branched covers of knots. Bull. London Math. Soc., 22(3):287–297, 1990.
D. Rolfsen. Knots and links, volume 7 of Mathematics Lecture Series. Publish or Perish Inc., Houston, TX, 1990. Corrected reprint of the 1976 original.
W. Rudin. Fourier analysis on groups. Wiley Classics Library. John Wiley & Sons Inc., New York, 1990. Reprint of the 1962 original, A Wiley-Interscience Publication.
D. S. Silver and S. G. Williams. Mahler measure, links and homology growth. Topology, 41(5):979–991, 2002.
D. S. Silver and S. G. Williams. Torsion numbers of augmented groups with applications to knots and links. Enseign. Math. (2), 48(3-4):317–343, 2002.
J. Sinaĭ. On the concept of entropy for a dynamic system. Dokl. Akad. Nauk SSSR, 124:768–771, 1959.
P. Walters. An introduction to ergodic theory, volume 79 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1982.
A. Weil. Basic number theory. Springer-Verlag, New York, third edition, 1974. Die Grundlehren der Mathematischen Wissenschaften, Band 144.

Department of Mathematics, Tokyo Institute of Technology, Oh-okayama, Meguro-ku, Tokyo 152-8551, Japan E-mail address: akio@math.titech.ac.jp

Akio Noguchi