Comparison of total $σ_k$-curvature

Dit artikel breidt de volume-vergelijkingstheorema uit door een vergelijking te maken tussen de totale $\sigma_l$-kromming en de $\sigma_k$-kromming ($l<k$), waarbij bewezen wordt dat deze vergelijking geldt voor metrieken die dicht bij strikt stabiele positieve Einstein-metrieken liggen en onder bepaalde voorwaarden voor negatieve Einstein-metrieken.

De kern

Stel je voor dat de wiskunde van de ruimte (de meetkunde) een enorme bibliotheek is vol met verschillende soorten "ruimtes". Sommige zijn perfect rond als een bal, andere zijn krom als een zadel, en weer andere zijn zo complex dat ze eruitzien als een gekreukt stuk papier. Wiskundigen proberen al eeuwenlang regels te vinden om deze ruimtes met elkaar te vergelijken.

Deze paper, geschreven door Chen, Shan en Ye, gaat over een nieuwe manier om deze ruimtes te vergelijken. Hier is een uitleg in gewone taal, met een paar creatieve vergelijkingen.

1. Het Grote Doel: De "Ruimtelijke Weegschaal"

Stel je voor dat je twee verschillende gebouwen hebt. Je wilt weten welk gebouw het meeste volume (ruimte) heeft.

• De oude regel: Als je weet hoe "dik" de muren zijn (de kromming), kun je vaak zeggen hoeveel ruimte er binnen zit. Dit heet de Bishop-Gromov-vergelijking. Het is als zeggen: "Als de muren stevig genoeg zijn, kan het gebouw niet groter zijn dan een perfecte bol."
• Het probleem: Soms werkt die regel niet meer als je alleen naar de "dikte" van de muren kijkt. Wiskundigen zochten naar een betere manier om te meten.

2. De Nieuwe Maatstaf: De "Sigma-Kromming"

In plaats van alleen naar de gewone kromming te kijken, gebruiken de auteurs een geavanceerde meetlat genaamd $\sigma_k$-kromming.

• De Analogie: Stel je voor dat een ruimte een cocktail is. De gewone kromming is alsof je alleen naar de hoeveelheid alcohol kijkt. De $\sigma_k$-kromming is alsof je kijkt naar de specifieke verhouding van alle ingrediënten (alcohol, ijs, siroop) samen.
• De auteurs kijken nu niet alleen naar het volume, maar naar de totale hoeveelheid van deze "cocktail-kromming" in de hele ruimte. Ze vragen zich af: "Als ik de kromming van cocktail A vergroot, wat gebeurt er dan met de totale hoeveelheid van cocktail B?"

