scholarly journals Pointwise equidistribution and translates of measures on homogeneous spaces

2018 ◽  
Vol 40 (2) ◽  
pp. 453-477 ◽  
Author(s):  
OSAMA KHALIL

Let $(X,\mathfrak{B},\unicode[STIX]{x1D707})$ be a Borel probability space. Let $T_{n}:X\rightarrow X$ be a sequence of continuous transformations on $X$. Let $\unicode[STIX]{x1D708}$ be a probability measure on $X$ such that $(1/N)\sum _{n=1}^{N}(T_{n})_{\ast }\unicode[STIX]{x1D708}\rightarrow \unicode[STIX]{x1D707}$ in the weak-$\ast$ topology. Under general conditions, we show that for $\unicode[STIX]{x1D708}$ almost every $x\in X$, the measures $(1/N)\sum _{n=1}^{N}\unicode[STIX]{x1D6FF}_{T_{n}x}$ become equidistributed towards $\unicode[STIX]{x1D707}$ if $N$ is restricted to a set of full upper density. We present applications of these results to translates of closed orbits of Lie groups on homogeneous spaces. As a corollary, we prove equidistribution of exponentially sparse orbits of the horocycle flow on quotients of $\text{SL}(2,\mathbb{R})$, starting from every point in almost every direction.

2021 ◽  
Vol 31 (10) ◽  
pp. 2150151
Author(s):  
Risong Li ◽  
Tianxiu Lu ◽  
Xiaofang Yang ◽  
Yongxi Jiang

Let [Formula: see text] be a nontrivial compact metric space with metric [Formula: see text] and [Formula: see text] be a continuous self-map, [Formula: see text] be the sigma-algebra of Borel subsets of [Formula: see text], and [Formula: see text] be a Borel probability measure on [Formula: see text] with [Formula: see text] for any open subset [Formula: see text] of [Formula: see text]. This paper proves the following results : (1) If the pair [Formula: see text] has the property that for any [Formula: see text], there is [Formula: see text] such that [Formula: see text] for any open subset [Formula: see text] of [Formula: see text] and all [Formula: see text] sufficiently large (where [Formula: see text] is the characteristic function of the set [Formula: see text]), then the following hold : (a) The map [Formula: see text] is topologically ergodic. (b) The upper density [Formula: see text] of [Formula: see text] is positive for any open subset [Formula: see text] of [Formula: see text], where [Formula: see text]. (c) There is a [Formula: see text]-invariant Borel probability measure [Formula: see text] having full support (i.e. [Formula: see text]). (d) Sensitivity of the map [Formula: see text] implies positive lower density sensitivity, hence ergodical sensitivity. (2) If [Formula: see text] for any two nonempty open subsets [Formula: see text], then there exists [Formula: see text] satisfying [Formula: see text] for any nonempty open subset [Formula: see text], where [Formula: see text] there exist [Formula: see text] with [Formula: see text].


2016 ◽  
Vol 37 (7) ◽  
pp. 2060-2076
Author(s):  
MOHAMED BOULJIHAD

We give a criterion for the rigidity of the action of a group of affine transformations of a homogeneous space of a real Lie group. Let $G$ be a real Lie group, $\unicode[STIX]{x1D6EC}$ a lattice in $G$, and $\unicode[STIX]{x1D6E4}$ a subgroup of the affine group $\text{Aff}(G)$ stabilizing $\unicode[STIX]{x1D6EC}$. Then the action of $\unicode[STIX]{x1D6E4}$ on $G/\unicode[STIX]{x1D6EC}$ has the rigidity property in the sense of Popa [On a class of type $\text{II}_{1}$ factors with Betti numbers invariants. Ann. of Math. (2)163(3) (2006), 809–899] if and only if the induced action of $\unicode[STIX]{x1D6E4}$ on $\mathbb{P}(\mathfrak{g})$ admits no $\unicode[STIX]{x1D6E4}$-invariant probability measure, where $\mathfrak{g}$ is the Lie algebra of $G$. This generalizes results of Burger [Kazhdan constants for $\text{SL}(3,\mathbf{Z})$. J. Reine Angew. Math.413 (1991), 36–67] and Ioana and Shalom [Rigidity for equivalence relations on homogeneous spaces. Groups Geom. Dyn.7(2) (2013), 403–417]. As an application, we establish rigidity for the action of a class of groups acting by automorphisms on nilmanifolds associated to two-step nilpotent Lie groups.


