Showing 1–48 of 48 results for author: Chodosh, O

Complete Riemannian 4-manifolds with uniformly positive scalar curvature

Authors: Otis Chodosh, Davi Maximo, Anubhav Mukherjee

Abstract: We obtain topological obstructions to the existence of a complete Riemannian metric with uniformly positive scalar curvature on certain (non-compact) $4$-manifolds. In particular, such a metric on the interior of a compact contractible $4$-manifold uniquely distinguishes the standard $4$-ball up to diffeomorphism among Mazur manifolds and up to homeomorphism in general. We additionally show ther… ▽ More We obtain topological obstructions to the existence of a complete Riemannian metric with uniformly positive scalar curvature on certain (non-compact) $4$-manifolds. In particular, such a metric on the interior of a compact contractible $4$-manifold uniquely distinguishes the standard $4$-ball up to diffeomorphism among Mazur manifolds and up to homeomorphism in general. We additionally show there exist uncountably many exotic $\mathbb{R}^4$'s that do not admit such a metric and that any (non-compact) tame $4$-manifold has a smooth structure that does not admit such a metric. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Improved regularity for minimizing capillary hypersurfaces

Authors: Otis Chodosh, Nick Edelen, Chao Li

Abstract: We give improved estimates for the size of the singular set of minimizing capillary hypersurfaces: the singular set is always of codimension at least $4$, and this estimate improves if the capillary angle is close to $0$, $\fracπ{2}$, or $π$. For capillary angles that are close to $0$ or $π$, our analysis is based on a rigorous connection between the capillary problem and the one-phase Bernoulli p… ▽ More We give improved estimates for the size of the singular set of minimizing capillary hypersurfaces: the singular set is always of codimension at least $4$, and this estimate improves if the capillary angle is close to $0$, $\fracπ{2}$, or $π$. For capillary angles that are close to $0$ or $π$, our analysis is based on a rigorous connection between the capillary problem and the one-phase Bernoulli problem. △ Less

Submitted 15 January, 2024; originally announced January 2024.

On minimizers in the liquid drop model

Authors: Otis Chodosh, Ian Ruohoniemi

Abstract: We prove that round balls of volume $\leq 1$ uniquely minimize in Gamow's liquid drop model. We prove that round balls of volume $\leq 1$ uniquely minimize in Gamow's liquid drop model. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: Comments welcome!

Stable minimal hypersurfaces in $\mathbf{R}^5$

Authors: Otis Chodosh, Chao Li, Paul Minter, Douglas Stryker

Abstract: We show that a complete, two-sided, stable minimal hypersurface in $\mathbf{R}^5$ is flat. We show that a complete, two-sided, stable minimal hypersurface in $\mathbf{R}^5$ is flat. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Mean Curvature Flow from Conical Singularities

Authors: Otis Chodosh, J. M. Daniels-Holgate, Felix Schulze

Abstract: We prove Ilmanen's resolution of point singularities conjecture by establishing short-time smoothness of the level set flow of a smooth hypersurface with isolated conical singularities. This shows how the mean curvature flow evolves through asymptotically conical singularities and resolves a particular case of Ilmanen's strict genus reduction conjecture. Precisely, we prove that the level set fl… ▽ More We prove Ilmanen's resolution of point singularities conjecture by establishing short-time smoothness of the level set flow of a smooth hypersurface with isolated conical singularities. This shows how the mean curvature flow evolves through asymptotically conical singularities and resolves a particular case of Ilmanen's strict genus reduction conjecture. Precisely, we prove that the level set flow of a smooth hypersurface $M^n\subset \mathbb{R}^{n+1}$, $2\leq n\leq 6$, with an isolated conical singularity is modeled on the level set flow of the cone. In particular, the flow fattens (instantaneously) if and only if the level set flow of the cone fattens. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 22 pages, 3 figures. Comments welcome!

Mean curvature flow with generic low-entropy initial data II

Authors: Otis Chodosh, Christos Mantoulidis, Felix Schulze

Abstract: We prove that the mean curvature flow of a generic closed embedded hypersurface in $\mathbb{R}^4$ or $\mathbb{R}^5$ with entropy $\leq 2$, or with entropy $\leq λ(\mathbb{S}^1)$ if in $\mathbb{R}^6$, encounters only generic singularities. We prove that the mean curvature flow of a generic closed embedded hypersurface in $\mathbb{R}^4$ or $\mathbb{R}^5$ with entropy $\leq 2$, or with entropy $\leq λ(\mathbb{S}^1)$ if in $\mathbb{R}^6$, encounters only generic singularities. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: Comments welcome!

Improved generic regularity of codimension-1 minimizing integral currents

Authors: Otis Chodosh, Christos Mantoulidis, Felix Schulze

Abstract: Let $Γ$ be a smooth, closed, oriented, $(n-1)$-dimensional submanifold of $\mathbb{R}^{n+1}$. We show that there exist arbitrarily small perturbations $Γ'$ of $Γ$ with the property that minimizing integral $n$-currents with boundary $Γ'$ are smooth away from a set of Hausdorff dimension $\leq n-9-\varepsilon_n$, where $\varepsilon_n \in (0, 1]$ is a dimensional constant. This improves on our pre… ▽ More Let $Γ$ be a smooth, closed, oriented, $(n-1)$-dimensional submanifold of $\mathbb{R}^{n+1}$. We show that there exist arbitrarily small perturbations $Γ'$ of $Γ$ with the property that minimizing integral $n$-currents with boundary $Γ'$ are smooth away from a set of Hausdorff dimension $\leq n-9-\varepsilon_n$, where $\varepsilon_n \in (0, 1]$ is a dimensional constant. This improves on our previous result (where we proved generic smoothness of minimizers in $9$ and $10$ ambient dimensions). The key ingredients developed here are a new method to estimate the full singular set of the foliation by minimizers and a proof of superlinear decay of closeness (near singular points) that holds even across non-conical scales. △ Less

Submitted 23 May, 2024; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: This is the publication version, incorporating the journal style

Journal ref: Ars Inveniendi Analytica (2024), Paper No. 3, 15 pp

On the Minkowski inequality near the sphere

Authors: Otis Chodosh, Michael Eichmair, Thomas Koerber

