We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G, then for almost every x in G with respect to the perimeter measure of E, some tangent of E at x is a vertical halfspace. This is a partial extension of a theorem of Franchi-Serapioni-Serra Cassano in step 2 Carnot groups: they have shown that, for almost every x, E has a unique tangent at x, and this tangent is a vertical halfspace.
We show that if X is a piecewise Euclidean 2-complex with a cocompact isometry group, then every 2-quasiflat in X is at finite Hausdorff distance from a subset which is locally flat outside a compact set, and asymptotically conical.
For every n, we construct a metric measure space that is doubling, satisfies a Poincare inequality in the sense of Heinonen-Koskela, has topological dimension n, and has a measurable tangent bundle of dimension 1.
We prove metric differentiation for differentiability spaces in the sense of Cheeger. As corollaries we give a new proof that the minimal generalized upper gradient coincides with the pointwise Lipschitz constant for Lipschitz functions on PI spaces, a proof that the Lip-lip constant of any Lip-lip space in the sense of Keith is equal to $1$, and new nonembeddability results.
In the last 15 years, White and Huisken-Sinestrari developed a far-reaching structure theory for the mean curvature flow of mean convex hypersurfaces. Their papers provide a package of estimates and structural results that yield a precise description of singularities and of high curvature regions in a mean convex flow. In the present paper, we give a new treatment of the theory of mean convex (and k-convex) flows. This includes: (1) an estimate for derivatives of curvatures, (2) a convexity estimate, (3) a cylindrical estimate, (4) a global convergence theorem, (5) a structure theorem for ancient solutions, and (6) a partial regularity theorem. Our new proofs are both more elementary and substantially shorter than the original arguments. Our estimates are local and universal. A key ingredient in our new approach is the new non- collapsing result of Andrews. Some parts are also inspired by the work of Perelman. In a forthcoming paper, we will give a new construction of mean curvature flow with surgery based on the theorems established in the present paper.
We study quasi-isometry invariants of Gromov hyperbolic spaces, focussing on the l_p-cohomology and closely related invariants such as the conformal dimension, combinatorial modulus, and the Combinatorial Loewner Property. We give new constructions of continuous l_p-cohomology, thereby obtaining information about the l_p-equivalence relation, as well as critical exponents associated with l_p-cohomology. As an application, we provide a flexible construction of hyperbolic groups which do not have the Combinatorial Loewner Property, extending and complementing earlier examples. Another consequence is the existence of hyperbolic groups with Sierpinski carpet boundary which have conformal dimension arbitrarily close to 1. In particular, we answer questions of Mario Bonk and John Mackay.
We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approach we obtain several other structural results: a description of the tree-graded structure on the asymptotic cone of MCG(S); a characterization of the image of the curve-complex projection map from MCG(S) to the product of the curve complexes of essential subsurfaces of S; and a construction of Sigma-hulls in MCG(S), an analogue of convex hulls.
We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincare inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends on a new characterization of the differentiable structure on such metric measure spaces, in terms of directional derivatives in the direction of tangent vectors to suitable rectifiable curves.
In this note we observe that the notion of an induced representation has an analog for quasi-actions. We then use induced quasi-actions to refine some earlier rigidity results for product spaces.
We clarify the relation between inverse systems, the Radon-Nikodym property, the Asymptotic Norming Property of James-Ho, and the GFDA spaces introduced in our earlier paper on differentiability of Lipschitz maps into Banach spaces.
