Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

Technische Samenvatting: Stijfheid en Flexibiliteit onder Spectrale Ricci-ondergrenzen en Gemiddeld Convexe Rand

Probleemstelling
Dit artikel onderzoekt de geometrische en topologische stijfheid van Riemannse variëteiten $(M^n, g)$ met een niet-lege rand $\partial M$, onderworpen aan spectrale ondergrenzen voor de Ricci-kromming en randvoorwaarden voor gemiddelde convexiteit. De centrale vraagstelling betreft een rand-analogon van "Vraag 1" gesteld in de inleiding: het bepalen van de scherpe drempel $\gamma(n)$ zodanig dat, indien een compacte variëteit een metriek toestaat die voldoet aan de spectrale voorwaarde $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$ (en potentieel een randvoorwaarde), deze ook een metriek moet toestaan met strikt positieve sectiekromming en een strikt gemiddeld convex rand.

De spectrale voorwaarde wordt gedefinieerd via het bestaan van een positieve functie $u \in C^{2,\alpha}(M)$ zodanig dat $-\gamma \Delta u + u \text{Ric} \ge 0$ op $M$ en $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$ op $\partial M$, waarbij $H_{\partial M}$ de gemiddelde kromming is met betrekking tot de uitwaartse eenheidsnormaal $\nu$. De auteurs streven ernaar klassieke stijfheidstheorema's (specifiek Kasue's splitsingstheorema voor $\text{Ric} \ge 0$) uit te breiden naar deze spectrale setting en het optimale bereik van $\gamma$ te bepalen waarvoor dergelijke stijfheid of topologische beperkingen gelden.

Methodologie
De auteurs hanteren een variationalle aanpak die centraal staat rondom gewogen geodeten. In tegenstelling tot recente werken die $\mu$-bubbels gebruiken (die hogere-dimensionale minimale oppervlakken betrekken), maakt dit artikel gebruik van één-dimensionale minimaliseerders van het functionaal:
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
waarbij $d\ell_g$ het Riemannse lengte-element is. Deze keuze stelt de auteurs in staat om regulariteitsproblemen die geassocieerd zijn met hogere-dimensionale minimale hypersurfaces in niet-compacte settings te vermijden.

De kern technische machinerie omvat:

1. Formules voor Eerste en Tweede Variatie: Gedetailleerde berekeningen worden uitgevoerd voor het functionaal $E(\beta)$ langs krommen die disjuncte randcomponenten verbinden. Deze leveren stabiliteitsongelijkheden op die de Ricci-kromming, de Hessiaan van $u$ en termen voor de gemiddelde randkromming betrekken.
2. Stabiliteitsongelijkheden (Lemma 1 & 2): Door de tweede variatie te testen met specifieke afsnijfuncties en een gewogen frame te gebruiken, leiden de auteurs integraalongelijkheden af die de geometrie van minimaliserende krommen beperken.
3. Vangst van Geodeten en Compactheid (Lemma 3 & Proposition 4): Een kritische technische bijdrage is het bewijs dat minimaliserende sequenties voor $E(\beta)$ die een compacte randcomponent verbinden met de rest van de rand, niet "naar oneindig kunnen ontsnappen" in het niet-compacte geval, mits $\gamma$ binnen een specifiek scherp bereik ligt. Dit wordt bereikt door een contradictie te construeren met behulp van afsnijfuncties en de stabiliteitsongelijkheid, waardoor het bestaan van globale minimaliseerders wordt verzekerd.
4. Topologische Argumenten: Het artikel combineert de geometrische stijfheidsresultaten met een diep theorema van Lawson en Michelsohn betreffende het bestaan van metrieken met positieve sectiekromming.

Belangrijkste Bijdragen en Resultaten

1. Scherpe Spectrale Stijfheid (Theorema 1)
De auteurs bewijzen een scherpe uitbreiding van Kasue's stijfheidstheorema. Als $(M^n, g)$ een complete variëteit is met een niet-verbonden rand (minimaal één component compact) die voldoet aan de spectrale voorwaarden met:

• $0 \le \gamma < 4$ voor $n=2$,
• $0 \le \gamma < \frac{n-1}{n-2}$ voor $n \ge 3$,
  dan splitst de variëteit isometrisch als een product $[0, L] \times \Sigma$, waarbij $\Sigma$ een compacte variëteit is met $\text{Ric}_\Sigma \ge 0$.
