The inert quadratic order conjecture for finitized Coh zeta functions

Let qq be a prime power, let m1m\geq 1, and let

R2,2m:=Fq[[T]]+TmFq2[[T]]R'_{2,2m}:={\mathbb F}_q[[T]]+T^m{\mathbb F}_{q^2}[[T]]

be the inert quadratic order in Fq2((T))/Fq((T)){\mathbb F}_{q^2}((T))/{\mathbb F}_q((T)). For an RR-module MM, write

ζMR(s):=LRM(M:L)s,\zeta_M^R(s):=\sum_{L\subseteq_R M}(M:L)^{-s},

where the sum is over finite-index submodules, and define the finitized Coh zeta function by ζ^R,n(s):=ζRnR(s+n)\widehat{\zeta}_{R,n}(s):=\zeta_{R^n}^R(s+n). Set t=qst=q^{-s}, and let Brn(q,t;2m+2)\mathbf{Br}_n(q,t;2m+2) denote the tt-deformed Bressoud polynomial

Brn(q,t;2m+2):=(q;q)nn1,,nmqni2t2ni(q;q)nn1(q;q)n1n2(q;q)nm(tq;q)nm.\mathbf{Br}_n(q,t;2m+2):=(q;q)_n\sum_{n_1,\dots,n_m}\frac{q^{\sum n_i^2}t^{2\sum n_i}}{(q;q)_{n-n_1}(q;q)_{n_1-n_2}\cdots(q;q)_{n_m}(-tq;q)_{n_m}}.

The inert quadratic order conjecture. For each m1m\geq 1,

ζ^R2,2m,n(s)=1(tq1;q1)nBrn(q1,t;2m+2).\widehat{\zeta}_{R'_{2,2m},n}(s)=\frac{1}{(tq^{-1};q^{-1})_n}\mathbf{Br}_n(q^{-1},t;2m+2).

This conjecture supplies the missing inert case in the unified description of finitized Coh zeta functions for quadratic orders and identifies the direct tt-deformation with a Bressoud sum; its resolution would also clarify the structural symmetry observed in the ramified case.

Sources & referencesView supporting material

Primary source

Yifeng Huang, “Coh zeta functions for inert quadratic orders”, arXiv:2507.21966 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.