Plateau Bubbles and the Quintuple Bubble Theorem on $\mathbb{S}^n$
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912170826006528 |
|---|---|
| author | Milman, Emanuel Neeman, Joe |
| author_facet | Milman, Emanuel Neeman, Joe |
| contents | Sullivan's multi-bubble isoperimetric conjectures in $n$-dimensional Euclidean and spherical spaces assert that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed by Hutchings-Morgan-Ritoré-Ros (and later extended to $\mathbb{R}^n$). The double-bubble conjecture on $\mathbb{S}^n$ ($n \geq 2$) and the triple- and quadruple- bubble conjectures on $\mathbb{R}^n$ and $\mathbb{S}^n$ (for $n \geq 3$ and $n \geq 4$, respectively) were recently confirmed in our previous work, but the approach employed there does not seem to allow extending these results further.
In this work, we confirm the quintuple-bubble conjecture on $\mathbb{S}^n$ ($n \geq 5$), and as a consequence, by approximation, also the quintuple-bubble conjecture on $\mathbb{R}^n$ ($n \geq 5$) but without the uniqueness assertion. Moreover, we resolve the conjectures on $\mathbb{S}^n$ and on $\mathbb{R}^n$ (without uniqueness) for all $q \leq n+1$, conditioned on the assumption that the singularities which appear at the meeting locus of several bubbles obey a higher-dimensional analogue of Plateau's laws. Another scenario we can deal with is when the bubbles are full-dimensional ("in general position"), or arrange in some good lower-dimensional configurations.
To this end, we develop the spectral theory of the corresponding Jacobi operator (finding analogies with the quantum-graph formalism), and a new method for deforming the bubbles into a favorable configuration. As a by-product, we show that the Jacobi operator on a minimizing configuration always has index precisely $q-1$ and hence the corresponding isoperimetric profile is concave, answering a question of Heppes. Several compelling conjectures are proposed, which would allow extending our results to all $q \leq n+1$ unconditionally. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_08164 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Plateau Bubbles and the Quintuple Bubble Theorem on $\mathbb{S}^n$ Milman, Emanuel Neeman, Joe Differential Geometry Functional Analysis Metric Geometry Spectral Theory Sullivan's multi-bubble isoperimetric conjectures in $n$-dimensional Euclidean and spherical spaces assert that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed by Hutchings-Morgan-Ritoré-Ros (and later extended to $\mathbb{R}^n$). The double-bubble conjecture on $\mathbb{S}^n$ ($n \geq 2$) and the triple- and quadruple- bubble conjectures on $\mathbb{R}^n$ and $\mathbb{S}^n$ (for $n \geq 3$ and $n \geq 4$, respectively) were recently confirmed in our previous work, but the approach employed there does not seem to allow extending these results further. In this work, we confirm the quintuple-bubble conjecture on $\mathbb{S}^n$ ($n \geq 5$), and as a consequence, by approximation, also the quintuple-bubble conjecture on $\mathbb{R}^n$ ($n \geq 5$) but without the uniqueness assertion. Moreover, we resolve the conjectures on $\mathbb{S}^n$ and on $\mathbb{R}^n$ (without uniqueness) for all $q \leq n+1$, conditioned on the assumption that the singularities which appear at the meeting locus of several bubbles obey a higher-dimensional analogue of Plateau's laws. Another scenario we can deal with is when the bubbles are full-dimensional ("in general position"), or arrange in some good lower-dimensional configurations. To this end, we develop the spectral theory of the corresponding Jacobi operator (finding analogies with the quantum-graph formalism), and a new method for deforming the bubbles into a favorable configuration. As a by-product, we show that the Jacobi operator on a minimizing configuration always has index precisely $q-1$ and hence the corresponding isoperimetric profile is concave, answering a question of Heppes. Several compelling conjectures are proposed, which would allow extending our results to all $q \leq n+1$ unconditionally. |
| title | Plateau Bubbles and the Quintuple Bubble Theorem on $\mathbb{S}^n$ |
| topic | Differential Geometry Functional Analysis Metric Geometry Spectral Theory |
| url | https://arxiv.org/abs/2307.08164 |