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.

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...

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 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.

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...

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.

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.

Let $S$ be a Riemann surface. Let ${ℍ}^3$ be the $3$-dimensional hyperbolic space and let ${\partial }_{\infty }{ℍ}^3$ be its ideal boundary. In our context, a Plateau problem is a locally holomorphic mapping $\varphi :S\to {\partial }_{\infty }{ℍ}^3=\widehat{ℂ}$. If $i:S\to {ℍ}^3$ is a convex immersion, and if $N$ is its exterior normal vector field, we define the Gauss lifting, $\widehat{ı}$, of $i$ by $\widehat{ı}=N$. Let $\overrightarrow{n}:U{ℍ}^3\to {\partial }_{\infty }{ℍ}^3$ be the Gauss-Minkowski mapping. A solution to the Plateau problem $(S,\varphi )$ is a convex immersion $i$ of constant Gaussian curvature equal to $k\in (0,1)$ such that the Gauss lifting $(S,\widehat{ı})$ is complete and $\overrightarrow{n}\circ \widehat{ı}=\varphi$. In this...

Let $W\to X$ be a real smooth projective 3-fold fibred by rational curves such that $W\left(ℝ\right)$ is orientable. J. Kollár proved that a connected component $N$ of $W\left(ℝ\right)$ is essentially either Seifert fibred or a connected sum of lens spaces. Answering three questions of Kollár, we give sharp estimates on the number and the multiplicities of the Seifert fibres (resp. the number and the torsions of the lens spaces) when $X$ is a geometrically rational surface. When $N$ is Seifert fibred over a base orbifold $F$, our...

We consider a large class of non compact hyperbolic manifolds $M={ℍ}^n/\Gamma$ with cusps and we prove that the winding process $\left(Y_t\right)$ generated by a closed $1$-form supported on a neighborhood of a cusp $𝒞$, satisfies a limit theorem, with an asymptotic stable law and a renormalising factor depending only on the rank of the cusp $𝒞$ and the Poincaré exponent $\delta$ of $\Gamma$. No assumption on the value of $\delta$ is required and this theorem generalises previous results due to Y. Guivarc’h, Y. Le Jan, J. Franchi and N. Enriquez. ...

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 $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

We describe the kernel of the canonical map from the Floyd boundary of a relatively hyperbolic group to its Bowditch boundary. Using the Floyd completion we further prove that the property of relative hyperbolicity is invariant under quasi-isometric maps. If a finitely generated group $H$ admits a quasi-isometric map $\varphi$ into a relatively hyperbolic group $G$ then $H$ is itself relatively hyperbolic with respect to a system of subgroups whose image under $\varphi$ is situated within a uniformly bounded...

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the birational $r$-gonality $s_r\left(C\right)$ of $C$ is the minimal integer $t$ such that there is $L\in {\text{Pic}}^t\left(C\right)$ with $h^0(C,L)=r+1$. Fix an integer $r\ge 3$. In this paper we prove the existence of an integer $g_r$ such that for every integer $g\ge g_r$ there is a smooth curve $C$ of genus $g$ with $s_{r+1}\left(C\right)/(r+1)>s_r\left(C\right)/r$, i.e. in the sequence of all birational gonalities of $C$ at least one of the slope inequalities fails.

CONTENTSIntroduction.......................................................................................61. Definition of certain special forms...........................................62. Statement of results...................................................................83. Proof of Theorem 2.....................................................................94. Preliminaries for Theorem 1.....................................................105. Further preliminaries for Theorem...

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...

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...