Taylor polynomials on left-quotients of Carnot groups

Resumo Técnico: Polinômios de Taylor em Quocientes à Esquerda de Grupos de Carnot

Enunciado do Problema
O artigo aborda o desafio de estabelecer teoremas clássicos de polinômios de Taylor para variedades sub-riemannianas que surgem como imagens submétricas (quocientes) de grupos de Carnot. Embora Rothschild e Stein [8] tenham estabelecido um arcabouço fundamental para operadores hipoelípticos ao elevar campos vetoriais para uma variedade com uma estrutura de álgebra de Lie nilpotente livre, sua abordagem geralmente requer a elevação para um espaço de alta dimensão. Em exemplos explícitos, como variedades sub-riemannianas não equiregulares (onde o posto da distribuição horizontal ou o vetor de crescimento varia), é desejável minimizar a dimensão do espaço ambiente. O problema específico tratado aqui é generalizar e esclarecer métodos (referenciados de [4]) para definir aproximações de Taylor em variedades obtidas pela projeção de um grupo de Lie nilpotente estratificado (um grupo de Carnot) sobre um espaço de quociente. Esses espaços de quociente podem exibir degenerescência, como posto não constante ou vetores de crescimento variáveis, o que complica a aplicação direta da análise sub-riemanniana padrão.

Metodologia
A metodologia central baseia-se no conceito de submetrias. O autor considera um grupo de Carnot $G$ e um subgrupo fechado $H$ tal que o grupo de dilatação preserva $H$ ($\delta_\lambda(H) = H$). O espaço de quociente $M = H \backslash G$ (cosets à direita) é equipado com uma distância $d_M$ definida pelo ínfimo das distâncias em $G$. A projeção canônica $\pi: G \to M$ é uma submetria, o que significa que ela mapeia bolas métricas em $G$ sobre bolas métricas em $M$ do mesmo raio.

A análise procede através dos seguintes passos:

1. Elevação e Projeção: Funções e campos vetoriais na variedade de quociente $M$ são relacionados aos seus correspondentes no grupo de Carnot $G$ via a projeção $\pi$ e uma inclusão de inverso à direita específica $\iota$. Uma função $f$ em $M$ é elevada para uma função $H$-invariante à esquerda $\tilde{f} = f \circ \Pi$ em $G$.
2. Transferência de Definições: A definição de polinômios de Taylor em $M$ é construída transferindo as definições bem estabelecidas de grupos de Carnot (especificamente de [6] e [2]). Um polinômio $P$ em $M$ é definido pelo ajuste das derivadas de uma função $f$ em relação aos campos vetoriais horizontais projetados $X_j = \Pi_*(\tilde{X}_j)$.
3. Equivalência de Supremos: Uma ferramenta técnica crucial é o Lema 4.2, que estabelece que o supremo de uma função $H$-invariante à esquerda sobre uma bola em $G$ é igual ao supremo da função correspondente em $M$ sobre a bola projetada. Isso permite que estimativas derivadas no grupo $G$ sejam diretamente transferidas para o quociente $M$.
4. Argumentos de Invariância: As provas utilizam a invariância à esquerda de $H$ das funções elevadas e as propriedades de comutação de campos vetoriais invariantes à direita para garantir que os polinômios de Taylor definidos no grupo sejam bem definidos no quociente e independentes da escolha do representante no coset.

Contribuições Principais e Resultados
O artigo fornece um arcabouço rigoroso para aproximações de Taylor em uma classe de variedades sub-riemannianas que não são necessariamente equiregulares. Os principais resultados incluem:

• Teoremas de Taylor em Quocientes: O autor prova um teorema de Taylor (Teorema 4.4) e um teorema do valor médio de Lagrange (Teorema 4.3) para funções $f \in C^k_{hor}(M)$. Esses teoremas fornecem estimativas de resto da forma $|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$, onde o termo de erro depende do módulo de continuidade das derivadas horizontais de ordem $k$.
• Bem-Postura (Well-Posedness): A Proposição 4.1 demonstra que o polinômio de Taylor no quociente $M$ é a restrição do polinômio de Taylor da função elevada em $G$. Ela prova que esta definição é independente da escolha do ponto representante no coset.
• Condição de Analiticidade: O Teorema 5.1 estabelece uma condição suficiente para que uma função suave em $M$ seja real analítica. Se as derivadas horizontais satisfizerem um limite de crescimento específico envolvendo fatoriais ($K^{d(I)} k!$), a função é real analítica. Este resultado é derivado elevando a condição para $G$ e aplicando resultados conhecidos de [2].
• L-Harmonicidade: O Teorema 5.2 prova que, se uma função $f$ é anulada por um operador diferencial $L$ (especificamente um formado por campos vetoriais horizontais), então seus polinômios de Taylor também são anulados por $L$. Isso estende a propriedade de $L$-harmonicidade dos polinômios de Taylor de grupos estratificados para seus quocientes.

Significância e Alegações
O artigo alega generalizar e esclarecer o método usado em trabalhos anteriores (especificamente [4]) para obter teoremas de aproximação de Taylor para variedades sub-riemannianas que podem carecer de posto constante ou vetores de crescimento uniformes. Ao utilizar a propriedade de submetria da projeção de um grupo de Carnot, o autor transfere com sucesso propriedades analíticas (como expansões de Taylor, critérios de analiticidade e harmonicidade de polinômios) de o ambiente estruturado de grupos de Lie estratificados para variedades de quociente mais gerais e potencialmente degeneradas.

A significância reside em fornecer uma abordagem unificada que evita a necessidade de elevar campos vetoriais para uma álgebra nilpotente "livre" de alta dimensão (como no arcabouço de Rothschild-Stein) quando uma estrutura de quociente específica de menor dimensão está disponível. Os resultados confirmam que a geometria sub-riemanniana desses quocientes retém estrutura suficiente para suportar ferramentas de análise clássica como expansões de Taylor, desde que a projeção subjacente seja uma submetria. O artigo observa explicitamente que estes resultados são aplicados a exemplos como o plano de Grushin e estruturas CR específicas, demonstrando a utilidade da teoria em configurações não equiregulares.