Ideals in the Convolution Algebra of Periodic Distributions

Abstract

The ring of periodic distributions on Rd\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathbb {R}^{\ exttt {d}}$$\\end{document} with usual addition of distributions, and with convolution is considered. Via Fourier series expansions, this ring is isomorphic to the ring S′(Zd)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {S}'(\\mathbb {Z}^{\ exttt {d}})$$\\end{document} of all maps f:Zd→C\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$f:\\mathbb {Z}^{\ exttt {d}}\\rightarrow \\mathbb {C}$$\\end{document} of at most polynomial growth (that is, there exist a real number M>0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$M>0$$\\end{document} and an integer m≥0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ exttt {m}\\ge 0$$\\end{document} such that |f(n)|≤M(1+|n1|+⋯+|nd|)m\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ |f(\\varvec{n})|\\le M(1+|\ exttt{n}_1|+\\cdots +|\ exttt {n}_{\ exttt {d}}|)^{\ exttt {m}}$$\\end{document} for all n=(n1,⋯,nd)∈Zd\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{n}=(\ exttt{n}_1,\\cdots , \ exttt {n}_{\ exttt {d}})\\in \\mathbb {Z}^{\ exttt {d}}$$\\end{document}), with pointwise operations. It is shown that finitely generated ideals in S′(Zd)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {S}'(\\mathbb {Z}^{\ exttt {d}})$$\\end{document} are principal, and ideal membership is characterised analytically. Calling an ideal in S′(Zd)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {S}'(\\mathbb {Z}^\ exttt{d})$$\\end{document} fixed if there is a common index n∈Zd\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{n}\\in \\mathbb {Z}^{\ exttt {d}}$$\\end{document} where each member vanishes, the fixed maximal ideals are described, and it is shown that not all maximal ideals are fixed. It is shown that finitely generated (hence principal) prime ideals in S′(Zd)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {S}'(\\mathbb {Z}^{\ exttt {d}})$$\\end{document} are fixed maximal ideals. The Krull dimension of S′(Zd)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {S}'(\\mathbb {Z}^{\ exttt {d}})$$\\end{document} is proved to be infinite, while the weak Krull dimension is shown to be equal to 1.