We prove, for any $n$, that there is a closed connected orientable surface $S$ so that the hyperbolic space ${ℍ}^n$ almost-isometrically embeds into the Teichmüller space of $S$, with quasi-convex image lying in the thick part. As a consequence, ${ℍ}^n$ quasi-isometrically embeds in the curve complex of $S$.

Ozawa showed in [21] that for any i.c.c. hyperbolic group, the associated group factor $L\Gamma$ is solid. Developing a new approach that combines some methods of Peterson [29], Ozawa and Popa [27, 28], and Ozawa [25], we strengthen this result by showing that $L\Gamma$ is strongly solid. Using our methods in cooperation with a cocycle superrigidity result of Ioana [12], we show that profinite actions of lattices in $\mathrm{Sp}(n,1)$, $n\ge 2$, are virtually $W^{*}$-superrigid.

We describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free group case, the group $H$ embeds into the Lyndon’s completion $G^{\mathbb{Z}\left[t\right]}$ of the group $G$, or, equivalently, $H$ embeds into a group obtained from $G$ by finitely many extensions of centralizers. Conversely, every subgroup of $G^{\mathbb{Z}\left[t\right]}$ containing $G$ is universally equivalent to $G$. Since finitely...

Let $X$ be a connected closed manifold and $f$ a self-map on $X$. We say that $f$ is almost quasi-unipotent if every eigenvalue $\lambda$ of the map $f_{*k}$ (the induced map on the $k$-th homology group of $X$) which is neither a root of unity, nor a zero, satisfies that the sum of the multiplicities of $\lambda$ as eigenvalue of all the maps $f_{*k}$ with $k$ odd is equal to the sum of the multiplicities of $\lambda$ as eigenvalue of all the maps $f_{*k}$ with $k$ even. We prove that if $f$ is $C^1$ having finitely many periodic points all of them...

A hyperideal polyhedron is a non-compact polyhedron in the hyperbolic $3$-space ${ℍ}^3$ which, in the projective model for ${ℍ}^3\subset {\mathrm{ℝ\mathbb{P}}}^3$, is just the intersection of ${ℍ}^3$ with a projective polyhedron whose vertices are all outside ${ℍ}^3$ and whose edges all meet ${ℍ}^3$. We classify hyperideal polyhedra, up to isometries of ${ℍ}^3$, in terms of their combinatorial type and of their dihedral angles.

We prove the central limit theorem for the multisequence ${\sum }_{1\le n₁\le N₁}\cdots {\sum }_{1\le n_d\le N_d}{a}_{n₁,...,n_d}cos(⟨2\pi m,A{₁}^{n₁}...A_d^{n_d}x⟩)$ where $m\in {\mathbb{Z}}^s$, $a_{n₁,...,n_d}$ are reals, $A₁,...,A_d$ are partially hyperbolic commuting s × s matrices, and x is a uniformly distributed random variable in ${[0,1]}^s$. The main tool is the S-unit theorem.

We study II${}_1$ factors $M$ and $N$ associated with good generalized Bernoulli actions of groups having an infinite almost normal subgroup with the relative property (T). We prove the following rigidity result : every finite index $M$-$N$-bimodule (in particular, every isomorphism between $M$ and $N$) is described by a commensurability of the groups involved and a commensurability of their actions. The fusion algebra of finite index $M$-$M$-bimodules is identified with an extended Hecke fusion algebra,...

We consider the following Darboux problem for the functional differential equation $\partial ²u/\partial x\partial y(x,y)=f(x,y,u_{(x,y)},\partial u/\partial x(x,y),\partial u/\partial y(x,y))$ a.e. in [0,a]×[0,b], u(x,y) = ψ(x,y) on [-a₀,a]×[-b₀,b]$0,a\left]\times \right(0,b],$where the function $u_{(x,y)}:[-a₀,0]\times [-b₀,0]\to {ℝ}^k$ is defined by $u_{(x,y)}(s,t)=u(s+x,t+y)$ for (s,t) ∈ [-a₀,0]×[-b₀,0]. We prove a theorem on existence of the Carathéodory solutions of the above problem.

We study shadowing properties of continuous actions of the groups ${\mathbb{Z}}^p$ and ${\mathbb{Z}}^p\times {ℝ}^p$. Necessary and sufficient conditions are given under which a linear action of ${\mathbb{Z}}^p$ on ${ℂ}^m$ has a Lipschitz shadowing property.

