Taylor polynomials on left-quotients of Carnot groups

Resumen Técnico: Polinomios de Taylor en Cocientes Izquierdos de Grupos de Carnot

Planteamiento del Problema
El artículo aborda el desafío de establecer teoremas clásicos de polinomios de Taylor para variedades subriemannianas que surgen como imágenes submétricas (cocientes) de grupos de Carnot. Mientras que Rothschild y Stein [8] establecieron un marco fundacional para operadores hipoelípticos mediante el levantamiento de campos vectoriales a una variedad con una estructura de álgebra de Lie nilpotente libre, su enfoque generalmente requiere el levantamiento a un espacio de alta dimensión. En ejemplos explícitos, como las variedades subriemannianas no equiregulares (donde el rango de la distribución horizontal o el vector de crecimiento varían), es deseable minimizar la dimensión del espacio ambiente. El problema específico abordado aquí es generalizar y clarificar los métodos (referenciados en [4]) para definir aproximaciones de Taylor en variedades obtenidas mediante la proyección de un grupo de Lie nilpotente estratificado (un grupo de Carnot) sobre un espacio cociente. Estos espacios cociente pueden exhibir degeneración, como un rango no constante o vectores de crecimiento variables, lo que complica la aplicación directa del análisis subriemanniano estándar.

Metodología
La metodología central se basa en el concepto de submetría. El autor considera un grupo de Carnot $G$ y un subgrupo cerrado $H$ tal que el grupo de dilatación preserva $H$ ($\delta_\lambda(H) = H$). El espacio cociente $M = H \backslash G$ (cosets derechos) está equipado con una distancia $d_M$ definida como el ínfimo de las distancias en $G$. La proyección canónica $\pi: G \to M$ es una submetría, lo que significa que mapea bolas métricas en $G$ sobre bolas métricas en $M$ del mismo radio.

El análisis procede a través de los siguientes pasos:

1. Levantamiento y Proyección: Las funciones y los campos vectoriales en la variedad cociente $M$ se relacionan con sus contrapartes en el grupo de Carnot $G$ mediante la proyección $\pi$ y una inclusión de inversa derecha específica $\iota$. Una función $f$ en $M$ se levanta a una función izquierda $H$-invariante $\tilde{f} = f \circ \Pi$ en $G$.
2. Transferencia de Definiciones: La definición de los polinomios de Taylor en $M$ se construye transfiriendo las definiciones bien establecidas de los grupos de Carnot (específicamente de [6] y [2]). Un polinomio $P$ en $M$ se define igualando las derivadas de una función $f$ con respecto a los campos vectoriales horizontales proyectados $X_j = \Pi_*(\tilde{X}_j)$.
3. Equivalencia de Supremos: Una herramienta técnica crucial es el Lema 4.2, que establece que el supremo de una función izquierda $H$-invariante sobre una bola en $G$ es igual al supremo de la función correspondiente en $M$ sobre la bola proyectada. Esto permite que las estimaciones derivadas en el grupo $G$ se transfieran directamente al cociente $M$.
4. Argumentos de Invariancia: Las demostraciones utilizan la invariancia izquierda por $H$ de las funciones levantadas y las propiedades de conmutación de los campos vectoriales invariantes por la derecha para asegurar que los polinomios de Taylor definidos en el grupo estén bien definidos en el cociente y sean independientes de la elección del representante en el coset.

Contribuciones Clave y Resultados
El artículo proporciona un marco riguroso para las aproximaciones de Taylor en una clase de variedades subriemannianas que no son necesariamente equiregulares. Los principales resultados incluyen:

• Teoremas de Taylor en Cocientes: El autor demuestra un teorema de Taylor (Teorema 4.4) y un teorema del valor medio de Lagrange (Teorema 4.3) para funciones $f \in C^k_{hor}(M)$. Estos teoremas proporcionan estimaciones del resto de la forma $|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$, donde el término de error depende del módulo de continuidad de las derivadas horizontales de orden $k$.
• Bien Definición (Well-Posedness): La Proposición 4.1 demuestra que el polinomio de Taylor en el cociente $M$ es la restricción del polinomio de Taylor de la función levantada en $G$. Prueba que esta definición es independiente de la elección del punto representante en el coset.
• Condición de Analiticidad: El Teorema 5.1 establece una condición suficiente para que una función suave en $M$ sea real analítica. Si las derivadas horizontales satisfacen un límite de crecimiento específico involucrando factoriales ($K^{d(I)} k!$), la función es real analítica. Este resultado se deriva levantando la condición a $G$ y aplicando los resultados conocidos de [2].
• L-Armonicidad: El Teorema 5.2 demuestra que si una función $f$ es anulada por un operador diferencial $L$ (específicamente uno formado por campos vectoriales horizontales), entonces sus polinomios de Taylor también son anulados por $L$. Esto extiende la propiedad de $L$-armonicidad de los polinomios de Taylor de los grupos estratificados a sus cocientes.

Significancia y Reivindicaciones
El artículo afirma generalizar y clarificar el método utilizado en trabajos previos (específicamente [4]) para obtener teoremas de aproximación de Taylor para variedades subriemannianas que pueden carecer de rango constante o vectores de crecimiento uniformes. Al utilizar la propiedad de submetría de la proyección desde un grupo de Carnot, el autor transfiere con éxito propiedades analíticas (como las expansiones de Taylor, los criterios de analiticidad y la armonicidad de los polinomios) desde el entorno estructurado de los grupos de Lie estratificados hacia variedades cocientes más generales y potencialmente degeneradas.

La significancia radica en proporcionar un enfoque unificado que evita la necesidad de levantar los campos vectoriales a un álgebra de Lie nilpotente "libre" de alta dimensión (como en el marco de Rothschild-Stein) cuando una estructura de cociente específica de menor dimensión está disponible. Los resultados confirman que la geometría subriemanniana de estos cocientes retiene suficiente estructura para soportar herramientas de análisis clásico como las expansiones de Taylor, siempre que la proyección subyacente sea una submetría. El artículo señala explícitamente que estos resultados se aplican a ejemplos tales como el plano de Grushin y estructuras CR específicas, demostrando la utilidad de la teoría en entornos no equiregulares.