Abstract: We construct a sequence $\{Σ_\ell\}_{\ell=1}^\infty$ of closed, axially symmetric surfaces $Σ_\ell\subset \mathbb{R}^3$ that converges to the unit sphere in $W^{2,p}\cap C^1$ for every $p\in[1,\infty)$ and such that, for every $\ell$, $$ \int_{Σ_{\ell}}H_{Σ_\ell}-\sqrt{16\,π\,|Σ_{\ell}|}<0 $$ where $H_{Σ_\ell}$ is the mean curvature of $Σ_\ell$. This shows that the Minkowski inequality with optima… ▽ More We construct a sequence $\{Σ_\ell\}_{\ell=1}^\infty$ of closed, axially symmetric surfaces $Σ_\ell\subset \mathbb{R}^3$ that converges to the unit sphere in $W^{2,p}\cap C^1$ for every $p\in[1,\infty)$ and such that, for every $\ell$, $$ \int_{Σ_{\ell}}H_{Σ_\ell}-\sqrt{16\,π\,|Σ_{\ell}|}<0 $$ where $H_{Σ_\ell}$ is the mean curvature of $Σ_\ell$. This shows that the Minkowski inequality with optimal constant fails even for perturbations of a round sphere that are small in $W^{2,p}\cap C^1$ unless additional convexity assumptions are imposed. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: All comments welcome

Mean curvature flow with generic initial data II

Authors: Otis Chodosh, Kyeongsu Choi, Felix Schulze

Abstract: We show that the mean curvature flow of a generic closed surface in $\mathbb{R}^3$ avoids multiplicity one tangent flows that are not round spheres/cylinders. In particular, we show that any non-cylindrical self-shrinker with a cylindrical end cannot arise generically. We show that the mean curvature flow of a generic closed surface in $\mathbb{R}^3$ avoids multiplicity one tangent flows that are not round spheres/cylinders. In particular, we show that any non-cylindrical self-shrinker with a cylindrical end cannot arise generically. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: Comments welcome!

Generic regularity for minimizing hypersurfaces in dimensions 9 and 10

Authors: Otis Chodosh, Christos Mantoulidis, Felix Schulze

Abstract: We prove that singularities of area minimizing hypersurfaces can be perturbed away in ambient dimensions 9 and 10. We prove that singularities of area minimizing hypersurfaces can be perturbed away in ambient dimensions 9 and 10. △ Less

Submitted 23 February, 2023; v1 submitted 4 February, 2023; originally announced February 2023.

Comments: Minor revisions. All comments welcome

Volume growth of 3-manifolds with scalar curvature lower bounds

Authors: Otis Chodosh, Chao Li, Douglas Stryker

Abstract: We give a new proof of a recent result of Munteanu--Wang relating scalar curvature to volume growth on a $3$-manifold with non-negative Ricci curvature. Our proof relies on the theory of $μ$-bubbles introduced by Gromov as well as the almost splitting theorem due to Cheeger--Colding. We give a new proof of a recent result of Munteanu--Wang relating scalar curvature to volume growth on a $3$-manifold with non-negative Ricci curvature. Our proof relies on the theory of $μ$-bubbles introduced by Gromov as well as the almost splitting theorem due to Cheeger--Colding. △ Less

Submitted 27 July, 2022; originally announced July 2022.

Stable anisotropic minimal hypersurfaces in $\mathbf{R}^{4}$

Authors: Otis Chodosh, Chao Li

Abstract: We show that a complete, two-sided, stable immersed anisotropic minimal hypersurface in $\mathbf{R}^4$ has intrinsic cubic volume growth, provided the parametric elliptic integral is $C^2$-close to the area functional. We also obtain an interior volume upper bound for stable anisotropic minimal hypersurfaces in the unit ball. We can estimate the constants explicitly in all of our results. In par… ▽ More We show that a complete, two-sided, stable immersed anisotropic minimal hypersurface in $\mathbf{R}^4$ has intrinsic cubic volume growth, provided the parametric elliptic integral is $C^2$-close to the area functional. We also obtain an interior volume upper bound for stable anisotropic minimal hypersurfaces in the unit ball. We can estimate the constants explicitly in all of our results. In particular, this paper gives an alternative proof of our recent stable Bernstein theorem for minimal hypersurfaces in $\mathbf{R}^4$. The new proof is more closely related to techniques from the study of strictly positive scalar curvature. △ Less

Submitted 6 January, 2023; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: Final version, to appear in Forum of Math. Pi

Complete stable minimal hypersurfaces in positively curved 4-manifolds

Authors: Otis Chodosh, Chao Li, Douglas Stryker

Abstract: We show that the combination of non-negative sectional curvature (or $2$-intermediate Ricci curvature) and strict positivity of scalar curvature forces rigidity of complete (non-compact) two-sided stable minimal hypersurfaces in a $4$-manifold with bounded curvature. In particular, this implies the nonexistence of complete two-sided stable minimal hypersurface in a closed $4$-manifold with positiv… ▽ More We show that the combination of non-negative sectional curvature (or $2$-intermediate Ricci curvature) and strict positivity of scalar curvature forces rigidity of complete (non-compact) two-sided stable minimal hypersurfaces in a $4$-manifold with bounded curvature. In particular, this implies the nonexistence of complete two-sided stable minimal hypersurface in a closed $4$-manifold with positive sectional curvature. Our work leads to new comparison results. We also construct various examples showing rigidity of stable minimal hypersurfaces can fail under other curvature conditions. △ Less

Submitted 16 January, 2024; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: Typos corrected, exposition improved. To appear in JEMS

Stable minimal hypersurfaces in $\mathbf{R}^4$

Authors: Otis Chodosh, Chao Li

Abstract: We prove that a complete, two-sided, stable minimal immersed hypersurface in $\mathbf{R}^{4}$ is flat. We prove that a complete, two-sided, stable minimal immersed hypersurface in $\mathbf{R}^{4}$ is flat. △ Less

Submitted 1 May, 2023; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: Final version. Added discussions on almost stable minimal hypersurfaces. To appear in Acta Mathematica

The p-widths of a surface

Authors: Otis Chodosh, Christos Mantoulidis

