Absolute convergence of the geometric conjugacy-class expansion

About 12 years old · traced to

Let GG be the reductive group, let f∈Cc∞(G(A)1)f\in C_c^\infty(G(\mathbb A)^1), and for each geometric conjugacy class CC in GG let

KP,C(x,y)=∑D⊂P/NInd⁡PGD=C∑γ∈D∫Nf(x−1γny) dnK_{P,C}(x,y)=\sum_{\substack{D\subset P/N\operatorname{Ind}_P^G D=C}}\sum_{\gamma\in D}\int_{\mathbf N} f(x^{-1}\gamma n y)\,dn

be its contribution to the kernel function, with

JCT(f)=∫G\G1∑PKP,C(x,x)τ^PT(x) dx.J_C^T(f)=\int_{G\backslash\mathbf G^1}\sum_P K_{P,C}(x,x)\hat\tau_P^T(x)\,dx.

Absolute convergence conjecture. For every f∈Cc∞(G(A)1)f\in C_c^\infty(G(\mathbb A)^1), one has

∑C∫G\G1∣∑PKP,C(x,x)τ^PT(x)∣ dx<∞.\sum_C\int_{G\backslash\mathbf G^1}\left|\sum_P K_{P,C}(x,x)\hat\tau_P^T(x)\right|\,dx<\infty.

This condition would justify the expansion of the trace distribution into contributions from geometric conjugacy classes, namely JT(f)=∑CJCT(f)J^T(f)=\sum_C J_C^T(f). The source presents it as the condition needed for convergence and does not provide evidence of a resolution here.

References

Primary source

Werner Hoffmann, “The trace formula and prehomogeneous vector spaces”, arXiv:1412.8673 (2014).

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.