Taylor polynomials on left-quotients of Carnot groups

Technische Samenvatting: Taylorpolynomen op links-quotiënten van Carnot-groepen

Probleemstelling
Het artikel behandelt de uitdaging om klassieke Taylor-polynoomtheorema's vast te stellen voor sub-Riemanniaanse variëteiten die ontstaan als submetrische afbeeldingen (quotiënten) van Carnot-groepen. Hoewel Rothschild en Stein [8] een fundamenteel kader hebben opgezet voor hypoelliptische operatoren door vectorenvelden te liften naar een variëteit met een vrije nilpotente Lie-algebraïsche structuur, vereist hun aanpak over het algemeen het liften naar een hoog-dimensionale ruimte. In expliciete voorbeelden, zoals niet-equiregulaire sub-Riemanniaanse variëteiten (waarbij de rang van de horizontale distributie of de groeivector varieert), is het wenselijk om de dimensie van de omgeving te minimaliseren. Het specifieke probleem dat hier wordt aangepakt, is het generaliseren en verduidelijken van methoden (verwezen naar [4]) om Taylor-benaderingen te definiëren op variëteiten verkregen door een gestratificeerde nilpotente Lie-groep (een Carnot-groep) te projecteren op een quotiëntruimte. Deze quotiëntruimten kunnen degeneratie vertonen, zoals een niet-constante rang of variërende groeivectoren, wat de directe toepassing van standaard sub-Riemanniaanse analyse bemoeilijkt.

Methodologie
De kernmethodologie berust op het concept van submetrieën. De auteur beschouwt een Carnot-groep $G$ en een gesloten subgroep $H$ waar de dilatiegroep $H$ behoudt ($\delta_\lambda(H) = H$). De quotiëntruimte $M = H \backslash G$ (rechter cosets) is uitgerust met een afstand $d_M$ gedefinieerd door het infimum van de afstanden in $G$. De canonieke projectie $\pi: G \to M$ is een submetrie, wat betekent dat deze metrische bollen in $G$ afbeeldt op metrische bollen in $M$ met dezelfde straal.

De analyse verloopt via de volgende stappen:

1. Lifting en Projectie: Functies en vectorenvelden op de quotiëntvariëteit $M$ worden gerelateerd aan hun tegenhangers op de Carnot-groep $G$ via de projectie $\pi$ en een specifieke rechter inverse inclusie $\iota$. Een functie $f$ op $M$ wordt gelift naar een links $H$-invariante functie $\tilde{f} = f \circ \Pi$ op $G$.
2. Transfer van Definities: De definitie van Taylor-polynomen op $M$ wordt geconstrueerd door de goed gevestigde definities van Carnot-groepen (specifiek uit [6] en [2]) over te dragen. Een polynoom $P$ op $M$ wordt gedefinieerd door de afgeleiden van een functie $f$ te matchen met de geprojecteerde horizontale vectorenvelden $X_j = \Pi_*(\tilde{X}_j)$.
3. Equivalentie van Suprema: Een cruciaal technisch instrument is Lemma 4.2, die vaststelt dat het supremum van een links $H$-invariante functie over een bol in $G$ gelijk is aan het supremum van de corresponderende functie op $M$ over de geprojecteerde bol. Dit maakt het mogelijk om op de groep $G$ afgeleide schattingen direct over te dragen naar de quotiënt $M$.
4. Invariantie-argumenten: De bewijzen maken gebruik van de links $H$-invariantie van de gelifte functies en de commutatie-eigenschappen van rechts-invariante vectorenvelden om te waarborgen dat de Taylor-polynomen die op de groep zijn gedefinieerd, goed gedefinieerd zijn op de quotiënt en onafhankelijk zijn van de keuze van de representant in de coset.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een rigoureus kader voor Taylor-benaderingen op een klasse van sub-Riemanniaanse variëteiten die niet noodzakelijkerwijs equiregulier zijn. De belangrijkste resultaten omvatten:

• Taylor-theorema's op Quotiënten: De auteur bewijst een Taylor-theorema (Theorem 4.4) en een Lagrange gemiddelde-waardestelling (Theorem 4.3) voor functies $f \in C^k_{hor}(M)$. Deze stellingen bieden residu-schattingen van de vorm $|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$, waarbij de foutterm afhankelijk is van de continuïteitsmodulus van de $k$-de orde horizontale afgeleiden.
• Wel-geponeerdheid: Proposition 4.1 toont aan dat de Taylor-polynoom op de quotiënt $M$ de restrictie is van de Taylor-polynoom van de gelifte functie op $G$. Het bewijst dat deze definitie onafhankelijk is van de keuze van de representant in de coset.
• Analyticiteitsconditie: Theorem 5.1 stelt een voldoende voorwaarde vast waaronder een gladde functie op $M$ reëel analytisch is. Als de horizontale afgeleiden voldoen aan een specifieke groeibeperking met betrekking tot faculteiten ($K^{d(I)} k!$), dan is de functie reëel analytisch. Dit resultaat is afgeleid door de conditie te liften naar $G$ en bekende resultaten uit [2] toe te passen.
• L-Harmonischheid: Theorem 5.2 bewijst dat als een functie $f$ wordt geannuleerd door een differentiële operator $L$ (specifiek één gevormd door horizontale vectorenvelden), dan de Taylor-polynomen van $f$ ook door $L$ worden geannuleerd. Dit breidt de eigenschap van $L$-harmonischheid van Taylor-polynomen van gestratificeerde groepen uit naar hun quotiënten.

Betekenis en Claims
Het artikel claimt de methode gebruikt in eerdere werken (specifiek [4]) te generaliseren en te verduidelijken om Taylor-benaderingstheorema's te verkrijgen voor sub-Riemanniaanse variëteiten die mogelijk geen constante rang of uniforme groeivectoren hebben. Door gebruik te maken van de submetrie-eigenschap van de projectie van een Carnot-groep, slaagt de auteur erin om analytische eigenschappen (zoals Taylor-expansies, analyticiteitscriteria en harmonischheid van polynomen) van de gestructureerde setting van gestratificeerde Lie-groepen over te dragen naar meer algemene, potentieel degeneratieve quotiënt-variëteiten.

De betekenis ligt in het bieden van een verenigde aanpak die het nodig is om vectorenvelden naar een hoog-dimensionale "vrije" nilpotente algebra te liften (zoals in het Rothschild-Stein framework) te vermijden, wanneer een specifieke, lager-dimensionale quotiëntstructuur beschikbaar is. De resultaten bevestigen dat de sub-Riemanniaanse geometrie van deze quotiënten voldoende structuur behoudt om klassieke analyse-instrumenten zoals Taylor-expansies te ondersteunen, mits de onderliggende projectie een submetrie is. Het artikel merkt expliciet op dat deze resultaten worden toegepast op voorbeelden zoals de Grushin-vlak en specifieke CR-structuren, wat het nut van de theorie in niet-equiregulaire settings demonstreert.