Searcharxiv⌕ Search

arXiv subjects

Bruce Kleiner

Publications and source records attributed to Bruce Kleiner.

At least 37 records · Page 2Linked to original sources
arXiv2017

Ricci flow and diffeomorphism groups of 3-manifolds

We complete the proof of the Generalized Smale Conjecture, apart from the case of $RP^3$, and give a new proof of Gabai's theorem for hyperbolic 3-manifolds. We use an approach based on Ricci flow through singularities, which applies uniformly to spherical space forms other than $S^3$ and $RP^3$ and hyperbolic manifolds, to prove that the moduli space of metrics of constant sectional curvature is contractible. As a corollary, for such a 3-manifold $X$, the inclusion $\text{Isom} (X,g)\to \text{Diff}(X)$ is a homotopy equivalence for any Riemannian metric $g$ of constant sectional curvature.

math.DG↗
arXiv2016

Rectifiability of planes and Alberti representations

We study metric measure spaces that have quantitative topological control, as well as a weak form of differentiable structure. In particular, let $X$ be a pointwise doubling metric measure space. Let $U$ be a Borel subset on which the blowups of $X$ are topological planes. We show that $U$ can admit at most $2$ independent Alberti representations. Furthermore, if $U$ admits $2$ Alberti representations, then the restriction of the measure to $U$ is $2$-rectifiable. This is a partial answer to the case $n=2$ of a question of the second author and Schioppa.

math.MG↗
arXiv2016

Groups quasi-isometric to RAAG's

We characterize groups quasi-isometric to a right-angled Artin group $G$ with finite outer automorphism group. In particular all such groups admit a geometric action on a $CAT(0)$ cube complex that has an equivariant "fibering" over the Davis building of $G$.

math.GR↗
arXiv2016

Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane

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.

math.AP↗
arXiv2016

Infinitesimal structure of differentiability spaces, and metric differentiation

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.

math.MG↗
arXiv2015

Quasiflats in CAT(0) complexes

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.

math.GR↗
arXiv2014

Locally Collapsed 3-Manifolds

We prove that a 3-dimensional compact Riemannian manifold which is locally collapsed, with respect to a lower curvature bound, is a graph manifold. This theorem was stated by Perelman and was used in his proof of the geometrization conjecture.

math.DG↗
arXiv2014

Geometrization of Three-Dimensional Orbifolds via Ricci Flow

A three-dimensional closed orientable orbifold (with no bad suborbifolds) is known to have a geometric decomposition from work of Perelman along with earlier work of Boileau-Leeb-Porti and Cooper-Hodgson-Kerckhoff. We give a new, logically independent, unified proof of the geometrization of orbifolds, using Ricci flow. Along the way we develop some tools for the geometry of orbifolds that may be of independent interest.

math.DG↗
arXiv2014

Mean curvature flow of mean convex hypersurfaces

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.

math.DG↗
arXiv2014

Mean curvature flow with surgery

We give a new proof for the existence of mean curvature flow with surgery of 2-convex hypersurfaces in $R^N$, as announced in arXiv:1304.0926. Our proof works for all $N \geq 3$, including mean convex surfaces in $R^3$. We also derive a priori estimates for a more general class of flows in a local and flexible setting.

math.DG↗
arXiv2013

Inverse limit spaces satisfying a Poincare inequality

We give conditions on Gromov-Hausdorff convergent inverse systems of metric measure graphs (and certain higher dimensional inverse systems of metric measure spaces) which imply that the measured Gromov-Hausdorff limit (equivalently, the inverse limit) is a PI space, i.e. it satisfies a doubling condition and a Poincare inequality in the sense of Heinonen-Koskela. We also give a systematic construction of examples for which our conditions are satisfied. Included are known examples of PI spaces, such as Laakso spaces, and a large class of new examples. Generically our graph examples have the property that they do not bilipschitz embed in any Banach space with Radon-Nikodym property, but they do embed in the Banach space L_1. For Laakso spaces, these facts were discussed in our earlier papers.

math.MG↗
arXiv2013

On Brendle's estimate for the inscribed radius under mean curvature flow

In a recent paper, Brendle proved that the inscribed radius of closed embedded mean convex hypersurfaces moving by mean curvature flow is at least 1/((1+δ)H) at all points with H > C(δ,M_0). In this note, we give a shorter proof of Brendle's estimate, and of a more general result for alpha-Andrews flows, based on our recent estimates from Haslhofer-Kleiner.

math.DG↗
arXiv2013

Some applications of l_p-cohomology to boundaries of Gromov hyperbolic spaces

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.

math.GR↗
arXiv2013

Notes on Perelman's papers

These are detailed notes on Perelman's papers "The entropy formula for the Ricci flow and its geometric applications" and "Ricci flow with surgery on three-manifolds".

math.DG↗
arXiv2011

Realization of metric spaces as inverse limits, and bilipschitz embedding in L_1

We give sufficient conditions for a metric space to bilipschitz embed in L_1. In particular, if X is a length space and there is a Lipschitz map u:X--->R such that for every interval I in R, the connected components of the inverse image f^{-1}(I) have diameter at most a constant time the diameter of I, then X admits a bilipschitz embedding in L_1. As a corollary, well-known examples of Laakso bilipschitz embed in L_1, though they do not embed in any any Banach space with the Radon-Nikodym property (e.g. the space l_1 of summable sequences). The spaces appearing the statement of the bilipschitz embedding theorem have an alternate characterization as inverse limits of systems of metric graphs satisfying certain additional conditions. This representation, which may be of independent interest, is the initial part of the proof of the bilipschitz embedding theorem. The rest of the proof uses the combinatorial structure of the inverse system of graphs and a diffusion construction, to produce the embedding in L_1.

math.MG↗