Horizontal curvatures of surfaces in 3D contact sub-Riemannian Lie groups

Dit artikel bestudeert horizontale krommingen van oppervlakken in drie-dimensionale contact sub-Riemanniaanse Lie-groepen, waarbij expliciete formules worden afgeleid via een Riemanniaanse benadering en oppervlakken van revolutie met constante kromming worden geclassificeerd in de Heisenberg- en affiene-additieve groep.

De kern

De Krullende Wereld van de Sub-Riemanniaanse Meetkunde: Een Reis door de "Horizontale" Kromming

Stel je voor dat je in een heel vreemde wereld loopt. In onze normale wereld (de Riemanniaanse wereld) kun je in elke richting bewegen: vooruit, achteruit, links, rechts, omhoog en omlaag. Maar in de wereld waar deze auteurs over schrijven, is er een onzichtbare muur die je beweging beperkt. Je mag alleen bewegen in bepaalde richtingen, alsof je op een ijsbaan loopt waar je alleen vooruit mag glijden, maar niet zijwaarts kunt stappen. Dit noemen ze een sub-Riemanniaanse ruimte.

Deze paper, geschreven door Bubani, Pinamonti, Platis en Tsolis, is als het ware een reisgids voor oppervlakken in zo'n beperkte wereld. Ze proberen te begrijpen hoe deze oppervlakken "krommen" als je ze bekijkt vanuit de regels van deze beperkte wereld.

Hier is een simpele uitleg van wat ze doen, met behulp van alledaagse vergelijkingen:

1. Het Probleem: Hoe meet je kromming als je niet vrij kunt bewegen?

In de gewone wiskunde weten we precies hoe we de kromming van een heuvel of een kom moeten meten (de "Gauss-kromming" en "middelpuntskromming"). Maar in deze beperkte wereld werkt de normale meetkunde niet meer. De "normaal" (de pijl die loodrecht op het oppervlak staat) is vaak verward of verdwenen op bepaalde plekken (de zogenaamde karakteristieke punten).

Het is alsof je probeert de helling van een dak te meten, maar je mag alleen meten terwijl je op een smalle ladder staat die alleen vooruit en achteruit kan bewegen. Hoe meet je dan de helling van het dak?

2. De Oplossing: De "Zoom-in" Methode (Riemanniaanse Benadering)

De auteurs gebruiken een slimme truc. Ze zeggen: "Laten we even doen alsof de muur er niet is, maar dan heel zachtjes."

• De Analogie: Stel je voor dat je een foto van een oppervlak maakt. Eerst zoom je heel ver uit, zodat de beperkingen (de muren) verdwijnen en je een normaal, vrij oppervlak ziet. Dan zoom je heel langzaam weer in.
• De Wiskunde: Ze introduceren een variabele (noem het $\epsilon$) die de "beperking" voorstelt. Als $\epsilon$ heel groot is, is de wereld vrij. Als $\epsilon$ naar nul gaat, wordt de wereld weer streng beperkt.
• Ze kijken wat er gebeurt met de kromming terwijl ze inzoomen. De grenswaarde die overblijft als ze volledig inzoomen, is de Horizontale Kromming. Dit is de echte kromming van het oppervlak in deze vreemde wereld.

3. De Twee Stereotypen: Twee Speciale Werelden

Om hun theorie te testen, kiezen ze twee specifieke "speelplaatsen" (Lie-groepen):

1. De Heisenberg-groep: Dit is de beroemdste voorbeeld van zo'n wereld. Stel je voor dat je in een ruimte bent waar je alleen mag bewegen in de x- en y-richting, maar als je een rondje maakt, verandert je hoogte (de t-richting) automatisch. Het is alsof je een danspas maakt: als je naar links en rechts stapt, kom je per ongeluk een trapje hoger of lager uit.
2. De Affine-Additieve Groep: Dit is een iets andere vreemde wereld, die meer lijkt op een hyperbolische ruimte (zoals een zadelvormig oppervlak dat oneindig uitloopt).

4. Wat hebben ze ontdekt? (De "Drie Maatstaven")