Abstract: The $p$-widths of a closed Riemannian manifold are a nonlinear analogue of the spectrum of its Laplace--Beltrami operator, which corresponds to areas of a certain min-max sequence of possibly singular minimal submanifolds. We show that the $p$-widths of any closed Riemannian two-manifold correspond to a union of closed immersed geodesics, rather than simply geodesic nets. We then prove optimalit… ▽ More The $p$-widths of a closed Riemannian manifold are a nonlinear analogue of the spectrum of its Laplace--Beltrami operator, which corresponds to areas of a certain min-max sequence of possibly singular minimal submanifolds. We show that the $p$-widths of any closed Riemannian two-manifold correspond to a union of closed immersed geodesics, rather than simply geodesic nets. We then prove optimality of the sweepouts of the round two-sphere constructed from the zero set of homogeneous polynomials, showing that the $p$-widths of the round sphere are attained by $\lfloor \sqrt{p}\rfloor$ great circles. As a result, we find the universal constant in the Liokumovich--Marques--Neves--Weyl law for surfaces to be $\sqrtπ$. En route to calculating the $p$-widths of the round two-sphere, we prove two additional new results: a bumpy metrics theorem for stationary geodesic nets with fixed edge lengths, and that, generically, stationary geodesic nets with bounded mass and bounded singular set have Lusternik--Schnirelmann category zero. △ Less

Submitted 13 April, 2023; v1 submitted 24 July, 2021; originally announced July 2021.

Comments: Final version, to appear in Publ. Math. Inst. Hautes Études Sci

Classifying sufficiently connected PSC manifolds in $4$ and $5$ dimensions

Authors: Otis Chodosh, Chao Li, Yevgeny Liokumovich

Abstract: We show that if $N$ is a closed manifold of dimension $n=4$ (resp. $n=5$) with $π_2(N) = 0$ (resp. $π_2(N)=π_3(N)=0$) that admits a metric of positive scalar curvature, then a finite cover $\hat N$ of $N$ is homotopy equivalent to $S^n$ or connected sums of $S^{n-1}\times S^1$. Our approach combines recent advances in the study of positive scalar curvature with a novel argument of Alpert--Balitski… ▽ More We show that if $N$ is a closed manifold of dimension $n=4$ (resp. $n=5$) with $π_2(N) = 0$ (resp. $π_2(N)=π_3(N)=0$) that admits a metric of positive scalar curvature, then a finite cover $\hat N$ of $N$ is homotopy equivalent to $S^n$ or connected sums of $S^{n-1}\times S^1$. Our approach combines recent advances in the study of positive scalar curvature with a novel argument of Alpert--Balitskiy--Guth. Additionally, we prove a more general map** version of this result. In particular, this implies that if $N$ is a closed manifold of dimensions $4$ or $5$, and $N$ admits a map of nonzero degree to a closed aspherical manifold, then $N$ does not admit any Riemannian metric with positive scalar curvature. △ Less

Submitted 2 February, 2022; v1 submitted 15 May, 2021; originally announced May 2021.

Comments: To appear in Geom. Topol

Journal ref: Geom. Topol. 27 (2023) 1635-1655

Mean curvature flow with generic low-entropy initial data

Authors: Otis Chodosh, Kyeongsu Choi, Christos Mantoulidis, Felix Schulze

Abstract: We prove that sufficiently low-entropy closed hypersurfaces can be perturbed so that their mean curvature flow encounters only spherical and cylindrical singularities. Our theorem applies to all closed surfaces in $\mathbb{R}^3$ with entropy $\leq 2$ and to all closed hypersurfaces in $\mathbb{R}^4$ with entropy $\leq λ(\mathbb{S}^1 \times \mathbb{R}^2)$. When combined with recent work of Daniels-… ▽ More We prove that sufficiently low-entropy closed hypersurfaces can be perturbed so that their mean curvature flow encounters only spherical and cylindrical singularities. Our theorem applies to all closed surfaces in $\mathbb{R}^3$ with entropy $\leq 2$ and to all closed hypersurfaces in $\mathbb{R}^4$ with entropy $\leq λ(\mathbb{S}^1 \times \mathbb{R}^2)$. When combined with recent work of Daniels-Holgate, this strengthens Bernstein-Wang's low-entropy Schoenflies-type theorem by relaxing the entropy bound to $λ(\mathbb{S}^1 \times \mathbb{R}^2)$. Our techniques, based on a novel density drop argument, also lead to a new proof of generic regularity result for area-minimizing hypersurfaces in eight dimensions (due to Hardt-Simon and Smale). △ Less

Submitted 2 June, 2023; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: 18 pages. Final version, to appear in Duke Mathematical Journal

Generalized soap bubbles and the topology of manifolds with positive scalar curvature

Authors: Otis Chodosh, Chao Li

Abstract: We prove that for $n\in \{4,5\}$, a closed aspherical $n$-manifold does not admit a Riemannian metric with positive scalar curvature. Additionally, we show that for $n\leq 7$, the connected sum of a $n$-torus with an arbitrary manifold does not admit a complete metric of positive scalar curvature. When combined with forthcoming contributions by Lesourd--Unger--Yau, this proves that the Schoen--Y… ▽ More We prove that for $n\in \{4,5\}$, a closed aspherical $n$-manifold does not admit a Riemannian metric with positive scalar curvature. Additionally, we show that for $n\leq 7$, the connected sum of a $n$-torus with an arbitrary manifold does not admit a complete metric of positive scalar curvature. When combined with forthcoming contributions by Lesourd--Unger--Yau, this proves that the Schoen--Yau Liouville theorem holds for all locally conformally flat manifolds with non-negative scalar curvature. A key tool in these results are generalized soap bubbles -- surfaces that are stationary for prescribed-mean-curvature functionals (also called $μ$-bubbles). △ Less

Submitted 19 September, 2023; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: Final version. Typos corrected, 5 figures added, several arguments clarified. To appear in Ann. Math

Singular behavior and generic regularity of min-max minimal hypersurfaces

Authors: Otis Chodosh, Yevgeny Liokumovich, Luca Spolaor

Abstract: We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurf… ▽ More We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\rm Index}(Σ) \leq 1$$ where $\mathcal{S}_{nm}(Σ)$ denotes the set of singular points of $Σ$ with a unique tangent cone non-area minimizing on either side. △ Less

Submitted 29 March, 2022; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: This is the publication version, incorporating the journal style

