Table of Contents
Fetching ...

The Igusa Zeta function of restricted power series over $\mathbb{Q}_p$

Leonie Dausy

TL;DR

This work investigates whether the Igusa zeta function $Z_f(s)$ of a $p$-adic restricted power series $f$ is determined by a truncation $f_D$ at degree $D$. It provides a counterexample in one variable showing that, in general, truncation does not preserve $Z_f(s)$. However, it establishes a positive invariance result under non-degeneracy: if $f$ and $f'$ do not vanish simultaneously (one-variable case) or more generally if $f$ is non-degenerate over $\ ext{F}_p$ with respect to all faces of its Newton polyhedron, then for sufficiently large $D$, $Z_f(s)=Z_{f_D}(s)$. In the multi-variable setting, the Denef–Hoornaert framework yields a concrete formula for $Z_f(s)$ based on the Newton polyhedron, and the truncation invariance follows because the Newton data stabilizes for large $D$. The results illuminate when truncation suffices to compute Igusa zeta functions of $p$-adic analytic restricted series.

Abstract

In this article, we ask whether the Igusa zeta function of a restricted power series over $\mathbb{Q}_p$ can be determined solely from the terms of degree at most $D$. That is, we ask whether the truncated polynomial $f_D$, consisting of all terms of f of degree $\leq D$, yields the same Igusa zeta function as $f$ for sufficiently large $D$. Our main results include a counterexample already in the one-variable case, but also a positive result under the condition that $f$ is sufficiently non-degenerate with respect to its Newton polyhedron $Γ(f)$.

The Igusa Zeta function of restricted power series over $\mathbb{Q}_p$

TL;DR

This work investigates whether the Igusa zeta function of a -adic restricted power series is determined by a truncation at degree . It provides a counterexample in one variable showing that, in general, truncation does not preserve . However, it establishes a positive invariance result under non-degeneracy: if and do not vanish simultaneously (one-variable case) or more generally if is non-degenerate over with respect to all faces of its Newton polyhedron, then for sufficiently large , . In the multi-variable setting, the Denef–Hoornaert framework yields a concrete formula for based on the Newton polyhedron, and the truncation invariance follows because the Newton data stabilizes for large . The results illuminate when truncation suffices to compute Igusa zeta functions of -adic analytic restricted series.

Abstract

In this article, we ask whether the Igusa zeta function of a restricted power series over can be determined solely from the terms of degree at most . That is, we ask whether the truncated polynomial , consisting of all terms of f of degree , yields the same Igusa zeta function as for sufficiently large . Our main results include a counterexample already in the one-variable case, but also a positive result under the condition that is sufficiently non-degenerate with respect to its Newton polyhedron .

Paper Structure

This paper contains 9 sections, 8 theorems, 64 equations.

Key Result

Lemma 3.1

(Hensel) Let $f \in \mathbb{Z}_p\{X\}$ be an analytic series in one variable $X$ over $\mathbb{Z}_p$. Let $a \in \mathbb{Z}_p$ such that $f(a) \equiv 0 \mod p$ and $f'(a) \not \equiv 0 \mod p$. Then there exists a unique $\xi \in \mathbb{Z}_p$ such that

Theorems & Definitions (24)

  • Definition 1.1
  • Definition 1.2
  • Example 1.1
  • Lemma 3.1
  • proof
  • Lemma 3.2
  • proof
  • Proposition 3.3
  • proof
  • Definition 4.1
  • ...and 14 more