p-adic limits of renormalized logarithmic Euler characteristics

we are interested in the multiplicative Euler characteristics �egin{equation} chi (Gamma_n , M) = prod_i |H_i (Gamma_n , M)|^{(-1)^i} end{equation} and the limit in the field

m a t h b b Q_{p}

of

p

-adic numbers �egin{equation} h_p := lim_{n oinfty} (Gamma : Gamma_n)^{-1} log_p chi (Gamma_n , M) ; . end{equation} Here

l o g_{p} : m a t h b b Q_{p}^{i m e s} o m a t h b b Z_{p}

is the branch of the

p

-adic logarithm with

l o g_{p} (p) = 0

. Of course, neither expression will exist in general. We isolate conditions on

M

, in particular

p

-adic expansiveness which guarantee that the Euler characteristics

c h i (G a m m a_{n}, M)

are well defined. That notion is a

p

-adic analogue of expansiveness of the dynamical system given by the

G a m m a

-action on the compact Pontrjagin dual

X = M^{*}

of

M

. Under further conditions on

G a m m a

we also show that the renormalized

p

-adic limit in the second formula exists and equals the

p

-adic

R

-torsion of

M

. The latter is a

p

-adic analogue of the Li--Thom

L^{2}

R

-torsion of a

G a m m a

-module

M

which they related to the entropy

h

of the

G a m m a

-action on

X

. We view the limit

h_{p}

as a version of entropy which values in the

p

-adic numbers and the equality with

p

-adic

R

-torsion as an analogue of the Li--Thom formula in the expansive case. We discuss the case

G a m m a = m a t h b b Z^{N}

in more detail where our theory is related to Serre's intersection numbers on arithmetic schemes.

Recommendations

Cites work

Cited in

(1)

On \(p\)-adic limits of topological invariants

This page was built for publication: \(p\)-adic limits of renormalized logarithmic Euler characteristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784889)