MSC Class: 53A10; 49Q05

Journal ref: Ars Inveniendi Analytica (2022), Paper No. 2, 27 pp

Mean curvature flow with generic initial data

Authors: Otis Chodosh, Kyeongsu Choi, Christos Mantoulidis, Felix Schulze

Abstract: We show that the mean curvature flow of generic closed surfaces in $\mathbb{R}^{3}$ avoids asymptotically conical and non-spherical compact singularities. We also show that the mean curvature flow of generic closed low-entropy hypersurfaces in $\mathbb{R}^{4}$ is smooth until it disappears in a round point. The main technical ingredient is a long-time existence and uniqueness result for ancient me… ▽ More We show that the mean curvature flow of generic closed surfaces in $\mathbb{R}^{3}$ avoids asymptotically conical and non-spherical compact singularities. We also show that the mean curvature flow of generic closed low-entropy hypersurfaces in $\mathbb{R}^{4}$ is smooth until it disappears in a round point. The main technical ingredient is a long-time existence and uniqueness result for ancient mean curvature flows that lie on one side of asymptotically conical or compact shrinking solitons. △ Less

Submitted 1 April, 2024; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: Final version, to appear in Invent. Math

The Riemannian Quantitative Isoperimetric Inequality

Authors: Otis Chodosh, Max Engelstein, Luca Spolaor

Abstract: We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric,… ▽ More We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric, using the Lojasiewicz-Simon inequality. A main novelty of our work is that in all our results we do not require any a priori knowledge on the structure/shape of the minimizers. △ Less

Submitted 1 August, 2019; originally announced August 2019.

Comments: 28 pages. Comments welcome

Uniqueness of asymptotically conical tangent flows

Authors: Otis Chodosh, Felix Schulze

Abstract: Singularities of the mean curvature flow of an embedded surface in R^3 are expected to be modelled on self-shrinkers that are compact, cylindrical, or asymptotically conical. In order to understand the flow before and after the singular time, it is crucial to know the uniqueness of tangent flows at the singularity. In all dimensions, assuming the singularity is multiplicity one, uniqueness in th… ▽ More Singularities of the mean curvature flow of an embedded surface in R^3 are expected to be modelled on self-shrinkers that are compact, cylindrical, or asymptotically conical. In order to understand the flow before and after the singular time, it is crucial to know the uniqueness of tangent flows at the singularity. In all dimensions, assuming the singularity is multiplicity one, uniqueness in the compact case has been established by the second-named author, and in the cylindrical case by Colding-Minicozzi. We show here the uniqueness of multiplicity-one asymptotically conical tangent flows for mean curvature flow of hypersurfaces. In particular, this implies that when a mean curvature flow has a multiplicity-one conical singularity model, the evolving surface at the singular time has an (isolated) regular conical singularity at the singular point. This should lead to a complete understanding of how to "flow through" such a singularity. △ Less

Submitted 16 December, 2020; v1 submitted 18 January, 2019; originally announced January 2019.

Comments: 40 pages. Final version, to appear in Duke Mathematical Journal

Minimal hypersurfaces with arbitrarily large area

Authors: Otis Chodosh, Christos Mantoulidis

Abstract: For 3 $\leq$ n $\leq$ 7, we prove that a bumpy closed Riemannian n-manifold contains a sequence of connected embedded closed minimal surfaces with unbounded area. For 3 $\leq$ n $\leq$ 7, we prove that a bumpy closed Riemannian n-manifold contains a sequence of connected embedded closed minimal surfaces with unbounded area. △ Less

Submitted 17 January, 2019; originally announced January 2019.

On the topology and index of minimal surfaces II

Authors: Otis Chodosh, Davi Maximo

Abstract: For an immersed minimal surface in $\mathbb{R}^3$, we show that there exists a lower bound on its Morse index that depends on the genus and number of ends, counting multiplicity. This improves, in several ways, an estimate we previously obtained bounding the genus and number of ends by the index. Our new estimate resolves several conjectures made by J. Choe and D. Hoffman concerning the classifica… ▽ More For an immersed minimal surface in $\mathbb{R}^3$, we show that there exists a lower bound on its Morse index that depends on the genus and number of ends, counting multiplicity. This improves, in several ways, an estimate we previously obtained bounding the genus and number of ends by the index. Our new estimate resolves several conjectures made by J. Choe and D. Hoffman concerning the classification of low-index minimal surfaces: we show that there are no complete two-sided immersed minimal surfaces in $\mathbb{R}^3$ of index two, complete embedded minimal surface with index three, or complete one-sided minimal immersion with index one. △ Less

Submitted 22 December, 2020; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: Final version, to appear in JDG

A splitting theorem for scalar curvature

Authors: Otis Chodosh, Michael Eichmair, Vlad Moraru

Abstract: We show that a Riemannian $3$-manifold with non-negative scalar curvature is flat if it contains an area-minimizing cylinder. This scalar-curvature analogue of the classical splitting theorem of J.~Cheeger and D.~Gromollhas been conjectured by D.~Fischer-Colbrie and R.~Schoen and by M.~Cai and G.~Galloway. We show that a Riemannian $3$-manifold with non-negative scalar curvature is flat if it contains an area-minimizing cylinder. This scalar-curvature analogue of the classical splitting theorem of J.~Cheeger and D.~Gromollhas been conjectured by D.~Fischer-Colbrie and R.~Schoen and by M.~Cai and G.~Galloway. △ Less

Submitted 5 April, 2018; originally announced April 2018.

Comments: All comments welcome!

Characterization of large isoperimetric regions in asymptotically hyperbolic initial data

Authors: Otis Chodosh, Michael Eichmair, Yuguang Shi, **tian Zhu

Abstract: Let $(M,g)$ be a complete Riemannian $3$-manifold asymptotic to Schwarzschild-anti-deSitter and with scalar curvature $R \geq - 6$. Building on work of A.~Neves and G.~Tian and of the first-named author, we show that the leaves of the canonical foliation of $(M, g)$ are the unique solutions of the isoperimetric problem for their area. The assumption $R \geq -6$ is necessary. This is the first ch… ▽ More Let $(M,g)$ be a complete Riemannian $3$-manifold asymptotic to Schwarzschild-anti-deSitter and with scalar curvature $R \geq - 6$. Building on work of A.~Neves and G.~Tian and of the first-named author, we show that the leaves of the canonical foliation of $(M, g)$ are the unique solutions of the isoperimetric problem for their area. The assumption $R \geq -6$ is necessary. This is the first characterization result for large isoperimetric regions in the asymptotically hyperbolic setting that does not assume exact rotational symmetry at infinity. △ Less

