Arxiv:1909.01334V5 [Math.GT] 23 Mar 2021

arXiv:1909.01334v5 [math.GT] 23 Mar 2021 ersnain ftobig nt n iearmr nhype on remark a give and knots bridge two exam of several representations examine finally We [Tan18]. R.Tange and [Uek20] ftetitdhmlg rusi a asympto in establish polyno groups we homology Alexander twisted addition, twisted the In ambiguity. of for finite rigidity of profinite types of version a smrhs ls ftepont completion profinite the of class isomorphism omleeetgnrtn Im generating element formal a eetees ti tl nnw hte hr xssapai a exists there whether unknown still i is topology it 3-dimensional Nevertheless, in rigidity profinite the Recently nisomorphism an Keywords: Classification Subject Mathematics 2010 ril Uk8 epoe htteAeadrplnma fa of polynomial Alexander the that proved we [Uek18] article e fmxmliel ftern fintegers of ring the of ideals maximal of set rfiiergdt o wse lxne polynomials Alexander twisted for rigidity Profinite Let w-rdeko rusadgv eako yeblcvolum hyperbolic on remark a pa give Riley’s and to groups associated knot examples two-bridge several examine We sures. ftetitdhmlg rusi a in establi groups also homology We ambiguity. twisted finite tw the of the of types for several theorem to rigidity up profinite mials a prove and formulate We otnoshmlg n rfiiecmltos7 References volumes Hyperbolic 13 representations Riley’s 12 1.4 and growth 1.3 Torsion 11 Propositions of Proofs modules 10 Iwasawa maps theorem 9 Norm Hillar’s and resultants 8 Cyclic divisors completions 7 Cyclotomic profinite and homology 6 Continuous polynomials Alexander 5 Twisted representations 4 Continuous 3 Preliminary 2 Introduction 1 π eadsrt ru ffiietp ihasretv homomorph surjective a with type finite of group discrete a be nt wse lxne oyoil rfiiecompletion profinite polynomial, Alexander twisted knot, π b J = ∼ π b K ntepont opein fterko rus nteprev the In groups. knot their of completions profinite the on α Let . rmr 72,2E6Scnay2E8 71,11R06 57M12, 20E18, Secondary 20E26 57M27, Primary Z O cvro -aiod enn h tde fteauthor the of studies the refining 3-manifold, a of -cover .Introduction 1. = Z u Ueki Jun Abstract Contents O cvro -aiodwt s fMhe mea- Mahler of use with 3-manifold a of -cover O F,S F π b K fanme field number a of eoetern of ring the denote fteko ru.I hsatce eformulate we article, this In group. knot the of fgetitrs ihrpdprogress. rapid with interest great of s ( r i omlso h oso growth torsion the of formulas tic ,K J, lsascae oRlysparabolic Riley’s to associated ples il n rv tu oseveral to up it prove and mials blcvolumes. rbolic htringot formulas growth torsion sh F knot aoi ersnain of representations rabolic fdistinct of ) S se lxne polyno- Alexander isted n let and , es. itgr,where -integers, ism K sdtrie ythe by determined is α ρ : : π prime π ։ → t Z GL S where , nt with knots safinite a is N 17 16 15 12 11 10 ( 9 9 8 6 5 4 1 O ious be ) t is Jun Ueki

Z a representation. Let FittHi(Ker α, ρ) denote the divisorial hull of the Fitting ideal over O[t ] of the i-th Alexander module H (Ker α, ρ). If FittH (Ker α, ρ) is a principal ideal, then the i-th g i i twisted Alexander polynomial ∆α (t) is deﬁned as a generator of this ideal, up to multiplication ρ,i g by units of O[tZ]. (We denote by ˙=equalities up to this ambiguity. We sometime omit i and α for simplicity.) By the universality of proﬁnite completion, this ρ induces a continuous representation Z ρ : π GLN (O). Let β : π′ ։ t and τ : π′ GLN (O) be another such pair. We say (α, ρ) → → b b and (β, τ) are isomorphic if they admit isomorphisms ϕ : π ∼= π and ψ : tZ ∼= tZ satisfying b b b → ′ → b b ψ α = β ϕ and τ ϕ ρ, where denotes the equivalence by a conjugate in GL (O). Our ◦ b ◦ ◦ ∼ ∼ N main questionb is the following: b b b b b b b α Question 1.1. To what extent does the isomorphism class of (α, ρ) determine ∆ρ (t)?

We denote by Q the algebraic closure of Q in C and assumeb b that a number field F is a subfield of Q. For each prime number p, let Cp denote the p-adic completion of an algebraic closure Qp of a p-adic numbers Qp. Such Cp is known to be algebraically closed. We fix an embedding ι : Q ֒ C , so that the p-adic norm is defined for any z Q. Note that the norm p → p ∈ map Nr : F Q induces a map Nr : O [tZ] Z [tZ], where S also denotes the image F/Q → F/Q F,S → S of S in Z. We say that f(t), g(t) R[tZ] belong to the same Hillar class if f(t) ˙= u(t)v(t) and ∈ g(t) ˙= u(t)v(t 1) holds for some u(t), v(t) R[tZ]. Let A be any set. For a d-tuple (α ) Ad, − ∈ i i ∈ we denote by [α ] Ad/ the equivalent class with respect to the natural action of the d-th i i ∈ Sd symmetric group . Now our answer to the question is stated as follows: Sd Z Theorem 1.2. Let α : π ։ t and ρ : π GLN (O) over O = OF,S be as above. Suppose that Z → α FittHi(Ker α, ρ) in O[t ] is a principal ideal so that ∆ρ(t)=∆ρ,i(t) is defined. (1)g The isomorphism class of (α, ρ) determines the Hillar class of Nr ∆ (t) Z [tZ], hence F/Q ρ ∈ S the (Euclidean/p-adic) Mahler measure of NrF/Q∆ρ(t). If in addition ∆ρ(t) is reciprocal, then b b NrF/Q∆ρ(t) itself is determined.

(2) Let p be a prime number such that all roots of ∆ρ(t) are placed on the unit circle in Cp, which is the case for almost all p. For each root αi of ∆ρ(t), let ζi denote the unique root of unity with α ζ < 1 and suppose that this ζ is a primitive l -th root of unity. Put m := lcm l > 0, | i − i|p i i { i}i so that we have p li and p m. Then the isomorphism class of (α, ρ) determines the set of such 6 | 6 | d p’s and the families [l ] Zd/ , [(α /ζ )w] w Z , and [ζu] u (Z/mZ) in Q / . i i d i i i p∗ ibi b ∗ d ∈ S { | ∈ b } { | ∈ } S Let s be any topological generator of Im α = tZ. Then we have s = tv for a unit v of the Prüffer ring Z = lim Z/nZ. Since the image of t in Im α is not specified, neither is v, while n t and v are independent←− of p. The pair (u, wb) is the image of this v under the natural map b Z ։ Z/mZ Z ; v (u, w). b × p 7→ b If O is a UFD (hence a PID, for O being a Dedekind domain), then ∆ρ(t) is defined. If ρ is an SL2-representation or more generally if ρ is conjugate to its dual, then ∆ρ(t) is reciprocal Z ([HSW10], [Hil12, Chapter 6.5]). The assertion (1) only tells about each divisor of ∆ρ(t) in O[t ], while (2) tells about the multiplicity. If a cyclotomic polynomial decomposes in O[tZ], then an inevitable ambiguity may occur (Examples 6.2). The proof of (1) is a direct extension of [Uek20] by Hillar’s result [Hil05, Theorem 1.8] on cyclic resultants. In the proof of (2), we invoke the character decomposition of the Iwasawa module of a Z/mZ Z -cover and some local field theory. × p The following propositions may reduce the ambiguity in (2).

2 Profinite rigidity for twisted Alexander polynomials

α On explicit detection of ∆ρ (t), after knowing the degree and eliminating cyclotomic divisors, Hillar’s method indeed tells that Theorem 1.2 (1) is done in finite time with use of Gröbner basis, while Propositions 1.3, 1.4 below tell that so is (2). Proposition 1.3. Let 0 = α Q, let k denote the Galois closure of Q(α), and put d = [k : Q]. 6 ∈ Then for any but finite number of prime number p satisfying d (p 1), we have α Q , α = 1, | − ∈ p | |p and αp 1 1 < 1. | − − |p Proposition 1.4. Let α, β Q with α 1 < 1 and β 1 < 1, and suppose that there ∈ p | − |p | − |p exists some w Z with αw = β. If α and β are conjugate over Q and are not roots of unity, ∈ p∗ p then w is a root of unity. α Remark 1.5. Even if FittHi(Ker α, ρ) is not a principal so that ∆ρ,i(t) is not defined, the ideal Z α NrF/QFittHi(Ker α, ρ)g is still a principal ideal of ZS[t ]. If we define ∆ρ,i(t) as its generator, then the same assertion as in Theorem 1.2 (1) holds. g Z In any case, if π is of deficiency one (e.g., a knot group) and H1(Ker α, ρ) is a torsion O[t ]- module, then the fractional ideal FittH1(Ker α, ρ)/FittH0(Ker α, ρ) is a principal ideal, and is α α generated by Lin–Wada’s polynomial Wρ (t) F (t) (Proposition 4.1). If ∆ρ,i(t) for i = 0, 1 are α α αg ∈ g Z defined, then Wρ (t) ˙=∆ρ,1(t)/∆ρ,0(t) up to multiplication by units of O[t ] holds.

Wada’s initial definition of Wρ(t) may be regarded with less indeterminacy, defined up to multiplicity by t 1, and coincides with the Reidemeister torsion τ (t) F [t]. By Goda’s result ± ± ρ ∈ [God17] derived from a deep theory of analytic torsion developed by Müller and others, we may conclude the following. Corollary 1.6. Let ρ : π SL (O) denote the holonomy representation of a hyperbolic hol K → 2 knot K over O = O C. If O = O for an imaginary quadratic field F , then the hyperbolic F,S ⊂ F volume Vol(K) of K is determined by the isomorphism class of ρhol.

