The Carlitz zeta value Fitting-ideal conjecture for negative twists

From papers

For an integer nn written as n=δ+h(q1)n=\delta+h(q-1) by Euclidean division by q1q-1, define

Z(x,n)=d0xdSd(n),Sd(n)=a monicdeg(a)=da(t)n,Z(x,-n)=\sum_{d\geq 0}x^dS_d(n),\qquad S_d(n)=\sum_{\substack{a\ \text{monic}\\ \deg(a)=d}}a(t)^n,

and let Pn(x)P_n(x) be

Pn(x):=detF[t](id(idγ)xk=0h1F[t]θkνn)F[t][x].P_n(x):=\operatorname{det}_{\mathbb{F}[t]}\left(\operatorname{id}-(\operatorname{id}-\gamma)x\bigg|\bigoplus_{k=0}^{h-1}\mathbb{F}[t]\cdot\theta^k\nu_n\right)\in\mathbb{F}[t][x].

Let ζC(n)\zeta_C^*(-n) be the first nonzero coefficient in the expansion of Z(x,n)Z(x,-n) at x=1x=1. Carlitz zeta value Fitting-ideal conjecture. We have Pn(x)=Z(x,n)P_n(x)=Z(x,-n). In particular, ζC(n)\zeta_C^*(-n) generates the Fitting ideal of Cl(A(n))\operatorname{Cl}(\underline{A}(-n)). The conjecture identifies the determinant polynomial arising from the class-module computation with the Carlitz zeta polynomial, and would therefore express the Fitting ideal of the class module in terms of a special Carlitz zeta value; it was motivated by numerical computations.

Progress summary

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

Sources & referencesView supporting material

Primary source

Quentin Gazda and Andreas Maurischat, “Carlitz twists: their motivic cohomology, regulators, zeta values and polylogarithms”, arXiv:2212.02972 (2023).

Solutions 0

No solutions have been posted yet.