Submitted 2 April, 2018; originally announced April 2018.

Comments: All comments welcome!

Minimal surfaces and the Allen-Cahn equation on 3-manifolds: index, multiplicity, and curvature estimates

Authors: Otis Chodosh, Christos Mantoulidis

Abstract: The Allen-Cahn equation is a semilinear PDE which is deeply linked to the theory of minimal hypersurfaces via a singular limit. We prove curvature estimates and strong sheet separation estimates for stable solutions (building on recent work of Wang-Wei) of the Allen-Cahn equation on a 3-manifold. Using these, we are able to show for generic metrics on a 3-manifold, minimal surfaces arising from Al… ▽ More The Allen-Cahn equation is a semilinear PDE which is deeply linked to the theory of minimal hypersurfaces via a singular limit. We prove curvature estimates and strong sheet separation estimates for stable solutions (building on recent work of Wang-Wei) of the Allen-Cahn equation on a 3-manifold. Using these, we are able to show for generic metrics on a 3-manifold, minimal surfaces arising from Allen-Cahn solutions with bounded energy and bounded Morse index are two-sided and occur with multiplicity one and the expected Morse index. This confirms, in the Allen-Cahn setting, a strong form of the multiplicity one conjecture and the index lower bound conjecture of Marques-Neves in 3-dimensions regarding min-max constructions of minimal surfaces. Allen-Cahn min-max constructions were recently carried out by Guaraco and Gaspar-Guaraco. Our resolution of the multiplicity one and the index lower bound conjectures shows that these constructions can be applied to give a new proof of Yau's conjecture on infinitely many minimal surfaces in a 3-manifold with a generic metric (recently proven by Irie-Marques-Neves) with new geometric conclusions. Namely, we prove that a 3-manifold with a generic metric contains, for every $p$ = 1, 2, 3, ..., a two-sided embedded minimal surface with Morse index $p$ and area $p^{1/3}$, as conjectured by Marques-Neves. △ Less

Submitted 29 August, 2019; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: Final preprint version. To appear in Ann. of Math

Curvature estimates and sheeting theorems for weakly stable CMC hypersurfaces

Authors: Costante Bellettini, Otis Chodosh, Neshan Wickramasekera

Abstract: Weakly stable constant mean curvature (CMC) hypersurfaces are stable critical points of the area functional with respect to volume preserving deformations. We establish a pointwise curvature estimate (in the non-singular dimensions) and a sheeting theorem (in all dimensions) for weakly stable CMC hypersurfaces, giving an effective version of the compactness theorem for weakly stable CMC hypersurfa… ▽ More Weakly stable constant mean curvature (CMC) hypersurfaces are stable critical points of the area functional with respect to volume preserving deformations. We establish a pointwise curvature estimate (in the non-singular dimensions) and a sheeting theorem (in all dimensions) for weakly stable CMC hypersurfaces, giving an effective version of the compactness theorem for weakly stable CMC hypersurfaces established in the recent work of the first and third-named authors. Our results generalize the curvature estimate and the sheeting theorem proven respectively by Schoen--Simon--Yau and Schoen--Simon for strongly stable hypersurfaces. △ Less

Submitted 23 February, 2019; v1 submitted 24 February, 2018; originally announced February 2018.

Comments: final version, to appear in Adv. Math

Asymptotically flat three-manifolds contain minimal planes

Authors: Otis Chodosh, Daniel Ketover

Abstract: Let $(M,g)$ be an asymptotically flat $3$-manifold containing no closed embedded minimal surfaces. We prove that for every point $p\in M$ there exists a complete properly embedded minimal plane in $M$ containing $p$. Let $(M,g)$ be an asymptotically flat $3$-manifold containing no closed embedded minimal surfaces. We prove that for every point $p\in M$ there exists a complete properly embedded minimal plane in $M$ containing $p$. △ Less

Submitted 21 August, 2018; v1 submitted 27 September, 2017; originally announced September 2017.

Comments: final version, to appear in Adv. Math

On far-outlying CMC spheres in asymptotically flat Riemannian $3$-manifolds

Authors: Otis Chodosh, Michael Eichmair

Abstract: We extend the Lyapunov-Schmidt analysis of outlying stable CMC spheres in the work of S. Brendle and the second-named author to the "far-off-center" regime and to include general Schwarzschild asymptotics. We obtain sharp existence and non-existence results for large stable CMC spheres that depend very delicately on the behavior of scalar curvature at infinity. We extend the Lyapunov-Schmidt analysis of outlying stable CMC spheres in the work of S. Brendle and the second-named author to the "far-off-center" regime and to include general Schwarzschild asymptotics. We obtain sharp existence and non-existence results for large stable CMC spheres that depend very delicately on the behavior of scalar curvature at infinity. △ Less

Submitted 28 March, 2017; originally announced March 2017.

Comments: All comments welcome!

Global uniqueness of large stable CMC spheres in asymptotically flat Riemannian three-manifolds

Authors: Otis Chodosh, Michael Eichmair

Abstract: Let $(M, g)$ be a complete Riemannian $3$-manifold that is asymptotic to Schwarzschild with positive mass and whose scalar curvature vanishes. We \textsl{unconditionally} characterize the large, embedded stable constant mean curvature spheres in $(M, g)$. Let $(M, g)$ be a complete Riemannian $3$-manifold that is asymptotic to Schwarzschild with positive mass and whose scalar curvature vanishes. We \textsl{unconditionally} characterize the large, embedded stable constant mean curvature spheres in $(M, g)$. △ Less

Submitted 3 December, 2021; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: All comments welcome! Title has changed slightly. Final version, to appear in Duke Math J

Isoperimetry, scalar curvature, and mass in asymptotically flat Riemannian $3$-manifolds

Authors: Otis Chodosh, Michael Eichmair, Yuguang Shi, Haobin Yu

