Taylor polynomials on left-quotients of Carnot groups

Sintesi Tecnica: Polinomi di Taylor su Quozienti Sinistri di Gruppi di Carnot

Enunciato del Probleamento
Il saggio affronta la sfida di stabilire i classici teoremi sui polinomi di Taylor per varietà sub-riemanniane che emergono come immagini submetriche (quozienti) di gruppi di Carnot. Sebbene Rothschild e Stein [8] abbiano stabilito un quadro fondamentale per gli operatori ipoellittici sollevando i campi vettoriali a una varietà con una struttura di algebra di Lie nilpotente libera, il loro approccio richiede generalmente il sollevamento a uno spazio ad alta dimensione. In esempi espliciti, come le varietà sub-riemanniane non equiregolari (dove il rango della distribuzione orizzontale o il vettore di crescita variano), è desiderabile minimizzare la dimensione dello spazio ambiente. Il problema specifico affrontato qui è quello di generalizzare e chiarire i metodi (riferiti in [4]) per definire approssimazioni di Taylor su varietà ottenute per proiezione di un gruppo di Lie nilpotente stratificato (un gruppo di Carnot) su uno spazio quoziente. Tali spazi quoziente possono presentare degenerazioni, come un rango non costante o vettori di crescita variabili, il che complica l'applicazione diretta della standard analisi sub-riemanniana.

Metodologia
La metodologia centrale si basa sul concetto di submetria. L'autore considera un gruppo di Carnot $G$ e un sottogruppo chiuso $H$ tale che il gruppo di dilatazione preservi $H$ ($\delta_\lambda(H) = H$). Lo spazio quoziente $M = H \backslash G$ (cosetti destri) è dotato di una distanza $d_M$ definita come l'infimo delle distanze in $G$. La proiezione canonica $\pi: G \to M$ è una submetria, il che significa che mappa le sfere metriche in $G$ su sfere metriche in $M$ dello stesso raggio.

L'analisi procede attraverso i seguenti passaggi:

1. Sollevamento e Proiezione: Le funzioni e i campi vettoriali sulla varietà quoziente $M$ sono correlati alle loro controparti sul gruppo di Carnot $G$ tramite la proiezione $\pi$ e un particolare inverso destro di inclusione $\iota$. Una funzione $f$ su $M$ viene sollevata in una funzione sinistra $H$-invariante $\tilde{f} = f \circ \Pi$ su $G$.
2. Trasferimento delle Definizioni: La definizione di polinomi di Taylor su $M$ è costruita trasferendo le definizioni ben stabilite dai gruppi di Carnot (specificamente da [6] e [2]). Un polinomio $P$ su $M$ è definito facendo corrispondere le derivate di una funzione $f$ rispetto ai campi vettoriali orizzontali proiettati $X_j = \Pi_*(\tilde{X}_j)$.
3. Equivalenza dei Supremi: Uno strumento tecnico cruciale è il Lemma 4.2, che stabilisce che il supremo di una funzione sinistra $H$-invariante su una sfera in $G$ è uguale al supremo della corrispondente funzione su $M$ su la sfera proiettata. Ciò consente di trasferire direttamente su $M$ le stime derivate sul gruppo $G$.
4. Argomenti di Invarianza: Le dimostrazioni utilizzano l'invarianza sinistra $H$ delle funzioni sollevate e le proprietà di commutazione dei campi vettoriali invarianti a destra per garantire che i polinomi di Taylor definiti sul gruppo siano ben definiti sul quoziente $M$ e indipendenti dalla scelta del rappresentante nel cosetto.

Contributi Chiave e Risultati
Il saggio fornisce un quadro rigoroso per le approssimazioni di Taylor su una classe di varietà sub-riemanniane che non sono necessariamente equiregolari. I risultati principali includono:

• Teoremi di Taylor su Quozienti: L'autore dimostra un teorema di Taylor (Teorema 4.4) e un teorema di valore medio di Lagrange (Teorema 4.3) per funzioni $f \in C^k_{hor}(M)$. Questi teoremi forniscono stime del resto della forma $|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$, dove il termine di errore dipende dal modulo di continuità delle derivate orizzontali di ordine $k$.
• Ben-posto (Well-Posedness): Il Proposizione 4.1 dimostra che il polinomio di Taylor sul quoziente $M$ è la restrizione del polinomio di Taylor della funzione sollevata su $G$. Essa prova che questa definizione è indipendente dalla scelta del punto rappresentante nel cosetto.
• Condizione di Analiticità: Il Teorema 5.1 stabilisce una condizione sufficiente affinché una funzione regolare su $M$ sia reale analitica. Se le derivate orizzontali soddisfano un limite di crescita specifico che coinvolge i fattoriali ($K^{d(I)} k!$), la funzione è reale analitica. Questo risultato è derivato sollevando la condizione su $G$ e applicando i risultati noti da [2].
• L-Armonicità: Il Teorema 5.2 dimostra che se una funzione $f$ è annullata da un operatore differenziale $L$ (specificamente uno formato da campi vettoriali orizzontali), allora anche i suoi polinomi di Taylor sono annullati da $L$. Questo estende la proprietà di $L$-armonicità dei polinomi di Taylor dai gruppi stratificati ai loro quozienti.

Significato e Rivendicazioni
Il saggio sostiene di generalizzare e chiarire il metodo utilizzato nei lavori precedenti (specificamente [4]) per ottenere teoremi di approssimazione di Taylor per varietà sub-riemanniane che possono mancare di un rango costante o di vettori di crescita uniformi. Utilizzando la proprietà di submetria della proiezione da un gruppo di Carnot, l'autore riesce a trasferire le proprietà analitiche (come le espansioni di Taylor, i criteri di analiticità e l'armonicità dei polinoli) dai contesti strutturati dei gruppi di Lie stratificati a varietà quozienti più generali e potenzialmente degenerate.

Il significato risiede nel fornire un approccio unificato che evita la necessità di sollevare i campi vettoriali a un'algebra di Lie nilpotente "libera" ad alta dimensione (come nel framework di Rothschild-Stein), quando è disponibile una specifica struttura di quoziente a dimensione inferiore. I risultati confermano che la geometria sub-riemanniana di questi quozienti conserva una struttura sufficiente per supportare strumenti di analisi classica come le espansioni di Taylor, a patto che la proiezione sottostante sia una submetria. Il saggio nota esplicitamente che questi risultati sono applicati a esempi come il piano di Grushin e specifiche strutture CR, dimostrando l'utilità della teoria in contesti non equiregolari.