Transmission of continuity to the Bohr topology (Q1356958)

From MaRDI portal
Revision as of 08:25, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Transmission of continuity to the Bohr topology
scientific article

    Statements

    Transmission of continuity to the Bohr topology (English)
    0 references
    0 references
    0 references
    16 June 1997
    0 references
    Here is a question addressed in the 1950's and 1960's by A. Beurling and H. Helson, by P. J. Cohen, and by W. Rudin: To what extent does the convolution algebra \(L^1(G)\) (with \(G\) an LCA group) characterize \(G\)? (Alternative version of this problem: Given LCA groups \(G\) and \(H\), find necessary and/or sufficient conditions on \(G\) and \(H\) that the algebras \(L^1(G)\) and \(L^1(H)\) are isomorphic.) Building upon and improving results of the above-cited authors, the present authors show these two principal results. Theorem 3.3: Given \(G\) LCA and \(D\) a discrete torsion-free Abelian group, the algebras \(L^1(G)\) and \(L^1(\mathbb{T}^m\times\mathbb{R}^n\times D\)) are isomorphic if and only if \(G\) is topologically isomorphic to \(\mathbb{T}^m\times \mathbb{R}^n\times D\times F\) for some finite Abelian group \(F\). Theorem 3.4: Torsion-free, compactly generated LCA groups \(G\) and \(H\) are topologically isomorphic if and only if \(L^1(G)\) and \(L^1(H)\) are isomorphic. The principal new insights making these results possible are (1) the concept of a piecewise affine map between LCA groups, (essentially) defined earlier by Cohen and by Rudin, and (2) the systematic exploitation in the present context of the Bohr topology of an LCA group. Specifically, the authors show that for each piecewise affine map \(\alpha: G\to H\) with \(G\) and \(H\) LCA there is a dense, open subset \(U\) of \(G^+\) (that is, of \(G\) in its Bohr topology) such that \(\alpha|U: U\to H^+\) is continuous.
    0 references
    topological group
    0 references
    convolution algebra
    0 references
    LCA group
    0 references
    Bohr topology
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references