Fox’s formula asserts that the absolute cyclic resultants of theb Alexander polynomial ∆K(t) of a knot K coincide with the sizes of the torsions in the cyclic covers (cf. [Web79]). Hence the asymptotic formula of the torsion growth in the Z-cover with use of Mahler measure m [GAS91] and its p-adic analogue mp [Uek20] is closely related to the profinite detection of ∆K(t). Let α : π ։ tZ and ρ : π GL (O) be as before, and let X be a connected manifold with π = → N ∼ π1(X). For each n N>0, let Xn X denote the Z/nZ-cover in the Z-cover defined by α. Define ∈ →Z Z the norm polynomial ∆ρ(t) Z[t ] to be a generator of the ideal NrF/QFitt(H1(X , ρ)) Z[t ]. ∈ ∞ ∩ Z Z If ∆ρ(t) is defined, then we have ∆ρ(t) ˙=NrF/Q∆ρ(t) in S[t ]. . g Suppose that ρ is absolutely irreducible and non-abelian. Then Tange’s result in [Tan18] may be refined as follows (Theorem 11.1), where we denote by Res(f(t), g(t)) O the resultant of ∈ f(t), g(t) O[t]. ∈ n ∼= (1) There is a natural isomorphism H1(X , ρ)/(t 1)H1(X , ρ) H1(Xn, ρ). ∞ − ∞ → (2) Put Ψ (t) = gcd(∆ (t), (tn 1)) and r = Res(∆ (t), (tn 1)/Ψ (t)). Then for a bounded n ρ − n ρ − n sequence cn = torH1(X , ρ)/Ψn(t)) , the equality torH1(Xn, ρ) = cn rn p S rn p holds. | ∞ | | | | | ∈ | | (3) The asymptotic formulas Q 1/n 1/n lim torH1(Xn, ρ) = m(∆ρ(t))), lim torH1(Xn, ρ) = mp(∆ρ(t)) n n p →∞ | | →∞ || || of torsion growth with use of Mahler measures hold, where p is any prime number.

3 Jun Ueki

This paper is organized as follows. Additional backgrounds and further questions are given in Section 2. We prove Theorem 1.2 through Sections 3–9. In Section 3, we recall that ρ : π → GLN (O) induces ρ : π GLN (O). In Section 4, we define the twisted Alexander polynomial α → ∆ (t) and prove Proposition 4.1. In Section 5, we recall the continuous homology H (Γ,Vb) of ρ b i ρ profinite completionsb b and paraphrase our question. In Section 6, we remark some properties b b of cyclotomic divisors in the profinite group ring O[[tZ]], and reduce our question to the cases without cyclotomic divisors. In Section 7, we recall Hillar’s result on cyclic resultant and obtain b a lemma. In Section 8, we recall the norm map and prove Theorem 1.2 (1). In Section 9, we prove Theorem 1.2 (2) with use of Iwasawa modules, and give some remarks. In Section 10, we prove Propositions 1.3 and 1.4, invoking some p-adic number theory. Section 11 is devoted to refinements of results in [Uek20] and [Tan18]; Fox’s formula and torsion growth formulas with use of Mahler measures of the twisted homology groups in a Z- cover of a 3-manifold. We recall backgrounds, state Theorem 11.1 with some remarks, and prove them. In Section 12, we examine several examples of ∆ρ(t) of Riley’s parabolic representations of 2-bridge knot groups from viewpoints of Theorems 1.2 and 11.1, and give remarks on topological entropies. In Section 13, we briefly discuss hyperbolic volume and prove Corollary 1.6.

2. Preliminary

A question of profinite rigidity is a version of finite detection problem asking to what extent a topological invariant of a 3-manifold M is determined by the isomorphism class of the profinite completion π of the 3-manifold group π = π1(M). Latest progress due to Wilton–Zalesskii, Wilkes [WZ17, WZ19, Wil18b, Wil18a, BMRS18] are on the geometries of 3-manifolds, the JSJ- decompositions,b graph manifolds, and hyperbolic manifolds of a certain class. To be precise, [BMRS18] proved the profinite rigidity of certain arithmetic Kleinian groups amongst all finitely generated residually finite groups (the absolute profinite rigidity). In addition, Liu proved that mapping classes of a compact surface are almost determined by its finite quotient actions, using twisted Reidemeister torsions and twisted Lefschetz zeta functions [Liu19]. The profinite rigidity of knots was asked also by B. Mazur from a viewpoint of the analogy between knots and prime numbers [Maz12]. We refer to [Uek18], [BF15], and [Rei18] for further background.

We proved in our previous paper [Uek18] that the isomorphism class of πK determines the 3 ab Z Alexander polynomial of any knot K in S . Since the image of πK = t in the isomorphism b ab Z b class of πK = t is not specified, we needed to study the completed Alexander module over the b completed group ring Z[[tZ]] = lim Z/mZ[tZ/nZ]. b m,n ←− α In this article, we extendb this method to the twisted Alexander polynomial ∆ρ (t) of a representation ρ : π GL (O). We remark that many important representations over C may → N be regarded as those over O = OF,S (e.g., the holonomy representations of a hyperbolic knot, [CS83]). The completed ring O is sufficiently large, while C = 0 . Hence we consider represen- { } tations over O. b b We note that Boileau–Friedl [BF15] studied a profinite rigidity of the twisted Alexander polynomial associated to representations over a finite field, in ordered to prove the profinite rigidity of fiberedness of knots. They assumed a “regular isomorphism” so that the image of t in ab πK was assumed to be known. We address a slightly difficult problem here. The aim of this paper is to investigate to what extent ∆α(t) is (abstractly) recovered from b ρ the isomorphism class of the continuous representation ρ : π GL (O). Namely, suppose that → N b b b 4 Profinite rigidity for twisted Alexander polynomials

π runs through all discrete groups with α : π ։ tZ. Let denote the set of the pairs (ρ, α) of R the representations ρ : π GL (O) and α, the set of twisted Alexander polynomials ∆α(t), → N P ρ and the set of isomorphism class of pairs (ρ, α) of the profinite completions ρ : π GLN (O) R b → and α : π ։ tZ. Then the question is to what extent the correspondence : factors b b b F bRb → P b through the profinite completion : ; (ρ, α) the isomorphism class of (ρ, α). b b R→ R 7→ Here we attach further questions, which may be addressed in a future study. b b b b Question 2.1. (1) Recall that the fiberedness of a 3-manifold is a profinite property ([BF15, Theorem 1.2], [BRW17], [JZ17]). Let ρn denote the n-th higher holonomy representation for each n> 2 of a hyperbolic knot K (cf. Section 13). Then Wρn (t)’s are reciprocal. If K is fibered, then

τρn (t)’s are monic, while the converse is conjectured [DFJ12, Por18]. If τρn(t)’s are monic, then so are Wρn (t)’s. Is Vol(K) determined in this case? 3 (2) To what extent the Reidemeister torsion τρ(t) = τρ α(S K) is determined by the ⊗ − isomorphism class of ρ? Does the argument for (1) extends to τρ(t)? (3) Does the set of all continuous representations of π determines Vol(K)? When we study b topology of knots by using twisted Alexander polynomials, difficulty lies in how to find a representation ρ conveying topological information. In order tob apply our theorems to a more rustic question of profinite rigidity, we need to combine another type of rigidity theorem finding a good ρ among the set of all representations, such as mentioned by Francaviglia in [Fra04]. In- deed, Vol(K) is the maximal value of volumes if ρ runs through all geometric representation in a neighborhood of ρhol. We may need an additional insight to obtain a similar nature over all continuous representation, or to detect a nice class of representations.

3. Continuous representations

Let π be a discrete group. Then the set of finite quotients π/̟ ̟ ✁ π of finite index forms { | } a directed inverse system with respect to the quotient maps. The profinite completion π of π is the inverse limit lim π/̟ as a group and endowed the weakest topology such that ̟✁π Ker(π ։ π/̟) is an open←− subgroup for every normal subgroup ̟ ✁ π of finite index. It is knownb that such an inverse system may be reconstructed from the set of isomorphism classes of finite quotientsb of π [RZ10, Corollary 3.2.8]. A discrete group π is said to be residually finite if for any g π there exists some normal subgroup ̟ ✁ π of finite index such that the image of g ∈ in the quotient π/̟ is non-trivial. It is equivalent to that the natural map ι : π π is an → injection. For any oriented connected closed 3-manifold M, the group π = π1(M) is residually finite ([Hem87]+[Per02, Per03b, Per03a]). b

For a number field F , let OF denote the ring of integers of F and let S be a finite set of prime ideals of OF . The ring OF,S of S-integers of F is a Dedekind domain obtained by adding all inverse elements of primes in S to OF . For any F , there is some S such that OF,S is a UFD, hence a PID. The profinite completion O of the ring O = OF,S is a topological ring which is defined as the inverse limit lim O/I of the set of finite quotients O/I as a ring and endowed I b with the profinite topology.←− We have an inverse system GL (O/I) of finite groups and an { N }I isomorphism of profinite groups GL (O) = lim GL (O/I). N ∼ I N ←− Now let ρ : π GLN (O) be a representationb of a discrete group. The natural map O ֒ O → → induces a representation ρ : π GL (O). By the universality of the profinite completion [RZ10, → N b Lemma 3.2.1], for any continuous homomorphism f : π H to a profinite group, there is a b → unique continuous homomorphism f : π H such that f coincides with the composite f ι → ◦ b b b 5 Jun Ueki of the natural map ι : π π and f. Hence we have an induced continuous representation → ρ : π GLN (O). In other words, we have a natural map → b b b : Hom(π, GL (O)) Hom(π, GL (O)). b b N → N If π is a residually finite group,b then this map is an injection.b b

