The paramodular Hecke algebra

We give a presentation via generators and relations of the local graded paramodular Hecke algebra of prime level. In particular, we prove that the paramodular Hecke algebra is isomorphic to the quotient of the free Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {Z}}}$$\end{document}-algebra generated by four non-commuting variables by an ideal generated by seven relations. Using this description, we derive rationality results at the level of characters and give a characterization of the center of the Hecke algebra. Underlying our results are explicit formulas for the product of any generator with any double coset.