Abstract

An important function attached to a complex simple Lie group GG is its asymptotic character X(λ,x)X(λ,x) (where λ,xλ,x are real (co)weights of GG) - the Fourier transform in xx of its Duistermaat-Heckman function DHλ(p)DH_λ(p) (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best λλ-independent upper bound −c(G)-c(G) for infxReX(λ,x){\rm inf}_x{\rm Re}X(λ,x) for fixed λλ is strictly negative. We quantify this result by providing a lower bound for c(G)c(G) in terms of dim⁡G\dim G. We also provide upper and lower bounds for DHλ(0)DH_λ(0) when ∣λ∣=1|λ|=1. This allows us to show that ∣X(λ,x)∣≤C(G)∣λ∣−1∣x∣−1|X(λ,x)|\le C(G)|λ|^{-1}|x|^{-1} for some constant C(G)C(G) depending only on GG, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that c(SLn)≤(4π2)n−2c(SL_n)\le (\frac{4}{π^2})^{n-2}. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for GG.

AI-generated audit

Audit summary

Not a correctness certificate. A green “no issues found” result may include yellow suspected typos or minor formal issues that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.

01StatementsNot yet audited
02ProofsNot yet audited
03NoveltyNot yet audited

No report has been generated for this paper in the local prototype.