No abstract uploaded!

The paper presents a study of Fuglede’s $p$ -module of systems of measures in condensers in polarizable Carnot groups. In particular, we calculate the $p$ -module of measures in spherical ring domains, find the extremal measures, and finally, extend a theorem by Rodin to these groups.

We provide a refinement of the Poincaré inequality on the torus $\mathbb{T}^{d}$ : there exists a set $\mathcal{B} \subset \mathbb{T} ^{d}$ of directions such that for every $\alpha \in \mathcal{B}$ there is a $c_{\alpha } > 0$ with $$\begin{aligned} \|\nabla f\|_{L^{2}(\mathbb{T}^{d})}^{d-1} \| \langle \nabla f, \alpha \rangle \|_{L^{2}(\mathbb{T}^{d})} \geq c_{\alpha }\|f\| _{L^{2}(\mathbb{T}^{d})}^{d} \quad \mbox{for all}~f\in H^{1}\bigl( \mathbb{T}^{d}\bigr)~ \mbox{with mean 0.} \end{aligned}$$ The derivative $\langle \nabla f, \alpha \rangle $ does not detect any oscillation in directions orthogonal to $\alpha $ , however, for certain $\alpha $ the geodesic flow in direction $\alpha $ is sufficiently mixing to compensate for that defect. On the two-dimensional torus $\mathbb{T}^{2}$ the inequality holds for $\alpha = (1, \sqrt{2})$ but is not true for $\alpha = (1,e)$ . Similar results should hold at a great level of generality on very general domains.

We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this assertion for the ideal $M_{0}(G)$ consisting of measures with Fourier-Stieltjes transforms vanishing at infinity which is a stronger statement). As a corollary, we obtain that the spectras of elements in the algebra of measures cannot be recovered from the image of one countable subset of the Gelfand space under Gelfand transform, common for all elements in the algebra.

Consider a complete abelian category which has an injective cogenerator. If its derived category is left-complete we show that the dual of this derived category satisfies Brown representability. In particular, this is true for the derived category of an abelian AB $4^{*}$ - $n$ category and for the derived category of quasi-coherent sheaves over a nice enough scheme, including the projective finitely dimensional space.