Indexed metadata

Stacky Heights, Entropy, and Zeta Functions of Weighted Hypersurfaces over Finite Fields

S. Salami, T. Shaska

Source record

Source: arXiv

Published: Sep 27, 2026

arXiv: 2609.33162

Open original source ↗

Source abstract

Let X⊂PwnX\subset \mathbb P^n_{\mathbf w} be a weighted hypersurface over Fq\mathbb F_q, with associated stack X\mathfrak X. For x∈X(Fqr)\mathbf x\in X(\mathbb F_{q^r}), let gx(r)=gcd⁡(kS(x),qr−1)g_{\mathbf x}(r)=\gcd(k_{S(\mathbf x)},q^r-1), where kS=gcd⁡(wi:i∈S)k_S=\gcd(w_i:i\in S), and define Θr(s)=∑xgx(r)1−sΘ_r(s)=\sum_{\mathbf x}g_{\mathbf x}(r)^{1-s} and ZHcan(X,s;t)=exp⁡(∑r≥1Θr(s)tr/r)Z_H^{\mathrm{can}}(\mathfrak X,s;t)=\exp(\sum_{r\ge1}Θ_r(s)t^r/r). We prove the finite sector factorization ZHcan(X,s;t)=∏e∈EwZ(XFqoe(e),toe)J1−s(e)/oe, Z_H^{\mathrm{can}}(\mathfrak X,s;t)=\prod_{e\in E_{\mathbf w}} Z(X^{(e)}_{\mathbb F_{q^{o_e}}},t^{o_e})^{J_{1-s}(e)/o_e}, where X(e)X^{(e)} is the closed isotropy sector, oe=ord⁡e(q)o_e=\operatorname{ord}_e(q) for e>1e>1 and o1=1o_1=1, and J1−sJ_{1-s} is the Jordan totient function. Hence the specializations s=1,0,−1,−2,…s=1,0,-1,-2,\ldots are rational in tt: s=1s=1 gives the Hasse--Weil zeta function of the coarse space, s=0s=0 the twist zeta function, and s=1−ks=1-k the masses of the kk-fold inertia stack. The factorization yields a functional equation when the nonempty sectors are self-dual and equidimensional; if they are also pure and geometrically irreducible, equidimensionality is necessary for every integral s≤0s\le0. For weighted diagonal hypersurfaces of degree DD with p∤Dp\nmid D, a finite Fermat cover gives purity and self-duality. We also prove a Lang--Weil asymptotic for isotropy entropy, with periodic leading term governed by isotropy periods and Frobenius orbits, and identify the function-field height with the stable stack height of Ellenberg--Satriano--Zureick-Brown, while the degree-based height remains a coordinate-complexity statistic.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.

Stacky Heights, Entropy, and Zeta Functions of Weighted Hypersurfaces over Finite Fields — Mathematical Frontier Network