Conexões e Transporte Paralelo
A Geometria das Curvaturas
JOÃO CARLOS MOREIRA
Copyright©2013-2025 RCEM. Todos os direitos reservados.
Imagine que você está caminhando sobre a superfície de uma esfera gigante, como a Terra. Ao dar um passo, sua direção de movimento muda sutilmente, não porque você decidiu virar, mas porque a própria geometria do espaço onde você caminha é curva. Esta mudança imperceptível na direção é a essência do que matemáticos chamam de conexão — uma maneira de comparar direções em pontos diferentes de um espaço curvo. Neste capítulo inaugural, embarcaremos numa jornada fascinante pelo mundo das conexões matemáticas, descobrindo como elas nos permitem navegar em espaços curvos com a mesma naturalidade com que caminhamos em linha reta num plano.
No espaço euclidiano plano, comparar vetores em pontos diferentes é trivial — simplesmente os transportamos paralelamente. Mas o que significa "paralelo" numa superfície curva? Se você desenhar duas retas paralelas num papel e depois enrolar esse papel formando um cilindro, as retas continuam paralelas? E se fosse uma esfera? A resposta revela a necessidade profunda de uma teoria matemática que nos permita definir com precisão o que significa transportar vetores de um ponto a outro em espaços curvos.
Uma conexão é uma regra matemática que nos diz como:
A teoria das conexões nasceu da confluência de várias correntes matemáticas. No século XIX, Gauss estudava a geometria intrínseca de superfícies, descobrindo que a curvatura poderia ser medida sem referência ao espaço ambiente. Riemann generalizou essas ideias para dimensões superiores, mas foi Levi-Civita, no início do século XX, quem formalizou o conceito de transporte paralelo. Contemporaneamente, Christoffel introduziu os símbolos que levam seu nome, fornecendo uma linguagem computacional para trabalhar com conexões.
O desenvolvimento histórico das conexões ilustra como ideias matemáticas amadurecem:
Para desenvolver intuição sobre conexões, consideremos um globo terrestre. Se você estiver no equador e caminhar sempre "reto" (sem virar), seguindo um meridiano em direção ao norte, eventualmente chegará ao polo. Agora imagine um amigo fazendo o mesmo, mas partindo de outro ponto do equador. Vocês dois estão caminhando "reto", mas seus caminhos se encontram no polo! Isso nunca aconteceria num plano — é a curvatura da Terra que faz com que caminhos inicialmente paralelos se encontrem.
Visualize os seguintes cenários para entender conexões:
A conexão afim é o tipo mais fundamental de conexão, definida em variedades diferenciáveis sem necessidade de uma métrica. Ela nos permite derivar campos vetoriais ao longo de curvas, uma operação essencial para descrever movimento e mudança em espaços curvos. A beleza da conexão afim está em sua generalidade — ela captura a essência geométrica do transporte paralelo sem assumir estruturas adicionais.
Em coordenadas locais, uma conexão é completamente determinada por suas componentes, os famosos símbolos de Christoffel. Estes coeficientes, denotados por Γⁱⱼₖ, codificam toda a informação sobre como vetores mudam quando transportados infinitesimalmente. Apesar de sua aparência técnica, eles têm uma interpretação geométrica clara: medem o quanto as direções coordenadas "torcem" e "curvam" no espaço.
A importância das conexões transcende a matemática pura. Einstein percebeu que a gravidade poderia ser descrita não como uma força, mas como a curvatura do espaço-tempo, com partículas seguindo geodésicas determinadas pela conexão. Esta visão revolucionária transformou nossa compreensão do universo e estabeleceu as conexões como ferramentas fundamentais na física moderna.
Desenvolver fluência na linguagem das conexões requer familiaridade com vários conceitos interrelacionados. Campos vetoriais, formas diferenciais, tensores — todos esses objetos matemáticos dançam juntos na teoria das conexões. Mas não se intimide! Cada conceito tem uma interpretação geométrica clara que ilumina seu significado.
Assim como existem diferentes tipos de geometria, existem diferentes tipos de conexões, cada uma adequada para diferentes propósitos. Conexões lineares operam em fibrados vetoriais, conexões principais trabalham com grupos de Lie, e conexões de Cartan unificam várias abordagens. Esta diversidade reflete a riqueza da geometria moderna e suas múltiplas aplicações.
Este capítulo introdutório apenas arranhou a superfície do rico mundo das conexões. Nos próximos capítulos, desenvolveremos as ferramentas matemáticas necessárias para trabalhar com conexões de forma precisa e poderosa. Aprenderemos sobre derivadas covariantes, exploraremos o transporte paralelo em detalhes, e descobriremos como a curvatura emerge naturalmente da teoria de conexões.
As conexões são mais que uma ferramenta técnica — elas representam uma mudança fundamental em como pensamos sobre geometria. Em vez de ver o espaço como um palco estático onde a geometria acontece, as conexões nos ensinam que o próprio espaço tem uma estrutura dinâmica que influencia tudo que nele se move. Prepare-se para uma jornada intelectual que mudará sua percepção sobre o espaço, movimento e a própria natureza da realidade geométrica!
Se você já tentou calcular a taxa de variação de um campo vetorial numa superfície curva, descobriu que a derivada usual simplesmente não funciona! O problema é sutil mas profundo: em espaços curvos, vetores em pontos diferentes vivem em espaços tangentes diferentes, tornando impossível subtraí-los diretamente. A derivada covariante é a solução genial para este dilema — uma nova forma de derivar que respeita a geometria intrínseca do espaço. Neste capítulo, exploraremos esta ferramenta fundamental que permite fazer cálculo diferencial em variedades curvas com a mesma naturalidade que no espaço euclidiano.
Imagine um campo de vento sobre a superfície terrestre. Em cada ponto, temos um vetor indicando direção e intensidade do vento. Como medir a variação deste campo ao nos movermos pela superfície? No plano, simplesmente subtraímos vetores próximos. Mas na esfera, vetores em São Paulo e Rio de Janeiro vivem em planos tangentes diferentes — como compará-los? A derivada covariante resolve este enigma transportando um vetor para o espaço tangente do outro antes de fazer a comparação.
A derivada covariante ∇ é uma operação que toma um campo vetorial X e outro Y, produzindo um novo campo vetorial ∇ₓY que mede como Y varia na direção de X. O brilhantismo desta construção está em suas propriedades: ela satisfaz linearidade, a regra de Leibniz, e depende apenas do valor pontual de X — exatamente as propriedades que esperamos de uma "boa" derivada!
Para campos vetoriais X, Y, Z e funções f, g:
Em coordenadas locais, a derivada covariante revela sua estrutura através dos símbolos de Christoffel. Se Y = Yⁱ∂ᵢ é um campo vetorial, então ∇ₓY tem componentes que envolvem tanto as derivadas parciais usuais de Yⁱ quanto termos de correção vindos da curvatura do espaço. Esta fórmula, aparentemente complicada, tem uma interpretação clara: o primeiro termo é a variação "ingênua", enquanto os termos com Christoffel corrigem para a curvatura.
A fórmula em componentes:
A magia da derivada covariante está em sua interpretação geométrica. Quando calculamos ∇ₓY, estamos essencialmente: movendo-nos infinitesimalmente na direção X, transportando paralelamente Y para o novo ponto, e comparando com o valor de Y neste ponto. A diferença, propriamente normalizada, é a derivada covariante. Esta visão transforma um conceito abstrato em algo quase tangível!
A beleza da derivada covariante é que ela se estende naturalmente para tensores de qualquer tipo. Para um tensor T de tipo (r,s), a derivada covariante ∇T é um tensor de tipo (r,s+1). A fórmula geral envolve derivadas parciais das componentes mais termos de correção com símbolos de Christoffel — positivos para índices contravariantes, negativos para covariantes. Esta extensão preserva todas as boas propriedades que esperamos.
Entre todas as conexões possíveis numa variedade Riemanniana, uma se destaca: a conexão de Levi-Civita. É a única conexão que é simultaneamente livre de torção e compatível com a métrica. Esta unicidade a torna a escolha natural para geometria Riemanniana, e é a conexão implícita quando falamos de derivada covariante sem qualificações.
É instrutivo comparar a derivada direcional usual com a derivada covariante. No espaço euclidiano com coordenadas cartesianas, elas coincidem. Mas em coordenadas curvilíneas ou espaços curvos, divergem. A derivada direcional ignora a geometria do espaço, enquanto a covariante a incorpora intrinsecamente. Esta diferença é a chave para entender fenômenos como força centrífuga e de Coriolis!
As derivadas covariantes permeiam a física moderna. Na relatividade geral, a equação da geodésica usa derivada covariante da velocidade. Em teorias de gauge, a derivada covariante incorpora o potencial do campo. Na mecânica quântica em espaços curvos, operadores diferenciais devem ser "covariantizados". Estas aplicações mostram que a derivada covariante não é apenas elegância matemática, mas necessidade física!
Calcular derivadas covariantes na prática requer atenção aos detalhes mas segue padrões claros. Primeiro, identifique os símbolos de Christoffel para seu sistema de coordenadas. Depois, aplique a fórmula apropriada lembrando que índices superiores geram termos positivos e inferiores negativos. Finalmente, simplifique usando simetrias dos símbolos de Christoffel.
A derivada covariante exemplifica um princípio profundo em geometria: as melhores construções são aquelas que respeitam as simetrias naturais do problema. Ao incorporar a geometria do espaço diretamente na definição de derivada, obtemos uma ferramenta que funciona uniformemente em qualquer variedade, seja plana ou curva, em qualquer sistema de coordenadas. Esta universalidade é a marca da verdadeira compreensão geométrica.
Com o domínio das derivadas covariantes, temos a ferramenta fundamental para explorar como objetos geométricos mudam em espaços curvos. Esta capacidade de medir mudança respeitando a geometria intrínseca abre portas para conceitos ainda mais profundos. No próximo capítulo, usaremos derivadas covariantes para definir e estudar o transporte paralelo — a maneira natural de mover vetores ao longo de curvas preservando sua "direção" tanto quanto a curvatura permite!
Como você carregaria uma flecha ao longo de um caminho sinuoso sobre uma esfera, mantendo-a sempre "apontando na mesma direção"? No plano, isso é simples — mantenha o ângulo constante. Mas numa superfície curva, a própria noção de "mesma direção" torna-se sutil e fascinante. O transporte paralelo é a resposta matemática a este desafio: uma maneira de mover vetores ao longo de curvas preservando sua essência geométrica tanto quanto a curvatura do espaço permite. Neste capítulo, exploraremos esta operação fundamental que revela como a geometria global emerge de regras locais de transporte.
Imagine-se como um explorador carregando uma bússola ao caminhar sobre a Terra. Se você mantiver a agulha sempre apontando "para frente" em relação ao seu movimento (sem girá-la deliberadamente), está realizando um transporte paralelo! Curiosamente, ao completar um circuito fechado, a agulha pode não retornar à orientação original — este fenômeno revela a curvatura do espaço e está no coração de muitos mistérios geométricos e físicos.
Formalmente, um campo vetorial V ao longo de uma curva γ(t) é transportado paralelamente se sua derivada covariante na direção da curva é zero: ∇_γ̇V = 0. Esta equação diferencial, aparentemente simples, codifica toda a complexidade geométrica do transporte. Em componentes, torna-se um sistema de equações diferenciais ordinárias lineares, sempre solúvel e com solução única dadas condições iniciais.
Para V(t) ao longo de γ(t):
Em superfícies bidimensionais, o transporte paralelo ganha visualização clara. Na esfera, transportar um vetor ao longo do equador e depois por um meridiano até o polo e de volta resulta numa rotação do vetor — quanto maior a área englobada, maior a rotação. No cilindro, certos caminhos preservam direções perfeitamente, enquanto outros não. Estas diferenças revelam a geometria intrínseca de cada superfície.
O transporte paralelo de um ponto p a um ponto q ao longo de uma curva γ define um isomorfismo linear τ_γ: T_pM → T_qM entre os espaços tangentes. Este operador preserva todas as estruturas lineares e, se a conexão é compatível com uma métrica, preserva também produtos internos. A composição de transportes ao longo de curvas concatenadas é o transporte ao longo da curva composta — uma propriedade fundamental para a consistência da teoria.
Uma das revelações mais profundas do transporte paralelo é que, em espaços curvos, o resultado depende do caminho escolhido! Transportar um vetor de São Paulo ao Rio de Janeiro por caminhos diferentes resulta em vetores finais diferentes. Esta dependência não é um defeito — é a manifestação da curvatura do espaço. Em espaços planos (curvatura zero), o transporte independe do caminho, recuperando nossa intuição euclidiana.
O conceito de transporte paralelo estende-se naturalmente para tensores de qualquer tipo. Um tensor T é transportado paralelamente ao longo de γ se ∇_γ̇T = 0. Para tensores de tipo (r,s), isto resulta em r + s equações diferenciais acopladas. A beleza é que operações tensoriais (contrações, produtos) comutam com transporte paralelo — uma consistência fundamental da teoria.
Um conceito poderoso é o de frame paralelo: uma base ortonormal {e₁,...,eₙ} transportada paralelamente ao longo de uma curva. Isso fornece um sistema de referência "não-girante" que se move com a curva. Em relatividade geral, corresponde ao referencial de um observador em queda livre. Matematicamente, simplifica cálculos reduzindo derivadas covariantes a derivadas ordinárias.
O transporte paralelo aparece naturalmente em diversos contextos físicos. Giroscópios mantêm orientação por transporte paralelo de momento angular. A precessão de Thomas em relatividade especial é um efeito de transporte em espaço-tempo curvo. Em cristais com defeitos, o transporte paralelo ao redor de uma deslocação revela o vetor de Burgers. Estas aplicações mostram que o transporte paralelo não é abstração matemática, mas descrição de fenômenos reais!
Na prática, frequentemente precisamos aproximar o transporte paralelo, especialmente em computação. O método de Schild oferece uma construção geométrica usando apenas geodésicas. Métodos numéricos como Runge-Kutta adaptados preservam propriedades geométricas. Em computação gráfica, aproximações eficientes permitem animações realistas de objetos em superfícies curvas.
O transporte paralelo encarna uma filosofia profunda: em espaços curvos, não podemos comparar diretamente objetos distantes, mas podemos estabelecer uma correspondência movendo-os continuamente. Esta ideia — que comparação requer transporte — permeia a física moderna e a geometria diferencial. É um lembrete de que em espaços complexos, até conceitos aparentemente simples como "mesma direção" requerem cuidado e precisão matemática.
Dominar o transporte paralelo é compreender como a geometria local se acumula em efeitos globais. É a ponte entre o infinitesimal (derivadas covariantes) e o finito (holonomia), entre o local (símbolos de Christoffel) e o global (curvatura). Com esta ferramenta poderosa em mãos, estamos prontos para explorar as consequências profundas da falha do transporte paralelo em preservar direções ao longo de laços fechados — o fenômeno da curvatura, tema do nosso próximo capítulo!
Qual é a diferença fundamental entre um cilindro e uma esfera? Ambos são superfícies curvas, mas enquanto podemos desenrolar um cilindro num plano sem distorção, o mesmo é impossível com a esfera — por isso todos os mapas-múndi distorcem áreas ou ângulos! Esta diferença profunda é capturada pelo conceito de curvatura intrínseca. Neste capítulo, exploraremos como a curvatura e a torção emergem naturalmente da teoria de conexões, revelando a geometria profunda dos espaços e fornecendo as ferramentas para medir o quanto um espaço se desvia de ser plano.
A curvatura tem uma caracterização surpreendente: ela mede a falha das derivadas covariantes em comutar! No espaço plano, a ordem em que derivamos não importa. Mas em espaços curvos, derivar primeiro em uma direção e depois em outra dá resultado diferente de fazer na ordem inversa. Esta não-comutatividade, longe de ser um inconveniente, é precisamente o que captura a essência geométrica da curvatura.
Para campos vetoriais X, Y, Z, o tensor de Riemann R é definido por:
A curvatura tem uma bela interpretação via transporte paralelo: transporte um vetor ao redor de um pequeno paralelogramo e compare com o vetor original. A diferença, no limite infinitesimal, é dada pelo tensor de curvatura! Quanto mais curvo o espaço, maior a discrepância. Esta visão conecta o abstrato tensor algébrico com a intuição geométrica de vetores "girando" ao serem transportados em laços.
O tensor de Riemann contém toda informação sobre curvatura, mas é um objeto complexo. A curvatura seccional simplifica extraindo um número para cada plano no espaço tangente: ela mede como geodésicas inicialmente paralelas naquele plano convergem ou divergem. Em superfícies, há apenas um plano em cada ponto, então a curvatura seccional reduz-se à familiar curvatura Gaussiana.
Enquanto a curvatura mede a falha do transporte paralelo em preservar direções, a torção mede a falha da conexão em ser simétrica. Geometricamente, a torção faz com que paralelogramos infinitesimais não se fechem — há uma "abertura" proporcional à torção. A maioria das conexões naturais (como Levi-Civita) tem torção zero, mas conexões com torção aparecem em teorias físicas como gravitação com spin.
Contrações do tensor de Riemann produzem objetos mais simples mas ainda geometricamente ricos. A curvatura de Ricci, obtida traçando dois índices, mede como volumes mudam ao longo de geodésicas. A curvatura escalar, traço de Ricci, dá um único número em cada ponto medindo a curvatura "média" em todas as direções. Estas quantidades são centrais em relatividade geral e geometria Riemanniana.
O tensor de curvatura não é arbitrário — satisfaz relações profundas conhecidas como identidades de Bianchi. A primeira identidade relaciona valores do tensor em permutações cíclicas de argumentos. A segunda, diferencial, afirma que a derivada covariante alternada do tensor de Riemann é zero. Estas identidades têm consequências profundas: em relatividade geral, implicam conservação local de energia-momento!
Espaços de curvatura seccional constante são os "átomos" da geometria Riemanniana. Como esferas, espaços hiperbólicos e espaços euclidianos, eles servem como modelos locais para geometrias mais complexas. Todo espaço Riemanniano é localmente aproximado por um destes espaços modelo, com a curvatura determinando qual modelo usar em cada ponto.
Como medir a curvatura de um espaço na prática? Para superfícies, o Theorema Egregium de Gauss fornece fórmulas usando apenas medidas intrínsecas. Em dimensões superiores, podemos usar desvio geodésico, holonomia de pequenos laços, ou fórmulas envolvendo os símbolos de Christoffel e suas derivadas. Cada método tem vantagens em diferentes contextos.
A relação entre curvatura (geometria local) e topologia (estrutura global) é um dos temas mais profundos em matemática. O teorema de Gauss-Bonnet relaciona a integral da curvatura com a característica de Euler. Variedades de curvatura positiva têm grupos fundamentais finitos. Estes resultados mostram como propriedades locais acumulam-se em restrições globais.
A curvatura é onde a geometria diferencial revela sua verdadeira profundidade. É simultaneamente local (definida ponto a ponto) e global (determina propriedades topológicas), algébrica (tensor com simetrias) e geométrica (rotação de vetores), física (gravitação em relatividade) e matemática pura (classificação de variedades). Esta multiplicidade de facetas faz da curvatura um dos conceitos mais ricos e fundamentais em toda matemática.
Com a compreensão da curvatura e torção, temos as ferramentas para analisar a geometria intrínseca de qualquer variedade. Vimos como a falha de comutatividade das derivadas covariantes e a rotação no transporte paralelo capturam a essência da curvatura. No próximo capítulo, exploraremos as curvas especiais que "sentem" esta geometria da forma mais direta possível — as geodésicas, os caminhos mais retos possíveis em espaços curvos!
Qual é o caminho mais curto entre dois pontos numa superfície curva? No plano, é uma linha reta. Na esfera, é um arco de círculo máximo — por isso aviões voando de São Paulo a Londres passam sobre a Groenlândia! Estes caminhos ótimos são as geodésicas, as curvas que generalizam a noção de "linha reta" para espaços curvos. Neste capítulo, descobriremos como as geodésicas emergem naturalmente de princípios variacionais, como calculá-las, e por que elas são fundamentais tanto em matemática pura quanto em aplicações que vão de GPS a buracos negros.
A riqueza do conceito de geodésica revela-se em suas múltiplas caracterizações equivalentes. São curvas de aceleração covariante nula — os caminhos de partículas livres. São extremos do funcional comprimento — os caminhos mais curtos (ou mais longos!). São curvas autoparalelas — suas tangentes são transportadas paralelamente. Cada caracterização ilumina um aspecto diferente, mas todas descrevem o mesmo objeto geométrico fundamental.
A condição ∇ᵧ̇γ̇ = 0 traduz-se, em coordenadas locais, num sistema de equações diferenciais de segunda ordem. Estas equações, apesar de não-lineares devido aos símbolos de Christoffel, têm solução única dados ponto e velocidade iniciais. É notável que informação puramente geométrica (a conexão) determine completamente a dinâmica!
Em coordenadas xⁱ(t):
Em superfícies conhecidas, as geodésicas têm formas intuitivas que confirmam nossa compreensão. Na esfera, são os círculos máximos — as rotas dos aviões! No cilindro, são hélices que "desenrolam" em retas. No toro, formam padrões complexos que podem ser periódicos ou densos. Cada superfície tem sua família característica de geodésicas, revelando sua geometria intrínseca.
Dado um ponto p e um vetor tangente v em p, existe uma única geodésica γ(t) com γ(0) = p e γ̇(0) = v. Esta unicidade local é garantida pela teoria de EDOs. Globalmente, a situação é mais sutil: geodésicas podem se recruzar (pontos conjugados) ou não estar definidas para todo tempo (incompletude). Estes fenômenos globais revelam aspectos profundos da geometria.
O mapa exponencial expₚ: TₚM → M envia cada vetor v ao ponto γᵥ(1), onde γᵥ é a geodésica com velocidade inicial v. Este mapa fundamental relaciona a geometria infinitesimal (espaço tangente) com a global (variedade). Perto de p, exp é um difeomorfismo, fornecendo as coordenadas normais — o sistema de coordenadas mais natural centrado em p.
Geodésicas são localmente minimizantes: entre pontos suficientemente próximos, a geodésica dá o caminho mais curto. Globalmente, a situação é mais complexa. Na esfera, o arco menor do círculo máximo é mínimo, mas o arco maior é máximo! O estudo de quando geodésicas minimizam globalmente leva à teoria de Morse e tem aplicações em otimização e robótica.
Como geodésicas próximas se afastam ou aproximam? A equação do desvio geodésico (Jacobi) governa este comportamento, com a curvatura atuando como "força de maré". Em espaços de curvatura positiva, geodésicas inicialmente paralelas convergem. Em curvatura negativa, divergem exponencialmente. Este comportamento é fundamental para entender estabilidade e caos em sistemas dinâmicos.
Na relatividade geral, partículas livres seguem geodésicas no espaço-tempo curvo. A "força" gravitacional é reinterpretada como curvatura do espaço-tempo. Planetas orbitam o Sol não por atração, mas porque seguem geodésicas num espaço-tempo curvado pela massa solar. Esta mudança de paradigma — força para geometria — é uma das insights mais profundas da física.
Geodésicas fechadas (periódicas) são especialmente interessantes. Toda variedade Riemanniana compacta possui ao menos uma geodésica fechada — resultado profundo e não-trivial! O estudo de geodésicas fechadas conecta geometria, topologia e sistemas dinâmicos. Em superfícies, o número e tipo de geodésicas fechadas revelam informações topológicas.
Considere todas as geodésicas simultaneamente como um fluxo no fibrado tangente unitário. Este fluxo geodésico é um sistema dinâmico fundamental cujas propriedades (ergocidade, mixing, entropia) refletem a geometria da variedade. Em espaços de curvatura negativa, o fluxo é caótico. Esta conexão entre geometria e dinâmica é um tema central em matemática moderna.
As geodésicas são onde geometria, análise e física se encontram. Como as curvas "mais naturais" em espaços curvos, elas aparecem sempre que otimização ou movimento livre estão envolvidos. Desde a trajetória de asteroides até algoritmos de machine learning em variedades, geodésicas fornecem os caminhos fundamentais. Com esta compreensão das curvas especiais, estamos prontos para generalizar nossas ideias para estruturas ainda mais abstratas — as conexões em fibrados, onde a geometria se torna verdadeiramente multidimensional!
Imagine um mundo onde em cada ponto do espaço existe não apenas um plano tangente, mas toda uma cópia de outro espaço — como se cada cidade na Terra tivesse seu próprio céu particular com suas próprias constelações! Esta é a essência de um fibrado: uma estrutura geométrica onde espaços são "colados" suavemente sobre cada ponto de um espaço base. Neste capítulo, exploraremos como as ideias de conexão e transporte paralelo se generalizam para estas estruturas ricas, abrindo portas para a geometria moderna e a física teórica.
Um fibrado é como um edifício de apartamentos matemático: temos um espaço base (o terreno), e sobre cada ponto cresce uma fibra (um apartamento). O espaço total é a união de todas as fibras, organizadas de forma suave e consistente. O exemplo mais familiar é o fibrado tangente, onde cada fibra é o espaço tangente naquele ponto. Mas as possibilidades são infinitas: fibrados de referenciais, fibrados de spinors, fibrados principais — cada um capturando diferentes aspectos geométricos.
No fibrado tangente, vimos que precisamos de conexões para comparar vetores em pontos diferentes. A mesma necessidade surge em qualquer fibrado: como comparar elementos de fibras diferentes? Como transportar informação de uma fibra para outra? A teoria de conexões em fibrados fornece a resposta sistemática, generalizando todas as ideias que desenvolvemos para uma classe vastamente maior de estruturas geométricas.
A visão de Ehresmann é geometricamente intuitiva: uma conexão é uma escolha de "direções horizontais" no espaço total. Imagine-se num arranha-céu — você pode mover-se verticalmente (dentro de um apartamento) ou horizontalmente (entre apartamentos no mesmo andar). A conexão diz quais direções são "horizontais", permitindo movimento entre fibras sem componente vertical. Esta decomposição em horizontal e vertical é a chave para transporte paralelo em fibrados.
Fibrados vetoriais são especialmente importantes — as fibras são espaços vetoriais. Aqui, uma conexão pode ser vista como uma maneira de derivar seções (campos de vetores generalizados). A derivada covariante ∇ₓs de uma seção s na direção X satisfaz propriedades familiares: linearidade e regra de Leibniz. Isto unifica derivadas covariantes em variedades com derivadas gauge em física!
Assim como em variedades, a curvatura de uma conexão em fibrado mede a falha de comutatividade das derivadas covariantes. Mas agora é um objeto mais rico — uma 2-forma com valores no fibrado de endomorfismos. Esta curvatura obstrui a existência de seções paralelas globais e aparece fundamentalmente nas equações de Yang-Mills da física de partículas.
Fibrados principais são a arena natural para teoria gauge. A fibra é um grupo de Lie G que age livremente no espaço total. Conexões principais codificam como o grupo de simetria "varia" de ponto a ponto. Todo fibrado vetorial vem de um principal via representação — por isso físicos preferem trabalhar com principais!
O transporte paralelo em fibrados generaliza diretamente: dado um caminho na base, levantamos para um caminho horizontal no espaço total. Isto define isomorfismos entre fibras ao longo do caminho. Para fibrados principais, o transporte paralelo é equivariante sob a ação do grupo — uma consistência fundamental que garante que a física não depende da escolha de gauge.
Uma conexão é plana se sua curvatura é zero. Neste caso especial, o transporte paralelo independe do caminho (com mesmos extremos), e existem seções paralelas locais. Conexões planas classificam representações do grupo fundamental — uma ponte profunda entre geometria diferencial e topologia algébrica!
A curvatura de uma conexão determina classes de cohomologia que são independentes da escolha de conexão — as classes características. Classes de Chern, Pontryagin, Euler medem obstruções topológicas globais. São os "números quânticos" topológicos que aparecem em fórmulas de índice e distinguem fibrados topologicamente.
Teorias gauge modernas são formuladas como conexões em fibrados principais. O eletromagnetismo usa U(1)-fibrado, teoria eletrofraca usa SU(2)×U(1), cromodinâmica quântica usa SU(3). As partículas são seções, forças são curvaturas, e a ação de Yang-Mills generaliza Maxwell. Esta reformulação geométrica unificou as forças fundamentais e guia a busca por novas teorias.
As conexões em fibrados elevam a geometria a um novo patamar de sofisticação e poder. Ao permitir que diferentes espaços "vivam" sobre cada ponto, capturamos simetrias internas, graus de liberdade adicionais, e estruturas que vão além da geometria tradicional. Esta linguagem, nascida da matemática pura, tornou-se indispensável na física fundamental. Com esta visão expandida de conexões, estamos prontos para explorar um dos fenômenos mais fascinantes — o que acontece quando transportamos algo ao redor de um laço fechado? A resposta nos levará ao mundo da holonomia!
Transporte um vetor paralelamente ao redor de um caminho fechado numa esfera. Surpreendentemente, ele retorna rotacionado! Este fenômeno notável — a holonomia — revela a curvatura global através de experimentos locais. Como uma impressão digital geométrica, a holonomia captura informações profundas sobre a conexão e o espaço. Neste capítulo, exploraremos como loops fechados se tornam detectores de geometria, por que a holonomia forma um grupo, e como este conceito ilumina tanto a matemática pura quanto fenômenos físicos desde fases quânticas até defeitos em cristais.
A holonomia é o que acontece quando completamos uma viagem circular: saímos de casa, viajamos pelo mundo tentando manter nossa orientação, e ao retornar descobrimos que estamos virados! Na esfera, um triângulo com três ângulos retos tem holonomia de 90°. Em espaços planos, sempre retornamos à orientação original. Esta diferença fundamental distingue geometrias e tem consequências surpreendentes em física e engenharia.
Fixe um ponto base p. O conjunto de todas as transformações obtidas por transporte paralelo ao redor de loops baseados em p forma um grupo — o grupo de holonomia Hol(p). Este grupo captura todas as possíveis "rotações" que a geometria permite. Surpreendentemente, para conexões irredutíveis, o grupo independe do ponto base (a menos de conjugação), sendo um invariante global da geometria!
Como calcular o grupo de holonomia? O teorema de Ambrose-Singer fornece a resposta: a álgebra de Lie da holonomia é gerada pelos valores da curvatura! Especificamente, é o subespaço gerado por todos os R(X,Y) onde X,Y são obtidos por transporte paralelo. Este resultado profundo conecta o infinitesimal (curvatura) com o global (holonomia), mostrando como informação local se acumula em estrutura global.
Quais grupos podem ocorrer como holonomia de variedades Riemannianas irredutíveis e não-simétricas? A classificação de Berger, um dos grandes teoremas da geometria diferencial, lista exatamente: SO(n), U(n), SU(n), Sp(n), Sp(n)·Sp(1), G₂, e Spin(7). Cada grupo corresponde a geometrias especiais com propriedades únicas. Esta lista finita é surpreendentemente restritiva e tem implicações profundas!
Redução de holonomia implica estruturas geométricas especiais. Se Hol ⊆ U(n), temos uma estrutura complexa paralela — a variedade é Kähler! Se Hol ⊆ SU(n), além de Kähler é Ricci-plana (Calabi-Yau), fundamental em teoria de cordas. Cada redução de holonomia corresponde a tensores paralelos especiais, criando geometrias com simetrias adicionais e propriedades notáveis.
Em mecânica quântica, a holonomia aparece como fase geométrica (Berry). Quando parâmetros de um sistema variam lentamente ao longo de um ciclo, a função de onda adquire uma fase adicional além da dinâmica — puramente geométrica! Esta fase é a holonomia no fibrado de linha sobre o espaço de parâmetros. Observável em experimentos, tem aplicações em computação quântica e explicação de fenômenos como o efeito Hall quântico.
Em fibrados sobre superfícies com pontos especiais removidos, a holonomia ao redor desses pontos — a monodromia — codifica informações sobre a singularidade. Em equações diferenciais, soluções multi-valuadas têm monodromia ao contornar pontos singulares. Este conceito unifica geometria, análise complexa e topologia algébrica, aparecendo em contextos desde superfícies de Riemann até teoria de Galois diferencial.
Em cristais, defeitos topológicos como deslocações e desclinações são caracterizados por holonomia. Transportar um vetor da rede ao redor de uma deslocação resulta no vetor de Burgers — a holonomia da conexão discreta! Esta visão geométrica unifica a teoria de defeitos e explica propriedades mecânicas e eletrônicas de materiais. Em cristais líquidos, a holonomia classifica tipos de defeitos.
Em teorias gauge, o traço da holonomia ao redor de um loop — o loop de Wilson — é um observável fundamental gauge-invariante. Em QCD, loops de Wilson determinam o potencial entre quarks. A área vs perímetro do comportamento distingue fases confinadas de desconfinadas. Esta aplicação mostra como holonomia captura física não-perturbativa essencial!
Calcular holonomia numericamente requer integrar transporte paralelo com precisão. Para loops pequenos, aproximações via curvatura são eficientes. Para loops grandes, métodos de splitting e composição preservam estrutura de grupo. Visualização em 3D mostra holonomia como "torção" acumulada. Em aplicações, desde robótica até computação quântica, algoritmos eficientes para holonomia são essenciais.
A holonomia revela como o local e o global se entrelaçam em geometria. Um conceito que começou com transporte de vetores em loops floresceu numa ferramenta fundamental atravessando matemática e física. De classificar geometrias especiais a explicar fases quânticas, de entender defeitos em materiais a computação quântica topológica, holonomia mostra que às vezes, para verdadeiramente entender onde estamos, precisamos dar uma volta completa. Com esta compreensão da memória geométrica de caminhos fechados, estamos prontos para explorar conexões que respeitam estruturas métricas adicionais!
Nem todas as conexões são criadas iguais. Quando nosso espaço possui uma métrica — uma maneira de medir distâncias e ângulos — queremos que nossa conexão respeite esta estrutura adicional. Imagine transportar paralelamente dois vetores perpendiculares; não seria natural esperar que permaneçam perpendiculares? As conexões métricas garantem exatamente isso! Neste capítulo, exploraremos a harmonia entre conexões e métricas, descobrindo por que a conexão de Levi-Civita reina suprema, como torção e metricidade interagem, e as aplicações profundas em física e geometria.
Uma conexão é compatível com a métrica g se o transporte paralelo preserva produtos internos. Matematicamente, isto significa ∇g = 0 — a métrica é "paralela". Esta condição aparentemente técnica tem consequências geométricas profundas: comprimentos e ângulos são preservados pelo transporte paralelo, geodésicas têm velocidade constante, e a geometria ganha uma coerência natural entre suas estruturas diferencial e métrica.
O teorema fundamental da geometria Riemanniana afirma: existe uma única conexão compatível com a métrica e livre de torção — a conexão de Levi-Civita! Esta unicidade é notável: entre infinitas conexões possíveis, a natureza (através de métrica e simetria) seleciona uma única. A fórmula de Koszul fornece expressão explícita em termos da métrica, tornando-a calculável.
Para a conexão de Levi-Civita:
E se relaxarmos a condição de torção zero mantendo compatibilidade métrica? Obtemos uma família de conexões parametrizada por tensores de torção! Cada escolha de torção dá uma conexão métrica diferente. Em física, torção relaciona-se com spin intrínseco e aparece em teorias de gravitação estendidas. Geometricamente, torção faz geodésicas "espiralarem" em vez de serem "retas".
Para observadores acelerados em relatividade, o transporte paralelo usual não preserva ortogonalidade com a velocidade. O transporte de Fermi-Walker corrige isso, sendo o transporte "mais paralelo possível" que mantém vetores ortogonais à velocidade. É essencial para definir referenciais de observadores não-inerciais e aparece no estudo de precessão em campos gravitacionais.
Com métrica, temos duas noções naturais de derivada: covariante (usa conexão) e Lie (puramente diferencial). Para vetores, diferem por torção. A derivada de Lie tem interpretação como mudança ao longo de fluxos, enquanto a covariante mede mudança "absoluta". Para a métrica, ℒₓg = 0 caracteriza isometrias (simetrias), enquanto ∇g = 0 caracteriza conexões métricas.
Em relatividade, a métrica não é positiva definida — tem assinatura mista. A teoria de conexões métricas estende-se naturalmente, mas com sutilezas: vetores podem ter norma zero sem serem nulos (luz!), ângulos podem ser imaginários, e geodésicas dividem-se em timelike, spacelike e null. A conexão de Levi-Civita ainda existe e é única, governando a física do espaço-tempo.
Na prática, trabalhar com conexões métricas significa calcular símbolos de Christoffel. Para a conexão de Levi-Civita, eles dependem apenas da métrica e suas derivadas primeiras. Em coordenadas especiais (normais, isotérmicas), simplificam drasticamente. Simetrias da métrica implicam zeros nos símbolos. Software de geometria computacional automatiza estes cálculos, mas entender a estrutura é essencial.
Se mudamos a métrica por fator conforme g̃ = e²ᶠg, como muda a conexão? A fórmula de transformação é explícita e revela que ângulos são preservados mas comprimentos não. Geodésicas mudam (exceto as nulas em dimensão 2), mas existe uma "conexão conforme" especial que é invariante. Esta teoria é fundamental em análise complexa, relatividade e teoria de cordas.
Conexões métricas permitem definir energia de forma natural. Para curvas, E = ½g(γ̇,γ̇) é conservada ao longo de geodésicas. Para campos, o tensor energia-momento mede densidade e fluxo de energia. A condição ∇T = 0 expressa conservação local. Esta interação entre geometria e física é a base da relatividade geral, onde matéria-energia curva o espaço-tempo.
Modernos algoritmos de otimização em variedades usam conexões métricas. Gradiente descente geodésico segue geodésicas em vez de linhas retas. Método de Newton usa Hessiana covariante. Estes métodos preservam a geometria do espaço de busca, crucial quando otimizando sobre matrizes positivas definidas, rotações, ou outros espaços com estrutura. Aplicações incluem processamento de sinais, visão computacional e aprendizado de máquina.
Conexões métricas continuam evoluindo com novas aplicações. Em ciência de dados, métricas de informação (Fisher, Wasserstein) definem geometrias em espaços de probabilidades. Em física, generalizações não-comutativas exploram geometria quântica. Em neurociência, conexões em espaços de estados neurais modelam dinâmica cerebral. A harmonia entre conexão e métrica continua revelando estruturas profundas na natureza e matemática.
As conexões métricas exemplificam como estruturas matemáticas adicionais — quando compatíveis — criam teorias mais ricas e poderosas. A exigência de preservar produtos internos seleciona conexões especiais que capturam a essência geométrica do espaço. Com a conexão de Levi-Civita como estrela guia, navegamos espaços curvos preservando as noções fundamentais de distância e ângulo. Esta harmonia entre diferencial e métrico prepara o palco para nossas aplicações finais em física, onde geometria e natureza dançam em perfeita sincronia!
A natureza fala a linguagem da geometria diferencial! Desde a órbita dos planetas até o spin de elétrons, desde ondas gravitacionais até monopolos magnéticos, conexões e transporte paralelo fornecem o framework matemático para as leis fundamentais da física. Neste capítulo, exploraremos como conceitos aparentemente abstratos — derivadas covariantes, curvatura, holonomia — tornam-se indispensáveis para descrever o universo. Prepare-se para ver como a matemática das conexões ilumina mistérios cósmicos e quânticos!
A insight revolucionária de Einstein foi perceber que gravidade não é uma força, mas curvatura do espaço-tempo! Massas e energia curvam a geometria, e objetos seguem geodésicas nesta geometria curva. A conexão de Levi-Civita do espaço-tempo determina completamente os efeitos gravitacionais. Planetas orbitam, luz se curva, e tempo dilata — tudo consequências geométricas da curvatura induzida por matéria-energia.
As forças fundamentais (exceto gravidade) são descritas por teorias de gauge — conexões em fibrados principais! O eletromagnetismo usa U(1)-conexão, força fraca usa SU(2), força forte usa SU(3). Potenciais gauge são componentes da conexão, campos de força são curvaturas. Esta unificação geométrica das forças é um dos grandes triunfos da física teórica moderna.
Quando parâmetros de um sistema quântico variam lentamente em loop fechado, a função de onda adquire fase geométrica — a fase de Berry. Esta é precisamente a holonomia da conexão de Berry no espaço de parâmetros! Observada em experimentos desde polarização de luz até qubits, tem aplicações em computação quântica topológica e explicação do efeito Hall quântico.
No universo primordial, transições de fase podem criar defeitos topológicos — regiões onde campos não podem ser suavemente definidos. Monopolos magnéticos, cordas cósmicas, paredes de domínio são caracterizados por holonomia não-trivial. Conexões e transporte paralelo fornecem a linguagem natural para classificar e estudar estes objetos exóticos que podem ter moldado a estrutura em grande escala do cosmos.
Elétrons e outras partículas de spin semi-inteiro são descritos por spinors — objetos que vivem num fibrado especial e transformam-se de forma peculiar sob rotações (mudança de sinal após rotação de 360°!). A conexão de spin, lifting da conexão de Levi-Civita, governa como spinors são transportados. Esta geometria sutil é essencial para equação de Dirac e teoria quântica de campos em espaços curvos.
Instantons são soluções auto-duais das equações de Yang-Mills — conexões cuja curvatura equals sua dual de Hodge. Classificados por carga topológica (segunda classe de Chern), representam tunelamento quântico entre vácuos topologicamente distintos. A matemática de instantons, desenvolvida para física, revolucionou topologia em 4 dimensões e continua revelando estruturas profundas.
Teoria de cordas requer consistência em 10 dimensões com 6 dimensões extras compactificadas. A geometria destas dimensões extras — tipicamente variedades de Calabi-Yau — determina física em 4D. Conexões especiais preservam supersimetria. Fluxos de campos gauge (curvaturas) estabilizam geometrias. Esta interação íntima entre geometria diferencial e física de altas energias continua gerando insights em ambas direções.
Fases topológicas da matéria são caracterizadas por propriedades geométricas globais. Isolantes topológicos têm curvatura de Berry não-trivial no espaço de momentos. Efeito Hall quântico relaciona-se com primeira classe de Chern. Conexões emergentes em espaços de parâmetros efetivos descrevem resposta eletromagnética. Esta geometrização está revolucionando nossa compreensão de materiais quânticos.
Na fronteira da física, tentativas de quantizar gravidade exploram generalizações de conexões. Loop quantum gravity usa conexões SU(2) como variáveis fundamentais. Geometria não-comutativa generaliza conexões para espaços "quânticos". Estas abordagens sugerem que no nível mais fundamental, a própria noção de espaço-tempo emerge de estruturas de conexão mais abstratas.
A ubiquidade de conexões em física revela uma unidade profunda. Forças fundamentais, espaço-tempo, matéria quântica — todos encontram expressão natural na linguagem de conexões, curvatura e holonomia. Esta não é coincidência matemática, mas reflexo de que natureza, em seu nível mais fundamental, é geométrica. As simetrias e invariâncias que governam física encontram sua formulação mais elegante e poderosa em termos de transporte paralelo e geometria diferencial.
Este capítulo mostrou apenas vislumbres de como conexões permeiam física moderna. De escalas cosmológicas a quânticas, de partículas elementares a materiais exóticos, a matemática de conexões fornece tanto a linguagem descritiva quanto poder preditivo. À medida que física avança para regimes mais extremos — quantum gravity, teoria M, materiais topológicos — o papel de conexões só se aprofunda. Com esta apreciação de como geometria abstrata torna-se física concreta, estamos prontos para nosso capítulo final explorando conexões com tecnologia e ciências aplicadas!
As conexões matemáticas não vivem apenas em torres de marfim ou aceleradores de partículas — elas moldam tecnologias que usamos diariamente e possibilitam avanços científicos em campos surpreendentes! Desde o GPS em seu celular até algoritmos de visão computacional, desde robôs navegando em armazéns até proteínas se dobrando em formas funcionais, conexões e transporte paralelo fornecem ferramentas essenciais. Neste capítulo final, exploraremos como estes conceitos geométricos abstratos se traduzem em inovações concretas que transformam nosso mundo.
Seu GPS funciona porque engenheiros entendem conexões no espaço-tempo! Satélites GPS orbitam onde gravidade é mais fraca e velocidade é alta — ambos efeitos afetam o fluxo do tempo. Sem correções baseadas em transporte paralelo no espaço-tempo curvo de Schwarzschild, erros acumulariam 10km por dia! A precisão de metros requer domínio de geometria diferencial e conexões métricas.
Robôs industriais navegam em espaços de configuração — variedades cujas coordenadas são ângulos de juntas e posições. Planejar movimento ótimo requer geodésicas nestes espaços! Evitar colisões define regiões proibidas. A métrica incorpora inércia e limitações físicas. Algoritmos modernos usam conexões para interpolar suavemente entre configurações, garantindo movimentos naturais e eficientes.
Reconhecer objetos 3D em imagens 2D requer entender como geometria se projeta. Movimento de câmeras define conexões em espaços de poses. Features visuais são transportadas entre frames via fluxo óptico — transporte paralelo discretizado! SLAM (Simultaneous Localization and Mapping) reconstrói geometria 3D estimando conexões consistentes. Estas técnicas possibilitam desde carros autônomos até realidade aumentada.
Muitos dados vivem naturalmente em variedades: imagens médicas em espaços de formas, dados direcionais em esferas, matrizes de covariância em cones positivos definidos. Algoritmos que respeitam geometria intrínseca superam métodos euclidianos! Redes neurais hiperbólicas capturam hierarquias. Otimização Riemanniana converge mais rápido. Transporte ótimo move distribuições de probabilidade usando conexões de Wasserstein.
Estados quânticos vivem em espaços projetivos complexos com rica geometria! Portas quânticas são transporte paralelo nestes espaços. Computação quântica adiabática segue geodésicas. Códigos de correção de erro usam holonomia para proteção topológica. Algoritmos geométricos prometem vantagem quântica em problemas de otimização e simulação.
Proteínas se dobram navegando paisagens de energia em espaços de configuração! Conexões nestes espaços incorporam restrições físicas. Mudanças conformacionais seguem caminhos de mínima energia — geodésicas na métrica apropriada. Dinâmica molecular usa integração simplética preservando estrutura geométrica. Entender doenças e desenhar drogas requer dominar esta geometria biomolecular.
Cristais líquidos, polímeros, e metamateriais têm ordem orientacional descrita por conexões! Defeitos topológicos são singularidades de campos diretores. Texturas complexas emergem minimizando energia elástica — curvatura de conexões apropriadas. Displays LCD controlam orientação via campos elétricos, efetivamente manipulando conexões. Metamateriais programam resposta via geometria projetada.
Redes complexas — neurais, elétricas, sociais — exibem sincronização descrita por conexões em fibrados! Cada nó tem fase ou estado; conexões descrevem acoplamento. Kuramoto model em círculos, consenso em Grassmannianas, sincronização em grupos de Lie — todos usam transporte paralelo. Entender e controlar redes grandes requer geometria diferencial moderna.
Sinais em superfícies (meshes 3D, dados geográficos) requerem processamento que respeite geometria. Wavelets em variedades usam transporte paralelo. Filtros devem ser covariantes. Compressão explora holonomia e classes características. De imagens médicas a dados sísmicos, processar informação geométrica requer conexões apropriadas.
Modelos econômicos modernos incorporam geometria! Espaços de preferências têm métricas naturais. Equilíbrios são pontos críticos de potenciais. Dinâmica de preços segue gradientes em variedades. Portfolio optimization usa geometria de informação. Conexões capturam como informação e risco se propagam. Esta geometrização promete modelos mais realistas e robustos.
À medida que dados se tornam mais complexos e estruturados, a necessidade de métodos geométricos só cresce. Realidade virtual requer navegação em espaços imersivos. Internet das coisas gera dados em variedades. Medicina personalizada otimiza em espaços de tratamentos. Inteligência artificial busca representações geométricas interpretáveis. Em cada fronteira tecnológica, conexões e transporte paralelo fornecem as ferramentas matemáticas essenciais.
Este tour por aplicações tecnológicas mostra que conexões não são abstrações esotéricas, mas ferramentas práticas transformando ciência e tecnologia. Do GPS que guia nossas viagens às proteínas que sustentam vida, da visão de robôs à computação quântica, geometria diferencial e conexões fornecem a linguagem e métodos para navegar espaços complexos. À medida que enfrentamos desafios do século XXI — mudança climática, medicina personalizada, inteligência artificial — o domínio destas ferramentas geométricas torna-se não apenas útil, mas essencial. O futuro é geométrico, e conexões são nosso guia!
Esta exploração das conexões e transporte paralelo foi construída sobre o trabalho de gerações de matemáticos e físicos que desenvolveram e aplicaram estes conceitos fundamentais. As referências a seguir representam tanto os textos clássicos que estabeleceram a teoria quanto obras modernas que expandem suas aplicações. Esta bibliografia oferece caminhos para aprofundamento em cada aspecto da teoria de conexões, desde fundamentos matemáticos rigorosos até aplicações em física teórica e tecnologia.
AMBROSE, W.; SINGER, I. M. A theorem on holonomy. Transactions of the American Mathematical Society, v. 75, n. 3, p. 428-443, 1953.
BERGER, Marcel. A Panoramic View of Riemannian Geometry. Berlin: Springer-Verlag, 2003.
BISHOP, Richard L.; CRITTENDEN, Richard J. Geometry of Manifolds. Providence: AMS Chelsea Publishing, 2001.
BRASIL. Base Nacional Comum Curricular: Educação é a Base. Brasília: MEC/CONSED/UNDIME, 2018.
CARMO, Manfredo Perdigão do. Geometria Riemanniana. 5ª ed. Rio de Janeiro: IMPA, 2015.
CARTAN, Élie. On Manifolds with an Affine Connection and the Theory of General Relativity. Napoli: Bibliopolis, 1986.
CHERN, Shiing-Shen; CHEN, Wei-Huan; LAM, K. S. Lectures on Differential Geometry. Singapore: World Scientific, 1999.
EHRESMANN, Charles. Les connexions infinitésimales dans un espace fibré différentiable. Colloque de Topologie, Bruxelles, p. 29-55, 1950.
KOBAYASHI, Shoshichi; NOMIZU, Katsumi. Foundations of Differential Geometry. 2 vols. New York: John Wiley & Sons, 1996.
KOSZUL, Jean-Louis. Lectures on Fibre Bundles and Differential Geometry. Berlin: Springer-Verlag, 2010.
LEE, John M. Riemannian Manifolds: An Introduction to Curvature. New York: Springer-Verlag, 1997.
LEE, John M. Introduction to Smooth Manifolds. 2nd ed. New York: Springer, 2013.
LEVI-CIVITA, Tullio. The Absolute Differential Calculus. New York: Dover Publications, 1977.
MILNOR, John W. Morse Theory. Princeton: Princeton University Press, 1963.
MORITA, Shigeyuki. Geometry of Differential Forms. Providence: American Mathematical Society, 2001.
NAKAHARA, Mikio. Geometry, Topology and Physics. 2nd ed. Bristol: Institute of Physics Publishing, 2003.
PETERSEN, Peter. Riemannian Geometry. 3rd ed. Cham: Springer, 2016.
POOR, Walter A. Differential Geometric Structures. New York: Dover Publications, 2007.
RIEMANN, Bernhard. Über die Hypothesen, welche der Geometrie zu Grunde liegen. Berlin: Springer-Verlag, 2013.
SAKAI, Takashi. Riemannian Geometry. Providence: American Mathematical Society, 1996.
SHARPE, R. W. Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer-Verlag, 1997.
SPIVAK, Michael. A Comprehensive Introduction to Differential Geometry. 5 vols. 3rd ed. Houston: Publish or Perish, 1999.
STERNBERG, Shlomo. Lectures on Differential Geometry. 2nd ed. Providence: AMS Chelsea Publishing, 1999.
TAUBES, Clifford H. Differential Geometry: Bundles, Connections, Metrics and Curvature. Oxford: Oxford University Press, 2011.
TU, Loring W. Differential Geometry: Connections, Curvature, and Characteristic Classes. Cham: Springer, 2017.
BAEZ, John; MUNIAIN, Javier P. Gauge Fields, Knots and Gravity. Singapore: World Scientific, 1994.
BERRY, M. V. Quantal phase factors accompanying adiabatic changes. Proceedings of the Royal Society A, v. 392, p. 45-57, 1984.
BLEECKER, David. Gauge Theory and Variational Principles. New York: Dover Publications, 2005.
CHOQUET-BRUHAT, Yvonne; DEWITT-MORETTE, Cécile. Analysis, Manifolds and Physics. 2 vols. Amsterdam: North-Holland, 2000.
EGUCHI, Tohru; GILKEY, Peter B.; HANSON, Andrew J. Gravitation, gauge theories and differential geometry. Physics Reports, v. 66, n. 6, p. 213-393, 1980.
FRANKEL, Theodore. The Geometry of Physics: An Introduction. 3rd ed. Cambridge: Cambridge University Press, 2011.
GÖCKELER, M.; SCHÜCKER, T. Differential Geometry, Gauge Theories, and Gravity. Cambridge: Cambridge University Press, 1987.
MARSDEN, Jerrold E.; RATIU, Tudor S. Introduction to Mechanics and Symmetry. 2nd ed. New York: Springer-Verlag, 1999.
MISNER, Charles W.; THORNE, Kip S.; WHEELER, John A. Gravitation. San Francisco: W. H. Freeman, 1973.
NASH, Charles; SEN, Siddhartha. Topology and Geometry for Physicists. New York: Dover Publications, 2011.
WALD, Robert M. General Relativity. Chicago: University of Chicago Press, 1984.
WEINBERG, Steven. Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity. New York: John Wiley & Sons, 1972.
ABSIL, P.-A.; MAHONY, R.; SEPULCHRE, R. Optimization Algorithms on Matrix Manifolds. Princeton: Princeton University Press, 2008.
AMARI, Shun-ichi; NAGAOKA, Hiroshi. Methods of Information Geometry. Providence: American Mathematical Society, 2000.
BRONSTEIN, Michael M. et al. Geometric Deep Learning: Going beyond Euclidean data. IEEE Signal Processing Magazine, v. 34, n. 4, p. 18-42, 2017.
PENNEC, Xavier; SOMMER, Stefan; FLETCHER, Tom (Eds.). Riemannian Geometric Statistics in Medical Image Analysis. London: Academic Press, 2020.
SIMON, Barry. Holonomy, the Quantum Adiabatic Theorem, and Berry's Phase. Physical Review Letters, v. 51, p. 2167-2170, 1983.