Voor oppervlakken in deze werelden hebben ze drie nieuwe meetlatjes ontwikkeld:

• Horizontale Gauss-kromming ($K_h$): Hoe "bol" of "hol" is het oppervlak als je alleen kijkt naar de toegestane bewegingen?
• Horizontale Middelpuntskromming ($H_h$): Hoeveel "trekkracht" voelt het oppervlak? (In de natuurkunde zou dit kunnen helpen om te begrijpen hoe een zeepbel zou gedragen in zo'n wereld).
• Symplectische vervorming ($Q_h$): Dit is een maat voor hoe "verdraaid" het oppervlak is ten opzichte van de onderliggende structuur van de ruimte. Denk hierbij aan een laken dat je uitrekt en verdraait; deze maat zegt hoe sterk het laken is gedraaid.

5. De Grote Klassificatie: De "Rijwiel" van de Kromming

Het meest spannende deel van de paper is dat ze alle mogelijke oppervlakken die ronde vormen hebben (oppervlakken van revolutie) hebben ingedeeld.

Ze hebben gezocht naar oppervlakken die een constante kromming hebben. In de gewone wereld zijn dit de bol (overal even bol) en het vlak (overal even plat). In deze beperkte wereld zijn de vormen veel exotischer:

• Sommige vormen lijken op bellen.
• Sommige lijken op bubbels of vazen.
• Ze hebben formules gevonden (vaak met ingewikkelde wiskundige integralen) die precies beschrijven hoe deze oppervlakken eruitzien.

Voorbeeld: Ze hebben de "Korányi-sfeer" bestudeerd (een soort bol in de Heisenberg-wereld) en de "Flask" (een fles-vorm) in de andere wereld. Ze hebben bewezen dat deze vormen een constante kromming hebben, wat betekent dat ze perfect "rond" zijn volgens de regels van deze beperkte wereld.

Waarom is dit belangrijk?

Dit klinkt misschien als abstracte wiskunde, maar het heeft grote gevolgen:

• Fysica en Robotica: Veel robots of moleculen kunnen niet in elke richting bewegen. Ze moeten zich beperken tot bepaalde banen. Deze wiskunde helpt om te begrijpen hoe deze objecten zich gedragen en hoe ze de meest efficiënte paden vinden.
• Beeldverwerking: Het helpt bij het begrijpen van patronen in data die niet lineair zijn.
• Fundamentele Wetenschap: Het vult een gat in onze kennis over hoe de ruimte eruitziet als de regels van de fysica anders zijn dan we gewend zijn.

Kortom: Deze auteurs hebben een nieuwe "bril" ontworpen om naar oppervlakken te kijken in een wereld waar beweging beperkt is. Ze hebben de regels voor kromming herschreven en een catalogus gemaakt van de mooiste, meest symmetrische vormen die in zo'n wereld mogelijk zijn. Het is een brug tussen abstracte theorie en de concrete vorm van de wereld om ons heen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Horizontal Curvatures of Surfaces in 3D Contact Sub-Riemannian Lie Groups" in het Nederlands.

Titel: Horizontale Krommingen van Oppervlakken in 3D Contact Sub-Riemanniaanse Lie-groepen

Auteurs: Elia Bubani, Andrea Pinamonti, Ioannis D. Platis, Dimitrios Tsolis

---

1. Probleemstelling en Context

De studie van oppervlakken en hun krommingen is fundamenteel in de differentiaalmeetkunde. In de klassieke Riemanniaanse setting zijn begrippen zoals gemiddelde kromming ($H$) en Gauss-kromming ($K$) goed gedefinieerd en afhankelijk van de volledige omgevende metriek en de Levi-Civita-verbinding.

Echter, veel hedendaagse problemen in de geometrische analyse en sub-elliptische partiële differentiaalvergelijkingen ontstaan in sub-Riemanniaanse ruimten. In deze ruimten is de metriek anisotroop: beweging is beperkt tot een "horizontale" distributie (een onderbundel van het raakbundel) die niet-integreerbaar is.

• Het kernprobleem: Er bestaat geen intrinsieke definitie van kromming voor oppervlakken in sub-Riemanniaanse structuren die voldoet aan de eisen:
  1. Het moet overeenkomen met de Riemanniaanse definitie wanneer de structuur Riemanniaans is.
  2. Het moet invariant zijn onder de isometriegroep van de sub-Riemanniaanse geometrie.
  3. Het moet de niet-holonomische beperkingen van de horizontale distributie coderen.
  4. Het moet reduceren tot bekende uitdrukkingen in modelruimten zoals de Heisenberg-groep.
• Specifieke uitdaging: Oppervlakken kunnen "karakteristieke punten" bevatten waar het raakvlak samenvalt met de horizontale distributie, waardoor de horizontale normaal degenereren.

2. Methodologie: Riemanniaanse Benadering

De auteurs hanteren een Riemanniaanse benaderingsschema om intrinsieke horizontale krommingen af te leiden.

• Benaderingsfamilie: Ze introduceren een een-parameter familie van Riemanniaanse metrieken $(g_\epsilon)_{\epsilon > 0}$ op de Lie-groep $G$. In deze metriek wordt de frame $\{X, Y, T_\epsilon = \epsilon T\}$ orthonormaal, waarbij $X, Y$ de horizontale vectorvelden zijn en $T$ het Reeb-vectorveld.
• Grenswaarde: De sub-Riemanniaanse structuur wordt verkregen als de limiet $\epsilon \to 0^+$. De metriek $g_\epsilon$ convergeert in de zin van Gromov-Hausdorff naar de Carnot-Carathéodory afstand.
• Cartan's Methode: Binnen deze Riemanniaanse familie gebruiken ze Cartan's methode van bewegende frames. Ze berekenen:
  • De tweede fundamentele vorm ($II_\epsilon$).
  • De sectiekrommingen van het omgevende ruimte.
  • De Riemanniaanse gemiddelde kromming ($H^\epsilon_\Sigma$) en Gauss-kromming ($K^\epsilon_\Sigma$).
• Asymptotische Analyse: Door een zorgvuldige asymptotische analyse van deze grootheden wanneer $\epsilon \to 0$, leiden ze de intrinsieke definities af voor de horizontale gemiddelde kromming ($H^h_\Sigma$) en de horizontale Gauss-kromming ($K^h_\Sigma$), buiten de verzameling van karakteristieke punten.

3. Belangrijkste Bijdragen en Definities

De paper levert expliciete formules voor drie cruciale grootheden voor oppervlakken $\Sigma$ gedefinieerd door $u=0$:

1. Horizontale Gemiddelde Kromming ($H^h_\Sigma$):
   $$H^h_\Sigma = \lim_{\epsilon \to 0} H^\epsilon_\Sigma = X\left(\frac{Xu}{\|\nabla_H u\|}\right) + Y\left(\frac{Yu}{\|\nabla_H u\|}\right) + \frac{a_3 Yu - b_3 Xu}{\|\nabla_H u\|}$$
   (Waarbij $a_i, b_i$ structuurconstanten van de Lie-groep zijn).

2. Horizontale Gauss-kromming ($K^h_\Sigma$):
   $$K^h_\Sigma = \lim_{\epsilon \to 0} K^\epsilon_\Sigma = E_1\left(\frac{c Tu}{\|\nabla_H u\|}\right) - \left(\frac{c Tu}{\|\nabla_H u\|}\right)^2$$
   Hierbij is $E_1$ een eenheidsvector in het raakvlak.

3. Symplectische Distorsie ($Q^h_\Sigma$):
   Een nieuwe grootheid die meet hoe de geometrie van het oppervlak gedraaid is ten opzichte van de contactstructuur.
   $$Q^h_\Sigma = Q_H - a_3 p - b_3 q$$
   Waarbij $Q_H = X(q) - Y(p)$ en $p, q$ genormaliseerde horizontale afgeleiden zijn.

Invariance: De auteurs bewijzen dat $H^h_\Sigma$, $K^h_\Sigma$ en $Q^h_\Sigma$ invariant zijn onder de actie van de groep van CC-isometrieën ($Isom_{CC}(G)$). Dit bevestigt dat deze definities intrinsiek zijn voor de sub-Riemanniaanse structuur.

4. Resultaten en Classificaties

De theorie wordt toegepast op twee specifieke modellen: de Heisenberg-groep ($H$) en de Affine-Additieve groep ($AA$). Voor beide groepen worden oppervlakken van revolutie geanalyseerd met constante krommingen.

A. De Heisenberg-groep

• Expliciete Formules: De auteurs leiden formules af voor grafieken, cilindrische oppervlakken en oppervlakken van revolutie ($t = f(r)$).
• Classificatie van Oppervlakken van Revolutie:
  • Constante Horizontale Gauss-kromming ($K^h = k$): Voor $k=0$ worden oppervlakken gevonden die voldoen aan een specifieke algebraïsche vergelijking. Voor $k = \pm 1$ worden oplossingen gegeven via elliptische integralen.
  • Constante Horizontale Gemiddelde Kromming ($H^h = h$): De oppervlakken met $h=0$ (horizontaal minimale oppervlakken) blijken hyperboloïden te zijn. Voor $h \neq 0$ worden oplossingen uitgedrukt via integralen die leiden tot bekende vormen zoals de "bubble set" (belvorm).
  • Constante Symplectische Distorsie: Classificatie leidt tot formules die afhankelijk zijn van trigonometrische functies en integralen.
• Ongelijkheid: Er wordt een scherpe ongelijkheid bewezen: $(H^h_\Sigma)^2 - K^h_\Sigma > 0$ voor oppervlakken van revolutie in de Heisenberg-groep.

B. De Affine-Additieve Groep ($AA$)

• Structuur: $AA$ is isomorf met $\mathbb{R} \times \mathbb{H}^1_{\mathbb{C}}$ (de hyperbolische half-ruimte).
• Oppervlakken van Revolutie: Omdat er geen canonieke as van revolutie is, definiëren de auteurs revolutie-oppervlakken ten opzichte van een één-parameter ondergroep.
• Classificatie:
  • Voor $K^h = -4$ (een constante die specifiek is voor deze groep) worden oplossingen gevonden die overeenkomen met $f(\rho) = \frac{1}{2}\arctan(\rho) + C$.
  • Voor $H^h = 0$ wordt bewezen dat dit equivalent is met $K^h = -4$.
  • Voor willekeurige constante waarden worden oplossingen gegeven in termen van complexe integralen en inverse trigonometrische functies.
• Speciale Voorbeelden: De auteurs beschrijven de "CC-sfeer" en de "flask" (fles) in $AA$, waarbij de horizontale gemiddelde kromming van de flask constant is en gelijk is aan de kromming van een hyperbolische cirkel ($\coth R$).

5. Betekenis en Impact

• Unificatie: Het artikel biedt een systematische en intrinsieke definitie van kromming die werkt voor een brede klasse van 3D contact sub-Riemanniaanse Lie-groepen, niet alleen voor de Heisenberg-groep.
• Verbinding met Bestaande Literatuur: De resultaten sluiten aan bij en veralgemenen eerdere werken (zoals [1, 7, 23]) en bevestigen de consistentie met bekende formules in de Heisenberg-groep.
• Toepassingsgericht: De afgeleide expliciete formules en classificaties van oppervlakken met constante kromming zijn essentieel voor verdere onderzoeken naar:
  • Isoperimetrische problemen in sub-Riemanniaanse ruimten.
  • De studie van oppervlakken met constante gemiddelde kromming (CMC-oppervlakken).
  • De oplossing van sub-elliptische partiële differentiaalvergelijkingen die voortvloeien uit variatieproblemen.
• Nieuwe Inzichten: De introductie en analyse van de "symplectische distorsie" als een nieuwe geometrische invariant biedt een nieuw perspectief op de interactie tussen de oppervlakte en de onderliggende contactstructuur.

Samenvattend levert dit papier een fundamenteel raamwerk voor de differentiaalmeetkunde van oppervlakken in sub-Riemanniaanse contexten, met concrete, toepasbare resultaten voor twee van de belangrijkste modelruimten in dit domein.