BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jeff Cheeger

Jeff Cheeger contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DGmath.MGmath.APmath.FAmath.CAmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Thin Loewner carpets and their quasisymmetric embeddings in $S^2$

A carpet is a metric space which is homeomorphic to the standard Sierpiński carpet in $\mathbb{R}^2$, or equivalently, in $S^2$. A carpet is called thin if its Hausdorff dimension is $<2$. A metric space is called Q-Loewner if its $Q$-dimensional Hausdorff measure is Q-Ahlfors regular and if it satisfies a $(1,Q)$-Poincaré inequality. As we will show, $Q$-Loewner planar metric spaces are always carpets, and admit quasisymmetric embeddings into the plane. In this paper, for every pair $(Q,Q&#39;)$, with $1<Q<Q&#39;< 2$ we construct infinitely many pairwise quasi-symmetrically distinct $Q$-Loewner carpets $X$ which admit explicit snowflake embeddings, $f: X\to S^2$, for which the image, $f(X)$, admits an explicit description and is $Q&#39;$-Ahlfors regular. In particular, these $f$ are quasisymmetric embeddings. By a result of Tyson, the Hausdorff dimension of a Loewner space cannot be lowered by a quasisymmetric homeomorphism. By definition, this means that the carpets $X$ and $f(X)$ realize their conformal dimension. Each of images $f(X)$ can be further uniformized via post composition with a quasisymmetric homeomorphism of $S^2$, so as to yield a circle carpet and also a square carpet. Our Loewner carpets $X$ are constructed via what we call an admissable quotiented inverse system. This mechanism extends the inverse limit construction for PI spaces given in \cite{cheegerkleinerinverse}, which however, does not yield carpets. Loewner spaces are a particular subclass of PI spaces. They have strong rigidity properties which which do not hold for PI spaces in general.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Regularity of Einstein Manifolds and the Codimension 4 Conjecture

In this paper, we are concerned with the regularity of noncollapsed Riemannian manifolds $(M^n,g)$ with bounded Ricci curvature, as well as their Gromov-Hausdorff limit spaces $(M^n_j,d_j)\stackrel{d_{GH}}{\longrightarrow} (X,d)$, where $d_j$ denotes the Riemannian distance. Our main result is a solution to the codimension $4$ conjecture, namely that $X$ is smooth away from a closed subset of codimension $4$. We combine this result with the ideas of quantitative stratification to prove a priori $L^q$ estimates on the full curvature $|Rm|$ for all $q<2$. In the case of Einstein manifolds, we improve this to estimates on the regularity scale. We apply this to prove a conjecture of Anderson that the collection of $4$-manifolds $(M^4,g)$ with $|Ric_{M^4}|\leq 3$, $Vol(M)>v>0$, and $diam(M)\leq D$ contains at most a finite number of diffeomorphism classes. A local version of this is used to show that noncollapsed $4$-manifolds with bounded Ricci curvature have a priori $L^2$ Riemannian curvature estimates.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Critical sets of elliptic equations

Given a solution $u$ to a linear homogeneous second order elliptic equation with Lipschitz coefficients, we introduce techniques for giving improved estimates of the critical set $\Cr(u)\equiv \{x:|\nabla u|(x)=0\}$. The results are new even for harmonic functions on $\dR^n$. Given such a $u$, the standard {\it first order} stratification $\{\cS^k\}$ of $u$ separates points $x$ based on the degrees of symmetry of the leading order polynomial of $u-u(x)$. In this paper we give a quantitative stratification $\{\cS^k_{η,r}\}$ of $u$, which separates points based on the number of {\it almost} symmetries of {\it approximate} leading order polynomials of $u$ at various scales. We prove effective estimates on the volume of the tubular neighborhood of each $\cS^k_{η,r}$, which lead directly to $(n-2+ε)$-Minkowski content estimates for the critical set of $u$. With some additional regularity assumptions on the coefficients of the equation, we refine the estimate to a uniform $(n-2)$-Hausdorff measure estimate on the critical set of $u$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantitative Stratification and the Regularity of Harmonic Map Flow

In this paper, we prove estimates and quantitative regularity results for the harmonic map flow. First, we consider H^1_loc-maps u defined on a parabolic ball P\subset M\times R and with target manifold N, that have bounded Dirichlet-energy and Struwe-energy. We define a quantitative stratification, which groups together points in the domain into quantitative weakly singular strata S^j_{η,r}(u) according to the number of approximate symmetries of u at certain scales, and prove that their tubular neighborhoods have small volume, namely Vol(T_r(\cS^j_{η,r}(u))< Cr^{m+2-j-\eps}. In particular, this generalizes the known Hausdorff estimate dim S^j(u)< j for the weakly singular strata of suitable weak solutions of the harmonic map flow. As an application, specializing to Chen-Struwe solutions with target manifolds that do not admit certain harmonic and quasi-harmonic spheres, we obtain refined Minkowski estimates for the singular set. This generalizes a result of Lin-Wang. We also obtain L^p-estimates for the reciprocal of the regularity scale. The results are analogous to our results for mean curvature flow that we recently proved.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lower Bounds on Ricci Curvature and Quantitative Behavior of Singular Sets

Let Y^n denote the Gromov-Hausdorff limit of a sequence M^n_i-> Y^n of v-noncollapsed riemannian manifolds with Ric_i\geq-(n-1). The singular set S of Y has a stratification S^0\subset S^1\subset\...\subset S, where y\in S^k if no tangent cone at y splits off a factor R^{k+1} isometrically. There is a known Hausdorff dimension bound dimS^k\leq k. Here, we define for all η>0, 0<r\leq 1, the {\it k-th effective singular stratum} S^k_{η,r} such that \bigcup_η\bigcap_r \,\cS^k_{η,r}= \cS^k. Sharpening the bound dim S^k\leq k, we prove that the r-tubular neighborhood satisfies: Vol(T_r(S^k_{η,r})\cap B_{1/2}(y))\leq c(n,v,η)r^{n-k-η}, for all y. The proof depends on a {\it quantitative differentiation} argument; for further explanation, see Section 2. The applications give new curvature estimates for Einstein manifolds. Let Rm denote the curvature tensor and regard |Rm(y)|= \infty unless Y^n is smooth in some neighborhood of y. Put \cB_r=\{y: |sup_{B_r(y)}|Rm|\geq r^{-2}\}. Assuming in addition that the M^n_i are Kähler-Einstein with ||Rm||_{L_2}\leq C, we get the volume bound Vol(\cB_r\cap B_{1/2}(y))\leq c(n,v,C)r^4$ for all y. In the Kähler-Einstein case, without assuming any integral curvature bound on the M^n_i, we obtain a slightly weaker volume bound on \cB_r, which yields an a priori L_p curvature bound for all p<2; see Section 1 the for the precise statement (which is sharper).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantitative Stratification and the Regularity of Harmonic Maps and Minimal Currents

We introduce techniques for turning estimates on the infinitesimal behavior of solutions to nonlinear equations (statements concerning tangent cones and blow ups) into more effective control. In the present paper, we focus on proving regularity theorems for stationary and minimizing harmonic maps and minimal currents. There are several aspects to our improvements of known estimates. First, we replace known estimates on the Hausdorff dimension of singular sets by estimates on their Minkowski r-content, or equivalently, on the volumes of their r-tubular neighborhoods. Second, we give improved regularity control with respect to the number of derivatives bounded and/or on the norm in which the derivatives are bounded. As an example of the former, our results for minimizing harmonic maps f : M->N between riemannian manifolds include a priori bounds in W^{1,p}\cap W^{2,p} for all p < 3. These are the first such bounds involving second derivatives in general dimensions. Finally, the quantity we control is actually provides much stronger information than follows from a bound on the L^p norm of derivatives. Namely, we obtain L^p bounds for the inverse of the regularity scale r_f(x)=max{r:sup_{B_r(x)}(r|\nabla f|+r^2|\nabla^2 f|)\leq 1}. Applications to minimal hypersufaces include a priori L^p bounds for the second fundamental form A for all p < 7. Previously known bounds were for p < 2+ε(n). Again, the full theorem is much stronger and yields Lp bounds for the corresponding regularity scale r_A(x)=max{r:sup_{B_r(x)}rA\leq 1}. In outline, our discussion follows that of an earlier paper in which we proved analogous estimates in the context of noncollapsed riemannian manifolds with a lower bound on Ricci curvature. These were applied to Einstein manifolds. A key point in all of these arguments is to establish the relevant quantitative differentiation theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantitative Stratification and the Regularity of Mean Curvature Flow

Let $\cM$ be a Brakke flow of $n$-dimensional surfaces in $R^N$. The singular set $\cS\subset\cM$ has a stratification $\cS^0\subset\cS^1\subset...\cS$, where $X\in \cS^j$ if no tangent flow at $X$ has more than $j$ symmetries. Here, we define quantitative singular strata $\cS^j_{η,r}$ satisfying $\cup_{η>0}\cap_{0<r} \cS^j_{η,r}=\cS^j$. Sharpening the known parabolic Hausdorff dimension bound $\dim \cS^j\leq j$, we prove the effective Minkowski estimates that the volume of $r$-tubular neighborhoods of $\cS^j_{η,r}$ satisfies $\Vol (T_r(\cS^j_{η,r})\cap B_1)\leq Cr^{N+2-j-\varepsilon}$. Our primary application of this is to higher regularity of Brakke flows starting at $k$-convex smooth compact embedded hypersurfaces. To this end, we prove that for the flow of $k$-convex hypersurfaces, any backwards selfsimilar limit flow with at least $k$ symmetries is in fact a static multiplicity one plane. Then, denoting by $\cB_r\subset\cM$ the set of points with regularity scale less than $r$, we prove that $\Vol(T_r(\cB_r))\leq C r^{n+4-k-\varepsilon}$. This gives $L^p$-estimates for the second fundamental form for any $p<n+1-k$. In fact, the estimates are much stronger and give $L^p$-estimates for the inverse of the regularity scale. These estimates are sharp. The key technique that we develop and apply is a parabolic version of the quantitative stratification method introduced in Cheeger and Naber (arXiv:1103.1819v3) and Cheeger and Naber (arXiv:1107.3097v1).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Metric differentiation, monotonicity and maps to L^1

We give a new approach to the infinitesimal structure of Lipschitz maps into L^1. As a first application, we give an alternative proof of the main theorem from an earlier paper, that the Heisenberg group does not admit a bi-Lipschitz embedding in L^1. The proof uses the metric differentiation theorem of Pauls and the cut metric decomposition to reduce the nonembedding argument to a classification of monotone subsets of the Heisenberg group.

0 citations0 reviewsNo code linkedOpen access