Igusa zeta functions and hyperplane arrangements
How to Navigate:
Spacebar: Forward
Shift + Spacebar: Backward
Escape: Jump around
Arrow keys: Move around
The Igusa zeta function
Let f∈Z[x1,…,xd]. For every positive integer n:
R(n)=#{a∈(Z/nZ)d f(a)≡0(mod n)}
R(n) = \#\left\{a \in \left(\mathbb{Z}/n\mathbb{Z}\right)^d ~\middle|~ f(a) \equiv 0\; (\text{mod }n) \right\}
- Can we write a formula for R(n)?
If n=p1e1⋯pℓeℓ is the prime factorization of n, then
R(n)=R(p1e1)⋯R(pℓeℓ)
R(n) = R(p_1^{e_1}) \cdots R(p_{\ell}^{e_{\ell}})
So we focus on a prime p.
- How does R(piei) vary as i varies?
- How does R(n) grow as n grows?
- Only finitely many different formulae for the R(pe) over all primes p?
We focus on polynomials equal to product of linear factors.
eR(pe)19p2222p437p743p10513p12109p26
\begin{array}{r|cccc}
e & 1 & 2 & 3 & 4 & 5 & 10\\ \hline
R(p^e) & {\color{blue}9}p^2 & {\color{blue}22}p^4 & {\color{blue}7}p^7 & {\color{blue}3}p^{{\color{blue}10}} & {\color{blue}13}p^{12} & {\color{blue}9}p^{{\color{blue}26}}
\end{array}
Leading terms!
eR(pe)16p2213p434p7413p95p121013p24
\begin{array}{r|cccc}
e & 1 & 2 & 3 & 4 & 5 & 10\\ \hline
R(p^e) & {\color{blue}6}p^2 & {\color{blue}13}p^4 & {\color{blue}4}p^7 & {\color{blue}13}p^{{\color{blue}9}} & p^{12} & {\color{blue}13}p^{{\color{blue}24}}
\end{array}
Theorem (Igusa 1974).
- The R(pe) grow like a polynomial,
- only finitely many different formulae for R(pe), and
- there is a finite linear recurrence relation among R(pei).
Example.
f=x1x2x3(x12−x22)(x12−x32)(x22−x32)
f = x_1x_2x_3(x_1^2 - x_2^2)(x_1^2 - x_3^2)(x_2^2 - x_3^2)
- p>2
- p=2
Overview
Understand features of Igusa zeta function with combinatorial & topological tools
flag Hilbert–Poincaré series
Igusa zeta function
combinatorial "coarsening"
Define flag Hilbert–Poincaré series and give substitution.
Hyperplane arrangements
Hyperplane arrangement A finite set of hyperplanes in Kd.
Intersection poset: ordered by reverse inclusion
L(A)={⋂H∈SH S⊆A}.
\mathcal{L}(\mathcal{A}) = \left\{\bigcap_{H\in S} H ~\middle|~ S\subseteq \mathcal{A} \right\}.
- Bottom element 0^ : the vector space Kd.
- Top element 1^ : the common intersection (if exists).
If 1^∈L(A), then A is central.
πA(Y)=x∈L(A)∑∣μ(0^,x)∣⋅Ycodim(x)=Poin(Cd∖H∈A⋃H;Y)
\pi_{\mathcal{A}}(Y) = \displaystyle\sum_{x\in\mathcal{L}(\mathcal{A})} |\mu(\hat{0},x)|\cdot Y^{\mathrm{codim}(x)} = \mathrm{Poin}(\mathbb{C}^d \setminus \bigcup_{H\in\mathcal{A}}H;\; Y)
Poincaré polynomial:
Coefficients are Betti numbers.
Example.
An=1⩽i<j⩽n+1∏(xi−xj).
\displaystyle\mathsf{A}_n = \prod_{1\leqslant i < j \leqslant n+1} (x_i - x_j).
πA3(Y)=1+6Y+11Y2+6Y3
\pi_{\mathsf{A}_3}(Y) = 1 + 6Y + 11Y^2 + 6Y^3
codim
0
1
2
3
L(A3)
0^
1^
A3
K=C
Write Δ(L(A)∖{0^}) for flags of proper subspaces in L(A).
For flag F=(F1<⋯<Fℓ)∈Δ(L(A)∖{0^}), generalize:
πF(Y)=π[0^,F1](Y)π[F1,F2](Y)⋯π[Fℓ,1^](Y)
\pi_F(Y) = \pi_{[\hat{0},F_1]}(Y) \pi_{[F_1, F_2]}(Y) \cdots \pi_{[F_{\ell}, \hat{1}]}(Y)
Example.
F=():
πF(Y)=π[m,m](Y)⋅π[m,m](Y)=(1+Y)⋅(1+3Y+2Y2)
\begin{aligned}
\pi_F(Y) &= \pi_{[\phantom{m}, \phantom{m}]}(Y) \cdot\pi_{[\phantom{m}, \phantom{m}]}(Y) \\
&= (1+Y)\cdot (1 + 3Y + 2Y^2)
\end{aligned}
Self reciprocity
The flag Hilbert–Poincaré series:
Idea: fHPA is equivalent to a multivariate p-adic integral.
Theorem (M., Voll 2024). For A defined over field of characteristic 0 and central, then
fHPA(Y−1,(Tx−1)x∈L(A))=(−Y)−rk(A)T1^⋅fHPA(Y,T).
\mathsf{fHP}_{\mathcal{A}}\left(Y^{-1},(T_x^{-1})_{x\in\mathcal{L}(\mathcal{A})}\right) = (-Y)^{-\mathrm{rk}(\mathcal{A})} T_{\hat{1}} \cdot \mathsf{fHP}_{\mathcal{A}}(Y, \bm{T}).
fHPA(Y,T)=F∈Δ(L(A)∖{0^})∑πF(Y)x∈F∏1−TxTx
\mathsf{fHP}_{\mathcal{A}}(Y, \bm{T}) = \displaystyle\sum_{F\in\Delta(\mathcal{L}(\mathcal{A})\setminus \{\hat{0}\})} \pi_F(Y) \prod_{x\in F} \dfrac{T_x}{1 - T_x}
For x∈L(A), set
λ(x)=#{H∈A ∣ x⊆H}.
\lambda(x) = \# \left\{ H\in\mathcal{A} ~\middle|~ x\subseteq H \right\}.
All potential poles come from combinatorial data:
Re(s)∈{−λ(x)codim(x) x∈L(A)∖{0^}}⊆Q∩[−1,0)
\mathrm{Re}(s) \in \left\{ -\dfrac{\mathrm{codim}(x)}{\lambda(x)} ~\middle|~ x\in\mathcal{L}(\mathcal{A})\setminus\{\hat{0}\}\right\} \subseteq \mathbb{Q}\cap [-1,0)
Back to Igusa zeta functions
is the Igusa zeta function associated to A.
Theorem (M., Voll 2024). If A defined over Q, then for all but finitely many primes p,
fHPA(−p−1,(p−codim(x)−λ(x)s)x∈L(A))
\mathsf{fHP}_{\mathcal{A}}\left(-p^{-1}, (p^{-\mathrm{codim}(x) - \lambda(x) s})_{x\in\mathcal{L}(\mathcal{A})}\right)
Example.
B3: x1x2x3(x12−x22)(x12−x32)(x22−x32)
\mathcal{\mathsf{B}_3} :~ x_1x_2x_3(x_1^2 - x_2^2)(x_1^2 - x_3^2)(x_2^2 - x_3^2)
(1−p3−s)1−p3−s⋅ZB3(−3−s)∣p→p−1=(1−p2−s)2(1−p7−3s)(1−p10−4s)(1−p24−9s)1+15p−s−23p1−s+7p2−s+⋯+p42−17s
\begin{align*}
\dfrac{1 - p^{3-s} \cdot \left.Z_{\mathsf{B}_3}(-3-s)\right|_{p\to p^{-1}}}{(1 - p^{3-s})} &= \dfrac{1 + 15p^{-s} - 23p^{1-s} + 7p^{2-s} + \cdots + p^{42-17s}}{(1 - p^{2-s})^2(1 - p^{7-3s})(1 - p^{10 - 4s})(1 - p^{24 - 9s})} \\[1.25em]
\end{align*}
Back to our original data:
=1+(9p2+⋯)p−s+(22p4+⋯)p−2s+⋯
= 1 + (9p^2 + \cdots)p^{-s} + (22p^4 + \cdots)p^{-2s} + \cdots
L(B3)
ZB3(s)=(1−p−1−s)(1−p−2−3s)(1−p−2−4s)(1−p−3−9s)(1−p−1)(1−8p−1+15p−2+⋯+15p−6−9s−8p−7−9s+p−8−9s)
Z_{\mathsf{B}_3}(s) = \dfrac{(1 - p^{-1})(1 - 8p^{-1} + 15p^{-2} + \cdots + 15p^{-6-9s} - 8p^{-7-9s} + p^{-8-9s})}{(1 - p^{-1-s})(1 - p^{-2-3s})(1 - p^{-2-4s})(1 - p^{-3-9s})}
λ(m)=9
\lambda(\phantom{m}) = 9
λ(m)=1
\lambda(\phantom{m}) = 1
λ(m)=2
\lambda(\phantom{m}) = 2
λ(m)=3
\lambda(\phantom{m}) = 3
λ(m)=4
\lambda(\phantom{m}) = 4
A different coarsening
Set each Tx=T — coarse flag Hilbert–Poincaré series:
Nice form:
NB3(Y,T)=1+9Y+23Y2+15Y3+20T+76YT+76Y2T+20Y3T+15T2+23YT2+9Y2T2+Y3T2
\begin{align*}
\mathcal{N}_{\mathsf{B}_3}(Y, T) &= 1 + 9Y + 23Y^2 + 15Y^3 + 20T + 76Y T \\
&\quad + 76Y^2T + 20Y^3T + 15T^2 + 23Y T^2 + 9Y^2T^2 + Y^3T^2
\end{align*}
cfHPA(Y,T)=(1−T)rk(A)NA(Y,T)
\mathsf{cfHP}_{\mathcal{A}}(Y, T) = \dfrac{\mathcal{N}_{\mathcal{A}}(Y, T)}{(1 - T)^{\mathrm{rk(\mathcal{A})}}}
cfHPA(Y,T)=F∈Δ(L(A)∖{0^})∑πF(Y)(1−TT)#F
\mathsf{cfHP}_{\mathcal{A}}(Y, T) = \displaystyle\sum_{F\in\Delta(\mathcal{L}(\mathcal{A})\setminus \{ \hat{0}\})} \pi_F(Y) \left(\dfrac{T}{1 - T}\right)^{\# F}
of L(A)
codim of
maximal elt
Corollary. For every hyperplane arrangement A, the coefficients of NA(Y,T) are non-negative.
{maximal flags of L(A)}×{subsets of {1,…,rk(A)}}
\{\text{maximal flags of }\mathcal{L}(\mathcal{A})\} \times \{\text{subsets of }\{1,\dots, \mathrm{rk}(\mathcal{A})\}\}
Theorem (Dorpalen-Barry, M., Stump +2023). The coefficients of NA(Y,T) count
together with two statistics on the pair.
NA(Y,T)=(M,S)∑Y#STstat(M,S).
\mathcal{N}_{\mathcal{A}}(Y, T) = \sum_{(M, S)} Y^{\# S} T^{\mathrm{stat}(M, S)}.
Numerator polynomial looks something like:
Summary
- Combinatorially defined substitution from flag Hilbert–Poincaré series to Igusa zeta function.
- Self-reciprocity of flag Hilbert–Poincaré series yield palindromicity of coefficients.
- Coefficients of numerator of coarse flag Hilbert–Poincaré series are non-negative.
flag Hilbert–Poincaré series
Igusa zeta function
combinatorial "coarsening"
Igusa zeta functions and hyperplane arrangements joshmaglione.com/slides/ IMS24 Joshua Maglione How to Navigate: Spacebar: Forward Shift + Spacebar: Backward Escape: Jump around Arrow keys: Move around Creative Commons Attribution 4.0 International License
Igusa zeta functions and hyperplane arrangements
By Josh Maglione
Igusa zeta functions and hyperplane arrangements
We define a class of multivariate rational functions associated with hyperplane arrangements called flag Hilbert–Poincaré series. We show how these rational functions are connected to local Igusa zeta functions and class counting zeta functions for certain graphical group schemes studied by Rossmann and Voll. We report on a general self-reciprocity result and a non-negativity result of the numerator polynomial under a coarsening, and we explore other connections within algebraic combinatorics. We report on joint works with Christopher Voll and with Galen Dorpalen-Barry and Christian Stump.
- 184