4. Twisted Alexander polynomials

We recall in Subsection 4.1 the twisted Alexander polynomial and prepare for the proof of Theorem 1.2. We give in Subsection 4.2 additional information related to Remark 1.5 on Wada’s invariant, and prove Proposition 4.1.

4.1 Twisted Alexander polynomials A Let M be a finitely generated module over a commutative ring R. If Rm Rn ։ M 0 is a −→ → presentation of M, then the i-th Fitting ideal FittiM of M over R is defined as the ideal of R generated by all (n i)-minors of A M (R), which is known to be independent of the choices − ∈ n,m of a presentation. If r is the lowest i with Fitt M = 0, then we simply write FittM = Fitt M i 6 r and call it the Fitting ideal of M. The divisorial hull (or the reflexive hull) a of an ideal a of a ring R is the intersection of all principal ideals containing a. If R is an integrally closed Noether domain (e.g., R = O[tZ]) e and a = 0, then we have a = pa , where p runs through all prime ideals of height one and 6 ∩ (p) a(p) denotes the localization at p [Hil12, Lemma 3.2]. If R is a UFD, then a is a principal ideal, generated by the highest common factor of the elements of a. e Now let π be a discrete group of finite type with a surjective homomorphism α : π ։ tZ and a representation ρ : π GL (O) over O = O . Let V denote the module On regarded as a → N F,S ρ right π-module via the transpose of ρ. Then Γ := Ker α acts on Vρ via the restriction of ρ. Let be a projective resolution of Z over Z[Γ]. Then the homology H (Γ,V ) with local F i ρ coefficients is defined to be the homology of the complex Γ Vρ. We write Hi(Γ,Vρ)= Hi(Γ, ρ) F⊗ Z for simplicity. The conjugate action of π on Γ induces the action of Im(α)= t ∼= π/Γ on Hi(Γ, ρ) [Bro94, Chapter III, Corollary 8.2]. Let X be an Eilenberg–MacLane space K(π, 1) of π (e.g., the knot exterior if π is a knot group), and let X X denote the Z-cover corresponding to Γ. Then we have a natural ∞ → Z isomorphism Hi(Γ, ρ) = Hi(X , ρ) of finitely generated O[t ]-modules for i = 0, 1. We also ∼ ∞ note that Shapiro’s lemma [Bro94, III, Proposition 6.2] yields Hi(Γ, ρ) = Hi(π, ρ α) and ∼ Z ⊗ Hi(X , ρ) = Hi(X, ρ α) for the tensor representation ρ α : π GLN (O[t ]). ∞ ∼ ⊗ ⊗ → α If FittHi(Γ, ρ) is a principal ideal, then the i-th twisted Alexander polynomial ∆ρ,i(t) is defined α Z α as a generatorg ∆ρ,i(t) of this ideal, which is well-defined up to ˙=in O[t ]. This ∆ρ,i(t) is known to be an invariant of the isomorphism class of (ρ, α). We sometime omit i and α.

α 4.2 Lin–Wada’s invariant Wρ (t) Lin–Wada’s invariant W α(t) F (t) was initially introduced by Lin [Lin01] and Wada [Wad94]. ρ ∈ It may be defined as the ratio of generators of Fitt of based Alexander modules, hence defined Z α up to ˙=over O[t ]. If π is of deficiency one (e.g., a knot group), then Wρ (t) turns out to be a Z g α polynomial in F [t ]. If a presentation of π is given, then Wρ (t) is explicitly calculated by using α Fox differential [Wad94, KL99, DFJ12, FV11]. If ∆ρ,i(t) are defined for i = 0, 1, then we have

6 Profinite rigidity for twisted Alexander polynomials

α α α Wρ (t)=∆ρ,1(t)/∆ρ,0(t). If O is not a UFD, then FittHi(Γ, ρ) is not necessarily a principal ideal, so that ∆α (t) may not be defined. Nevertheless, we have the following. ρ,i g Proposition 4.1. Suppose that π is of deficiency one (e.g., a knot group). Then the fractional Z ideal FittH1(Γ, ρ)/FittH0(Γ, ρ) in the ideal group of O[t ] is a principal ideal generated by Wada’s polynomial W α(t). g ρ g Hillman’s theorem [Hil12, Theorem 3.12 (3)] immediately extends to the following lemma. Lemma 4.2. Let 0 K M C 0 be an exact sequence of modules over a Noether ring → → → → R and suppose r = rank(C) and s = rank(K). If K is a torsion module, then Fittr+s(M) = Fitt (K)Fitt (C) holds. s r g Proof.g Sinceg an ideals in a Noether ring R is determined by localization at every maximal ideals, we may assume that R is a local ring, so that every projective R-module is free. In order to prove the claim for the divisorial hull, it suffices to show Fittr+s(M) = Fitts(K)Fittr(C) for the localization at every prime ideal of hight one. If the projective dimension of K and C are less than one, we have presentation matrixes P (K) M (R) of rank s for K and P (C) M (R) ∈ k+s,k ∈ c+r,c P (K) 0 of rank r for C, hence P (M)= of rank r + s for M. This proves the equality for P (C) ∗ the localization, hence the claim. Proof of Proposition 4.1. By the proof of [SW09, Proposition 3.6] (see also [KL99, Theorem 4.1], [HLN06, Theorem 11]), we have an exact sequence 0 H (Γ, ρ) H (Γ, ρ) 0 → 1 →A→C→ 0 → of torsion O[tZ]-modules for based Alexander modules and . The Fitting ideals of and A C A C are known to be principal ideals. Indeed, this admits a square presentation and Fitt( ) is a A A principal ideal generated by the numerator of Wada’s invariant. By using Lemma 4.2 twice, we obtain FittH (Γ, ρ) Fitt = Fitt FittH (Γ, ρ) of ide- 1 · C A · 0 als in O[tZ]. Therefore, we have the equality of fractional ideals FittH (Γ, ρ)/FittH (Γ, ρ) = g 1 g 0 Fitt /Fitt = (W (t)). A C ρ g g Wada’s invariant is defined for any discrete group π of finite type. Even if we do not assume that Fitt and Fitt are principal ideals, we still have the equality FittH (Γ, ρ)/FittH (Γ, ρ)= A C 1 0 Fitt /Fitt . A C g g g g 5. Continuous homology and profinite completions

In this section, we recall the continuous homology Hi(Γ,Vρb) and paraphrase our question. Z Let π, α : π ։ t , and ρ : π GL (O) be as in Subsection 4.1. Let Vb denote the → N b ρ module On regarded as a right π-module On via the transpose of the continuous representation ρ : π GLN (O). The homology of the profinite group Γ with coefficient being the profinite →b b b module Vρb is defined as the continuous homology of the complex bVρb, where is a continuous b b b b F⊗Γ F projective resolution of Z over the profinite group ring Z[[Γ]]. If G is a finite discrete group and bb b B a finite ring, then the continuous homology coincides with the usual group homology. b b b Let J be an ordered set, (πj)j J an inverse system of profinite groups, and (Bj)j J an inverse ∈ ∈ system of profinite abelian groups. If π = lim π and B = lim B , then for each i > 0, we have j j j an isomorphism H (π,B) = lim H (π ,B )←− [RZ10, Proposition←− 6.5.7]. i ∼ j i j j ←−

7 Jun Ueki

Since the set of normal subgroups G of Γ of ﬁnite index and the set of ideals I of O of ﬁnite index are ordered sets with respect to the inclusions, by using the assertion above twice, we obtain isomorphisms

Hi(Γ,Vρb) ∼= lim Hi(Γ/G, Vρb) ∼= lim lim Hi(Γ/G, Vρ mod I ). G←−✁Γ G←−✁Γ ←−I b Z Since every Hi(Γ/G, Vρ mod I ) is a quotient of a common finitely generated O[t ]-module Hi(Γ, ρ), Zb Zb the module Hi(Γ,Vρb) is a finitely generated O[[t ]]-module, where O[[t ]] denotes the profinite completion of the group ring O[tZ]. b b b

α Now recall that our aim is to reconstruct ∆ρ(t)=∆ρ,i(t) from the isomorphism class of (ρ, α). b For the induced map α : π ։ tZ and Γ = Ker α, we have Ker α = Γ. The closure of FittH (Γ, ρ) i b b Zb in O[[t ]] coincides with the ideal FittHi(Γ, ρ) of the continuous homology. Let s be an arbitrary b b b b g Z b b v b Z Z generator of t . Then there exists some v Z∗ with t = s . Since O[[t ]] = O[[s ]], the module b gb b Z ∈b v Hi(Γ,Vρb) is a ﬁnitely generated O[[s ]]-moduleb with Fitt being (∆bρ(s )), supposingb that ∆ρ(t) is deﬁned. b b g Z v Hence we ask to what extent ∆ρ(t) ˙= g(t) holds for g(t) O[t ] and v′ Z∗ with (∆ρ(s )) = ′ ∈ ∈ (g(sv )). By replacing sv and v /v by s and v, we may paraphrase our question as follows. ′ b Z v Question 5.1. Let f(t), g(t) O[t ] and v Z∗ with an equality (f(t)) = (g(t )) of ideals in Zb ∈ ∈ O[[t ]]. To what extent does f(t) ˙= g(t) hold? b b 6. Cyclotomic divisors

For each positive integer m, the m-th cyclotomic polynomial Φm(t) is the minimal polynomial of a primitive m-th root of unity over Q. It is known that Φm(t) Z[t], that Φm(t) vanishes at n ∈ every primitive m-th root of unity, and that m n Φm(t)= t 1 holds. | − By a similar argument to [Uek18, SectionQ 3], we obtain the following properties.

