{"id":"arxiv/2606.30063","url":"https://arxiv.org/abs/2606.30063","tags":["math.NT"],"score":0,"title":"Harder's conjecture and Hermitian automorphic forms","domain":"math.NT","source":"arxiv","authors":["Hidenori Katsurada","Nobuki Takeda"],"reviews":0,"subject":"math.NT","summary":"Let $k\\ge4$ and $j\\ge2$ be integers with $j$ even. Harder's conjecture predicts a congruence between a primitive elliptic cusp form of weight $2k+j-2$ and a degree-two vector-valued Siegel Hecke cusp eigenform of weight ${\\det}^{k}\\mathrm{Sym}^{j}$. We prove the corresponding Harder-type congruence for the spinor $L$-polynomials under explicit arithmetic hypotheses on a congruence prime and an auxiliary imaginary quadratic field. Our approach uses Hermitian automorphic forms on the quasi-split unitary group $\\mathrm{U}_{2,2}$. We construct Hermitian spin lifts of Siegel cusp forms and show…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}