Topological representation zeta function of infinitesimal Heisenberg groups

Let Q[εn]=Q[x]/(xn)\mathbb{Q}[\varepsilon_n]=\mathbb{Q}[x]/(x^n), and let H[εn]\mathbf{H}[\varepsilon_n] denote the group scheme obtained from the Heisenberg Lie algebra tensored with Q[εn]\mathbb{Q}[\varepsilon_n]. Write ζH[εn],top(s)\zeta_{\mathbf{H}[\varepsilon_n],\mathrm{top}}(s) for its topological representation zeta function. Topological Heisenberg zeta-function conjecture. One has

ζH[εn],top(s)=i=1nis2i+2is2i+1.\zeta_{\mathbf{H}[\varepsilon_n],\mathrm{top}}(s)=\prod_{i=1}^n\frac{is-2i+2}{is-2i+1}.

The formula matches the computations for n=2n=2 and n=3n=3 and is suggested by the conjectured pp-adic formula; general nn remains open.

Sources & referencesView supporting material

Primary source

Duong Hoang Dung, “Representation growth of the Heisenberg group over O[x]/(x^n)”, arXiv:1508.03507 (2015).

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.