Proposition 6.1. Let O = OF,S be the ring of S-integers of a number ﬁeld F and regard b O[tZ] O[[tZ]]. ⊂ Z Zb (1) Anyb polynomial 0 = f(t) O[t ] is not a zero divisor of O[[t ]]. 6 ∈ v (2) For any cyclotomic polynomial Φm(t) and a unit v Z∗, theb ratio Φm(t )/Φm(t) is deﬁned Zb ∈ and is a unit of O[[t ]]. b b (3) Let f(t), g(t) O[tZ] and v Z with an equality (f(t)) = (g(tv )) of ideals of O[[tZ]]. b ∈ ∈ ∗ Then Φm(t) f(t) holds if and only if Φm(t) g(t) holds, and these conditions imply the equality b b b | v v | Z (f(t)/Φm(t)) = (g(t )/Φm(t )) of ideals in O[[t ]].

By these assertions, the proof of Theoremb 1.2 (1) and Question 5.1 reduce to the cases without cyclotomic divisors. Note that if Φm(t) decomposes in O[t], then a divisor of Φm(t) may appear as a divisor of f(t). Theorem 1.2 (1) cannot distinguish divisors of Φm(t), while (2) may tell more information about the multiplicity.

Examples 6.2. Suppose that sin 2π/5 O C, and let ζ = ζ5 be a 5th root of unity. Then we + ∈ ⊂ + 4 2 3 have a decomposition Φ5(t)= φ5 (t)φ5−(t) for φ5 (t) = (t ζ)(t ζ ) and φ5−(t) = (t ζ )(t ζ ) + − Z − Z − − in O[t]. Since the images of φ (t) and φ−(t) under O[t ] ։ O[t ]/(t ζ) do not coincide, 5 5 −

8 Profinite rigidity for twisted Alexander polynomials

+ + v φ5 (t) ˙= φ5−(t) does not hold. However, we have the equality (φ5 (t)) = (φ5−(t )) of ideals in b O[[tZ]] for some unit v Z. Hence we cannot distinguish these polynomials. ∈ b If such an ambiguityb comes from an automorphism of π, then it is not essential for our Question 5.1, while multiplicity of divisors should be cared. See also Examples 12.1 (iii).

7. Cyclic resultants and Hillar’s theorem

For each positive integer n, the n-th cyclic resultant rn of a polynomial f(t) C[t] is deﬁned as n ∈ the resultant of f(t) and t 1. We have r = n f(ζ). If f(t) O[t], then we have r O. − n ζ =1 ∈ n ∈ We call rn the n-th cyclic resultant absolute valueQ of f(t). (We consult [Uek20] for the general | | deﬁnition with more detailed properties.) The following result due to Hillar is a generalization of Fried’s deep result [Fri88, Proposition]:

Proposition 7.1. [Hil05, Theorem 1.8]. Polynomials f(t), g(t) R[t] have the same sequence of ∈ non-zero cyclic resultant absolute values if and only if there exists u(t), v(t) C[t] with u(0) = 0 l 1 deg(u) l ∈ 6 and l , l Z> satisfying f(t)= t 1 v(t)u(t )t , and g(t)= t 2 v(t)u(t). 1 2 ∈ 0 ± − In this article we say that f(t), g(t) R[tZ] belong to the same Hillar class if there exist ∈ some u(t), v(t) R[tZ] satisfying f(t) ˙= u(t)v(t) and g(t) ˙= u(t)v(t 1) in R[tZ]. We indeed have ∈ − u(t), v(t) R[tZ] in Proposition 7.1, hence the following. ∈ Corollary 7.2. If f(t), g(t) Z [tZ] have the same sequence of non-zero cyclic resultant ab- ∈ S solute values, then there are some u(t), v(t) R[tZ] with f(t) ˙= u(t)v(t) and g(t) ˙= u(t)v(t 1), ∈ − namely, f(t), g(t) belong to the same Hillar class.

The following assertion is obtained in the proof of [Uek20, Lemma 3.6].

Proposition 7.3. Let f(t), g(t) Z[t], v Z∗ and suppose that they have no root on roots of ∈ ∈ b v Z Z unity. If the equality (f(t)) = (g(t )) of idealsb in [[t ]] holds, then they have the same sequences of non-zero cyclic resultant absolute values. b Combining these above, we obtain the following lemma.

Lemma 7.4. Let f(t), g(t) Z[t] with no roots on roots of unity, and let v Z∗. Then the b v ∈ Z ∈ equality (f(t )) = (g(t)) of ideals in Z[[t ]] implies that f(t) and g(t) belong to theb same Hillar class. b

8. Norm maps

The norm map Nr : F Q of a finite extension F/Q is defined by x σ(x) where σ F/Q → 7→ σ runs through all embeddings σ : F ֒ Q. If x Q, then Nr x = x[F :Q] holds.Q For a finite set S → ∈ F/Q of maximal ideals of the ring OF of integers of F , let S also denote the set of prime numbers of Z under S. Then the norm map restricts to the norm map NrF/Q : OF,S ZS on the S-integers. i Z → ,In addition, for a Laurent polynomial f(t) = i ait OF,S[t ] and an embedding σ : F ֒ Q σ σ i Z ∈ Z Z σ→ put f (t) = a t OF,S[t ]. Then the mapP Nr Q : OF,S[t ] ZS[t ]; f(t) f (t) is i i ∈ F/ → 7→ σ defined. ThisP map coincides with the restriction of the norm map of a separable extensionQ of a field of rational functions. Furthermore, since the preimage of each (n, 1 tm) Z [tZ] by Nr − ⊂ S F/Q

9 Jun Ueki

b b contains (n, 1 tm) O [tZ], we have an induced map Nr : O [[tZ]] Z [[tZ]] on the − ⊂ F,S F/Q F,S → S profinite completions. b b Z Let a be an ideal of OF,S[t ]. If a is a principal ideal, then NrF/Qa is naturally defined. For a general a, we define NrF/Qa to be the ideal generated by NrF/Qa a a . It is equivalent to { | ∈ } b put Nr a := ( aσ) O [tZ]. This correspondence also extends to the ideals of O [[tZ]] F/Q σ ∩ F,S F,S Zb Q and ZS[[t ]]. b b Proof of Theorem 1.2 (1). Theorem 1.2 is an answer to the question asked in Section 1. The question is paraphrased to Question 5.1, and reduces to the cases without cyclotomic divisors by Proposition 6.1. Z v Recall O = OF,S. Let f(t), g(t) O[t ] and v Z∗ with the equality (f(t)) = (g(t )) of ideals b ∈ ∈ of O[[tZ]]. By Proposition 6.1, we may assume that they have no root on roots of unity. Put b b Z v Z F (t) := NrF/Qf(t), G(t) := NrF/Qg(t) ZS[t ]. Then we have (F (t)) = (G(t )) in ZS[[t ]]. Now b ∈ b b consider the inverse image of ideals by Z[[tZ]] ֒ Z [[tZ]]. We may assume that the largest p-adic → S b norms of coefficients of f(t) and g(t) are both 1 for every p under S, so that we have the equality b b b (F (t)) = (G(tv)) of ideals in Z[[tZ]]. Now Lemma 7.4 assures that F (t) and G(t) in Z[tZ] belong to the same Hillar class. If in addition f(t) and g(t) are reciprocal, then we have F (t) ˙= G(t). b For any α Q and any prime number p, we have m(t α) = m(t 1 α) and m (t α) = ∈ − − − p − m (t 1 α). Hence the Hillar class of Nr ∆ (t) determines the Mahler measures m(Nr ∆ (t)) p − − F/Q ρ F/Q ρ and mp(NrF/Q∆ρ(t)).

9. Iwasawa modules

In this section, we prove Theorem 1.2 (2) by considering the character decomposition of the Iwasawa module associated to a surjective homomorphism Z ։ Z/mZ Z and using the × p Iwasawa isomorphism. Basic references are [Was97] and [Uek20]. b

