A smooth subadditive homogeneous norm on a homogeneous group
In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number , a topological group G such that is countably compact for all cardinals γ < α, but is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from . However, the question has remained...
Let G be a real Lie group and H a lattice or, more generally, a closed subgroup of finite covolume in G. We show that the unitary representation of G on L²(G/H) has a spectral gap, that is, the restriction of to the orthogonal complement of the constants in L²(G/H) does not have almost invariant vectors. This answers a question of G. Margulis. We give an application to the spectral geometry of locally symmetric Riemannian spaces of infinite volume.
We establish the spectral gap property for dense subgroups of SU, generated by finitely many elements with algebraic entries; this result was announced...
We prove a spectral Paley-Wiener theorem for the Heisenberg group by means of a support theorem for the twisted spherical means on If is a Schwartz class function we show that is supported in a ball of radius in if and only if for for all This is an analogue of Helgason’s support theorem on Euclidean and hyperbolic spaces. When we show that the two conditions for imply a support theorem for a large class of functions with exponential growth. Surprisingly enough,this latter...
Let 𝓢(Hₙ) be the space of Schwartz functions on the Heisenberg group Hₙ. We define a spherical transform on 𝓢(Hₙ) associated to the action (by automorphisms) of U(p,q) on Hₙ, p + q = n. We determine its kernel and image and obtain an inversion formula analogous to the Godement-Plancherel formula.
Consider a transitive definable action of a Lie group G on a definable manifold M. Given two (locally) definable subsets A and B of M, we prove that the dimension of the intersection σ(A) ∩ B is not greater than the expected one for a generic σ ∈ G.