3. De Drie Hoofdregels (De Theorema's)

De auteurs hebben drie belangrijke regels ontdekt, afhankelijk van hoe de ruimte eruitziet:

A. De "Stabiele Bol" (Positieve Kromming)

Stel je een perfecte, strakke ballon voor die niet snel lekt (een stabiele Einstein-metriek).

• De regel: Als je de "cocktail" (de $\sigma_k$-kromming) in de ballon iets verandert, maar de ballon blijft stabiel, dan kun je precies voorspellen wat er met de totale hoeveelheid van een andere "cocktail" (de $\sigma_l$-kromming) gebeurt.
• Het resultaat: Als je de ene kromming verhoogt, gaat de totale hoeveelheid van de andere kromming omlaag (of andersom, afhankelijk van de specifieke cijfers). Het enige moment waarop je de maximale hoeveelheid krijgt, is als de ballon precies hetzelfde blijft als het origineel. Het is alsof je een perfecte cake hebt: als je meer suiker toevoegt, moet je ergens anders minder meel gebruiken, tenzij je de hele cake vervangt door een identieke kopie.

B. De "Zadelvorm" (Negatieve Kromming)

Nu kijken we naar ruimtes die eruitzien als een zadel of een hyperbolisch oppervlak (zoals een zeehond die op een golfplaat zit). Deze zijn lastiger.

• De regel: Hier moeten we een extra voorwaarde stellen: de ruimte mag niet te gekromd zijn in bepaalde richtingen. Als dat zo is, geldt er weer een vergelijkbare regel.
• Het resultaat: Net als bij de bol, kun je voorspellen of de totale hoeveelheid kromming toeneemt of afneemt. Als de ruimte "te veel" verandert, breekt de regel. Maar binnen de veilige grenzen geldt: "Hoe meer van dit, hoe minder van dat."

C. De Speciale Gevallen (K = L = 1)

Dit is een speciaal geval waarbij ze kijken naar de simpelste vorm van kromming (de scalar kromming, ofwel de "gemiddelde dikte").

• De verrassing: Zelfs als je weet dat de "dikte" van de wanden groter is dan die van een perfecte hyperbolische ruimte, betekent dit niet automatisch dat de ruimte kleiner is. Integendeel, het geeft een heel specifiek verband: als de wanden dikker zijn, moet de ruimte groter zijn om die wetten te laten kloppen. Het is een soort "ruilhandel" tussen dikte en volume.

4. Waarom is dit belangrijk? (De "Stabiliteit")

Een groot deel van de paper gaat over het woord "stabiel".

• De Metafoor: Stel je een stapel kaarten voor. Als je er een beetje op duwt, valt hij misschien niet om (stabiel). Maar als de stapel al wankel is (onstabiel), kan een klein duwtje ervoor zorgen dat hij instort of een heel andere vorm aanneemt.
• De auteurs tonen aan dat hun regels alleen werken als de ruimte "stabiel" is. Als je een onstabiele ruimte neemt (zoals een product van twee andere ruimtes), kun je een voorbeeld maken waar de regels niet werken. Ze bouwen zelfs een "tegenvoorbeeld" (een wiskundig proefje) om te laten zien wat er gebeurt als de stabiliteit ontbreekt.

Samenvatting in één zin

De auteurs hebben ontdekt dat je, zolang je ruimte stabiel genoeg is, precies kunt voorspellen hoe de totale "kromming" van een ruimte verandert als je de vorm van de ruimte een beetje aanpast, net zoals je kunt voorspellen wat er met de smaak van een cocktail gebeurt als je de verhouding van de ingrediënten iets verandert.

Kortom: Ze hebben een nieuwe, krachtige "rekenmachine" bedacht voor de vorm van het universum, maar die werkt alleen als je de ruimte niet te veel uitrekt of vervormt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Comparison of Total $\sigma_k$-Curvature" van Chen, Shan en Ye, geschreven in het Nederlands.

Titel: Vergelijking van de totale $\sigma_l$-kromming met betrekking tot $\sigma_k$-kromming

Auteurs: Jiaqi Chen, Yufei Shan, Yinghui Ye
Onderwerp: Riemanniaanse meetkunde, Variatierekening, Einstein-variëteiten, $\sigma_k$-kromming.

---

1. Probleemstelling en Achtergrond

In de Riemanniaanse meetkunde is het vergelijkingsprobleem een fundamenteel vraagstuk: onder welke krommingsvoorwaarden is een bepaalde geometrische functionaal begrensd door die van een referentiemeting?

• Historische context: Het bekendste resultaat is de stelling van Bishop-Gromov, die de volume van een variëteit begrenst op basis van een ondergrens voor de Ricci-kromming.
• Huidige uitdaging: Er is veel onderzoek gedaan naar het vervangen van de Ricci-kromming door zwakkere voorwaarden, zoals de scalairkromming ($R$). Voor positieve kromming bleek scalairkromming echter onvoldoende om het volume te controleren (Bray). Voor negatieve kromming is er een conjecture van Schoen dat het volume van een gesloten variëteit onder een ondergrens voor de scalairkromming begrensd wordt door die van een hyperbolische variëteit.
• Specifiek doel van dit artikel: De auteurs breiden de volume-vergelijking uit naar de vergelijking van de totale $\sigma_l$-kromming met betrekking tot de $\sigma_k$-kromming.
  • De $\sigma_k$-kromming is het $k$-de elementaire symmetrische polynoom van de eigenwaarden van de Schouten-tensor.
  • De totale $\sigma_0$-kromming komt overeen met het volume.
  • De auteurs onderzoeken of, voor een referentiemeting $\bar{g}$ die een strikt stabiele Einstein-meting is, de integraal van $\sigma_l$ onder bepaalde voorwaarden kleiner (of groter) is dan die van $\bar{g}$, wanneer de $\sigma_k$-kromming van een naburige meting $g$ een bepaalde relatie heeft met die van $\bar{g}$.

2. Methodologie

De auteurs hanteren een variatiestochastische aanpak rondom een specifieke referentiemeting $\bar{g}$.

• Referentiemeting: $(M^n, \bar{g})$ is een gesloten, strikt stabiele Einstein-variëteit met Einstein-constante $\lambda$ ($\text{Ric}_{\bar{g}} = (n-1)\lambda \bar{g}$).
  • Stabiliteit: De Einstein-operator $\Delta_E$ is strikt niet-positief op de ruimte van transversale-spoorloze (TT) tensoren.
• Functionaal: Ze introduceren een schaal-invariante functionaal $F_{\bar{g}}(g)$ die de totale $\sigma_l$-kromming relateert aan de $\sigma_k$-kromming:
  $$F_{\bar{g}}(g) = \left(\int_M \sigma_l^g dV_g\right)^{2k} \left(\int_M \sigma_k^g dV_{\bar{g}}\right)^{n-2l}$$
  (Opmerking: De definitie in de tekst gebruikt $dV_{\bar{g}}$ in de tweede term voor consistentie in de variatie, maar het doel is de vergelijking van de totale integralen).
• Variatierekening:
  1. Eerste variatie: Ze tonen aan dat de Einstein-meting $\bar{g}$ een kritiek punt is van deze functionaal.
  2. Tweede variatie: Ze berekenen de tweede variatie $D^2 F_{\bar{g}}$ en analyseren het teken ervan. Dit vereist een spectrale analyse van de Einstein-operator $\Delta_E$ en de Laplace-Beltrami-operator.
  3. Slice Theorem: Gebruikmakend van het Ebin-Palais slice-theorema restricteren ze de variatie tot een lokale "slice" van metrieken die loodrecht staan op de diffeomorfisme-orbit. Dit elimineert de trivialiteit van het verschuiven van coördinaten.
  4. Morse Lemma: Ze passen het Morse-lemma toe om rigidity-resultaten af te leiden: als de functionaal een lokaal extremum bereikt onder de gegeven krommingsvoorwaarden, moet de meting isometrisch zijn aan de referentiemeting (op een schalingsfactor na).

3. Belangrijkste Resultaten

De paper presenteert drie hoofdtheorema's die de vergelijking vaststellen voor metrieken die $C^2$-klein zijn van de referentiemeting.

Hoofdstelling A (Positieve Einstein-variëteiten, $\lambda > 0$)

Voor een strikt stabiele Einstein-variëteit met $\lambda > 0$ en gehele getallen $k, l \leq n$:
Er bestaat een $\epsilon > 0$ zodanig dat voor elke meting $g$ met $\|g - \bar{g}\|_{C^2} < \epsilon$:

• Als $\sigma_k^g \geq \sigma_k^{\bar{g}}$ en $l < n/2$, dan geldt:
  $$\int_M \sigma_l^g dV_g \leq \int_M \sigma_l^{\bar{g}} dV_{\bar{g}}$$
• Als $\sigma_k^g \leq \sigma_k^{\bar{g}}$ en $l > n/2 + k$, dan geldt:
  $$\int_M \sigma_l^g dV_g \leq \int_M \sigma_l^{\bar{g}} dV_{\bar{g}}$$
• Gelijkheid: Gelijkheid treedt op dan en slechts dan als $g$ isometrisch is aan $\bar{g}$.

Hoofdstelling B (Negatieve Einstein-variëteiten, $\lambda < 0$)

Voor $\lambda < 0$ zijn extra voorwaarden op de sectiekromming nodig. Als de sectiekromming $K_{\bar{g}}$ voldoet aan:
$$K_{\bar{g}} < \frac{n(n-2)}{2(n(k-1) - 2l(k-l))}\lambda$$
en $l \in (n/2, n/2 + k)$, dan geldt een vergelijkbare vergelijking, afhankelijk van de pariteit van $k$ en $l$:

• Voor even $l$: $\int \sigma_l^g \leq \int \sigma_l^{\bar{g}}$ (onder voorwaarden op $\sigma_k$).
• Voor oneven $l$: $\int \sigma_l^g \geq \int \sigma_l^{\bar{g}}$.
• Ook hier geldt rigidity: gelijkheid impliceert isometrie.

Hoofdstelling C (Specifiek geval: $k=1, l=1$ voor negatieve kromming)

Dit is een veralgemening van de volume-vergelijking voor negatieve Einstein-variëteiten.
Als $R_g \geq R_{\bar{g}}$ (waarbij beide negatief zijn), dan geldt:
$$\int_M R_g dV_g \leq \int_M R_{\bar{g}} dV_{\bar{g}}$$
Opmerking: Dit is niet triviaal. Hoewel bekend is dat het volume toeneemt bij een ondergrens voor de scalairkromming in negatieve gevallen, geeft dit resultaat een schatting van de snelheid van deze toename: $\frac{\text{Vol}(M,g)}{\text{Vol}(M,\bar{g})} \geq \frac{R_{\bar{g}}}{R_g}$.

4. Discussie en Tegenvoorbeelden

• Noodzaak van Stabiliteit: De auteurs benadrukken dat de voorwaarde van "strikt stabiliteit" essentieel is. Zonder deze voorwaarde kunnen er tegenvoorbeelden worden geconstrueerd.
• Tegenvoorbeeld (Positieve kromming): Ze construeren een tegenvoorbeeld voor een instabiele Einstein-variëteit (het product van twee Einstein-variëteiten met dezelfde positieve constante). Door een specifieke 1-parameter familie van metrieken te definiëren, tonen ze aan dat de ongelijkheid kan worden geschonden als de stabiliteit ontbreekt.
• Open vragen: Voor het geval $l = n/2 + k$ (superkritisch scenario) en voor instabiele negatieve Einstein-variëteiten (waarvan het bestaan nog een open probleem is) kunnen de auteurs geen tegenvoorbeelden construeren of de stellingen bewijzen.

5. Betekenis en Bijdrage

1. Veralgemening: Dit werk generaliseert bestaande resultaten van volume-vergelijking (Yuan) en $Q$-kromming-vergelijking (Lin & Yuan) naar de bredere klasse van $\sigma_k$-krommingen.
2. Nieuwe Inzichten: Het introduceert een nieuwe functionaal die de totale $\sigma_l$-kromming relateert aan $\sigma_k$, wat een brug slaat tussen verschillende geometrische invarianten.
3. Rigiditeit: De stellingen tonen rigidity aan: onder de gegeven krommingsvoorwaarden en stabiliteitscondities is de Einstein-meting uniek (op isometrie na) als extremum van deze functionaal.
4. Technische Vooruitgang: De paper levert een verfijnde analyse van de tweede variatie van complexe geometrische functionalen en koppelt dit aan spectrale eigenschappen van de Einstein-operator en sectiekromming.

Kortom, dit artikel biedt een krachtig kader om te begrijpen hoe de totale $\sigma_l$-kromming reageert op perturbaties van de $\sigma_k$-kromming in de buurt van stabiele Einstein-variëteiten, en vestigt nieuwe ongelijkheden die de fundamentele structuur van deze ruimten blootleggen.