We consider the systems of hyperbolic equations ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S1) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$ ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S2) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{l(t,x)\left|v\right|}^m+k(t,x){\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$, (S3) ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|u\right|}^p$, t > 0, $x\in {ℝ}^N$, ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|v\right|}^q$, t > 0, $x\in {ℝ}^N$, in $(0,\infty )\times {ℝ}^N$ with u(0,x) = u₀(x), v(0,x) = v₀(x), uₜ(0,x) = u₁(x), vₜ(0,x) = v₁(x). We show that, in each case, there exists a bound B on N such that for 1 ≤ N ≤ B solutions to the systems blow up in finite time.

Let $f$ be a dominant rational map of ${\mathbb{P}}^k$ such that there exists $s\<k$ with ${\lambda }_s\left(f\right)\>{\lambda }_l\left(f\right)$ for all $l$. Under mild hypotheses, we show that, for $A$ outside a pluripolar set of $\mathrm{Aut}\left({\mathbb{P}}^k\right)$, the map $f\circ A$ admits a hyperbolic measure of maximal entropy $log{\lambda }_s\left(f\right)$ with explicit bounds on the Lyapunov exponents. In particular, the result is true for polynomial maps hence for the homogeneous extension of $f$ to ${\mathbb{P}}^{k+1}$. This provides many examples where non uniform hyperbolic dynamics is established. One of the key tools is to approximate...

Let $Y$ be a hyperbolic surface and let $\phi$ be a Laplacian eigenfunction having eigenvalue $-1/4-{\tau }^2$ with $\tau >0$. Let $N\left(\phi \right)$ be the set of nodal lines of $\phi$. For a fixed analytic curve $\gamma$ of finite length, we study the number of intersections between $N\left(\phi \right)$ and $\gamma$ in terms of $\tau$. When $Y$ is compact and $\gamma$ a geodesic circle, or when $Y$ has finite volume and $\gamma$ is a closed horocycle, we prove that $\gamma$ is “good” in the sense of [TZ]. As a result, we obtain that the number of intersections between $N\left(\phi \right)$ and $\gamma$ is $O\left(\tau \right)$. This bound is...

In his seminal paper on arithmetic surfaces Faltings introduced a new invariant associated to compact Riemann surfaces $X$, nowadays called Faltings’s delta function and here denoted by ${\delta }_{\mathrm{Fal}}\left(X\right)$. For a given compact Riemann surface $X$ of genus $g_X=g$, the invariant ${\delta }_{\mathrm{Fal}}\left(X\right)$ is roughly given as minus the logarithm of the distance with respect to the Weil-Petersson metric of the point in the moduli space ${ℳ}_g$ of genus $g$ curves determined by $X$ to its boundary $\partial {ℳ}_g$. In this paper we begin by revisiting a formula derived...

We consider “nonconventional” averaging setup in the form $\frac{\mathrm{d}{X}^{\epsilon }\left(t\right)}{\mathrm{d}t}=\epsilon B(X^{\epsilon }\left(t\right)$, $𝛯\left(q_1\left(t\right)\right),𝛯\left(q_2\left(t\right)\right),...,𝛯\left(q_{\ell }\left(t\right)\right))$ where $𝛯\left(t\right)$, $t\ge 0$ is either a stochastic process or a dynamical system with sufficiently fast mixing while $q_j\left(t\right)={\alpha }_{j}t$, ${\alpha }_{1}lt;{\alpha }_{2}lt;\cdots lt;{\alpha }_k$ and $q_j$, $j=k+1,...,\ell$ grow faster than linearly. We show that the properly normalized error term in the “nonconventional” averaging principle is asymptotically Gaussian.

A real form $G$ of a complex semi-simple Lie group $G^{ℂ}$ has only finitely many orbits in any given $G^{ℂ}$-flag manifold $Z=G^{ℂ}/Q$. The complex geometry of these orbits is of interest, e.g., for the associated representation theory. The open orbits $D$ generally possess only the constant holomorphic functions, and the relevant associated geometric objects are certain positive-dimensional compact complex submanifolds of $D$ which, with very few well-understood exceptions, are parameterized by the Wolf cycle...

In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\cdots ,g_k$ with order $n_1,\cdots ,n_k\in \{1,2,\cdots \}\cup \left\{\infty \right\}$, then $${\beta }_1^{\left(2\right)}\left(G\right)\le k-1-\sum _{i=1}^k\frac{1}{n_i},$$ where ${\beta }_1^{\left(2\right)}\left(G\right)$ denotes the first ${\ell }^2$-Betti number of $G$. We also show that any $k$-generated group with ${\beta }_1^{\left(2\right)}\left(G\right)\ge k-1-\epsilon$ must have girth greater than or equal $1/\epsilon$.