Related papers: From Haar to Lebesgue via Domain Theory, Revised v…

This paper studies recurrence phenomena in iterative holomorphic dynamics of certain multi-valued maps. In particular, we prove an analogue of the Poincar\'e recurrence theorem for meromorphic correspondences with respect to certain…

Lecture notes in Russian. Topics: the Haar measure (abstract theorems and explicit descriptions for different groups), measures on infinite-dimensional spaces with large natural groups of symmetries (Gaussian measures, Poisson measures,…

We show that the collection of regular Borel measures on a second-countable locally compact Hausdorff space has the structure of a sheaf. With this we give an alternate description of the pullback of a regular Borel measure along a local…

In this paper we investigate the following questions. Let $\mu, \nu$ be two regular Borel measures of finite total variation. When do we have a constant $C$ satisfying $$\int f d\nu \le C \int f d\mu$$ whenever $f$ is a continuous…

We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We proceed to provide…

Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the…

Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…

We prove that if $X$ is a Polish space and $F$ is a face of $P(X)$ with the Baire property, then $F$ is either a meager or a co-meager subset of $P(X)$. As a consequence we show that for every abelian Polish group $X$ and every analytic…

We show that the Continuum Hypothesis implies that for every $0<d_1\leq d_2<n$ the measure spaces $(\RR^n,\iM_{\iH^{d_1}},\iH^{d_1})$ and $(\RR^n,\iM_{\iH^{d_2}},\iH^{d_2})$ are isomorphic, where $\iH^d$ is $d$-dimensional Hausdorff measure…

We give an infinitesimal criterion, in the analytic setting, for a vector space to be locally homogeneous under some group action. Our approach differs from those which resort to an inverse function theorem (e.g. those of Moser, Zehnder or…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

Given any amenable group $G$ (with a left Haar measure $|\cdot|$ or $dg$), we can select out a \textit{F{\o}lner subnet} $\{F_\theta,\theta\in\Theta\}$ from any left F{\o}lner net in $G$, which is \textit{$L^\infty$-admissible}, namely, for…

We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius…

We extend an old result of de la Harpe and Karoubi, concerning almost representations of compact groups, to proper groupoids admitting continuous Haar measure systems. As an application, we establish the existence of sufficiently many…

Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…

For a second countable locally compact group $G$ and a closed abelian subgroup $H$, we give a range function classification of closed subspaces in $L^2(G)$ invariant under left translation by $H$. For a family $\mathscr{A} \subset L^2(G)$,…

Let $\mathcal{C}\subseteq[0,1]$ be a Cantor set. In the classical $\mathcal{C}\pm\mathcal{C}$ problems, modifying the ``size'' of $\mathcal{C}$ has a magnified effect on $\mathcal{C}\pm\mathcal{C}$. However, any gain in $\mathcal{C}$…

The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some…

We prove a generalization of van der Corput's difference theorem for sequences of vectors in a Hilbert space. This generalization is obtained by establishing a connection between sequences of vectors in the first Hilbert space with a vector…

Let $G$ be an LCA group, $H$ a closed subgroup, $\varGamma$ the dual group of $G$. In accordance with analogous notions in prediction theory the classes of $H$-regular and $H$-singular Borel measures on $\Gamma$ are defined. A…