Abstract
In our former paper we introduced the concept of localization of ideals in the Fourier algebra of a locally compact Abelian group. It turns out that localizability of a closed ideal in the Fourier algebra is equivalent to the synthesizability of the annihilator of that closed ideal which corresponds to this ideal in the measure algebra. This equivalence provides an effective tool to prove synthesizability of varieties on locally compact Abelian groups. In this paper we utilize this tool to show that when investigating synthesizability of a variety, roughly speaking compact elements of the group can be neglected. Our main result is that spectral synthesis holds on a locally compact Abelian group G if and only if it holds on G/B, where B is the closed subgroup of all compact elements. In particular, spectral synthesis holds on compact Abelian groups. Also we obtain a simple proof for the characterization theorem of spectral synthesis on discrete Abelian groups.
Similar content being viewed by others
1 Introduction
Let G be a locally compact Abelian group. Spectral synthesis deals with uniformly closed translation invariant linear spaces of continuous complex valued functions on G. Such a space is called a variety. We say that spectral analysis holds for a variety, if every nonzero subvariety contains a one dimensional subvariety. We say that a variety is synthesizable, if its finite dimensional subvarieties span a dense subspace in the variety. Finally, we say that spectral synthesis holds for a variety, if every subvariety of it is synthesizable. On commutative topological groups finite dimensional varieties of continuous functions are completely characterized: they are spanned by exponential monomials. Exponential polynomials on a topological Abelien group are defined as the elements of the complex algebra of continuous complex valued functions generated by all continuous homomorphisms into the multiplicative group of nonzero complex numbers (exponentials), and all continuous homomorphisms into the additive group of all complex numbers (additive functions). An exponential monomial is a function of the form
where P is a complex polynomial in n variables, the \(a_i\)’s are additive functions, and m is an exponential. Every exponential polynomial is a linear combination of exponential monomials. For more about spectral analysis and synthesis on groups see [5, 6].
In [4], the authors characterized those discrete Abelian groups having spectral synthesis: spectral synthesis holds for every variety on the discrete Abelian group G, if and only if G has finite torsion free rank. In particular, from this result it follows, that if spectral synthesis holds on G and H, then it holds on \(G\oplus H\). Unfortunately, such a result does not hold in the non-discrete case. Namely, by the fundamental result of L. Schwartz [1], spectral synthesis holds on \(\mathbb {R}\), but D. I. Gurevich showed in [3] that spectral synthesis fails to hold on \(\mathbb {R}\times \mathbb {R}\). In this paper we prove that spectral synthesis holds on the locally compact Abelian group G assuming that it holds on the factor group G/B, where B is the closed subgroup of G formed by all compact elements. We recall, that in a topological group an element is called compact element, if the closure of the cyclic subgroup generated by the element is compact. In a locally compact Abelian group all compact elements form a closed subgroup (see [2, (9.10) Theorem]).
2 Localization
In our former paper [7] we introduced the concept of localization of ideals in the Fourier algebra of a locally compact Abelian group. We recall this concept here.
Let G be a locally compact Abelian group and let \({\mathcal {A}}(G)\) denote its Fourier algebra, that is, the algebra of all Fourier transforms of compactly supported complex Borel measures on G. This algebra is topologically isomorphic to the measure algebra \({\mathcal {M}}_c(G)\). For the sake of simplicity, if the annihilator \(\mathrm {Ann\,}I\) of the closed ideal I in \({\mathcal {M}}_c(G)\) is synthesizable, then we say that the corresponding closed ideal \({\widehat{I}}\) in \({\mathcal {A}}(G)\) is synthesizable. For each derivation D on \({\mathcal {A}}(G)\), we introduced (see [7]) the set \({\widehat{I}}_{D,m}\) as the set of all functions \({\widehat{\mu }}\) in \({\mathcal {A}}(G)\) for which
holds for each \(k=1,2,\ldots \) and \(y_1,y_2,\ldots ,y_k\) in G. Then \({\widehat{I}}_{D,m}\) is a closed ideal in \({\mathcal {A}}(G)\). For a family \({\mathcal {D}}\) of derivations we write
Clearly, \({\widehat{I}}_{{\mathcal {D}},m}\) is a closed ideal as well.
The dual concept is the following: given an ideal \({\widehat{I}}\) in \({\mathcal {A}}(G)\) and an exponential m, the set of all derivations on \({\mathcal {A}}(G)\) which annihilate \({\widehat{I}}\) at m is denoted by \({\mathcal {D}}_{{\widehat{I}},m}\). The subset of \({\mathcal {D}}_{{\widehat{I}},m}\) consisting of all polynomial derivations is denoted by \({\mathcal {P}}_{{\widehat{I}},m}\). We have the basic inclusion
We note that if m is not a root of \({\widehat{I}}\), then \({\mathcal {D}}_{{\widehat{I}},m}={\mathcal {P}}_{{\widehat{I}},m}=\{0\}\), consequently \({\widehat{I}}_{{\mathcal {D}}_{{\widehat{I}},m},m}={\widehat{I}}_{{\mathcal {P}}_{{\widehat{I}},m},m}=\mathcal A(G)\), hence those terms have no effect on the intersection.
The ideal \({\widehat{I}}\) is called localizable, if we have equalities in (1). Roughly speaking, localizability of an ideal means, that the ideal is completely determined by the values of "derivatives" of the functions belonging to this ideal. The main result in [7] is that \({\widehat{I}}\) is synthesizable if and only if it is localizable. We shall use this result in the subsequent paragraphs.
3 The main result
Our main result in this paper is the following.
Theorem 1
Let G be a locally compact Abelian group and let B denote the closed subgroup of G consisting of all compact elements. Then spectral synthesis holds on G if and only if it holds on G/B.
Proof
If spectral synthesis holds on G, then it obviously holds on every continuous homomorphic image of G, in particular, it holds on G/B.
Conversely, we assume that spectral synthesis holds on G/B. This means, that every closed ideal in the Fourier algebra of G/B is localizable, and we need to show the same for all closed ideals of the Fourier algebra of G.
First we remark that the polynomial rings over G and over G/B can be identified. Indeed, polynomials on G are built up from real characters on G, which clearly vanish on compact elements, as the topological group of the reals has no nontrivial compact subgroups. Consequently, if a is a real character, and x, y are in the same coset of B, then \(x-y\) is in B, and \(a(x-y)=0\), which means \(a(x)=a(y)\). So, the real characters on G arise from the real characters of G/B, hence the two polynomial rings can be identified.
Now we define a projection of the Fourier algebra of G into the Fourier algebra of G/B as follows. Let \(\Phi :G\rightarrow G/B\) denote the natural mapping. For each measure \(\mu \) in \({\mathcal {M}}_c(G)\) we define \(\mu _B\) as the linear functional
whenever \(\varphi :G/B\rightarrow \mathbb {C}\) is a continuous function. It is straightforward that the mapping \({\widehat{\mu }}\mapsto {\widehat{\mu }}_B\) is a continuous algebra homomorphism of the Fourier algebra of G into the Fourier algebra of G/B. As \(\Phi \) is an open mapping, closed ideals are mapped onto closed ideals.
For a given closed ideal \({\widehat{I}}\) in \({\mathcal {A}}(G)\), we denote by \({\widehat{I}}_B\) the closed ideal in \({\mathcal {A}}(G/B)\) which corresponds to \({\widehat{I}}\) under the above homomorphism. If m is a root of the ideal \({\widehat{I}}_B\), then \({\widehat{\mu }}_B(m)=0\) for each \({\widehat{\mu }}\) in \({\widehat{I}}\). In other words,
hence \(m\circ \Phi \), which is clearly an exponential on G, is a root of \({\widehat{I}}\). Suppose that D is a derivation in \(\mathcal P_{{\widehat{I}},m\circ \Phi }\), then it has the form
with some polynomial p on G (see [7]). According to our remark above, the polynomial p can uniquely be written as \(p_B\circ \Phi \), where \(p_B\) is a polynomial on G/B. In other words,
which defines a derivation \(D_B\) on \({\mathcal {A}}(G/B)\) with generating function \(f_{D_B,m}=p_B\) (see [7]).
It follows, that every derivation in \({\mathcal {P}}_{{\widehat{I}},m\circ \Phi }\) arises from a derivation in \({\mathcal {P}}_{{\widehat{I}}_B,m}\). On the other hand, if d is a derivation in \(\mathcal P_{{\widehat{I}}_B,m}\), then we have
which defines a derivation D in \({\mathcal {P}}_{{\widehat{I}},m\circ \Phi }\).
We summarize our assertions. Let \({\widehat{I}}\) be a proper closed ideal in \({\mathcal {A}}(G)\) and assume that \({\widehat{I}}\) is non-localizable. It follows that there is a function \({\widehat{\nu }}\) not in \({\widehat{I}}\) which is annihilated at M by all polynomial derivations in \({\mathcal {P}}_{{\widehat{I}},M}\), for each exponential M on G. In particular, \({\widehat{\nu }}\) is annihilated at \(m\circ \Phi \) by all polynomial derivations in \(\mathcal P_{{\widehat{I}},m\circ \Phi }\), for each exponential m on G/B. We have seen above that this implies that \({\widehat{\nu }}_B\) is annihilated at m by all polynomial derivations in \(\mathcal P_{{\widehat{I}}_B,m}\) and for each exponential m on G/B. As spectral synthesis holds on G/B, the ideal \({\widehat{I}}_B\) is localizable, hence \({\widehat{\nu }}_B\) is in \({\widehat{I}}_B\), but this contradicts the assumption that \({\widehat{\nu }}\) is not in \({\widehat{I}}\). The proof is complete. \(\square \)
Corollary 1
If every element of a locally compact Abelian group is compact, then spectral synthesis holds on this group.
Proof
If every element of G is compact, then \(G=B\), and G/B is a finite group. \(\square \)
Corollary 2
Spectral synthesis holds on every compact Abelian group.
Proof
Again, we have \(G=B\). \(\square \)
Corollary 3
Spectral synthesis holds on a discrete Abelian group if and only if its torsion free rank is finite (see [4, 7]).
Proof
If the torsion free rank of G is infinite, then there is a non-polynomial derivation on its Fourier algebra, hence we have the chain of inclusions
which implies that \({\widehat{I}}\ne {\widehat{I}}_{\mathcal P_{{{\widehat{I}},m}},m}\), hence \({\widehat{I}}\) is not synthesizable.
Conversely, let G have finite torsion free rank. The subgroup B of compact elements coincides with the set T of all elements of finite order, and G/T is a (continuous) homomorphic image of \(\mathbb {Z}^n\) with some nonnegative integer n. As spectral synthesis holds on \(\mathbb {Z}^n\), it holds on its homomorphic images. \(\square \)
Data availibility
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Schwartz, L.: Théorie générale des fonctions moyenne-périodiques. Ann. Math. 2(48), 857–929 (1947)
Hewitt, E., Ross, K.A.: Abstract Harmonic Analysis. Vol. I: Structure of Topological Groups. Integration Theory, Group. Representations Die Grundlehren der MathematischenWissenschaften, Bd. 115. Academic Press Inc., Publishers, New York (1963)
Gurevič, D. I.: Counterexamples to a problem of L. Schwartz. Funkcional. Anal. i Priložen. 9(2), 29–35 (1975)
Laczkovich, M., Székelyhidi, L.: Spectral synthesis on discrete abelian groups. Math. Proc. Camb. Philos. Soc. 143(1), 103–120 (2007)
Székelyhidi, L.: Spectral synthesis problems on locally compact groups. Monatsh. Math. 161(2), 223–232 (2010)
Székelyhidi, L.: Harmonic and Spectral Analysis. World Scientific Publishing Co. Pte. Ltd., Hackensack (2014)
Székelyhidi, L.: Spectral Synthesis on Varieties. https://doi.org/10.48550/arXiv.2306.17438
Funding
Open access funding provided by University of Debrecen.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Gerald Teschl.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research was supported by the the Hungarian National Foundation for Scientific Research (OTKA), Grant No. K-134191.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Székelyhidi, L. New results on spectral synthesis. Monatsh Math (2024). https://doi.org/10.1007/s00605-024-01950-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00605-024-01950-6