Bohr almost periodic sets of toral type

DOI10.1007/S12220-021-00807-WMaRDI QIDQ2074516zbMATH OpenOpenAlexFDO

Publication date 10 February 2022

Published in The Journal of Geometric Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.10611

spectral measure homotopy compactification Voronoi tessellation almost periodic functions and sets Fourier quasicrystal

Classification of homotopy type (55P15) Almost periodic functions on groups and semigroups and their generalizations (recurrent functions, distal functions, etc.); almost automorphic functions (43A60) Quasicrystals and aperiodic tilings in discrete geometry (52C23)

Abstract: A locally finite multiset

(L a m b d a, c),

L a m b d a s u b s e t m a t h b b R^{n}, c : L a m b d a i g h t a r r o w 1, ..., b

defines a Radon measure

m u := s u m_{l a m b d a i n L a m b d a} c (l a m b d a), d e l t a_{l} a m b d a

that is Bohr almost periodic in the sense of Favorov if the convolution

m u * f

is Bohr almost periodic every

f i n C_{c} (m a t h b b R^{n}) .

If it is of toral type: the Fourier transform

m a t h f r a k F m u

equals zero outside of a rank

m < i n f t y

subgroup, then there exists a compactification

p s i : m a t h b b R^{n} i g h t a r r o w m a t h b b T^{m}

of

m a t h b b R^{n},

a foliation of

m a t h b b T^{m},

and a pair

(K, k a p p a)

where

K := o v e r l i n e p s i (L a m b d a)

and

k a p p a

is a measure supported on

K

such that

m a t h f r a k F k a p p a = (m a t h f r a k F m u) c i r c w i d e h a t p s i

where

w i d e h a t p s i : w i d e h a t m a t h b b T^{m} i g h t a r r o w w i d e h a t m a t h b b R^{n}

is the Pontryagin dual of

p s i .

If

(L a m b d a, c)

is uniformly discrete Bohr almost periodic and

c = 1,

we prove that every connected component of

K

is homeomorphic to

m a t h b b T^{m - n}

embedded transverse to the foliation and the homotopy of its embedding is a rank

m - n

subgroup

S

of

m a t h b b Z^{m},

and we compute the density of

L a m b d a

as a function of

p s i

and the homotopy of comonents of

K .

For

n = 1

and

K

a nonsingular real algebraic variety, this construction gives all Fourier quasicrystals (FQ) recently characterized by Olevskii and Ulanovskii and suggest how to characterize FQ for

n > 1.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Bohr almost periodic sets of toral type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074516)