Abstract For any compact connected one-dimensional submanifold $K\subset \mathbb R^{2\times 2}$ without boundary that has no rank-one connection and is elliptic, we prove the quantitative rigidity estimate $$\begin{align*} \inf_{M\in K}\int_{B_{1/2}}| Du -M |^2\, \textrm{d}x \leq C \int_{B_1} \operatorname{dist}^2(Du, K)\, \textrm{d}x, \qquad\forall u\in H^1(B_1;\mathbb R^2). \end{align*}$$This is an optimal generalization, for compact connected submanifolds of $\mathbb R^{2\times 2}$ without boundary, of the celebrated quantitative rigidity estimate of Friesecke, James, and Müller for the approximate differential inclusion into $SO(n)$. The proof relies on the special properties of elliptic subsets $K\subset{{\mathbb{R}}}^{2\times 2}$ with respect to conformal–anticonformal decomposition, which provide a quasilinear elliptic partial differential equation satisfied by solutions of the exact differential inclusion $Du\in K$. We also give an example showing that no analogous result can hold true in $\mathbb R^{n\times n}$ for $n\geq 3$.
more »
« less
Boundary regularity and stability for spaces with Ricci bounded below
Abstract This paper studies the structure and stability of boundaries in noncollapsed $${{\,\mathrm{RCD}\,}}(K,N)$$ RCD ( K , N ) spaces, that is, metric-measure spaces $$(X,{\mathsf {d}},{\mathscr {H}}^N)$$ ( X , d , H N ) with Ricci curvature bounded below. Our main structural result is that the boundary $$\partial X$$ ∂ X is homeomorphic to a manifold away from a set of codimension 2, and is $$N-1$$ N - 1 rectifiable. Along the way, we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov–Hausdorff limits $$(M_i^N,{\mathsf {d}}_{g_i},p_i) \rightarrow (X,{\mathsf {d}},p)$$ ( M i N , d g i , p i ) → ( X , d , p ) of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary $$\partial X$$ ∂ X . The key local result is an $$\varepsilon $$ ε -regularity theorem, which tells us that if a ball $$B_{2}(p)\subset X$$ B 2 ( p ) ⊂ X is sufficiently close to a half space $$B_{2}(0)\subset {\mathbb {R}}^N_+$$ B 2 ( 0 ) ⊂ R + N in the Gromov–Hausdorff sense, then $$B_1(p)$$ B 1 ( p ) is biHölder to an open set of $${\mathbb {R}}^N_+$$ R + N . In particular, $$\partial X$$ ∂ X is itself homeomorphic to $$B_1(0^{N-1})$$ B 1 ( 0 N - 1 ) near $$B_1(p)$$ B 1 ( p ) . Further, the boundary $$\partial X$$ ∂ X is $$N-1$$ N - 1 rectifiable and the boundary measure "Equation missing" is Ahlfors regular on $$B_1(p)$$ B 1 ( p ) with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence $$X_i\rightarrow X$$ X i → X . Specifically, we show a boundary volume convergence which tells us that the $$N-1$$ N - 1 Hausdorff measures on the boundaries converge "Equation missing" to the limit Hausdorff measure on $$\partial X$$ ∂ X . We will see that a consequence of this is that if the $$X_i$$ X i are boundary free then so is X .
more »
« less
- Award ID(s):
- 1809011
- NSF-PAR ID:
- 10404632
- Date Published:
- Journal Name:
- Inventiones mathematicae
- Volume:
- 228
- Issue:
- 2
- ISSN:
- 0020-9910
- Page Range / eLocation ID:
- 777 to 891
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)We compute the $g=1$ , $n=1$ B-model Gromov–Witten invariant of an elliptic curve $E$ directly from the derived category $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ . More precisely, we carry out the computation of the categorical Gromov–Witten invariant defined by Costello using as target a cyclic $\mathscr{A}_{\infty }$ model of $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ described by Polishchuk. This is the first non-trivial computation of a positive-genus categorical Gromov–Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov–Witten invariants of a symplectic 2-torus computed by Dijkgraaf.more » « less
-
Abstract It was recently shown that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a domain with an $n-1$ dimensional uniformly rectifiable boundary, in the presence of now well-understood additional topological constraints. The topological restrictions, while mild, are necessary, as the counterexamples of Bishop and Jones show, and no analogues of these results have been available for higher co-dimensional sets. In the present paper, we show that for any $d<n-1$ and for any domain with a $d$-dimensional uniformly rectifiable boundary the elliptic measure of an appropriate degenerate elliptic operator is absolutely continuous with respect to the Hausdorff measure of the boundary. There are no topological or dimensional restrictions contrary to the aforementioned results. Résumé en Français. On sait que la mesure harmonique associée à un domaine de ${\mathbb {R}}^n$ dont la frontière est uniformément rectifiable de dimension $n-1$ est absolument continue par rapport à la mesure de surface, sous des conditions topologiques récemment bien comprises. Ces conditions, bien que faibles, sont nécessaires, comme l’ont montré des contre exemples de C. Bishop and P. Jones. On ne disposait pas jusqu’ici de résultats analogues lorsque la frontière est de codimension plus grande. On démontre dans cet article que lorsque la frontière est uniformément rectifiable de dimension $d < n-1$, la mesure elliptique associée à des opérateurs elliptiques dégénérés appropriés est absolument continue par rapport à la mesure de Hausdorff, sans avoir besoin de condition topologique supplémentaire.more » « less
-
Liu, Kefeng (Ed.)We endow each closed, orientable Alexandrov space (X, d) with an integral current T of weight equal to 1, ∂T = 0 and set(T) = X, in other words, we prove that (X, d, T) is an integral current space with no boundary. Combining this result with a result of Li and Perales, we show that non-collapsing sequences of these spaces with uniform lower curvature and diameter bounds admit subsequences whose Gromov-Hausdorff and intrinsic flat limits agree.more » « less
-
Abstract Let u u be a nontrivial harmonic function in a domain D ⊂ R d D\subset {{\mathbb{R}}}^{d} , which vanishes on an open set of the boundary. In a recent article, we showed that if D D is a C 1 {C}^{1} -Dini domain, then, within the open set, the singular set of u u , defined as { X ∈ D ¯ : u ( X ) = 0 = ∣ ∇ u ( X ) ∣ } \left\{X\in \overline{D}:u\left(X)=0=| \nabla u\left(X)| \right\} , has finite ( d − 2 ) \left(d-2) -dimensional Hausdorff measure. In this article, we show that the assumption of C 1 {C}^{1} -Dini domains is sharp, by constructing a large class of non-Dini (but almost Dini) domains whose singular sets have infinite ℋ d − 2 {{\mathcal{ {\mathcal H} }}}^{d-2} -measures.more » « less