Abstract: Let $(M, g)$ be an asymptotically flat Riemannian $3$-manifold with non-negative scalar curvature and positive mass. We show that each leaf of the canonical foliation through stable constant mean curvature surfaces of the end of $(M, g)$ is uniquely isoperimetric for the volume it encloses. Let $(M, g)$ be an asymptotically flat Riemannian $3$-manifold with non-negative scalar curvature and positive mass. We show that each leaf of the canonical foliation through stable constant mean curvature surfaces of the end of $(M, g)$ is uniquely isoperimetric for the volume it encloses. △ Less

Submitted 11 July, 2016; v1 submitted 14 June, 2016; originally announced June 2016.

Comments: All comments welcome

MSC Class: Primary 53C20; Secondary 83C99

Time-Periodic Einstein--Klein--Gordon Bifurcations of Kerr

Authors: Otis Chodosh, Yakov Shlapentokh-Rothman

Abstract: We construct one-parameter families of solutions to the Einstein--Klein--Gordon equations bifurcating off the Kerr solution such that the underlying family of spacetimes are each an asymptotically flat, stationary, axisymmetric, black hole spacetime, and such that the corresponding scalar fields are non-zero and time-periodic. An immediate corollary is that for these Klein--Gordon masses, the Kerr… ▽ More We construct one-parameter families of solutions to the Einstein--Klein--Gordon equations bifurcating off the Kerr solution such that the underlying family of spacetimes are each an asymptotically flat, stationary, axisymmetric, black hole spacetime, and such that the corresponding scalar fields are non-zero and time-periodic. An immediate corollary is that for these Klein--Gordon masses, the Kerr family is not asymptotically stable as a solution to the Einstein--Klein--Gordon equations. △ Less

Submitted 6 August, 2017; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: Final version, to appear in CMP

Stationary axisymmetric black holes with matter

Authors: Otis Chodosh, Yakov Shlapentokh-Rothman

Abstract: We provide a geometric framework for the construction of non-vacuum black holes whose metrics are stationary and axisymmetric. Under suitable assumptions we show that the Einstein equations reduce to an Einstein-harmonic map type system and analyze the compatibility of the resulting equations. This framework will be fundamental to our forthcoming construction of metric-stationary axisymmetric bi… ▽ More We provide a geometric framework for the construction of non-vacuum black holes whose metrics are stationary and axisymmetric. Under suitable assumptions we show that the Einstein equations reduce to an Einstein-harmonic map type system and analyze the compatibility of the resulting equations. This framework will be fundamental to our forthcoming construction of metric-stationary axisymmetric bifurcations of Kerr solving the Einstein--Klein--Gordon system, and as such, we include specializations of all of our formulas to the case of a time-periodic massive scalar field. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Area-minimizing surfaces in asymptotically flat three-manifolds

Authors: Otis Chodosh, Michael Eichmair

Abstract: We show that an asymptotically flat Riemannian three-manifold with non-negative scalar curvature is isometric to flat $\mathbb{R}^3$ if it admits an unbounded area-minimizing surface. This answers a question of R. Schoen. We show that an asymptotically flat Riemannian three-manifold with non-negative scalar curvature is isometric to flat $\mathbb{R}^3$ if it admits an unbounded area-minimizing surface. This answers a question of R. Schoen. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: All comments welcome!

Minimal hypersurfaces with bounded index

Authors: Otis Chodosh, Daniel Ketover, Davi Maximo

Abstract: We prove a structural theorem that provides a precise local picture of how a sequence of closed embedded minimal hypersurfaces with uniformly bounded index (and volume if the ambient dimension is greater than three) in a Riemannian manifold of dimension at most seven, can degenerate. Loosely speaking, our results show that embedded minimal hypersurfaces with bounded index behave qualitatively like… ▽ More We prove a structural theorem that provides a precise local picture of how a sequence of closed embedded minimal hypersurfaces with uniformly bounded index (and volume if the ambient dimension is greater than three) in a Riemannian manifold of dimension at most seven, can degenerate. Loosely speaking, our results show that embedded minimal hypersurfaces with bounded index behave qualitatively like embedded stable minimal hypersurfaces, up to controlled errors. Several compactness/finiteness theorems follows our local picture. △ Less

Submitted 21 August, 2017; v1 submitted 22 September, 2015; originally announced September 2015.

Comments: Final version

Journal ref: Invent. Math., Vol. 209, No. 3, pp. 617--664 (2017)

Effective versions of the positive mass theorem

Authors: Alessandro Carlotto, Otis Chodosh, Michael Eichmair

Abstract: The study of stable minimal surfaces in Riemannian $3$-manifolds $(M, g)$ with non-negative scalar curvature has a rich history. In this paper, we prove rigidity of such surfaces when $(M, g)$ is asymptotically flat and has horizon boundary. As a consequence, we obtain an effective version of the positive mass theorem in terms of isoperimetric or, more generally, closed volume-preserving stable CM… ▽ More The study of stable minimal surfaces in Riemannian $3$-manifolds $(M, g)$ with non-negative scalar curvature has a rich history. In this paper, we prove rigidity of such surfaces when $(M, g)$ is asymptotically flat and has horizon boundary. As a consequence, we obtain an effective version of the positive mass theorem in terms of isoperimetric or, more generally, closed volume-preserving stable CMC surfaces that is appealing from both a physical and a purely geometric point of view. We also include a proof of the following conjecture of R. Schoen: An asymptotically flat Riemannian $3$-manifold with non-negative scalar curvature that contains an unbounded area-minimizing surface is isometric to flat $\mathbb{R}^3$. △ Less

Submitted 7 June, 2016; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: All comments welcome! The final version has appeared in Invent. Math

Isoperimetric structure of asymptotically conical manifolds

Authors: Otis Chodosh, Michael Eichmair, Alexander Volkmann

Abstract: We study the isoperimetric structure of Riemannian manifolds that are asymptotic to cones with non-negative Ricci curvature. Specifically, we generalize to this setting the seminal results of G. Huisken and S.-T. Yau on the existence of a canonical foliation by volume preserving stable constant mean curvature surfaces at infinity of asymptotically flat manifolds as well as the results of the secon… ▽ More We study the isoperimetric structure of Riemannian manifolds that are asymptotic to cones with non-negative Ricci curvature. Specifically, we generalize to this setting the seminal results of G. Huisken and S.-T. Yau on the existence of a canonical foliation by volume preserving stable constant mean curvature surfaces at infinity of asymptotically flat manifolds as well as the results of the second-named author with S. Brendle and J. Metzger on the isoperimetric structure of asymptotically flat manifolds. We also include an observation on the isoperimetric cone angle of such manifolds. This result is a natural analogue of the positive mass theorem in this setting. △ Less

