d2e9bc7ea12f865a.tex
1: \begin{abstract}
2: For a unimodular totally disconnected locally compact group $G$ we introduce and study
3: an analogue of the Hattori--Stallings rank $\trho(P)\in\boh_G$
4: for a finitely generated projective rational discrete left $\Q[G]$-module $P$.
5: Here $\boh_G$ denotes the $\Q$-vector 
6: space of left invariant Haar measures of $G$.
7: Indeed, an analogue of Kaplansky's theorem holds in this context (cf. Theorem.~A). 
8: As in the discrete case, using this rank function it is possible to define
9: a rational discrete Euler--Poincar\'e characteristic $\tchi_G$ whenever $G$ 
10: is a unimodular totally disconnected locally compact group of type~$\FP_\infty$
11: of finite rational discrete cohomological dimension. E.g., when $G$ is a discrete group of type~$\FP$, then
12: $\tchi_G$ coincides with the ``classical'' Euler--Poincar\'e characteristic times the counting measure $\mu_{\{1\}}$. 
13: For a profinite group $\caO$, $\tchi_\caO$ equals the probability Haar measure $\mu_\caO$ on $\caO$.
14: Many more examples are calculated explicitly (cf.~Example~\ref{ex:tree} and  Section~\ref{s:euler}). 
15: 
16: In the last section, for a totally disconnected locally
17: compact group $G$ satisfying an additional finiteness condition,  we introduce and study
18: a formal Dirichlet series $\zeta_{_{G,\caO}}(s)$ for any compact open subgroup $\caO$.
19: In several cases it happens that $\zeta_{_{G,\caO}}(s)$
20: defines a meromorphic function $\tilde{\zeta}_{_{G,\caO}}\colon \C \to\bC$  of the complex plane
21: satisfying miraculously the identity $\tchi_G=\tzeta_{_{G,\caO}}(-1)^{-1}\cdot\mu_\caO$. 
22: Here $\mu_{\caO}$ denotes the Haar measure of $G$ satisfying $\mu_{\caO}(\caO)=1$.
23: \end{abstract}
24: