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

Let f: A\to B be a ring homomorphism between Noetherian normal integral domains. We establish a general criterion for f to induce a homomorphism Cl(f): Cl(A)\to Cl(B) on divisor class groups. For instance, this criterion applies whenever f…

Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if…

We prove upper and lower bounds for the Lebesgue measure of the set of products $xy$ with $x$ and $y$ in the middle-third Cantor set. Our method is inspired by Athreya, Reznick and Tyson, but a different subdivision of the Cantor set…

Properties of the space $\Ab$ of generalized connections in the Ashtekar framework are investigated. First a construction method for new connections is given. The new parallel transports differ from the original ones only along paths that…

Consider a group word w in n letters. For a compact group G, w induces a map G^n \rightarrow G$ and thus a pushforward measure {\mu}_w on G from the Haar measure on G^n. We associate to each word w a 2-dimensional cell complex X(w) and…

This article gives some properties of intervals in $\mathbb{R}$ and discusses some problems involving intervals for which the concept of outer measure on $\mathbb{R}$ provides a more efficient solution than an elementary approach. The outer…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

This paper is dedicated to prove that the space of circle expanding maps of degree 2 preserving Lebesgue measure is an arc-connected space homeomorphic to an infinite-dimensional Lie group whose fundamental group is $\mathbb{Z}$. The…

Let G be a sofic group and X a compact group that G acts on by automorphisms. Using (and reformulating) the notion of doubly-quenched convergence developed by Austin, we show that in many cases the topological and the measure-theoretic…

We show that under natural technical conditions, the sum of a $C^2$ dynamically defined Cantor set with a compact set in most cases (for almost all parameters) has positive Lebesgue measure, provided that the sum of the Hausdorff dimensions…

By a Cantor group we mean a topological group homeomorphic to the Cantor set. The author earlier proved that every compact metric space of rational cohomological dimension n can be obtained as the orbit space of a Cantor group action on a…

Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…

In the sub-Riemannian Heisenberg group equipped with its Carnot-Caratheodory metric and with a Haar measure, we consider isodiametric sets, i.e. sets maximizing the measure among all sets with a given diameter. In particular, given an…

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…

This paper introduces the notion of a categorical pair, a pair of categories (C,C') such that every morphism in C is an object in C'. Categorical pairs are precursors to 2-categories. Arrows in C' can express relationships among the…

In this paper we construct a compact quantum semigroup structure on the Toeplitz algebra $\mathcal{T}$. The existence of a subalgebra, isomorphic to the algebra of regular Borel's measures on a circle with convolution product, in the dual…

In this paper we present a fixed point property for amenable hypergroups which is analogous to Rickert's fixed point theorem for semigroups. It equates the existence of a left invariant mean on the space of weakly right uniformly continuous…

We study the sigma-finite measures in the space of vector-valued distributions on the manifold $X$ with Laplace transform $$\Psi(f)=\exp\{-\theta\int_X\ln||f(x)||dx\}, \theta>0.$$ We also consider the weak limit of Haar measures on the…

We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…

The paper is devoted to the description of changes of the structure of the holomorphic automorphism group of a bounded domain in ${\Bbb C}^n$ under small perturbation of this domain in the Hausdorff metric. We consider a number of examples…