The purpose of this paper is to prove the existence of a symplectic realization for a large class of regular Poisson manifolds with Riemannian two dimensional characteristic foliation. To do so, we will show that the homotopy groupoid of a Riemannian foliation is locally trivial.
We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense subset and basis...
The notion of a -diffeomorphism related to a foliation is introduced. A perfectness theorem for the group of -diffeomorphisms is proved. A remark on -diffeomorphisms is given.
Let G be a Lie group and A(G) the Fourier algebra of G. We describe sufficient conditions for complex-valued functions to operate on elements u ∈ A(G) of certain differentiability classes in terms of the dimension of the group G. Furthermore, generalizing a result of Kirsch and Müller [Ark. Mat. 18 (1980), 145-155] we prove that closed subsets E of a smooth m-dimensional submanifold of a Lie group G having a certain cone property are sets of smooth spectral synthesis. For such sets we give an estimate...
We present a simple constructive proof of the fact that every abelian discrete group is uniformly amenable. We improve the growth function obtained earlier and find the optimal growth function in a particular case. We also compute a growth function for some non-abelian uniformly amenable group.
Let (X) be the algebra of all bounded operators on a Banach space X, and let θ: G → (X) be a strongly continuous representation of a locally compact and second countable abelian group G on X. Set σ¹(θ(g)): = λ/|λ| | λ ∈ σ(θ(g)), where σ(θ(g)) is the spectrum of θ(g), and let be the set of all g ∈ G such that σ¹(θ(g)) does not contain any regular polygon of (by a regular polygon we mean the image under a rotation of a closed subgroup of the unit circle different from 1). We prove that θ is uniformly...