The semisimple-quotient conjecture for submodule zeta functions

Let kk be a number field, let VV be a finite-dimensional vector space over kk, and let AEndk(V)\mathcal A\subset \operatorname{End}_k(V) be an associative unital subalgebra. Let rad(A)\operatorname{rad}(\mathcal A) be its nilradical, and choose a Wedderburn-Malcev complement SA\mathcal S\subset\mathcal A such that A=rad(A)S\mathcal A=\operatorname{rad}(\mathcal A)\oplus\mathcal S. Choose compatible o\mathfrak{o}-forms V\mathsf V, A\mathsf A, and S\mathsf S, and write Xv=Xoov\mathsf X_v=\mathsf X\otimes_{\mathfrak{o}}\mathfrak{o}_v.

Semisimple-quotient conjecture. For almost all vVkv\in\mathcal V_k,

ζAvVv(s)ζSvVv(s)s=0=1.\left.\frac{\zeta_{\mathsf A_v\curvearrowright\mathsf V_v}(s)}{\zeta_{\mathsf S_v\curvearrowright\mathsf V_v}(s)}\right|_{s=0}=1.

This conjecture generalises the earlier simple-pole conjecture by asserting that the radical of the acting algebra does not alter the value at zero relative to its semisimple complement. The supplied text states the conjecture but gives no proof or resolution.

Sources & referencesView supporting material

Primary source

Tobias Rossmann, “Enumerating submodules invariant under an endomorphism”, arXiv:1606.00760 (2016).

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.