2006 ◽  
Vol 71 (1) ◽  
pp. 265-282 ◽  
Author(s):  
Asge Törnquist

AbstractIn this paper we show that there are “E0 many” orbit inequivalent free actions of the free groups , 2 ≤ n ≤ ∞ by measure preserving transformations on a standard Borel probability space. In particular, there are uncountably many such actions.


2018 ◽  
Vol 40 (4) ◽  
pp. 953-974 ◽  
Author(s):  
WEN HUANG ◽  
LEIYE XU ◽  
XIANGDONG YE

In this paper the notion of sub-exponential measure complexity for an invariant Borel probability measure of a topological dynamical system is introduced. Then a minimal distal skew product map on the torus with sub-exponential measure complexity is constructed.


2009 ◽  
Vol 30 (1) ◽  
pp. 151-157 ◽  
Author(s):  
MANFRED EINSIEDLER ◽  
ALEXANDER FISH

AbstractWe prove that if a Borel probability measure on the circle group is invariant under the action of a ‘large’ multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then the measure is either Lebesgue or has finite support.


Analysis ◽  
2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Bilel Selmi

Abstract This paper studies the behavior of the lower and upper multifractal Hewitt–Stromberg functions under slices onto ( n - m ) {(n-m)} -dimensional subspaces. More precisely, we discuss the relationship between the multifractal Hewitt–Stromberg functions of a compactly supported Borel probability measure and those of slices or sections of the measure. In addition, we prove that if μ has a finite m-energy and q lies in a certain somewhat restricted interval, then these functions satisfy the expected adding of co-dimensions formula.


2019 ◽  
Vol 52 (1) ◽  
pp. 256-273
Author(s):  
Steven N. Harding ◽  
Alexander W. N. Riasanovsky

AbstractBased on the seminal work of Hutchinson, we investigate properties of α-weighted Cantor measures whose support is a fractal contained in the unit interval. Here, α is a vector of nonnegative weights summing to 1, and the corresponding weighted Cantor measure μα is the unique Borel probability measure on [0, 1] satisfying {\mu ^\alpha }(E) = \sum\nolimits_{n = 0}^{N - 1} {{\alpha _n}{\mu ^\alpha }(\varphi _n^{ - 1}(E))} where ϕn : x ↦ (x + n)/N. In Sections 1 and 2 we examine several general properties of the measure μα and the associated Legendre polynomials in L_{{\mu ^\alpha }}^2 [0, 1]. In Section 3, we (1) compute the Laplacian and moment generating function of μα, (2) characterize precisely when the moments Im = ∫[0,1]xm dμα exhibit either polynomial or exponential decay, and (3) describe an algorithm which estimates the first m moments within uniform error ε in O((log log(1/ε)) · m log m). We also state analogous results in the natural case where α is palindromic for the measure να attained by shifting μα to [−1/2, 1/2].


1996 ◽  
Vol 16 (1) ◽  
pp. 97-124 ◽  
Author(s):  
Geoffrey R. Goodson ◽  
Andrés del Junco ◽  
Mariusz Lemańczyk ◽  
Daniel J. Rudolph

AbstractLetTbe an ergodic automorphism defined on a standard Borel probability space for whichTandT−1are isomorphic. We investigate the form of the conjugating automorphism. It is well known that ifTis ergodic having a discrete spectrum andSis the conjugation betweenTandT−1, i.e.SsatisfiesTS=ST−1thenS2=Ithe identity automorphism. We show that this result remains true under the weaker assumption thatThas a simple spectrum. IfThas the weak closure property and is isomorphic to its inverse, it is shown that the conjugationSsatisfiesS4=I. Finally, we construct an example to show that the conjugation need not be an involution in this case. The example we construct, in addition to having the weak closure property, is of rank two, rigid and simple for all orders with a singular spectrum of multiplicity equal to two.


Sign in / Sign up

Export Citation Format

Share Document