Proof of Theorem 1.2 (2). For each prime ideal p of the ring O = OF,S, let Op denote the p-adic completion of O, namely, the inverse limit lim O/pn endowed with a natural topology. The n ←− Chinese remainder theorem yields an isomorphism O ∼= p Op. Note that O is not an integral domain, while so is Op. We write Cp[[ ]] := Op[[ ]] Op CpQ. We consider the map ⊗b b b Z Z/mZ Zp Z/mZ Zp ∼= Zp ∼= [[ O[[t ]] ։ Op[[t × ]] ֒ C [[t × ]] C [[t ]] C [[T → p → p → p ξYm=1 ξYm=1 b given by the composite of the natural surjective homomorphisms O Op of the coeﬃcient b → rings and tZ ։ tZ/mZ Zp of groups, the tensor product C , the correspondence f(t) × ⊗Op p b 7→ f(tξ) for each ξ with ξm = 1, and the Iwasawa isomorphism C [[tZp ]] = C [[T ]]; t 1+ T on p ∼ p 7→ each component. For each t α C [tZ/mZ Zp ] C [[tZ/mZ Zp ]], the map C [[tZ/mZ Zp ]] ։ − ∈ p × ⊂ p × p × C [[tZp ]] ∼= C [[T ]] on the component of each ξ yields the correspondence (t α) (tξ α)= p → p − 7→ − (t α/ξ) (1+T α/ξ) = (T (α/ξ 1)) = (T (α ξ)/ξ) of ideals. By the p-adic Weierstrass − 7→ − − − − − preparation theorem [Was97, Theorem 7.3], for β C , we have β < 1 if and only if (T β) ∈ p | |p − is not a unit, and hence the value β is determined by the ideal (T β). If α C with α = 1 − ∈ p | |p and α ζ < 1, then the image of (t α) is nontrivial only at the component corresponding to | − |p − ξ = ζ, and determines the value α/ζ 1. −

10 Profinite rigidity for twisted Alexander polynomials

Let v Z∗ and let (u, w) denote the image of v under the map Z ։ Z/mZ Zp. By the ∈ b × same argument as above for s = tv tZ, the image of t α is nontrivial only for ξ = ζu, and b ∈ − b determines the values (α/ζ)w and ζu. b Now let (f(t)) be an ideal of O[[tZ]] generated by an unknown polynomial f(t) O[t], b ∈ Z Z C assuming that the image of t is notb specified in t . Take p so that f(t) is monic in p[t] and every nonzero root α C satisfy α = 1. Suppose that every nonzero root satisfies i ∈ p | i|p αm 1 < 1 for m N . Then the family of αm’s with multiplicity is determined, again via | i − |p ∈ >0 i the Iwasawa isomorphism and the p-adic Weierstrass preparation theorem. Recall the setting of Theorem 1.2 and the paraphrased Question 5.1, and note that v Z is ∈ ∗ not specified. By taking m as above, the families [(α /ζ )w] w Z and [ζu] u (Z/mZ) { i i | ∈ p∗} { i | ∈ b ∗} are determined.

The Iwasawa module of Z Z/mZ-cover decomposes into direct sum by Z/mZ-characters. p × The Fitting ideal of each component coincides with the ideal of Cp[[T ]] above [Was97, §13.4].

Remark 9.1. Let k′ denote the decomposition field of f(t) and put d′ = [k′ : Q]. Then Propo- sition 1.3 assures that for any but finite number of prime number p with d (p 1), we have ′| − m = p 1, namely, every nonzero root α C of f(t) satisfies α = 1 and αm 1 < 1. − i ∈ p | i|p | − |p d Remark 9.2. Recall that for each (αi)i Q , we denote the equivalence class by permutation of d ∈ n n d indexes by [αi]i = [α1, , αd] Q / d. For each A = [αi]i and n Z, we put A = [αi ]i [Q ]. · · · ∈d S ∈ ∈ If m,n Z and A, B [Q ] with Am = Bm and An = Bn, we do not necessarily have g g ∈ ∈ A = B for g = gcm(m,n). Indeed, let ζ = ζ12 be a primitive 12-th root of unity and put A = [ζ,ζ8], B = [ζ4,ζ5]. Then we have A3 = B3 = [1,ζ3], A4 = B4 = [ζ4,ζ8].

10. Proofs of Propositions 1.3 and 1.4

We invoke some algebraic number theory to prove Propositions 1.3 and 1.4. Although Proposition 1.3 is a well known fact, we give a proof for the convenience of the reader, only assuming basics described in [Mor12] and [Uek18].

Lemma 10.1. (1) Let p be a prime number and let n N . Let ζ be a primitive i-th root of ∈ >0 i unity for each i N>0. Then Qp(ζpn 1) is the unique unramiﬁed extension of Qp of degree n, ∈ − p and is a cyclic extension with the Galois group generated by the Frobenius map ζpn 1 ζpn 1. − 7→ − Let Fpn /Fp denote the residue extension of Qp(ζpn 1)/Qp. Then we have natural isomorphisms − of Galois groups Gal(Qp(ζpn 1)/Qp) = Gal(Fqn /Fq) = Z/nZ. The Frobenius map corresponds to − ∼ ∼ the multiplication by p in Z/nZ. (Note that there would exist some ν

11 Jun Ueki group of p. The action of D on k/Q induces a continuous action of D on kp/Qp and hence a group ( homomorphism ı : D ֒ Gal(k /Q ), which is an injection by k k . Conversely, Gal(k /Q → p p ⊂ p p p acts on k by restriction and induces a group homomorphism j : Gal(k /Q ) ֒ Gal(k/Q). Since p p → k is dense in kp, this map j also is an injection. By the uniqueness of extension of p-adic valuation, p-adic valuation of kp is stable by the action of Im(). Hence we have Im() D, and j  ı ⊂ decomposes as j : Gal(k /Q ) ֒ D ֒ Gal(k/Q). By definition, D ֒ Gal(k /Q ) ֒ D is an p p → → → p p → identity map. Since j is an injection, ı and  are inverse maps to each other, and we have an isomorphism ι : D ∼= Gal(k /Q ). Hence kD Q . Since kD k, we have kD k Q = l. On → p p ⊂ p ⊂ ⊂ ∩ p the other hand, since D = Im(), we have l kD. Therefore we have kD = l and D = Gal(k/l). ⊂ p Since k/l is a subextension of k/Q, we have [k : l] = n and hence n d. Recall that the | Frobenius map corresponds to the multiplication by p in Z/nZ. If d (p 1), then n (p 1), and | − | − the Frobenius map is trivial. Therefore we have F = F , k = Q , and α Q . q p p p ∈ p .Now let ω : Fp ֒ Qp be a Teichmüller lift. For all but finite number of p, we have α p = 1 → ω | | For such p and α, the image ζ of α via Q ։ F ֒ Q is a (p 1)-th root of unity. Hence we p p → p − have α ζ < 1 and αp 1 1 < 1. | − |p | − − |p

Proof of Proposition 1.4. Let k/Q be a ﬁnite Galois extension with α, β k, let kp denote the σ [kp:Q∈p] closure of k in Qp, and let σ Gal(kp/Qp) with β = α . Then we have σ = id in Gal(kp/Qp). ∈ [k :Q ] [k :Q ] Since β = ασ = αw, we have α = ασ p p = αw p p . By the assumption that α is not a root of unity, we have w[kp:Qp] = 1. Hence w is a root of unity.

11. Torsion growth

In this section, we reﬁne results of [Uek20] and [Tan18]; Fox’s formula and torsion growth formulas with use of Mahler measures of the twisted homology groups in a Z-cover of a 3-manifold. We recall deﬁnitions and known results in §11.1, state Theorem 11.1 with some remarks in §11.2, and prove them in §11.3.

11.1 Backgrounds Let ∆ (t) denote the Alexander polynomial of a knot K in S3 and let X X = S3 K K n → − denote the Z/nZ-cover. Fox’s formula (cf. [Web79]) asserts that if ∆K(t) does not vanish at roots of unity, then the order of the Z-torsion subgroup satisfies torH (X ) = ∆ (ζ) = | 1 n | | K | ζYn=1 Res(∆ (t),tn 1) . In addition, we easily see that if we put Ψ (t) = gcd(∆ (t),tn 1), then | K − | n K − we have torH (X ) = c Res(∆ (t), (tn 1)/Ψ (t)) for a non-zero bounded sequence c = | 1 n | n| K − n | n torH1(X )/(Ψn(t)) . | ∞ | We define the Mahler measure m(f(t)) of a polynomial 0 = f(t) C[t] by log m(f(t)) = log f(z) 6 ∈ | |dz, which is naturally interpreted even if f(t) has roots on z = 1. If f(t) = Z z =1 z | | | | a (t α ) in C[t], then Jensen’s formula asserts m(f(t)) = a α . Since the integral 0 i − i | 0| | i| αYi >1 Q | | over z = 1 coincides with the limit of the mean value of f(ζ) for ζn = 1, Fox’s formula yields | | the asymptotic formula torH (X ) 1/n = m(∆ (t)) of torsion growth [GAS91]. | 1 n | K The author proved in [Uek20] that if we replace the absolute value by the p-adic norm 1 1/n with p = p , then a similar argument yields torH (X ) p = m (∆ (t)). Here we define | | − | 1 n | p K

12 Profinite rigidity for twisted Alexander polynomials 1 our p-adic Mahler measure mp(f(t)) of f(t) Cp[t] by log mp(f(t)) = lim log f(ζ) p. If ∈ n n | | →∞ ζXn=1 f(t)= a (t α ) in C [t], then Jensen’s formula asserts m (f(t)) = a α . (Note that 0 i − i p p | 0|p | i|p αYi p>1 Q | | this mp differs from that introduced by Besser–Deninger with use of Iwasawa’s p-adic logarithm in [BD99].) Now let ρ : π GL (O) be a knot group representation over the ring O = O of K → N F,S S-integers of a number field F . Analogues of those results above for the twisted Alexander polynomial ∆ρ(t) and the twisted homology groups H1(Xn, ρ) were established by Tange [Tan18]. Suppose that O is a UFD so that ∆ρ,i(t) are defined for i = 0, 1. If ρ is irreducible, namely, all residual representations are irreducible, then we have ∆ρ,0(t) ˙=1 [Tan18, Corollary 3]. Sup- pose ∆ρ,0(t) ˙=1, so that we have ∆ρ(t) := ∆ρ,1(t) ˙= Wρ(t). Recall ∆ρ(t) = NrF/Q∆ρ(t). The n Wang exact sequence induces a natural isomorphism H1(X , ρ)/(t 1)H1(X , ρ) = H1(Xn, ρ). ∞ − ∞ ∼ Therefore if ∆ρ(t) does not vanish at roots of unity, then we have H1(Xn, ρ) = ∆ρ(ζ) = | | S | | ζYn=1 n Res(∆ρ(t),t 1) < . Here = indicates equality up to multiplication by S. If S = , then we | − | ∞ S ∅ 1/n have lim H1(Xn, ρ) = m(∆ρ(t)). n →∞ | | 11.2 Theorem

Our aim here is to remove several assumptions above. Let O = OF,S denote the ring of S-integers of a number field F , which is not necessarily a UFD. Let π be a finite type discrete group with a surjective homomorphism α : π ։ tZ and a representation ρ : π GL (O). Let X be a → N connected manifold with π1(X) = π and let X X and Xn X denote the Z-cover and ∞ → → Z/nZ cover corresponding to α and (Z ։ Z/nZ) α for each n N>0. We define the norm Z ◦ ∈ Z Z polynomial ∆ρ(t) Z[t ] of ρ to be a generator of NrF/QFittH1(X , ρ) Z[t ]. If ∆ρ(t) O[t ] ∈ ∞ ∩ ∈ Z Z is defined, then we have ∆ρ(t) ˙=NrF/Q∆ρ(t) in S[t ]. g Theorem 11.1. Suppose that ρ : π GL (O) is non-abelian and absolutely irreducible. Then, → N (1) For each n N , the Wang exact sequence induces a natural isomorphism ∈ >0 n ∼= H1(X , ρ)/(t 1)H1(X , ρ) H1(Xn, ρ). ∞ − ∞ → (2) Put Ψ (t) = gcd(∆ (t),tn 1) and r = Res(∆ (t), (tn 1)/Ψ (t)). Then the equality n ρ − n ρ − n torH (X , ρ) = c r r | 1 n | n| n| | n|p pYS ∈ holds, where cn is a bounded sequence defined by cn = torH1(X , ρ)/Ψn(t) . | ∞ | (3) For any prime number p, the asymptotic formulas 1/n 1/n lim torH1(Xn, ρ) = m(∆ρ(t)) and lim torH1(Xn, ρ) = mp(∆ρ(t)) n n p →∞ | | →∞ || || of torsion growth hold.

A representation ρ is said to be non-abelian if it does not factors through the abelianization map π ։ πab. If ρ is non-abelian, then ∆ (t) = 0 (cf. [FKK12]). A representation ρ is said ρ,i 6 to be absolutely irreducible if ρ Q is an irreducible representation. This condition is much ⊗O weaker than being irreducible in the sense of [Tan18], namely, every residual representation being irreducible. Nevertheless, we have important irreducible representations over O such as

13 Jun Ueki the Holonomy representations of hyperbolic knots. An (absolutely) irreducible representation ρ : π GL (O) with N > 2 is known to be non-abelian. → N Even if we do not assume that ρ is absolutely irreducible, we still have an injective homo- n .(morphisms pn : H1(X , ρ)/(t 1)H1(X , ρ) ֒ H1(Xn, ρ) and Coker(pn) ֒ H0(X , ρ ∞ − ∞ → → ∞ If the Dedekind domain O is a UFD (hence a PID), then Res(∆ (t),tn 1) may be replaced ρ − by Nr Res(∆ (t),tn 1). F/Q ρ − The reasons why we consider O = OF,S instead of OF have been that (i) the image of any ρ : π GL (C) may be contained in some O up to conjugate, and (ii) we may take some S → N F,S so that OF,S is PID and hence ∆ρ(t) is deﬁned. Theorem 11.1 removes the reason (ii).

11.3 Proof Here we regard several lemmas of general algebra described in [Tan18] and some p-adic number theory as basic facts and use them rather freely.

Proof of Theorem 11.1 (1). The Wang short exact sequence of twisted complex induces the following long exact sequence

H1(X , ρ) H1(X , ρ) H1(Xn, ρ) H0(X , ρ) H0(X , ρ) . ···→ ∞ tn→1 ∞ →pn →∂ ∞ tn→1 ∞ →··· − − Let p = 0 be any prime ideal of O, and let F and O denote the localizations of F and O 6 (p) (p) F at p. Since ρ is absolutely irreducible, ρ is irreducible over F(p). By [FKK12, Proposition A3], the Z Fitting ideal of H0(X , ρ) F(p) over F(p)[t ] is (1), and hence the ideal FittH0(X , ρ) O(p) is ∞ ⊗ n ∞ ⊗ generated by a number in O(p). This implies that the map t 1 on H0(X , ρ) O(p) is injective, n − ∞g ⊗ and so is t 1 on H0(X , ρ). Therefore we have Coker pn = Im ∂ = 0 and an isomorphism − ∞ ∼ n ∼= H1(X , ρ)/(t 1)H1(X , ρ) H1(Xn, ρ). ∞ − ∞ →

n Proof of Theorem 11.1 (2). Assume Ψn(t) = 1.Put = H1(X , ρ) and rn = Res(f(t),t 1) H ∞ { − | f(t) Fitt O. For the product of several distinct prime ideals 0 = P = p O, let O ∈ H} ⊂ 6 j j ⊂ (P) denote the localization at P. For each ideal a O, we write a(P) = aO(P). ByQ Hillman’s Theorem g n ⊂ [Hil12, Theorem 3.13], we have (tor /(t 1) ) O(p) p = O(p)/rn (p) p for each p (p), hence n | Hn − H ⊗ | | | | tor /(t 1) p = p (p) (tor /(t 1) ) O(p) p = p (p) O(p)/rn (p) p = O(p)/rn (p) p = | H − H| | | H − H ⊗ | n | | | |n | ZS (p)/NrF/Qrn (p) p =QZS/NrF/Qrn p = ZS/Res(∆ρ(t),t Q 1) p = Res(∆ρ(t),t 1) p. Since | | | | | − | | −n | an O-module has no p-torsion for p S, we obtain torH1(Xn, ρ) = tor /(t 1) = n ∈ n | | | H − H| p S tor /(t 1) p = p S Res(∆ρ(t),t 1) p. 6∈ | H − H| 6∈ | − | Q Next, suppose that Ψ (Qt) is not necessarily 1, and put C := tor /Ψ (t) . Then (C ) is a n n | H n | n n bounded sequence, since Ψ (t) n N is a ﬁnite set. Replacing tn 1 by (tn 1)/Ψ (t) in the { n | ∈ } − − n argument above, we obtain the desired formula.

Proof of Theorem 11.1 (3). Note that ﬁnite number of roots of unity may be skipped in the deﬁnition of (p-adic) Mahler measure. By the p-adic asymptotic formula [Uek20, Theorem 2.5] 1/n 1/n and the assumption, we have lim rn = mp(∆ρ(t)) = 1 for p S. Since lim C = 1, n | |p ∈ n n 1/n →∞ →∞ by taking lim in the equality torH1(Xn, ρ) = rn p S rn p Cn in (2), we obtain the n • | | | | ∈ | | × →∞ 1/n Q 1/n desired formula lim torH1(Xn, ρ) = m(∆ρ(t)) and lim torH1(Xn, ρ) = mp(∆ρ(t)) n n p →∞ | | →∞ || ||

14 Profinite rigidity for twisted Alexander polynomials

12. Riley’s representations

We revisit examples of twisted Alexander polynomials of Riley’s parabolic representations of 2-bridge knot groups exhibited in [Tan18, Section 9] and [HM10, Example 2.3].

Examples 12.1. The knot group π of a two-bridge knot K admits a standard presentation π = a, b aw = wb . Let u = α be a root of Riley’s polynomial Φ (1, u) Z[u] and let O denote h | i K ∈ the ring of integers of F = Q(α). Then u = α corresponds to a parabolic irreducible representation 1 1 1 0 ρ : π SL (O) defined by ρ(a) = and ρ(b) = . If O is a UFD (hence PID), 2 0 1 u 1 → − then ∆ (t):=∆ (t) O[tZ] is defined and satisfies ∆ (t)=Nr ∆ (t). In addition, since any ρ ρ,1 ∈ ρ F/Q ρ residual representation of this ρ is irreducible, [Tan18, Corollary 3.1] yields that ∆ρ,0(t) ˙=1 and Wρ(t) ˙=∆ρ(t). If K is hyperbolic, then (a lift of) the holonomy representation is given in this way. (cf. [Ril72, Ril84], [DHY09, Lemma 5], [HM10, Example 2.3], [Tan18, Section 9].) Let p be any prime number. 2 2 (i) Let K be the trefoil 31. Then ∆ρ(t) = t +1=Φ4(t) Z[t]. We have ∆ρ(t)=Φ4(t) , 1/n ∈1/n lim torH1(Xn, ρ) = m(∆ρ(t)) = 1 and lim torH1(Xn, ρ) = mp(∆(t)) = 1. n n p →∞ | | →∞ | | 2 1+√ 3 (ii) Let K be the figure-eight knot 4 . Then ∆ (t) = t 4t + 1 Z[ − ], where O = 1 ρ − ∈ 2 1+√ 3 2 1/n 2 Z[ − ] is a UFD. We have ∆ρ(t) = ∆(t) , lim torH1(Xn, ρ) = m(∆ρ(t)) = (2 + √3) = 2 n | | 1/n →∞ 7 + 4√3, lim torH1(Xn, ρ) = mp(∆ρ(t)) = 1. n p →∞ | | (iii) Let K = 5 . Then ∆(t) = (t2 + 1)(t4 1+√5 t2 +1) = Φ (t)φ+ (t) Z[ 1+√5 ], where 1 − 2 4 20 ∈ 2 1+√5 2 2 8 6 4 2 2 O = Z[ 2 ] is a UFD. We have ∆ρ(t) = (t + 1) (t t + t t +1)=Φ4(t) Φ20(t), hence 1/n − 1/n− lim torH1(Xn, ρ) = m(∆ρ(t)) = 1 and lim torH1(Xn, ρ) = mp(∆ρ(t)) = 1. n n p →∞ | | →∞ | | (iv) Let K = 52, which is the 2-bridge knot K(3/7) of type (3, 7) in [HM10, Example 2.3 (3)], so that we have π = x,y wx = yw with w = xyx 1y 1xy,Φ (1, u)= u3 + u2 + 2u + 1, h | i − − K and Wada’s invariant W (t) = (4+ α2)t2 4t + (4+ α2) for ρ C corresponding to a root ρ − ⊗ u = α of ΦK(1, u). PARI/GP [The18] tells that the class number of F = Q(α) is 1, hence O = Z[α] is a PID. (In addition, the discriminant is 23, hence only p = 23 is ramified in F − F/Q.) Thus ∆ρ(t) is defined and coincides with Wρ(t). (Even if O is not a UFD, we still have ∆ (t)=Nr W (t).) We have ∆ (t)=Nr ∆ (t)= ((4t2 4t +4)+ u2(t2 + 1)) = ρ F/Q ρ ρ F/Q ρ Φ(1,u)=0 − (4t2 4t + 4)3 3(4t2 4t + 4)2(t2 + 1) + 2(4t2 4t +Q 4)(t2 + 1)2 + (t2 + 1)3 = 25t6 104t5 + 4− 3 − 2 − − 1/n − 219t 272t + 219t 104t + 25. By Theorem 11.1, we have lim torH1(Xn, ρ) = m(∆ρ(t)) − − n | | 1/n →∞ and lim torH1(Xn, ρ) = mp(∆ρ(t)) = 1. n p →∞ | |

Theorem 1.2 (1) assures that the isomorphism class of ρ determines ∆ρ(t) of (i)–(iv), hence ∆ρ(t) of (i) and (ii). Indeed, ∆ρ(t) in (i) and (ii) are recovered from the image by NrF/Q, only by noting that they should belong to O[tZ]. In (i) for instance, evenb if we take a larger ﬁeld F so that Z 2 2 t √ 1 O[t ], we may still say ∆ρ(t) = (t √ 1) hence ∆ρ(t)= t + 1 by Theorem 1.2 (2). ± − ∈ 6 ±4 1− √5 2 1+√5 In (iii), we cannot distinguish divisors φ20± = t ±2 t + 1 Z[ 2 ]of Φ20(t). This ambiguity − ∈ v is inevitable, since these two factors correspond to each other by t t for some v Z∗. If there 2 4 1 √7→5 2 ∈ is some automorphism τ of π such that ∆ρ τ (t) = (t + 1)(t − t +1)=Φ4(t)φ20− (t) holds, ◦ − 2 b then this ambiguity is not essential. In (iv), ∆ (t) gives three candidates for ∆ (t) Z[α][tZ]. ρ ρ ∈ Since the holonomy representation corresponds to both of non-real roots of u3 + u2 + 2u + 1, we

15 Jun Ueki may eliminate one candidate and determine ∆ρ(t) up to complex conjugates.

Here we attach remarks on the topological entropy h and its purely p-adic analogue ~p of the solenoidal dynamical system deﬁned as the dual of the meridian action on the twisted Alexander module.

The polynomial ∆ρ(t) in Example 12.1 (iv) coincides with ∆ρΦ (t) in [SW09, Example 4.5] associated to the total representation ρΦ : π GL8(Z) of the Riley polynomial ΦK(1, u) = 3 2 → u + u + 2u + 1. The topological entropy is given by the Mahler measure as h = log m(∆ρ(t)). If ∆ (t) does not vanish on z = 1 (this may happen only if it is not monic), then Besser– ρ | |p Deninger’s purely p-adic log Mahler measure mp is defined with use of Iwasawa’s p-adic logarithm, which is different from our log mp but still satisfies the Jensen formula ([BD99], see also [Uek20]). By [Kat19, Theorem 1.4], which extends [Den09], the purely p-adic periodic entropy is given by ~p = mp(NrF/Q∆ρ(t)).

13. Hyperbolic volumes

An optimistic conjecture of Lück implies the profinite rigidity of hyperbolic volumes (cf. [Rei18, Section 7]). One may ask if the hyperbolic volume Vol(K) of a hyperbolic knot K is determined by the isomorphism class of the profinite completion ρhol of the holonomy representation ρhol : πK SL2(O) SL2(C). In this section, we prove Corollary 1.6 to partially answer this question. → ⊂ b Recall that Wada’s initial definition of Wρ(t) in [Wad94] may be regarded with less indeter- 1 minacy, so that it is defined up to multiplication by t± , and coincides with the Reidemeister 3 Z ± torsion τρ(t)= τρ α(S K) F [t ]. ⊗ − ∈ Let ρ denote the composite of ρ and the symmetric representation SL (O) SL (O) n hol 2 → n for each n > 1. Based on the theory of analytic torsions due to Müller, Menal-Ferrer, Porti [Mül93, Mül12, MFP14] and the relationship among several torsions proved Kitano and Yam- aguchi [Kit96, Yam08], Goda proved the following formula. (Recently it was announced that Bénard–Dubois–Heusener–Porti [BDHP19] replaced t =1 by t = ζ for any ζ C with ζ = 1.) ∈ | |

Proposition 13.1 [God17, Theorem 1.1]. For each m > 0, put A2m(t) = τρ2m (t)/τρ2 (t) and log A2m+1(1) log A2m(1) Vol(K) A2m+1(t)= τρ (t)/τρ (t). Then lim | | = lim | | = holds. 2m+1 3 m 2 m 2 →∞ (2m + 1) →∞ (2m) 4π By Remark 1.5, if the modulus u of any u O is determined by Nr u , then ρ determines | | ∈ | F/Q | the hyperbolic volume. The knots in Examples 12.1 (ii) and (iv) are hyperbolic, while (i) and (iii) are not. In the case of the figure eight knot (ii), since u O satisfies Nr ub= u 2, the ∈ F/Q | | volume Vol(K) is determined by ρ. (Due to Boileau–Friedl [BF15] and Bridson–Reid [BR15], the figure eight knot has the profinite rigidity amongst 3-manifold groups. See also [BRW17].) b In general, if the numbers r1 and 2r2 of real and complex infinite places of a number field F satisfy r + r > 1, then O = O contains a unit u with the modulus u = 1. The field F in (iv) 1 2 F | | 6 is a complex cubic field and satisfies r + r > 1. Hence the modulus ∆ (1) cannot be recovered 1 2 | ρ | from the norm NrF/Q∆ρ(1). Note in addition that O = Z does not occur, since a subgroup of SL2(Z) is a Fuchsian group, while a hyperbolic knot group is a Kleinian group which is not Fuchsian (cf. [MR03]). At this moment by Theorem 1.2 (1) and Remark 1.5, we may conclude Corollary 1.6: If O = OF for an imaginary quadratic field F , then the hyperbolic volume Vol(K) of K is determined by the isomorphism class of ρhol. Further approaches are attached in Question 2.1. b

16 Profinite rigidity for twisted Alexander polynomials

Acknowledgments

I would like to express my gratitude to Léo Bénard, Michel Boileau, Frank Calegari, Yuichi Hirano, Teruhisa Kadokami, Takenori Kataoka, Tomoki Mihara, Yasushi Mizusawa, Alan Reid, Ryoto Tange, Anastasiia Tsvietkova, Yoshikazu Yamaguchi, people I met at CIRM in Luminy and at GAU in Göttingen, and anonymous referees of the previous article and this article for fruitful conversations. This work was partially supported by JSPS KAKENHI Grant Number JP19K14538.

References BD99 Amnon Besser and Christopher Deninger, p-adic Mahler measures, J. Reine Angew. Math. 517 (1999), 19–50. MR 1728549 (2001d:11070) BDHP19 Léo Bénard, Jérôme Dubois, Michael Heusener, and Joan Porti, Asymptotics of twisted alexander polynomials and hyperbolic volumes, preprint, arXiv:1912.12946, December 2019. BF15 Michel Boileau and Stefan Friedl, The profinite completion of 3-manifold groups, fiberedness and Thurston norm, arXiv:1505.07799, 2015. BMRS18 Martin R. Bridson, D.B. McReynolds, Alan W. Reid, and R. Spitler, Absolute profinite rigidity and hyperbolic geometry, preprint. arXiv:1181.04394, November 2018. BR15 Martin R. Bridson and Alan W. Reid, Profinite rigidity, fibering, and the figure-eight knot, arXiv:1505.07886, 2015. Bro94 Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer- Verlag, New York, 1994, Corrected reprint of the 1982 original. MR 1324339 (96a:20072) BRW17 Martin R. Bridson, Alan W. Reid, and Henry Wilton, Profinite rigidity and surface bundles over the circle, Bull. Lond. Math. Soc. 49 (2017), no. 5, 831–841. MR 3742450 CS83 Marc Culler and Peter B. Shalen, Varieties of group representations and splittings of 3- manifolds, Ann. of Math. (2) 117 (1983), no. 1, 109–146. MR 683804 (84k:57005) Den09 Christopher Deninger, p-adic entropy and a p-adic Fuglede-Kadison determinant, Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Vol. I, Progr. Math., vol. 269, Birkhäuser Boston, Inc., Boston, MA, 2009, pp. 423–442. MR 2641178 (2011k:37143) DFJ12 Nathan M. Dunfield, Stefan Friedl, and Nicholas Jackson, Twisted Alexander polynomials of hyperbolic knots, Exp. Math. 21 (2012), no. 4, 329–352. MR 3004250 DHY09 Jérôme Dubois, Vu Huynh, and Yoshikazu Yamaguchi, Non-abelian Reidemeister torsion for twist knots, J. Knot Theory Ramifications 18 (2009), no. 3, 303–341. MR 2514847 FKK12 Stefan Friedl, Taehee Kim, and Takahiro Kitayama, Poincaréduality and degrees of twisted Alexander polynomials, Indiana Univ. Math. J. 61 (2012), no. 1, 147–192. MR 3029395 Fra04 Stefano Francaviglia, Hyperbolic volume of representations of fundamental groups of cusped 3-manifolds, Int. Math. Res. Not. (2004), no. 9, 425–459. MR 2040346 Fri88 David Fried, Cyclic resultants of reciprocal polynomials, Holomorphic dynamics (Mexico, 1986), Lecture Notes in Math., vol. 1345, Springer, Berlin, 1988, pp. 124–128. MR 980956 FV11 Stefan Friedl and Stefano Vidussi, A survey of twisted Alexander polynomials, The mathematics of knots, Contrib. Math. Comput. Sci., vol. 1, Springer, Heidelberg, 2011, pp. 45–94. MR 2777847 GAS91 Francisco González-Acuña and Hamish Short, Cyclic branched coverings of knots and homology spheres, Rev. Mat. Univ. Complut. Madrid 4 (1991), no. 1, 97–120. MR 1142552 (93g:57004) God17 Hiroshi Goda, Twisted Alexander invariants and hyperbolic volume, Proc. Japan Acad. Ser. A Math. Sci. 93 (2017), no. 7, 61–66. MR 3685596

17 Jun Ueki

Hem87 John Hempel, Residual finiteness for 3-manifolds, Combinatorial group theory and topology (Alta, Utah, 1984), Ann. of Math. Stud., vol. 111, Princeton Univ. Press, Princeton, NJ, 1987, pp. 379–396. MR 895623 Hil05 Christopher J. Hillar, Cyclic resultants, J. Symbolic Comput. 39 (2005), no. 6, 653–669. MR 2167674 Hil12 Jonathan Hillman, Algebraic invariants of links, second ed., Series on Knots and Everything, vol. 52, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2012. MR 2931688 HLN06 Jonathan A. Hillman, Charles Livingston, and Swatee Naik, Twisted Alexander polynomials of periodic knots, Algebr. Geom. Topol. 6 (2006), 145–169. MR 2199457 HM10 Mikami Hirasawa and Kunio Murasugi, Evaluations of the twisted Alexander polynomials of 2-bridge knots at 1, J. Knot Theory Ramifications 19 (2010), no. 10, 1355–1400. MR 2735813 ± HSW10 Jonathan A. Hillman, Daniel S. Silver, and Susan G. Williams, On reciprocality of twisted Alexander invariants, Algebr. Geom. Topol. 10 (2010), no. 2, 1017–1026. MR 2629774 JZ17 Andrei Jaikin-Zapirain, Recognition of being fibred for compact 3-manifolds, preprint, http:// verso.mat.uam.es/ andrei.jaikin/preprints/fibering.pdf, June 2017. Kat19 Yu Katagiri, On p-adic entropy of some solenoid dynamical systems, preprint. arXiv:1910.00904, October 2019. Kit96 Teruaki Kitano, Twisted Alexander polynomial and Reidemeister torsion, Pacific J. Math. 174 (1996), no. 2, 431–442. MR 1405595 KL99 Paul Kirk and Charles Livingston, Twisted Alexander invariants, Reidemeister torsion, and Casson-Gordon invariants, Topology 38 (1999), no. 3, 635–661. MR 1670420 Lin01 Xiao Song Lin, Representations of knot groups and twisted Alexander polynomials, Acta Math. Sin. (Engl. Ser.) 17 (2001), no. 3, 361–380. MR 1852950 Liu19 Yi Liu, Mapping classes are almost determined by their finite quotient actions, arXiv:1906.03602, 6 2019. Maz12 Barry Mazur, Primes, Knots and Po, Lecture notes for the conference “Geometry, Topology and Group Theory” in honor of the 80th birthday of Valentin Poenaru, July 2012. MFP14 Pere Menal-Ferrer and Joan Porti, Higher-dimensional Reidemeister torsion invariants for cusped hyperbolic 3-manifolds, J. Topol. 7 (2014), no. 1, 69–119. MR 3180614 Mor12 Masanori Morishita, Knots and primes, Universitext, Springer, London, 2012, An introduction to arithmetic topology. MR 2905431 MR03 Colin Maclachlan and Alan W. Reid, The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics, vol. 219, Springer-Verlag, New York, 2003. MR 1937957 Mül93 Werner Müller, Analytic torsion and R-torsion for unimodular representations, J. Amer. Math. Soc. 6 (1993), no. 3, 721–753. MR 1189689 Mül12 , The asymptotics of the Ray-Singer analytic torsion of hyperbolic 3-manifolds, Metric and differential geometry, Progr. Math., vol. 297, Birkhäuser/Springer, Basel, 2012, pp. 317– 352. MR 3220447 Per02 Grisha Perelman, The entropy formula for the ricci flow and its geometric applications, preprint, arXiv:0211159, November 2002. Per03a , Finite extinction time for the solutions to the ricci flow on certain three-manifolds, preprint. arXiv:0307245, July 2003. Per03b , Ricci flow with surgery on three-manifolds, preprint, arXiv:0303109, March 2003. Por18 Joan Porti, Reidemeister torsion, hyperbolic three-manifolds, and character varieties, Handbook of group actions. Vol. IV, Adv. Lect. Math. (ALM), vol. 41, Int. Press, Somerville, MA, 2018, pp. 447–507. MR 3888692 Rei18 Alan W. Reid, Profinite rigidity, Proc. Int. Cong. of Math. Rio de Janeiro 1 (2018), 1191–1214.

18 Profinite rigidity for twisted Alexander polynomials

Ril72 Robert Riley, Parabolic representations of knot groups. I, Proc. London Math. Soc. (3) 24 (1972), 217–242. MR 0300267 Ril84 , Nonabelian representations of 2-bridge knot groups, Quart. J. Math. Oxford Ser. (2) 35 (1984), no. 138, 191–208. MR 745421 (85i:20043) RZ10 Luis Ribes and Pavel Zalesskii, Profinite groups, second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathe- matics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 40, Springer-Verlag, Berlin, 2010. MR 2599132 SW09 Daniel S. Silver and Susan G. Williams, Dynamics of twisted Alexander invariants, Topology Appl. 156 (2009), no. 17, 2795–2811. MR 2556037 Tan18 Ryoto Tange, Fox formulas for twisted Alexander invariants associated to representations of knot groups over rings of S-integers, J. Knot Theory Ramifications 27 (2018), no. 5, 1850033, 15. MR 3795397 The18 The PARI Group, Univ. Bordeaux, PARI/GP version 2.11.0, 2018, available at http://pari.math.u-bordeaux.fr/. Uek18 Jun Ueki, The profinite completions of knot groups determine the Alexander polynomials, Al- gebr. Geom. Topol. 18 (2018), no. 5, 3013–3030. MR 3848406 Uek20 , p-adic Mahler measure and Z-covers of links, Ergodic Theory Dynam. Systems 40 (2020), no. 1, 272–288. MR 4038035 Uek21 Jun Ueki, Profinite rigidity for twisted alexander polynomials, J. Reine Angew. Math. 2021 (2021), no. 771, 171–192. Wad94 Masaaki Wada, Twisted Alexander polynomial for finitely presentable groups, Topology 33 (1994), no. 2, 241–256. MR 1273784 Was97 Lawrence C. Washington, Introduction to cyclotomic fields, second ed., Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1997. MR 1421575 (97h:11130) Web79 Claude Weber, Sur une formule de R. H. Fox concernant l’homologie des revêtements cycliques, Enseign. Math. (2) 25 (1979), no. 3-4, 261–272 (1980). MR 570312 (81d:57011) Wil18a Gareth Wilkes, Profinite completions, cohomology and JSJ decompositions of compact 3- manifolds, New Zealand J. Math. 48 (2018), 101–113. MR 3884906 Wil18b , Profinite rigidity of graph manifolds and JSJ decompositions of 3-manifolds, J. Algebra 502 (2018), 538–587. MR 3774902 WZ17 Henry Wilton and Pavel Zalesskii, Distinguishing geometries using finite quotients, Geom. Topol. 21 (2017), no. 1, 345–384. MR 3608716 WZ19 , Profinite detection of 3-manifold decompositions, Compos. Math. 155 (2019), no. 2, 246–259. MR 3896566 Yam08 Yoshikazu Yamaguchi, A relationship between the non-acyclic Reidemeister torsion and a zero of the acyclic Reidemeister torsion, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 1, 337–362. MR 2401224

19 Profinite rigidity for twisted Alexander polynomials

Corrigendum: “Proﬁnite rigidity for twisted Alexander polynomials”

Theorem 11.1 (1), (2) in [Uek21] ought to be stated as follows, where (3) persists. Theorem 11.1 (Modified). (1) For each n N , the Wang exact sequence induces a surjective ∈ >0 homomorphism n H1(X , ρ)/(t 1)H1(X , ρ) ։ H1(Xn, ρ) ∞ − ∞ with a finite cokernel K , which is isomorphic to the kernel of multiplication by (tn 1) on n − H0(X , ρ). The sequence ( Kn )n is bounded. ∞ | | (2) Put Ψ (t) = gcd(∆ (t),tn 1) and r = Res(∆ (t), (tn 1)/Ψ (t)). Then the equality n ρ − n ρ − n torH (X , ρ) = c k r r | 1 n | n n| n| | n|p pYS ∈ holds, where cn is a bounded sequence defined by cn = torH1(X , ρ)/Ψn(t) and kn is another | ∞ | bounded sequence.

The sequence ( Kn )n and (kn)n are trivial if the equality FittHi(X , ρ) = FittHi(X , ρ) | | ∞ ∞ holds for i = 0, 1. g

Note that we have FittHi(X , ρ) = FittHi(X , ρ) j mj for a finite set mj j of maximal Z ∞ ∞ { } ideals of [t ]. In the proof of (1) just after applying [FKK12,Q Proposition A3], if the set mj j O gn { } is not empty, then the multiplication by t 1 on H0(X , ρ) p is not necessarily injective, − ∞ ⊗ O so that we may have a finite nontrivial cokernel Kn. The sequence (Kn)n is obtained as the quotient of a finite group Λ/ j mj simultaneously, hence their sizes are bounded. In the proof of (2), we in addition need toQ care the assumption of [Hil12, Theorem 3.13], which is satisfied if FittH1(X , ρ)= FittH1(X , ρ) holds. ∞ ∞ g Jun Ueki [email protected] Department of Mathematics, School of System Design and Technology, Tokyo Denki University, 5 Senju Asahi-cho, Adachi-ku, 120-8551, Tokyo, Japan