• Scherpte: De auteurs leveren tegenvoorbeelden (Proposities 2 en 3) die aantonen dat, als $\gamma deze drempels overschrijdt, de conclusie van splitsing faalt. Specifiek kan voor$\gamma = \frac{n-1}{n-2}$ de variëteit falen om te splitsen, en voor $\gamma > \frac{n-1}{n-2}$ falen de topologische conclusies.

2. Topologische Stijfheid (Theorema 2)
Het artikel stelt vast dat onder dezelfde spectrale voorwaarden (met de drempel uitgebreid om gelijkheid te omvatten voor $n \ge 3$, d.w.z. $0 \le \gamma \le \frac{n-1}{n-2}$), indien ten minste één ongelijkheid strikt is, de relatieve fundamentele groep verdwijnt: $\pi_1(M, \partial M) = 0$. Dit impliceert dat de rand verbonden is en dat de inbedding $\partial M \hookrightarrow M$ een surjectie induceert op fundamentele groepen.

• Betekenis: Dit generaliseert bekende resultaten voor $\text{Ric} \ge 0$ naar de spectrale setting. De auteurs merken op dat de compactheid van de variëteit zelf niet vereist is; slechts één randcomponent moet compact zijn.

3. Existentie van Metrieken met Positieve Kromming (Theorema 3)
Door Theorema 2 te combineren met het theorema van Lawson–Michelsohn, bewijzen de auteurs dat voor $n \neq 4$, elke compacte variëteit met rand die voldoet aan de spectrale voorwaarden (met ten minste één strikte ongelijkheid), een metriek toestaat met positieve sectiekromming en een strikt gemiddeld convex rand.

• Scherpte: Het bereik van $\gamma$ wordt bewezen scherp te zijn via Propositie 1, die variëteiten construeert met $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ die dergelijke metrieken niet toelaten wanneer $\gamma > \frac{n-1}{n-2}$.
• Dimensionale Beperking: Het resultaat geldt voor $n \neq 4$. De auteurs stellen expliciet dat het geval $n=4$ open blijft vanwege de onopgeloste status van een specifieke propositie in het werk van Lawson–Michelsohn met betrekking tot nep-4-cellen.

4. Corollarium 1 (Gecombineerde Stijfheid)
Dit resultaat synthetiseert de vorige theorema's, stellend dat voor het scherpe bereik van $\gamma$, een variëteit die voldoet aan de spectrale voorwaarden ofwel isometrisch moet splitsen (als de rand niet-verbonden is) of een triviale relatieve fundamentele groep moet hebben (als de rand verbonden is).

Betekenis en Claims
Het artikel claimt het scherpe rand-analogon van Vraag 1 op te lossen voor dimensies $n \neq 4$. De auteurs benadrukken dat hun gebruik van gewogen lengte-minimaliseerders (één-dimensionale objecten) in plaats van $\mu$-bubbels een distinct methodologisch voordeel is, met name in de behandeling van niet-compacte variëteiten en het vermijden van regulariteitsproblemen in hogere dimensies.

De auteurs zijn modest wat betreft de reikwijdte van hun werk:

• Zij erkennen dat Vraag 1 voor $n \ge 5$ in het algemeen compacte geval zonder randvoorwaarden wijd open blijft.
• Zij merken op dat de compactheidsaanname in Theorema 1 (Item 2) mogelijk verwijderd kan worden voor $n=2,3$, maar dit wordt overgelaten aan toekomstig werk.
• Zij stellen expliciet dat het geval $n=4$ een open probleem is vanwege externe beperkingen in het theorema van Lawson–Michelsohn.
• Zij stellen geen nieuwe toepassingen of experimentele voorstellen voor, maar kaderen hun werk als een theoretische vooruitgang in de geometrische analyse, specifiek door spectrale meetkunde te verbinden met topologische stijfheid en krommingsgrenzen.

Het artikel sluit af met resultaten uit de appendix (Propositie 5 en Opmerking 6) die spectrale generalisaties bieden van straal- en Bonnet–Myers-achtige diameter-schattingen, en lichte verbeteringen tonen in de afhankelijkheid van de oscillatie van de grenzen in vergelijking met eerdere literatuur.