Arithmetic Functions and Geometry

As formal Dirichlet series,

For any ideal \frak{a}\in I_{K}^{+},

where the sum runs over all ideals \frak{d} dividing \frak{a}. In other words, N = \phi_{K}*\zeta where \zeta(\frak{a}) = 1 is the zeta function for I_{K}^{+}.

As formal Dirichlet series,

For any effective 0-cycle \alpha on X,

In other words, \pi = \phi_{X}*\zeta, where \zeta(\alpha) = 1 is the zeta function for Z_{0}^{\ensuremath{\operatorname{eff}}}(X) and \pi = q^{\deg(-)}.

For any variety X over a finite field,

Let K/\mathbb{Q} be a number field with ring of integers \mathcal{O}_{K}. For any \alpha\in\mathcal{O}_{K} and ideal \frak{b} such that \alpha\mathcal{O}_{K} and \frak{b} are relatively prime,

Let X/\mathbb{F}_{q} be a variety, U\subseteq X an open subset and f\in\mathcal{O}_{X}(U). Then for any effective 0-cycle \beta\in Z_{0}^{\ensuremath{\operatorname{eff}}}(X) with support outside V(f) = \{x\in U\mid f(x) = 0\},

in the semilocal ring \mathcal{O}_{X,\beta}.

Let k be a finite field, g\in k[t] and D = \ensuremath{\operatorname{div}}_{0}(g) the effective divisor of zeroes of g. Then

1. \phi_{\mathbb{P}^{1}}(D) = \#\{f\in k[t]\mid \deg(f) < \deg(g) \text{ and } \gcd(f,g) = 1\}.

2. For any such f\in k[t],

   f^{\phi_{\mathbb{P}^{1}}(D)} \equiv 1\pmod{g}

   holds in k[t].

As formal Dirichlet series,

For any variety X/\mathbb{F}_{q},

For any arithmetic scheme X, we have

\#G(p^{k}) = \psi(p^{k}).

\#G(n) = \psi(n).

Let \frak{a},\frak{b},\frak{p}\subset\mathcal{O}_{K} be ideals, with \frak{p} prime. Then

1. If \frak{a} and \frak{b} are relatively prime, then \psi_{K}(\frak{a}\frak{b}) = \psi_{K}(\frak{a})\psi_{K}(\frak{b}).

2. \psi_{K}(\frak{p}) = \sigma_{1,K}(\frak{p}) = N(\frak{p}) + 1. In particular, if \frak{a} is squarefree then \psi_{K}(\frak{a}) = \sigma_{1,K}(\frak{a}).

3. As arithmetic functions on I_{K}^{\times}, \psi_{K} = N*|\mu_{K}|, where \mu_{K} is the Möbius function in I(I_{K}^{\times}).

4. \psi(\frak{a}) = [SL_{2}(\mathcal{O}_{K}) : \Gamma_{0}(\frak{a})], where \Gamma_{0}(\frak{a}) is the subgroup of matrices in SL_{2}(\mathcal{O}_{K}) which are upper triangular mod \frak{a}.

5. \psi_{K}(\frak{a}) = \#G(\frak{a}) where

   G(\frak{a}) := \prod_{\frak{p}^{k}\mid\mid\frak{a}} G(\frak{p}^{k}) := \prod_{\frak{p}^{k}\mid\mid\frak{a}} \mathbb{W}_{k}(\mathbb{F}_{N(\frak{p})^{2}})^{\times}/\mathbb{W}_{k}(\mathbb{F}_{N(\frak{p})})^{\times}.

The Dirichlet series for \psi_{K} satisfies the formula

where \zeta_{K}(s) is the Dedekind zeta function of K.

Let \alpha,\beta\in Z_{0}^{\ensuremath{\operatorname{eff}}}(X) and let x\in|X|. Then

1. If \alpha and \beta are relatively prime, then \psi_{X}(\alpha + \beta) = \psi_{X}(\alpha)\psi_{X}(\beta).

2. \psi_{X}(x) = \sigma_{1,X}(x) = q^{\deg(x)} + 1. In particular, if \alpha is a log effective 0-cycle(A log cycle is one for which each irreducible cycle appears with coefficient 1.) then \psi_{X}(\alpha) = \sigma_{1,X}(\alpha).

3. As arithmetic functions on Z_{0}^{\ensuremath{\operatorname{eff}}}(X), \psi_{X} = \pi*|\mu_{X}|, where \mu_{X} is the Möbius function in I(Z_{0}^{\ensuremath{\operatorname{eff}}}(X)).

4. \psi(\alpha) = [SL_{2}(\mathcal{O}_{X,\alpha}) : \Gamma_{0}(I_{\alpha})], where \Gamma_{0}(I_{\alpha}) is the subgroup of matrices in SL_{2}(\mathcal{O}_{X,\alpha}) which are upper triangular mod I_{\alpha}.

5. \psi_{X}(\alpha) = \#G(\alpha) where

   G(\alpha) := \prod_{kx\in\alpha} G(kx) := \prod_{kx\in\alpha} \mathbb{W}_{k}(\mathbb{F}_{q^{2\deg(\alpha)}})^{\times}/\mathbb{W}_{k}(\mathbb{F}_{q^{\deg(\alpha)}})^{\times}.

The power series for \psi_{X} satisfies

where X_{\mathbb{F}_{q^{2}}} = X\times_{\ensuremath{\operatorname{Spec}}\mathbb{F}_{q}}\ensuremath{\operatorname{Spec}}\mathbb{F}_{q^{2}}.

For any arithmetic scheme X, we have