More Like this

1. Dimension bounds for escape on average in homogeneous spaces

   https://doi.org/10.3934/dcds.2024141  

   Kleinbock, Dmitry; Mirzadeh, Shahriar (January 2025, Discrete and Continuous Dynamical Systems)

   Let X = G/Γ, where G is a Lie group and Γ is a uniform lattice in G, and let O be an open subset of X. We give an upper estimate for the Hausdorff dimension of the set of points whose trajectories escape O on average with frequency δ, where 0 < δ ≤ 1. 

   more » « less
2. Dimension drop for diagonalizable flows on homogeneous spaces

   https://doi.org/10.3934/jmd.2024012  

   Kleinbock, Dmitry; Mirzadeh, Shahriar (January 2024, Journal of Modern Dynamics)

   Let X =G/Γ, where G is a connected Lie group and Γ is a lattice in G. Let O be an open subset of X, and let F = {g_t : t ≥ 0} be a one-parameter subsemigroup of G. Consider the set of points in X whose F-orbit misses O; it has measure zero if the flow is ergodic. It has been conjectured that, assuming ergodicity, this set has Hausdorff dimension strictly smaller than the dimension of X. This conjecture has been proved when X is compact or when G is a simple Lie group of real rank 1, or, most recently, for certain flows on the space of lattices. In this paper we prove this conjecture for arbitrary Addiagonalizable flows on irreducible quotients of semisimple Lie groups. The proof uses exponential mixing of the flow together with the method of integral inequalities for height functions on G/Γ. We also derive an application to jointly Dirichlet-Improvable systems of linear forms. 

   more » « less
3. Non-dense orbits on homogeneous spaces and applications to geometry and number theory

   https://doi.org/10.1017/etds.2021.4  

   AN, JINPENG; GUAN, LIFAN; KLEINBOCK, DMITRY (April 2022, Ergodic Theory and Dynamical Systems)

   Abstract Let G be a Lie group, let $$\Gamma \subset G$$ be a discrete subgroup, let $$X=G/\Gamma $$ and let f be an affine map from X to itself. We give conditions on a submanifold Z of X that guarantee that the set of points $$x\in X$$ with f -trajectories avoiding Z is hyperplane absolute winning (a property which implies full Hausdorff dimension and is stable under countable intersections). A similar result is proved for one-parameter actions on X . This has applications in constructing exceptional geodesics on locally symmetric spaces and in non-density of the set of values of certain functions at integer points. 

   more » « less
4. Examples of non-Dini domains with large singular sets

   https://doi.org/10.1515/ans-2022-0058  

   Kenig, Carlos; Zhao, Zihui (January 2023, Advanced Nonlinear Studies)

   Abstract Let u u be a nontrivial harmonic function in a domain D ⊂ R d D\subset {{\mathbb{R}}}^{d} , which vanishes on an open set of the boundary. In a recent article, we showed that if D D is a C 1 {C}^{1} -Dini domain, then, within the open set, the singular set of u u , defined as { X ∈ D ¯ : u ( X ) = 0 = ∣ ∇ u ( X ) ∣ } \left\{X\in \overline{D}:u\left(X)=0=| \nabla u\left(X)| \right\} , has finite ( d − 2 ) \left(d-2) -dimensional Hausdorff measure. In this article, we show that the assumption of C 1 {C}^{1} -Dini domains is sharp, by constructing a large class of non-Dini (but almost Dini) domains whose singular sets have infinite ℋ d − 2 {{\mathcal{ {\mathcal H} }}}^{d-2} -measures. 

   more » « less
5. The structure of arbitrary Conze–Lesigne systems

   https://doi.org/10.1090/cams/31  

   Jamneshan, Asgar; Shalom, Or; Tao, Terence (February 2024, Communications of the American Mathematical Society)

   Let $\mathrm{\Gamma <\#comment/>}$be a countable abelian group. An (abstract) $\mathrm{\Gamma <\#comment/>}$-system $\mathrm{X}$- that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of $\mathrm{\Gamma <\#comment/>}$- is said to be aConze–Lesigne systemif it is equal to its second Host–Kra–Ziegler factor ${\mathrm{Z}}^2\left(\mathrm{X}\right)$. The main result of this paper is a structural description of such Conze–Lesigne systems for arbitrary countable abelian $\mathrm{\Gamma <\#comment/>}$, namely that they are the inverse limit of translational systems $G_n/{\mathrm{\Lambda <\#comment/>}}_n$arising from locally compact nilpotent groups $G_n$of nilpotency class $2$, quotiented by a lattice ${\mathrm{\Lambda <\#comment/>}}_n$. Results of this type were previously known when $\mathrm{\Gamma <\#comment/>}$was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers $U^3\left(G\right)$norm for arbitrary finite abelian groups $G$. 

   more » « less