Submitted 17 March, 2015; originally announced March 2015.

On the topology and index of minimal surfaces

Authors: Otis Chodosh, Davi Maximo

Abstract: We show that for an immersed two-sided minimal surface in $R^3$, there is a lower bound on the index depending on the genus and number of ends. Using this, we show the nonexistence of an embedded minimal surface in $R^3$ of index $2$, as conjectured by Choe. Moreover, we show that the index of a immersed two-sided minimal surface with embedded ends is bounded from above and below by a linear funct… ▽ More We show that for an immersed two-sided minimal surface in $R^3$, there is a lower bound on the index depending on the genus and number of ends. Using this, we show the nonexistence of an embedded minimal surface in $R^3$ of index $2$, as conjectured by Choe. Moreover, we show that the index of a immersed two-sided minimal surface with embedded ends is bounded from above and below by a linear function of the total curvature of the surface. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Large isoperimetric regions in asymptotically hyperbolic manifolds

Authors: Otis Chodosh

Abstract: We show the existence of isoperimetric regions of sufficiently large volumes in general asymptotically hyperbolic three manifolds. Furthermore, we show that large coordinate spheres in compact perturbations of Schwarzschild-anti-deSitter are uniquely isoperimetric. This is relevant in the context of the asymptotically hyperbolic Penrose inequality. Our results require that the scalar curvature o… ▽ More We show the existence of isoperimetric regions of sufficiently large volumes in general asymptotically hyperbolic three manifolds. Furthermore, we show that large coordinate spheres in compact perturbations of Schwarzschild-anti-deSitter are uniquely isoperimetric. This is relevant in the context of the asymptotically hyperbolic Penrose inequality. Our results require that the scalar curvature of the metric satisfies $R_{g}\geq -6$, and we construct an example of a compact perturbation of Schwarzschild-anti-deSitter without $R_{g}\geq -6$ so that large centered coordinate spheres are not isoperimetric. The necessity of scalar curvature bounds is in contrast with the analogous uniqueness result proven by Bray for compact perturbations of Schwarzschild, where no such scalar curvature assumption is required. This demonstrates that from the point of view of the isoperimetric problem, mass behaves quite differently in the asymptotically hyperbolic setting compared to the asymptotically flat setting. In particular, in the asymptotically hyperbolic setting, there is an additional quantity, the "renormalized volume," which has a strong effect on the large-scale geometry of volume. △ Less

Submitted 24 March, 2014; originally announced March 2014.

Comments: 57 pages, 1 figure. Comments welcome!

Slowly converging Yamabe flows

Authors: Alessandro Carlotto, Otis Chodosh, Yanir A. Rubinstein

Abstract: We characterize the rate of convergence of a converging volume-normalized Yamabe flow in terms of Morse theoretic properties of the limiting metric. If the limiting metric is an integrable critical point for the Yamabe functional (for example, this holds when the critical point is non-degenerate), then we show that the flow converges exponentially fast. In general, we make use of a suitable Lojasi… ▽ More We characterize the rate of convergence of a converging volume-normalized Yamabe flow in terms of Morse theoretic properties of the limiting metric. If the limiting metric is an integrable critical point for the Yamabe functional (for example, this holds when the critical point is non-degenerate), then we show that the flow converges exponentially fast. In general, we make use of a suitable Lojasiewicz-Simon inequality to prove that the slowest the flow will converge is polynomially. When the limit metric satisfies an Adams-Simon type condition we prove that there exist flows converging to it exactly at a polynomial rate. We conclude by constructing explicit examples to show that this does occur; these seem to be the first examples of a slowly converging solution to a geometric flow. △ Less

Submitted 26 February, 2015; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: Some corrections. To appear in Geometry & Topology

Journal ref: Geom. Topol. 19 (2015) 1523-1568

On discontinuity of planar optimal transport maps

Authors: Otis Chodosh, Vishesh Jain, Michael Lindsey, Lyuboslav Panchev, Yanir A. Rubinstein

Abstract: Consider two bounded domains $Ω$ and $Λ$ in $\mathbb{R}^{2}$, and two sufficiently regular probability measures $μ$ and $ν$ supported on them. By Brenier's theorem, there exists a unique transportation map $T$ satisfying $T_\#μ=ν$ and minimizing the quadratic cost $\int_{\mathbb{R}^{n}}|T(x)-x|^{2}dμ(x)$. Furthermore, by Caffarelli's regularity theory for the real Monge--Ampère equations, if $Λ$ i… ▽ More Consider two bounded domains $Ω$ and $Λ$ in $\mathbb{R}^{2}$, and two sufficiently regular probability measures $μ$ and $ν$ supported on them. By Brenier's theorem, there exists a unique transportation map $T$ satisfying $T_\#μ=ν$ and minimizing the quadratic cost $\int_{\mathbb{R}^{n}}|T(x)-x|^{2}dμ(x)$. Furthermore, by Caffarelli's regularity theory for the real Monge--Ampère equations, if $Λ$ is convex, $T$ is continuous. We study the reverse problem, namely, when is $T$ discontinuous if $Λ$ fails to be convex? We prove a result guaranteeing the discontinuity of $T$ in terms of the geometries of $Λ$ and $Ω$ in the two-dimensional case. The main idea is to use tools of convex analysis and the extrinsic geometry of $\partialΛ$ to distinguish between Brenier and Alexandrov weak solutions of the Monge--Ampère equation. We also use this approach to give a new proof of a result due to Wolfson and Urbas. We conclude by revisiting an example of Caffarelli, giving a detailed study of a discontinuous map between two explicit domains, and determining precisely where the discontinuities occur. △ Less

Submitted 20 October, 2014; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: Final version, to appear in the Journal of Topology and Analysis

Journal ref: J. Topol. Anal. 7 (2015), 239-260

A volume comparison theorem for asymptotically hyperbolic manifolds

Authors: S. Brendle, O. Chodosh

