Related papers: Foliated corona decompositions

We consider a family of genus $g$ hyperelliptic curves as double ramified coverings over the Riemann sphere with the set of branch points of the form $\{0, \infty, x_1, \dots, x_g, u_1, \dots, u_g\}$. The branch point at infinity $P_\infty$…

Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $\rho$-invariants associated to arbitrary regular covers. We present a proof of the existence of…

In this paper we study sets in the $n$-dimensional Heisenberg group $\hhn$ which are critical points, under a volume constraint, of the sub-Riemannian perimeter associated to the distribution of horizontal vector fields in $\hhn$. We define…

We prove that any measurable set in the Heisenberg group, $\mathbb{H}^n$, of positive upper density has the property that all sufficiently large real numbers are realised as the Kor\'anyi distance between points in that set. The result can…

For all $n,\phi\in \mathbb{N}$ with $\phi\geqslant n+1$, the smallest possible isoperimetric quotient of an $n$-dimensional convex polytope that has $\phi$ facets is shown to be bounded from above and from below by positive universal…

We study the degeneration of hyperbolic surfaces along a ray given by the harmonic map parametrization of Teichm\"uller space. The direction of the ray is determined by a holomorphic quadratic differential on a punctured Riemann surface,…

We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in…

We study the family of vertical projections whose fibers are right cosets of horizontal planes in the Heisenberg group, $\mathbb{H}^n$. We prove lower bounds for Hausdorff dimension distortion of sets under these mappings, with respect to…

A finite-area holomorphic quadratic differentials on an arbitrary Riemann surface $X=\mathbb{H}/\Gamma$ is uniquely determined by its horizontal measured foliation. By extending our prior result for $\Gamma$ of the first kind to arbitrary…

Let $H := \begin{pmatrix} 1 & {\mathbf R} & {\mathbf R} \\ 0 & 1 &{\mathbf R} \\ 0 & 0 & 1 \end{pmatrix}$ denote the Heisenberg group with the usual Carnot-Carath\'eodory metric $d$. It is known (since the work of Pansu and Semmes) that the…

The conformal boundary of a hyperbolic $3$-manifold $M$ is a union of Riemann surfaces. If any of these Riemann surfaces has a nontrivial Teichm\"uller space, then the hyperbolic metric of $M$ can be deformed quasi-isometrically. These…

In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model of constant sectional curvature.…

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…

In this paper we shall study smooth submanifolds immersed in a k-step Carnot group G of homogeneous dimension Q. Among other results, we shall prove an isoperimetric inequality for the case of a $C^2$-smooth compact hypersurface S with - or…

A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r <…

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…

We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively…

We consider a class of multiparameter singular Radon integral operators on the Heisenberg group ${\mathbb H}^1$ where the underlying variety is the graph of a polynomial. A remarkable difference with the euclidean case, where Heisenberg…

We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$-convex for any $p < 4$. As Markov convexity is a biLipschitz…

In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…