Abstract: We define a notion of renormalized volume of an asymptotically hyperbolic manifold. Moreover, we prove a sharp volume comparison theorem for metrics with scalar curvature at least -6. Finally, we show that the inequality is strict unless the metric is isometric to one of the Anti-deSitter-Schwarzschild metrics. We define a notion of renormalized volume of an asymptotically hyperbolic manifold. Moreover, we prove a sharp volume comparison theorem for metrics with scalar curvature at least -6. Finally, we show that the inequality is strict unless the metric is isometric to one of the Anti-deSitter-Schwarzschild metrics. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Rotational Symmetry of Conical Kähler-Ricci Solitons

Authors: Otis Chodosh, Frederick Tsz-Ho Fong

Abstract: We show that expanding Kähler-Ricci solitons which have positive holomorphic bisectional curvature and are asymptotic to Kähler cones at infinity must be the U(n)-rotationally symmetric expanding solitons constructed by Cao. We show that expanding Kähler-Ricci solitons which have positive holomorphic bisectional curvature and are asymptotic to Kähler cones at infinity must be the U(n)-rotationally symmetric expanding solitons constructed by Cao. △ Less

Submitted 10 April, 2013; v1 submitted 31 March, 2013; originally announced April 2013.

Comments: 13 pages; some assumptions removed

MSC Class: 53C44; 35C08

Expanding Ricci Solitons Asymptotic to Cones

Authors: Otis Chodosh

Abstract: We show that an expanding gradient Ricci solitons which is asymptotic to a cone at infinity in a certain sense must be rotationally symmetric. We show that an expanding gradient Ricci solitons which is asymptotic to a cone at infinity in a certain sense must be rotationally symmetric. △ Less

Submitted 16 September, 2013; v1 submitted 12 March, 2013; originally announced March 2013.

Comments: Final version

Journal ref: Calc. Var. and PDE, vol. 51, no. 1--2, pp. 1--15 (2014)

A Lack of Ricci Bounds for the Entropic Measure on Wasserstein space over the Interval

Authors: Otis Chodosh

Abstract: This is a condensed form of the author's essay, which can be found at [arXiv:1105.2883]. We prove that the entropic measure constructed by von Renesse-Sturm over Wasserstein space on the unit interval (probability measures on the unit interval equipped with the 2-Wasserstein metric) does not admit generalized Ricci lower bounds in the sense of Lott-Villani-Sturm. We discuss why this is surprising,… ▽ More This is a condensed form of the author's essay, which can be found at [arXiv:1105.2883]. We prove that the entropic measure constructed by von Renesse-Sturm over Wasserstein space on the unit interval (probability measures on the unit interval equipped with the 2-Wasserstein metric) does not admit generalized Ricci lower bounds in the sense of Lott-Villani-Sturm. We discuss why this is surprising, considering various heuristic arguments. △ Less

Submitted 2 March, 2012; v1 submitted 31 October, 2011; originally announced November 2011.

Journal ref: Journal of Functional Analysis, 262, 10, 4570-4581 (2012)

Optimal Transport and Ricci Curvature: Wasserstein Space Over the Interval

Authors: Otis Chodosh

Abstract: In this essay, we discuss the notion of optimal transport on geodesic measure spaces and the associated (2-)Wasserstein distance. We then examine displacement convexity of the entropy functional on the space of probability measures. In particular, we give a detailed proof that the Lott-Villani-Sturm notion of generalized Ricci bounds agree with the classical notion on smooth manifolds. We also giv… ▽ More In this essay, we discuss the notion of optimal transport on geodesic measure spaces and the associated (2-)Wasserstein distance. We then examine displacement convexity of the entropy functional on the space of probability measures. In particular, we give a detailed proof that the Lott-Villani-Sturm notion of generalized Ricci bounds agree with the classical notion on smooth manifolds. We also give the proof that generalized Ricci bounds are preserved under Gromov-Hausdorff convergence. In particular, we examine in detail the space of probability measures over the interval, $P(X)$ equipped with the Wasserstein metric $d^W$. We show that this metric space is isometric to a totally convex subset of a Hilbert space, $L^2[0,1]$, which allows for concrete calculations, contrary to the usual state of affairs in the theory of optimal transport. We prove explicitly that $(P(X),d^W)$ has vanishing Alexandrov curvature, and give an easy to work with expression for the entropy functional on this space. In addition, we examine finite dimensional Gromov-Hausdorff approximations to this space, and use these to construct a measure on the limit space, the entropic measure first considered by Von Renesse and Sturm. We examine properties of the measure, in particular explaining why one would expect it to have generalized Ricci lower bounds. We then show that this is in fact not true. We also discuss the possibility and consequences of finding a different measure which does admit generalized Ricci lower bounds. △ Less

Submitted 15 April, 2012; v1 submitted 14 May, 2011; originally announced May 2011.

Comments: 47 pages, 9 figures

Infinite Matrix Representations of Isotropic Pseudodifferential Operators

Authors: Otis Chodosh

Abstract: We characterize the action of isotropic pseudodifferential operators on functions in terms of their action on Hermite functions. We show that an operator $A : S(\mathbb{R}) \to S(\mathbb{R})$ is an isotropic pseudodifferential operator of order r if and only if its "matrix" $(K(A))_{m,n} := < Aφ_n,φ_m>_{L^2(\mathbb{R})}$ is rapidly decreasing away from the diagonal $\{m = n\}$, order… ▽ More We characterize the action of isotropic pseudodifferential operators on functions in terms of their action on Hermite functions. We show that an operator $A : S(\mathbb{R}) \to S(\mathbb{R})$ is an isotropic pseudodifferential operator of order r if and only if its "matrix" $(K(A))_{m,n} := < Aφ_n,φ_m>_{L^2(\mathbb{R})}$ is rapidly decreasing away from the diagonal $\{m = n\}$, order $\frac {r}{2}$ in $m + n$, and where applying the discrete difference operator along the diagonal decreases the order by one. Additionally, we use this result to prove an analogue of Beal's theorem for isotropic pseudodifferential operators. △ Less

Submitted 5 April, 2012; v1 submitted 24 January, 2011; originally announced January 2011.

Comments: 22 pages

Journal ref: Methods and Applications of Analysis, 18, 4, 351-372 (2011)