Resumos
Neste trabalho apresentamos uma análise de diferentes abordagens geométricas não-riemannianas para a gravitação que apresentam conteúdos físicos equivalentes à teoria gravitacional de Einstein. Num primeiro momento, revisaremos os principais aspectos matemáticos e físicos das geometrias e como cada uma delas contém conceitos e pontos de vistas distintos (mas ainda equivalentes) sobre a teoria gravitacional. Dentre as diversas formulações da interação gravitação, em particular, discutiremos a geometria riemanniana e a teoria da relatividade geral (em termos do tensor de curvatura R), a geometria de Weitzenböck e a teoria teleparalela (em termos do tensor de torsão T), e por fim a geometria de Weyl e a teoria teleparalela simétrica (em termos do tensor de não-metricidade Q). Em seguida, mostraremos que elas são fisicamente equivalentes ao encontrarmos que elas têm as mesmas equações de campo, obtidas a partir do princípio variacional. Por fim, a fim de ilustrar alguns aspectos da teoria teleparalela simétrica, analisamos a cosmologia no contexto da teoria f(Q) e as suas contribuições para as equações de Friedmann, e também como ela pode contribuir para fenômenos nos estágios iniciais do Universo (regime de alta curvatura) e também à época tardia (regime de baixa curvatura).
Palavras-chave:
Gravitação Modificada; Geometria de Weitzenböck; Geometria de Weyl; Teoria Teleparalela; Teoria Teleparalela Simétrica
In this work we present an analysis of different non-riemannian geometrical approaches to the gravitation that possess equivalent physical content to Einstein’s gravitational theory. At a first moment, we review mathematical and physical aspects of the geometries and how each of them have distinct concepts and point-of-view (but equivalent) on regard to the gravitational theory. Among the many approaches to the gravitational interaction, in particular, we discuss the riemannian geometry and the general theory of relativity (in terms of the curvature tensor R), the Weitzenböck geometry and the teleparallel theory (in terms of the torsion tensor T), at last Weyl’s geometry and the symmetric teleparallel theory (in terms of the non-metricity tensor Q). Next, we establish that they are physically equivalent by showing that they have the same field equations, obtained from the variational principle. Finally, in order to illustrate some aspects of the symmetric teleparallel theory, we analyze the cosmology in terms of the theory f(Q) and its contributions to the Friedmann equations, and also how it can contribute to phenomena at early universe (high curvature regime) and at late-time cosmology (low curvature regime).
Keywords
Modified Gravity; Weitzenböck geometry; Weyl geometry; Teleparallel theory; Symmetric Teleparallel theory
1. Introdução
O papel da geometria, seja da geometria tridimensional euclideana da física newtoniana ou ainda da geometria multidimensional da teoria de cordas, foi sempre de grande destaque na física. Podemos encontrar aplicações da geometria nas mais diferentes áreas da física como uma elegante formulação dos problemas. De fato, a formulação de leis físicas no contexto de geometria tem se mostrado extremamente profícua, uma vez que o conteúdo de simetria se torna evidente e também comum em diferentes contextos. Em geral, todas as formulações de problemas modernos da física buscam estabelecer justamente uma descrição geométrica, vista a robustez desta formulação. Um dos exemplos mais célebres dessa abordagem geométrica são as teorias de gauge, seja a eletrofraca ou gravitacional, em que podem ser formuladas na teoria de fibrados, sendo que a diferença entre elas nesse contexto se resume à escolha do conteúdo de simetria que cada uma delas possui [1[1] B. Felsager, Geometry, Particles and Fields (Springer-Verlag, New York, 1998)., 2[2] R. Aldrovandi e J.G. Pereira, An Introduction to Geometrical Physics (World Scientific, New Jersey, 2016), 2Â ed.].
Podemos dizer que, após os trabalhos de Minkowski na eletrodinâmica de Maxwell, o grande marco científico no uso de geometria na descrição de um sistema físico é devido à proposta de Einstein, em 1915, da descrição da interação gravitacional em termos da teoria da relatividade geral (RG) [3[3] B. Hoffmann, Relativity and its Roots (Dover Publications, New York, 1999).]. Essa teoria descreve a gravitação a partir da curvatura do espaço-tempo ℛσ αμν, sendo a geometria riemanniana a estrutura matemática presente nesta formulação [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).–7[7] Ray D’Inverno, Introducing Einstein’s Relativity (Oxford University Press, Oxford, 1992).]. Em termos geométricos, a curvatura é uma medida da rotação que um vetor experimenta ao sofrer transporte paralelo ao longo de um circuito fechado.
A fenomenologia da relatividade geral é extremamente rica, servindo como base para o Modelo Cosmológico Padrão1 1 Este modelo também é conhecido na literatura como Modelo ΛCDM – Lambda Cold Dark Matter e é embasado no princípio cosmológico, que enuncia que o universo em largas escalas é homogêneo e isotrópico. [8[8] B. Ryden, Introduction to Cosmology (Cambridge University Press, Cambridge, 2016), 2 ed., 9[9] A. Liddle, An Introduction to Modern Cosmology (Wiley, Edinburgher, 2015), 3 ed.] sendo que suas previsões foram escrutinizadas em diversos experimentos com enorme precisão [10[10] C.M. Will, Living Rev. Rel. 17, 1 (2014).]. Podemos citar ainda, neste contexto, as observações das ondas gravitacionais geradas a partir da colisão de buracos negros [11[11] B.P Abbott, R. Abbott, T.D. Abbott, M.R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R.X. Adhikari et al., Phys. Rev. Lett. 116, 061102 (2016).] e também a verificação direta da própria existência dos buracos negros [12[12] K. Akiyama, A. Alberdi, W. Alef, K. Asada, R. Azulay, A.k. Baczko, D. Ball, M. Baloković, J. Barrett, D. Bintley et al., Astrophys. J. Lett. 875, L1 (2019).].
Observamos que a formulação geométrica de Einstein para a teoria gravitacional é intimamente relacionada com o princípio de equivalência que essencialmente consiste na interpretação de que a interação gravitacional é alheia a um tipo específico de matéria mas sim estabelece uma relação entre a gravidade e a inércia [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).–6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).]. Portanto, o movimento de partículas pode ser associado a propriedades geométricas do espaço-tempo. Ademais, ao adotarmos o caráter geométrico da gravidade proposto pelo princípio de equivalência, é natural explorar maneiras equivalentes em que a gravidade pode ser geometrizada.
À época da proposta da RG, a geometria riemanniana era recente e muitos conceitos ainda estavam sendo desenvolvidos ou melhor compreendidos. Naturalmente, à luz do sucesso da descrição da interação gravitacional a partir do tensor métrico da geometria de Riemann na RG, novas estruturas geométricas foram sendo propostas, conhecidas como geometrias não-riemannianas [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952).–16[16] L.P. Eisenhart, Non-Riemannian Geometry (Dover Publications, New York, 2005).]. Dentre os principais exemplos podemos citar a geometria teleparalela de Weitzenböck descrita em termos do tensor de torsão, ou ainda a geometria de Weyl descrita em termos do tensor de não-metricidade, ou ainda a classe mais geral conhecida como a geometria métrica-afim [17[17] F.W. Hehl, J.D. McCrea, E.W. Mielke e Y. Ne’eman, Phys. Rept. 258, 1 (1995).,18[18] M. Blagojevic, Gravitation and Gauge Symmetries (CRC Press, Londres, 2001).,19[19] M. Hohmann, Symmetry 12, 453 (2020).,20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024).]. Essas geometrias permitem uma descrição equivalente à teoria da relatividade geral (curvatura) mas agora sob um olhar distinto sobre o objeto matemático responsável pela descrição dos fenômenos gravitacionais (torsão e/ou não-metricidade) [21[21] J. Beltrán Jiménez, L. Heisenberg e T.S. Koivisto, Universe 5, 173 (2019)., 22[22] S. Capozziello, V. De Falco e C. Ferrara, Eur. Phys. J. C 82, 865 (2022).].
Portanto, modelos baseados nessas geometrias tornam-se interessantes na compreensão e descrição de fenômenos gravitacionais em que a RG aborda de maneira insatisfatória e/ou incompleta [21[21] J. Beltrán Jiménez, L. Heisenberg e T.S. Koivisto, Universe 5, 173 (2019)., 23[23] S. Nojiri e S.D. Odintsov, Phys. Rept. 505, 59 (2011).,24[24] S. Capozziello e M. De Laurentis, Phys. Rept. 509, 167 (2011).,25[25] T. Clifton, P.G. Ferreira, A. Padilla e C. Skordis, Phys. Rept. 513, 1 (2012).,26[26] S. Nojiri, S.D. Odintsov e V.K. Oikonomou, Phys. Rept. 692, 1 (2017).]. Temos testemunhado nos últimos anos um grande número de observações experimentais e tensões de fenômenos cosmológicos, que indicam a possível presença de física além do modelo ΛCDM [27[27] E.W. Kolb e M.S. Turner, Front. Phys. 69, 1 (1990).,28[28] R.A. Battye, T. Charnock e A. Moss, Phys. Rev. D 91, 103508 (2015).,29[29] W.L. Freedman, Nature Astron. 1, 0121 (2017).]. Por exemplo, diversas observações indicam a existência de matéria escura (não bariônica); ademais, outra dificuldade a ser mencionada é a expansão do universo em seus estágios iniciais e também a tempos tardios, que exigem a introdução de um campo inflaton e energia escura, respectivamente [25[25] T. Clifton, P.G. Ferreira, A. Padilla e C. Skordis, Phys. Rept. 513, 1 (2012)., 26[26] S. Nojiri, S.D. Odintsov e V.K. Oikonomou, Phys. Rept. 692, 1 (2017).].
Pode-se dizer que as teorias teleparalelas tiveram origem a partir dos trabalhos de H. Weyl em 1918 [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952)., 30[30] H. Weyl, em: The Principle of Relativity, editado por H.A. Lorentz, A. Einstein, H. Minkowski e H. Weyl (Dover Books, New York, 1952).] e A. Einstein em 1928 [31[31] A. Unzicker e T. Case, arXiv:physics/0503046 (2005).] em suas propostas de unificação das interações eletromagnética e gravitacional [32[32] H.F.M. Goenner, Living Rev. Rel. 7, 2 (2004)., 33[33] H.F.M. Goenner, Living Rev. Rel. 17, 5 (2014).]. Embora a proposta de unificação de Weyl não tenha obtido êxito, ele introduziu as noções de teorias de gauge na gravitação [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952).]. As teorias teleparalelas surgem nesse contexto de teorias de gauge [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.,35[35] M. Hohmann, Lect. Notes Phys. 1017, 145 (2023).,36[36] C. Møller, Mat. Fys. Skr. Dan. Vid. Selsk. 1, 10 (1961).,37[37] Y.M. Cho, Phys. Rev. D 14, 2521 (1976).,38[38] K. Hayashi, Phys. Lett. B 69, 441 (1977).,39[39] K.Hayashi e T. Shirafuji, Phys. Rev. D 19, 3524 (1979).,40[40] J.W. Maluf, J. Math. Phys. 35, 335 (1994).,41[41] J.W. Maluf, Annalen Phys. 525, 339 (2013).], em que o tensor de torsão Tβμν ≠ 0 é responsável pela mediação da interação gravitacional e que o tensor de curvatura da conexão teleparalela é nulo ℛσ αμν = 0, resultando num espaço-tempo plano conhecido como a geometria teleparalela [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173., 42[42] R. Weitzenböck, Invarianten-Theorie (Noordhoff, Groningen, 1923)., 43[43] A. Golovnev, arXiv:2302.13599 (2023).]. Do ponto de vista geométrico, por sua vez, a torsão mede o não fechamento do paralelograma (soma de vetores) formado quando dois vetores infinitesimais são transportados paralelamente um em relação ao outro (maiores detalhes na seção 4.1 4.1. Geometria de Weitzenböck A fim de apresentarmos a teoria teleparalela gravitacional, precisamos definir alguns aspectos da geometria de Weitzenböck, que é caracterizada em termos do tensor de torsão. Por sua vez, o tensor torsão está relacionado com a parte anti-simétrica da conexão de Weitzenböck, sendo definido como (22) T λ μ ρ ≡ 2 Γ λ W [ μ ρ ] = − T λ ρ μ . Do ponto de vista geométrico, como vimos anteriormente, a torsão se relaciona ao fato de uma trajetória nesta geometria não apresentar um circuito fechado em um plano tangente a uma dada superfície. Na Figura 5 podemos visualizar o transporte paralelo de dois vetores infinitesimalmente em um circuito, mostrando que não conseguimos realizar o fechamento do circuito no plano tangente. Figura 5 O não fechamento do circuito ao transportarmos um vetor paralelamente é mensurado pelo tensor de torsão. Para entender melhor essa questão consideremos os seguintes cenários: na geometria euclideana a soma de dois vetores pode ser visualizada como um paralelograma; por outro lado, no caso de uma geometria não-euclideana isso pode não ser mais verdadeiro. Iniciamos a nossa análise ao realizar o transporte paralelo de vetores infinitesimais: primeiramente, transportamos um vetor Aα ao longo da direção de Bα (resultando no vetor A′α), e comparamos essa situação com o transporte do vetor Bα ao longo da direção de Aα (resultando no vetor B′α) [4, 20]. Essa ilustração é apresentada na Figura 6. Figura 6 Representação geométrica do não fechamento do paralelograma através do transporte paralelo dos vetores infinitesimais Aα e Bα na geometria de Weitzenböck. Ademais, podemos identificar que a soma dos vetores à esquerda do paralelograma é dada por (23) C α = B α + A ′ α = B α + A α − Γ α W μ ν B μ A ν , que corresponde ao deslocamento OR¯, enquanto a soma dos vetores à direita do paralelograma é (24) D α = A α + B ′ α = A α + B α − Γ α W μ ν A μ B ν , e corresponde ao deslocamento OS¯. O fechamento ou não do paralelograma infinitesimal (o deslocamento total quando R = S) nesta geometria é mensurado pela diferença (25) E α = C α − D α , que explicitamente resulta em (26) E α = 2 Γ α W [ μ ν ] A μ B ν = T α μ ν A μ B ν . Observamos claramente que o não fechamento do paralelograma é proporcional ao tensor torsão [20, 34, 35], e que geometricamente corresponde ao fato de que os pontos R e S não se sobrepõem, veja Figura 6. Definiremos a seguir alguns aspectos matemáticos da geometria de Weitzenböck necessários para definir o tensor de torsão e a conexão de Weitzenböck: os campos vierbein. 4.1.1. Propriedades dos campos vierbein Em nossa discussão da relatividade geral na seção 3 descrevemos tensores em termos de bases coordenadas, ou seja, bases que são adaptadas para coordenadas, pois são simples e naturais para se trabalhar. Todavia, podemos definir bases mais gerais que não são deriváveis de sistema de coordenadas, essas são conhecidas como bases não-coordenadas. As estruturas que caracterizam tal formulação são os vetores da base não-coordenada, os campos vierbein ha [6, 34]. A observação anterior sobre bases não-coordenadas é crucial para a caracterização da geometria teleparalela e na definiçaõ da conexão de Weitzenböck. A geometria (teleparalela) de Weitzenböck é definida em termos do formalismo dos campos vierbein ha, que são quantidades dinâmicas no espaço-tempo (i.e. relacionadas com gravitação). O campo vierbein ha é uma base linear que permite relacionar, ponto a ponto, quantidades definidas no espaço-tempo (com coordenadas {xμ}) com quantidades no espaço tangente (com coordenadas {xa}) [6, 34]14. A fim de entender o mapeamento de tensores em diferentes bases no espaço-tempo vamos considerar a seguinte situação: para as coordenadas do espaço-tempo as bases são definidas como (27) { ∂ μ } ≡ ∂ ∂ x μ , { d x μ } , para campos vetoriais e covetoriais, respectivamente [6, 34]. A partir dessas observações podemos escrever que as componentes dos vierbeins estão relacionadas com as bases a partir de15 (28) h a = h a μ d x μ , h a = H a μ ∂ μ . onde introduzimos as componentes dos campos vierbeins ha μ e inversa Ha μ. Ademais, tais componentes satisfazem as condições de ortonormalidade (29) h a μ ( x ) H a v ( x ) = δ μ ν , h b μ ( x ) H a μ ( x ) = δ a b . Por fim, observamos que o campo vierbein é uma base linear que relaciona (ponto a ponto) a métrica do espaço-tempo gμν com a métrica do espaço tangente ηab a partir de (30) g μ ν ( x ) = h a μ ( x ) h b v ( x ) η a b , g μ ν ( x ) = H a μ ( x ) H b v ( x ) η a b , em que ηab é a métrica de Minkowski ηab = diag (1, −1, −1, −1). Naturalmente, as relações entre as métricas (30) são inversíveis (31) η a b = H a μ ( x ) H b v ( x ) g μ ν ( x ) , η a b = h a μ ( x ) h b v ( x ) g μ ν ( x ) . A partir das definições acima temos que o elemento de linha (invariante) pode ser expresso (32) d s 2 = g μ ν ( x ) d x μ d x ν = η a b h a h b , em que ha são definidos em (28). Por fim, vale a pena destacar que um sistema físico pode ser descrito de maneira equivalente a partir do campo métrico gμν(x) ou do campo vierbein ha μ(x). Isto se verifica a partir do fato de que essas quantidades são fisicamente equivalentes, pois contém as mesmas informações, e também possuem 10 componentes independentes, sendo reduzidas a 2 modos de helicidade após a fixação de gauge [34]. Para concluir esta seção, consideraremos um exemplo para ilustrar o cálculo das componentes do campo vierbein (28) para o espaço-tempo de Schwarzschild [5, 34]: um espaço-tempo estático, isotrópico e homogêneo, descrito pelo seguinte elemento de linha (em coordenadas esféricas) (33) d s 2 = f ( r ) d t 2 − g ( r ) d r 2 − r 2 d θ 2 + sin 2 θ d ϕ 2 sendo os fatores f(r) e g(r) determinados a partir das equações de campo [5]. O processo para estabelecer as componentes do campo vierbein é simples, e resulta que a base ortonormal para esta métrica é dada por [5] (34) h 0 = f 1 / 2 d t , h 1 = g 1 / 2 d r , (35) h 2 = r d θ , h 3 = r sin θ d ϕ ou ainda, em notação matricial (36) h a μ = f 1 / 2 0 0 0 0 g 1 / 2 0 0 0 0 r 0 0 0 0 r sin θ . A partir dessas expressões e da condição de ortonormalidade (29) podemos também determinar as componentes da inversa Ha μ[5]. Com essa discussão concluímos a nossa exposição sobre o formalismo dos campos vierbein e usaremos esses elementos para definir a geometria de Weitzenböck. ).
Vale destacar que além de oferecer uma alternativa à curvatura na descrição da interação gravitação, o tensor de torsão é intimamente relacionado com a presença de spin de campos de matéria [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 44[44] D.W. Sciama, Rev. Mod. Phys. 36, 463 (1964).,45[45] T.W.B. Kibble, J. Math. Phys. 2, 212 (1961).,46[46] F.W. Hehl, P. Von Der Heyde, G.D. Kerlick e J.M. Nester, Rev. Mod. Phys. 48, 393 (1976).,47[47] E. Cartan, Annales Sci. Ecole Norm. Sup. 40, 325 (1923).,48[48] E. Cartan, Annales Sci. Ecole Norm. Sup. 41, 1 (1924).], recebendo portanto bastante destaque em diversos contextos cosmológicos [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173., 49[49] R.T. Hammond, Rept. Prog. Phys. 65, 599 (2002)., 56[56] A. Golovnev, T. Koivisto e M. Sandstad, Class. Quant. Grav. 34, 145013 (2017).].
Por outro lado, é possível formular teorias gravitacionais teleparalelas em geometrias com torsão nula Tβμν = 0, mas agora em termos do tensor de não-metricidade Qμνα ≡ ∇μgνα ≠ 0, essa abordagem é conhecida como teoria teleparalela simétrica [57[57] J.M. Nester e H.J. Yo, Chin. J. Phys. 37, 113 (1999)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).]. Neste caso, a interação gravitacional é definida na geometria de Weyl, onde a quantidade geométrica principal é o tensor de não-metricidade Qμνα [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952)., 14[14] A. Eddington, The Mathematical Theory of Relativity (Cambridge University Press, Cambridge, 1924), 2Â ed., 30[30] H. Weyl, em: The Principle of Relativity, editado por H.A. Lorentz, A. Einstein, H. Minkowski e H. Weyl (Dover Books, New York, 1952)., 59[59] F.P. Poulis e J.M. Salim, Int. J. Mod. Phys. Conf. Ser. 3, 87 (2011).,60[60] C. Romero, J.B. Fonseca-Neto e M.L. Pucheu, Class. Quant. Grav. 29, 155015 (2012).,61[61] J.T. Wheeler, Gen. Rel. Grav. 50, 80 (2018).]. Em relação a seu aspecto geométrico, o tensor de não-metricidade mensura quanto o comprimento de vetores muda ao realizarmos o transporte paralelo deles (maiores detalhes na seção (5.1 5.1. Geometria de Weyl e o tensor de não-metricidade A classe de geometrias teleparalelas é caracterizada pelo fato de terem curvatura nula ℛα βμν(Γ) = 0 (condição decorrente do teleparalelismo absoluto). Abordaremos nesta seção os fundamentos da teoria teleparalela simétrica definida na geometria de Weyl,20 que tem o tensor de não-metricidade Qμνα ≡ ∇μgνα ≠ 0 [13, 14] como quantidade responsável pela dinâmica gravitacional [20, 57, 58]. O grande diferencial dessa geometria está em torno do tensor de não-metricidade, que expressa a falha da conexão em ser compatível com métricas. Ademais, do ponto de vista geométrico, o tensor de não-metricidade mede quanto a norma de vetores muda ao realizarmos o transporte paralelo deles, ilustramos essa situação na Figura 8. Figura 8 A variação da magnitude de um vetor transportado paralelamente é medida pelo tensor de não-metricidade. A fim de melhor entender esta situação geométrica podemos nos perguntar como a magnitude de um vetor muda ao ser transportado paralelamente ao longo de uma curva C. Podemos responder essa pergunta ao lembrarmos da condição wμ∇μuλ = 0 dada em (14), que corresponde ao fato de que a derivada covariante de um vetor uλ é zero na mesma direção em que ele é transportado paralelamente (w = wμ∂μ é um vetor tangente à curva). Essa última observação nos permite determinar como a magnitude do vetor ∥u∥2 = gμνuμuν varia sob transporte paralelo ao longo da curva C (59) w λ ∇ λ ‖ u ‖ 2 = w λ ∇ λ g μ ν u μ u ν = w λ ∇ λ g μ ν u μ u ν + 2 g μ ν u μ w λ ∇ λ u ν que resulta em (60) w λ ∇ λ u 2 = Q λ μ ν w λ u μ u ν . Dessa forma, vemos claramente que a interpretação geométrica do tensor de não-metricidade é a medida da variação da magnitude de vetores sob transporte paralelo. De maneira geral, podemos dizer que o tensor de não-metricidade mede como objetos que dependem da métrica variam quando eles são transportados paralelamente [20, 58]. )). Essa abordagem tem recebido significativa atenção em aplicações cosmológicas [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 62[62] R. Lazkoz, F.S.N. Lobo, M. Ortiz-Baños e V. Salzano, Phys. Rev. D 100, 104027 (2019).,63[63] I. Ayuso, R. Lazkoz e V. Salzano, Phys. Rev. D 103, 063505 (2021).,64[64] O. Sokoliuk, S. Arora, S. Praharaj, A. Baransky e P.K. Sahoo , Mon. Not. Roy. Astron. Soc. 522, 252 (2023).,65[65] N. Dimakis, A. Paliathanasis e T. Christodoulakis, Class. Quant. Grav. 38, 225003 (2021).,66[66] F. Bajardi, D. Vernieri e S. Capozziello, Eur. Phys. Plus 135 J., 912 (2020).,67[67] A. De e T.H. Loo, Class. Quant. Grav. 40, 115007 (2023).,68[68] M. Hohmann, Phys. Rev. D 104, 124077 (2021).,69[69] J. Beltrán Jiménez, L. Heisenberg, T.S. Koivisto e S. Â Pekar, Phys. Rev. D 101, 103507 (2020).,70[70] L. Atayde e N. Frusciante, Phys. Rev. D 104, 064052 (2021).,71[71] F.K. Anagnostopoulos, S. Basilakos e E.N. Saridakis, Phys. Lett. B 822, 136634 (2021).].
Para cada uma das teorias destacadas anteriormente elaboraremos o processo de formular estruturas geométricas não-riemannianas a fim de estabelecer uma classe de equivalência com a RG (em certo regime das teorias) em termos da formulação da ação funcional. Este manuscrito busca oferecer um panorama sobre teorias gravitacionais modificadas definidas em geometrias não-riemannianas e é voltado para estudantes (de graduação ou pós-graduação) com conhecimento prévio em conceitos da geometria riemanniana e também na RG e que estejam interessados em abordar problemas cosmológicos a partir de novas estruturas geométricas.
Para atingir estes propósitos, este manuscrito tem a seguinte estrutura: estabelecemos na seção 2 2. Conexão Métrica-afim e Subclasses Geométricas A interação gravitacional em escalas do sistema solar e cosmológicas é descrita pela Relatividade Geral (RG), sendo que dados observacionais com alta precisão têm colaborado que o modelo cosmológico padrão, baseado na RG, é de fato a teoria gravitacional. Contudo, certos fenômenos e dados observacionais indicam a incompleteza do modelo cosmológico padrão. Naturalmente, é interessante explorar modelos geométricos que possuem representações equivalentes à teoria de Einstein mas que podem fornecer maiores detalhes sobre tais discrepâncias. A relatividade geral é formulada em termos de uma geometria riemanniana, descrita a partir de uma conexão de Christoffel (12) e do tensor de curvatura (15). Entretanto, a partir da universalidade da interação gravitacional, podemos formular representações fisicamente equivalentes à teoria da RG2; por exemplo, a partir da geometria de Weitzenböck que dá origem à teoria teleparalela [34, 35], descrita a partir da conexão de Weitzenböck e do tensor de torsão [4, 44–48], ou ainda a partir da geometria de Weyl que dá origem à teoria teleparalela simétrica [57, 58], descrita a partir da conexão de Weyl e do tensor de não-metricidade [13, 30]. É importante mencionar que, embora seja possível formular essas teorias equivalentemente à teoria da RG, essas formulações alternativas carregam novos pontos de vista conceituais e permitem abordar fenômenos que a RG não consegue descrever de maneira satisfatória. Ademais, tais representações alternativas podem ser formuladas a não reproduzir necessariamente a RG, e portanto podem ser tratadas como teorias gravitacionais além do modelo padrão cosmológico (maiores detalhes serão discutidos na seção 6). A fim de discutir detalhadamente cada uma das teorias gravitacionais elencadas acima, apresentaremos inicialmente a conhecida geometria métrica-afim [17, 18, 20], em que a curvatura, torsão e não-metricidade contribuem para a dinâmica do campo gravitacional. A conexão métrica-afim possui a seguinte representação em termos de três quantidades3 (1) Γ β μ ν = β μ ν + K β μ ν + L β μ ν o primeiro termo é compatível com a métrica e denota o símbolo de Christoffel, (2) β μ ν = 1 2 g β α ∂ μ g ν α + ∂ ν g α μ − ∂ α g μ ν , que permite definir o tensor de curvatura de Riemann R(g) e a geometria riemanniana [4–7]. Por sua vez, temos o termo da contorsão Kβ μν, (3) K β μ ν = 1 2 ( T β μ ν − T μ β v − T v β μ ) , que é definida em termos do tensor de torsão (4) T β μ ν = 2 Γ β [ μ ν ] = − T β v μ , que é a componente anti-simétrica da conexão, além de ser responsável por definir a geometria de Weitzenböck [6, 34]. Por fim, o último termo da expressão (1) é o tensor de disformação Lβ μν, (5) L β μ ν = 1 2 Q β μ ν − Q ( μ β v ) = L β μ ν , que é definido em termos do tensor de não-metricidade (6) Q β μ ν ≡ ∇ β g μ ν , sendo que a derivada covariante ∇μ é descrita em termos da conexão métrica-afim (1). A geometria de Weyl é construída a partir do tensor de não-metricidade [57, 58]. Ademais, podemos calcular a curvatura relacionada com a conexão métrica-afim (1) (7) ℛ α β v μ Γ = R α β μ v g + T σ μ v Ω α σ β + 2 𝒟 [ μ Ω ν ] β α + 2 Ω [ μ | σ α Ω ν ] β σ , em que o tensor Ωσ νβ é a soma dos tensores contorsão e disformação Ωσ νβ = Kσ νβ + Lσ νβ, e também que D é a derivada covariante em relação à conexão de Christoffel (13). De fato, a expressão da curvatura (7) será bastante útil em nossa análise das teorias gravitacionais teleparalelas, inclusive para estabelecer a equivalência delas com a RG. Essas quantidades geométricas permitem a caracterização de um espaço-tempo nos seguintes casos: espaço-tempo métrico: a conexão Γ é compatível com a métrica, Qβμν = 0. A não-metricidade mede quanto o comprimento de vetores muda ao realizarmos o transporte paralelo deles; espaço-tempo sem torsão: a conexão Γ é simétrica, Tβμν = 0. A torsão nos dá a medida do não fechamento do paralelograma formado quando dois vetores infinitesimais são transportados paralelamente um em relação ao outro; espaço-tempo plano: a conexão Γ não é curva, ℛβ μνα(Γ) = 0 (curvatura da conexão métrica-afim). A curvatura mede a rotação que um vetor experimenta ao sofrer transporte paralelo ao longo de um circuito fechado. Por fim, a partir da geometria métrica-afim, definida em termos da conexão (1), é possível determinar outras estruturas geométricas por meio de certas condições na estrutura da conexão. Discutimos a seguir as possíveis estruturas geométricas: Geometria de Riemann-Cartan: esta geometria é obtida da estrutura métrica-afim (1) quando tomamos o tensor de não-metricidade nulo, ou seja Qβμν = 0; mantendo apenas o tensor de curvatura ℛβ μνα(Γ) ≠ 0 e o tensor de torsão Tβμν ≠ 0; Geometria teleparalela: nesta subclasse (plana) a curvatura é nula ℛβ μνα(Γ) = 0, considerando apenas as componentes do tensor de torsão Tβμν ≠ 0 e o tensor de não-metricidade Qβμν ≠ 0. Portanto, nesta geometria temos que o transporte de vetores é independente do caminho percorrido, ou ainda, que os vetores transportados são independentes da trajetória; Geometria livre de torsão: definimos esta geometria ao eliminarmos a torsão Tβμν = 0 em (1), e a conexão fica expressa apenas em termos do tensor de curvatura ℛβ μνα(Γ) ≠ 0 e do tensor de não-metricidade Qβμν ≠ 0; Geometria de Riemann: é obtida ao tomarmos uma dupla restrição nas componentes da conexão métrica-afim: tomamos nulas as componentes do tensor de torsão Tβμν = 0 e do tensor de não-metricidade Qβμν = 0; neste caso, a geometria depende apenas do tensor de curvatura ℛβ μνα(Γ) = R(g) ≠ 0 e temos a conexão de Christoffel Γβμv=μvβ. Geometria de Weitzenböck: nesta geometria (plana) desprezamos os tensores de curvatura ℛβ μνα(Γ) = 0 e o tensor de não-metricidade Qβμν = 0, sendo considerado apenas o tensor de torsão Tβμν ≠ 0. A conexão nesse caso é a de Weitzenböck ΓβWμv=μvβ+Kβμv, a soma dos símbolos de Christoffel com o tensor de contorsão; Geometria teleparalela simétrica: obtém-se esta geometria (plana) ao tomarmos nulas as componentes do tensor de curvatura ℛβ μνα(Γ) = 0 e do tensor de torsão Tβμν = 0, ficando apenas a contribuição do tensor de não-metricidade Qβμν ≠ 0. A conexão é a de Weyl ΓβLμv=μvβ+Lβμv, a soma dos símbolos de Christoffel com o tensor de disformação; Geometria de Minkowski: E finalmente, considerando que todas as componentes da conexão (1) sejam nulas, tensor de curvatura ℛβ μνα(Γ) = 0, tensor de torsão Tβμν = 0 e tensor de não-metricidade Qβμν = 0, teremos o espaço plano de Minkowski. A fim de ilustrar a discussão acima, apresentamos um diagrama em que os casos limites são obtidos a partir da geometria métrica-afim, veja a Figura 1. Figura 1 Subclasses geométricas geradas a partir da conexão métrica-afim. Todos os modelos geométricos apresentados acima têm uma grande diversidade conceitual em relação a aspectos físicos e principalmente matemáticos que se fazem presentes nas teorias gravitacionais alternativas à RG. Neste momento, não cabe ao escopo deste trabalho elaborar os aspectos fundamentais de cada uma dessas formulações gravitacionais. Entretanto, neste manuscrito discutiremos dois modelos gravitacionais alternativos: i) a teoria teleparalela, definida em termos da geometria de Weitzenböck, e ii) a teoria teleparalela simétrica, definida em termos da geometria de Weyl. Nesses dois casos formularemos primeiramente as teorias em termos de uma representação equivalente à RG, e em seguida como elas podem ser estendidas a fim de produzir conteúdo físico além do modelo padrão cosmológico. Vale destacar que as três formulações são fisicamente equivalentes pois possuem as mesmas equações de campo, propagam os mesmos graus de liberdade, e portanto possuem o mesmo espaço de soluções físicas. 2.1. Aspectos conceituais sobre a equivalência entre as teorias gravitacionais Antes de iniciarmos a nossa exposição sobre as teorias gravitacionais equivalentes é interessante abordar alguns aspectos conceituais pertinentes dessas teorias, principalmente em relação à dinâmica de partículas e também a questão do acoplamento da matéria com a gravitação. 2.1.1. Dinâmica de partículas Embora seja fisicamente equivalente à RG, a gravitação teleparalela é, conceitualmente, uma teoria completamente diferente. Temos que na RG, a curvatura é utilizada para geometrizar a interação gravitacional: a geometria substitui o conceito de força gravitacional, e as trajetórias das partículas são determinadas, não por equações de força, mas sim por geodésicas. A teoria teleparalela, por sua vez, atribui gravitação à torsão, mas não por meio da geometrização: a torsão atua como uma força [34]. Portanto, neste caso, temos equações de força, em que a contorsão (ou torsão) faz o papel de força gravitacional.4 É precisamente a propriedade de universalidade da interação gravitacional que garante a existência de descrições fisicamente equivalentes. Portanto, a partir desta observação, curvatura e torsão (ou ainda não-metricidade) são simplemente maneiras alternativas de representar o mesmo campo gravitacional, contribuindo com os mesmos graus de liberdade gravitacionais [34].5 2.1.2. Acoplamento gravitacional da matéria Como a nossa abordagem no estudo da equivalência entre a RG, teoria teleparalela de Weitzenböck, e a teoria teleparalela simétrica, será baseada no formalismo de ação funcional, faz-se pertinente estabelecer alguns pontos relevantes sobre o conteúdo de matéria dessas teorias. De maneira geral, consideraremos que o conteúdo de matéria seja descrito a partir de (8) S m [ g μ ν , ψ ] = ∫ d 4 x ℒ m [ g μ ν , ψ ] em que assumimos que a densidade Lagrangiana ℒm depende apenas nos campos de matéria (representados coletivamente pelo campo ψ) e suas primeiras derivadas. Ademais, a invariância da Lagrangeana (8) por transformações gerais de coordenadas (teorema de Noether) implica na lei de conservação ∇μΘμν = 0, em que Θμν=−2−gδℒmδgμν é o tensor energia-momento que caracteriza a matéria (essa lei de conservação é válida para todas as teorias gravitacionais consideradas aqui [34, 72, 73]). Ademais, o acoplamento dos campos de matéria ψ com a gravitação é obtido a partir do princípio de acoplamento mínimo, em que as derivadas parciais dos campos (matéria) são substituídas por derivadas covariantes (da respectiva geometria), de tal forma que a Lagrangeana (8) dependerá da métrica (ou vierbein) e das suas primeiras derivadas. Portanto, o princípio de acoplamento mínimo dos campos de matéria com a gravitação é o guia norteador em todas as teorias discutidas neste manuscrito (uma vez que elas apresentam o mesmo conteúdo de simetria e geram a mesma lei de conservação para o tensor energia-momento). Entretanto, é importante observar que o ponto chave para o sucesso dessa prescrição é que ela preserve as simetrias de gauge dos campos de matéria [74]. Para o propósito deste manuscrito, que é fornecer um panorama sobre teorias gravitacionais formuladas em geometrias não-riemannianas, acreditamos que seja suficiente estabelecer que o princípio de acoplamento mínimo apresenta critérios suficientes para obter o acoplamento da matéria com a gravitação de maneira consistente. Para os interessados, uma discussão detalhada do acoplamento da matéria com geometrias métrica-afim pode ser encontrada na ref [74]. A seguir, iniciaremos a nossa discussão com uma breve revisão da geometria riemanniana e da RG a fim de estabelecer conceitos matemáticos importantes para o desenvolvimento das teorias alternativas. os principais elementos da geometria métrica-afim, que serve como um pilar para toda a discussão, em que definimos o conceito de conexão métrica-afim, tensor de contorsão e disformação, bem como o tensor de curvatura; inclusive, abordando como é possível definir uma série de estruturas (subclasses) geométricas a partir da conexão métrica-afim; sendo que nas seções seguintes abordamos três dessas subclasses geométricas.
Na seção 3 3. Geometria Riemanniana e a Relatividade Geral A teoria da relatividade geral tem como estrutura fundamental em sua formulação a geometria de Riemann, a partir da qual desenvolveu-se o modelo cosmológico padrão que possui significativa concordância com dados observacionais. Devido ao importante papel que a geometria do espaço-tempo desempenha na descrição da interação gravitacional, iremos revisar alguns aspectos da geometria riemanniana antes de tratarmos outras geometrias a fim de estabelecer modelos alternativos (e/ou equivalentes) à teoria da RG. 3.1. Transporte paralelo e a conexão deChristoffel A fim de definir a noção de curvatura e consequentemente da geometria de Riemann, usaremos a abordagem de leis de transformação de tensores: queremos descrever a variação de tensores sob transformações gerais de coordenadas. Em especial, faremos uso da noção de “transporte paralelo” [4–7] que consiste na comparação de tensores definidos em pontos infinitesimalmente próximos, o tensor original com a sua versão transformada, e que permite determinar a variação das componentes de um tensor ao longo de uma geometria. Podemos ilustrar a noção de transporte paralelo primeiramente na geometria euclideana, em que as componentes de um vetor são mantidas constantes [4, 6]. Se Aβ são as componentes de um vetor no ponto P(x), e Aβ + dAβ as componentes em Q(x + dx) (infinitesimalmente próximo a P), observamos que o transporte paralelo do vetor A do ponto P para Q (esta situação é ilustrada na figura 2) não altera as suas componentes e também que a diferença entre tais vetores é simplesmente o diferencial ordinário dA definido por6 Figura 2 Transporte paralelo sobre uma superfície plana, adaptado de [4]. (9) d A β ( x ) = ∂ x β ∂ x ′ α d A ′ α ( x ′ ) + A ′ α ( x ′ ) ∂ 2 x β ∂ x ′ μ ∂ x ′ α d x ′ μ . Ademais, a relação (9) não corresponde a uma transformação correta deste vetor, a menos que tenhamos transformações lineares, tal que ∂2xβ∂x′μ∂x′α=0. Embora o transporte paralelo do vetor Aβ no sistema cartesiano não produza uma variação nas suas componentes, isso não é verdade para geometrias curvas [4, 6]. Como ilustramos na Figura 3, o transporte paralelo do vetor Aβ da posição P(x) para a posição Q(x + dx) ao longo de uma superfície curva, resultará numa mudança δAβ nas suas componentes, de modo que agora elas são Aβ + δAβ. Desta forma, a diferença entre os vetores na geometria curva não é somente dA, mas é dada por Figura 3 Transporte paralelo sobre uma superfície curva, adaptado de [4]. (10) D A β ( x ) = d A β ( x ) − δ A β ( x ) . Do ponto de vista geométrico, interpretamos a quantidade DAβ como a medida do “desvio” oriundo do transporte paralelo do vetor Aβ [4, 6]. Ademais, como a variação δAβ depende das componentes deste vetor, podemos assumir que esta variação tenha dependência linear nas componentes de Aβ e também no deslocamento dxβ (a fim de respeitar a lei de transformação de vetores), de modo que podemos expressá-la como (11) δ A β ( x ) = − Γ β μ α A α ( x + d x ) d x μ , em que as funções Γβ μα são conhecidas como as componentes da conexão métrica-afim. A forma explícita desses coeficientes depende da escolha do sistema de coordenadas. Na geometria riemanniana a conexão é compatível com a métrica (Qμλσ = ∇μgλσ = 0) e também simétrica (o tensor de torsão é nulo Tβμν = 0), neste caso, a conexão é conhecida como símbolo de Christoffel ou conexão de Levi-Civita. Portanto, a conexão simétrica da geometria de Riemann, descrita em termos da derivada do tensor métrico, é escrita como,7 (12) Γ β μ ν = β μ ν = 1 2 g β α ∂ μ g ν α + ∂ ν g α μ − ∂ α g μ ν . Desta forma, define-se a derivada covariante de um vetor (com respeito à conexão de Christoffel) da seguinte forma, (13) D C β D x μ ≡ 𝒟 μ C β = C β ; μ = ∂ μ C β + β μ α C α , tal que este operador diferencial seja covariante sob transformações de coordenadas, D Aμ=∂xμ∂x′λDA′λ8 e que também preserva os aspectos tensoriais de tensores quando eles são diferenciados. Vale a pena mencionar uma importante propriedade da derivada covariante (13) que nos será bastante útil na discussão da conexão teleparalela: a derivada covariante de um tensor na mesma direção em que ele é transportado paralelamente é sempre zero. Seja u = uα∂α um vetor tangente à curva C. Logo, ao transportarmos paralelamente o vetor vμ ao longo da curva C, encontramos que (14) u λ ∇ λ v μ = 0. Para concluir a caracterização da geometria de Riemann devemos definir o tensor de curvatura. Para isso, usaremos a derivada covariante (13) para introduzirmos o tensor de Riemann (uma medida da curvatura da geometria), essa abordagem é pertinente pois a derivada covariante de um tensor em certa direção mede a mudança na orientação deste tensor ao ser transportado paralelamente ao longo de uma curva. 3.2. A ação de Hilbert-Einstein e as equações de campo O deslocamento paralelo de um vetor, realizado em uma geometria nao-Euclideana, é, em geral, dependente da trajetória. Assim, se deslocamos um vetor ao longo de um circuito fechado, como uma seção de uma esfera, a direção do vetor final não coincidirá com a sua direção inicial. O tensor de Riemann, como veremos, determina justamente as variações de um vetor ao longo do seu deslocamento paralelo em um contorno fechado infinitesimal (que corresponde a uma geodésica9). Ilustramos a interpretação do tensor de Riemann ser uma medida da curvatura (rotação em vetores) de uma geometria na Figura 4. Figura 4 Mudança que um vetor experimenta ao percorrer um circuito fechado sob efeito da curvatura. Dentre as possíveis maneiras de definir o tensor de Riemann destaca-se duas: i) podemos definir a curvatura a partir da seguinte integral de linha ΔAμ=∮ΓδAμ=∮ΓαμβAβdxα=12RανμβAβΔΣαν (em que Σαν é um elemento infinitesimal da superfície S, limitada pela curva Γ), que é uma medida das variações do vetor A ao longo da curva Γ devido à curvatura da geometria [4, 20]; equivalentemente, ii) o tensor de Riemann pode ser obtido equivalentemente a partir do comutador de duas derivadas covariantes, que mede precisamente a rotação que um vetor experimenta a partir do transporte paralelo em um circuito fechado [4–6]. A partir dessas manipulações encontramos (15) R α β μ ν ( g ) = ∂ μ α ν β − ∂ ν α μ β + σ μ σ σ ν β − σ ν σ σ μ β . Vale a pena comentar que embora seja possível escolher um referencial em que localmente a conexão seja nula Γ = 010, as suas derivadas não necessariamente serão nulas ∂Γ ≠ 0, logo implicando que o tensor de curvatura também será não-nulo Rα μνβ ≠ 0. Além do tensor de Riemann, se faz pertinente definir novos tensores na geometria riemanniana: o tensor de Ricci Rμν = Rλμν λ e o escalar de Ricci R = gμνRμν. Essas quantidades têm um importante papel no estudo da interação gravitacional como veremos a seguir a partir da definição da equação de Einstein (16) e também da ação de Hilbert-Einstein (21). O conteúdo físico das equações de Einstein relaciona a geometria do espaço-tempo com o conteúdo de matéria presente na respectiva região do espaço-tempo. A universalidade da interação gravitacional é presente nesta equação de campo, na qual a natureza não “escolhe” nenhuma geometria a priori.11 De fato, é a distribuição de matéria que é responsável por criar dinamicamente a estrutura da geometria. As equações de campo de Einstein para a interação gravitacional são (16) R μ ν − 1 2 g μ ν R = κ Θ μ ν , em que κ = 8πG, sendo G a constante gravitacional, enquanto Θμν é o tensor energia-momento cuja componentes fornecem todos os aspectos do sistema relacionados à distribuição de energia e matéria (em termos de uma descrição de fluidos): densidade de energia, pressão, tensão (viscosidade), etc [6]. Observamos que as equações de Einstein (16) são altamente não lineares no campo métrico gμν, e com derivadas primeiras e segundas do campo gravitacional, o que resulta num sistema complexo de equações diferenciais que somente em casos especiais possuem solução analítica. Os principais casos de interesse são aqueles que apresentam conteúdo de simetria bem definido, por exemplo: o princípio cosmológico, que enuncia que o universo em largas escalas é homogêneo e isotrópico. Essas condições permitem propor um ansatz para o campo gμν, cujas componentes são determinadas a partir das equações de Einstein (16) para uma dada fonte Θμν. Como exemplo, consideremos a descrição da cosmologia moderna a partir do princípio cosmológico, em que a métrica de Friedmann-Lemaitre-Robertson-Walter (FLRW) é o nosso ponto de partida12 (17) g μ ν = diag 1 , − a 2 ( t ) , − a 2 ( t ) , − a 2 ( t ) , em que a(t) é o fator de escala do espaço-tempo de FLRW e contém informação sobre a evolução temporal do Universo. Ademais, assumimos como fonte desta geometria o tensor energia-momento de um fluido perfeito Θμ ν = diag (ρ, −p, −p, −p), sendo ρ e p a densidade e pressão do fluido, respectivamente [6]. Neste contexto, encontramos as seguintes equações de Friedmann (18) ℋ 2 = 8 π G 3 ρ (19) ℋ . = − 4 π G ρ + p , em que ℋ=a˙a é o parâmetro de Hubble. Enquanto que, a partir da conservação (covariante) do tensor energia-momento ∇μΘμ ν = 0, obtemos (20) ρ ˙ + 3 ℋ ρ + p = 0 , sendo a derivada temporal definida como ρ˙=dρ/dt. O conjunto de equações (18), (19) e (20), com uma equação de estado p = wρ (em que w é uma constante) [6], permite a completa caracterização da evolução temporal do nosso universo, desde os seus instantes iniciais (singularidade do big bang) até os tempos atuais (expansão acelerada) [8, 9]. Por fim, podemos obter as equações de campo de Einstein (16) a partir do princípio de mínima ação ao tratarmos o tensor métrico gμν como a variável dinâmica da teoria. Observamos que o escalar de Ricci R envolve apenas derivadas de segunda ordem da métrica, e que pode ser usado para a construção da ação funcional de Hilbert-Einstein para a teoria gravitacional (21) S HE = 1 2 κ ∫ d 4 x − g R ( g ) + S m [ g μ ν , ψ ] em que Sm é a ação para o conteúdo de matéria (representado pelo campo ψ). As equações de Einstein (16) são obtidas ao variarmos a ação invariante (21) em relação à métrica gμν [4, 6, 7]. O método de obter as equações de campo a partir do princípio de mínima ação se mostra bastante útil e interessante no contexto de teorias alternativas à RG, isto se dá porque é possível fazer uso de conceitos de simetria, por exemplo, para construir-se ações funcionais invariantes. Faremos uso dessa abordagem da ação funcional em nosso estudo sobre a teoria teleparalela e teleparalela simétrica, discutindo inicialmente as principais características das geometrias de cada teoria e as suas particularidades, para então apresentar as ações invariantes e as suas respectivas equações de campo. desenvolvemos os principais aspectos da geometria riemanniana e da teoria da relatividade geral, apresentando a noção de transporte paralelo, e as definições de conexão e derivada covariante. A partir dessas definições, introduzimos o tensor de curvatura, as equações de campo de Einstein e também a ação funcional de Hilbert-Einstein.
Em seguida, abordamos a geometria de Weitzenböck e a teoria teleparalela na seção 4 4. Geometria de Weitzenböck e a Teoria Teleparalela Logo após a proposta da Relatividade Geral em 1915, algumas formulações alternativas foram sugeridas, como por exemplo a proposta de H. Weyl em 1918 [30] e posteriormente A. Einstein em 1928 [31], que trabalharam na unificação da gravitação e do eletromagnetismo [32, 33]. Apesar de Weyl não ter obtido êxito na construção da sua teoria unificada, ele introduziu as noções de teorias de gauge na gravitação [13, 34]. As teorias teleparalelas surgem nesse contexto de teorias de gauge, em que o tensor de torsão Tβμν ≠ 0 é responsável pela dinâmica do campo gravitacional e também que o tensor de curvatura da conexão teleparalela é nulo ℛσ αμν (Γ) = 0 (condição de teleparalelismo). Observamos assim que teorias teleparalelas são descritas num espaço-tempo plano. Ademais, vale destacar que o spin dos campos de matéria acopla com o tensor de torsão, logo as geometrias de Einstein-Cartan e a de Weitzenböck são comumente usadas para levar-se em consideração a interação do spin com a gravitação [34, 46]13. Discutiremos a seguir, em particular, como podemos desenvolver uma teoria teleparalela equivalente à RG em termos da geometria de Weitzenböck [34]. 4.1. Geometria de Weitzenböck A fim de apresentarmos a teoria teleparalela gravitacional, precisamos definir alguns aspectos da geometria de Weitzenböck, que é caracterizada em termos do tensor de torsão. Por sua vez, o tensor torsão está relacionado com a parte anti-simétrica da conexão de Weitzenböck, sendo definido como (22) T λ μ ρ ≡ 2 Γ λ W [ μ ρ ] = − T λ ρ μ . Do ponto de vista geométrico, como vimos anteriormente, a torsão se relaciona ao fato de uma trajetória nesta geometria não apresentar um circuito fechado em um plano tangente a uma dada superfície. Na Figura 5 podemos visualizar o transporte paralelo de dois vetores infinitesimalmente em um circuito, mostrando que não conseguimos realizar o fechamento do circuito no plano tangente. Figura 5 O não fechamento do circuito ao transportarmos um vetor paralelamente é mensurado pelo tensor de torsão. Para entender melhor essa questão consideremos os seguintes cenários: na geometria euclideana a soma de dois vetores pode ser visualizada como um paralelograma; por outro lado, no caso de uma geometria não-euclideana isso pode não ser mais verdadeiro. Iniciamos a nossa análise ao realizar o transporte paralelo de vetores infinitesimais: primeiramente, transportamos um vetor Aα ao longo da direção de Bα (resultando no vetor A′α), e comparamos essa situação com o transporte do vetor Bα ao longo da direção de Aα (resultando no vetor B′α) [4, 20]. Essa ilustração é apresentada na Figura 6. Figura 6 Representação geométrica do não fechamento do paralelograma através do transporte paralelo dos vetores infinitesimais Aα e Bα na geometria de Weitzenböck. Ademais, podemos identificar que a soma dos vetores à esquerda do paralelograma é dada por (23) C α = B α + A ′ α = B α + A α − Γ α W μ ν B μ A ν , que corresponde ao deslocamento OR¯, enquanto a soma dos vetores à direita do paralelograma é (24) D α = A α + B ′ α = A α + B α − Γ α W μ ν A μ B ν , e corresponde ao deslocamento OS¯. O fechamento ou não do paralelograma infinitesimal (o deslocamento total quando R = S) nesta geometria é mensurado pela diferença (25) E α = C α − D α , que explicitamente resulta em (26) E α = 2 Γ α W [ μ ν ] A μ B ν = T α μ ν A μ B ν . Observamos claramente que o não fechamento do paralelograma é proporcional ao tensor torsão [20, 34, 35], e que geometricamente corresponde ao fato de que os pontos R e S não se sobrepõem, veja Figura 6. Definiremos a seguir alguns aspectos matemáticos da geometria de Weitzenböck necessários para definir o tensor de torsão e a conexão de Weitzenböck: os campos vierbein. 4.1.1. Propriedades dos campos vierbein Em nossa discussão da relatividade geral na seção 3 descrevemos tensores em termos de bases coordenadas, ou seja, bases que são adaptadas para coordenadas, pois são simples e naturais para se trabalhar. Todavia, podemos definir bases mais gerais que não são deriváveis de sistema de coordenadas, essas são conhecidas como bases não-coordenadas. As estruturas que caracterizam tal formulação são os vetores da base não-coordenada, os campos vierbein ha [6, 34]. A observação anterior sobre bases não-coordenadas é crucial para a caracterização da geometria teleparalela e na definiçaõ da conexão de Weitzenböck. A geometria (teleparalela) de Weitzenböck é definida em termos do formalismo dos campos vierbein ha, que são quantidades dinâmicas no espaço-tempo (i.e. relacionadas com gravitação). O campo vierbein ha é uma base linear que permite relacionar, ponto a ponto, quantidades definidas no espaço-tempo (com coordenadas {xμ}) com quantidades no espaço tangente (com coordenadas {xa}) [6, 34]14. A fim de entender o mapeamento de tensores em diferentes bases no espaço-tempo vamos considerar a seguinte situação: para as coordenadas do espaço-tempo as bases são definidas como (27) { ∂ μ } ≡ ∂ ∂ x μ , { d x μ } , para campos vetoriais e covetoriais, respectivamente [6, 34]. A partir dessas observações podemos escrever que as componentes dos vierbeins estão relacionadas com as bases a partir de15 (28) h a = h a μ d x μ , h a = H a μ ∂ μ . onde introduzimos as componentes dos campos vierbeins ha μ e inversa Ha μ. Ademais, tais componentes satisfazem as condições de ortonormalidade (29) h a μ ( x ) H a v ( x ) = δ μ ν , h b μ ( x ) H a μ ( x ) = δ a b . Por fim, observamos que o campo vierbein é uma base linear que relaciona (ponto a ponto) a métrica do espaço-tempo gμν com a métrica do espaço tangente ηab a partir de (30) g μ ν ( x ) = h a μ ( x ) h b v ( x ) η a b , g μ ν ( x ) = H a μ ( x ) H b v ( x ) η a b , em que ηab é a métrica de Minkowski ηab = diag (1, −1, −1, −1). Naturalmente, as relações entre as métricas (30) são inversíveis (31) η a b = H a μ ( x ) H b v ( x ) g μ ν ( x ) , η a b = h a μ ( x ) h b v ( x ) g μ ν ( x ) . A partir das definições acima temos que o elemento de linha (invariante) pode ser expresso (32) d s 2 = g μ ν ( x ) d x μ d x ν = η a b h a h b , em que ha são definidos em (28). Por fim, vale a pena destacar que um sistema físico pode ser descrito de maneira equivalente a partir do campo métrico gμν(x) ou do campo vierbein ha μ(x). Isto se verifica a partir do fato de que essas quantidades são fisicamente equivalentes, pois contém as mesmas informações, e também possuem 10 componentes independentes, sendo reduzidas a 2 modos de helicidade após a fixação de gauge [34]. Para concluir esta seção, consideraremos um exemplo para ilustrar o cálculo das componentes do campo vierbein (28) para o espaço-tempo de Schwarzschild [5, 34]: um espaço-tempo estático, isotrópico e homogêneo, descrito pelo seguinte elemento de linha (em coordenadas esféricas) (33) d s 2 = f ( r ) d t 2 − g ( r ) d r 2 − r 2 d θ 2 + sin 2 θ d ϕ 2 sendo os fatores f(r) e g(r) determinados a partir das equações de campo [5]. O processo para estabelecer as componentes do campo vierbein é simples, e resulta que a base ortonormal para esta métrica é dada por [5] (34) h 0 = f 1 / 2 d t , h 1 = g 1 / 2 d r , (35) h 2 = r d θ , h 3 = r sin θ d ϕ ou ainda, em notação matricial (36) h a μ = f 1 / 2 0 0 0 0 g 1 / 2 0 0 0 0 r 0 0 0 0 r sin θ . A partir dessas expressões e da condição de ortonormalidade (29) podemos também determinar as componentes da inversa Ha μ[5]. Com essa discussão concluímos a nossa exposição sobre o formalismo dos campos vierbein e usaremos esses elementos para definir a geometria de Weitzenböck. 4.2. Conexão teleparalela de Weitzenböck Caracterizaremos a geometria de Weitzenböck a partir da definição da sua derivada covariante e conexão.16 A fim de estabelecermos tais quantidades seguiremos a abordagem do transporte paralelo de vetores, análogo ao caso da geometria de Riemann. Iniciamos a análise ao aplicarmos o conceito de transporte paralelo no campo ha μ ao longo da geometria Weitzenböck. Assim, ao transportarmos paralelamente o campo ha μ da posição P(x) até uma posição infinitesimalmente próxima Q(x + dx), observamos que as componentes do campo vierbein tornam-se ha μ + δha μ (devido à geometria), enquanto que a mudança do campo entre esses pontos é simplesmente ha μ + dha μ. A derivada covariante é definida como sendo a diferença (37) D W h a μ = d h a μ − δ h a μ , em que DW denota a diferenciação na geometria de Weitzenböck. Ilustramos essa situação na Figura 7. Figura 7 Representação geométrica do transporte paralelo do campo ha μ. Assim como observamos na discussão da geometria riemanniana (vide equação (11)), temos que a variação δha μ da geometria de Weitzenböck também apresenta dependência linear nas componentes de ha μ e do deslocamento dxν. Desta maneira, podemos escrever que a variação das componentes δha μ é descrita por (38) δ h a μ ( x ) = Γ σ W μ ν h a σ ( x + d x ) d x ν , em que ΓσWμv é a conexão de Weitzenböck. Portanto, substituindo o resultado (38) na equação (37), encontramos a derivada covariante de Weitzenböck (39) D h W a μ D x ν ≡ ∇ W v h a μ ≡ ∂ ν h a μ − Γ σ W μ ν h a σ . A geometria de Weitzenböck possui uma importante característica definida em termos da sua conexão: ao considerarmos a conexão de Weitzenböck obtermos uma curvatura ℛ(Γ) identicamente nula. Essa propriedade é conhecida como condição de paralelismo absoluto [34]. Podemos determinar explicitamente a forma funcional da conexão de Weitzenböck ao admitirmos um paralelismo absoluto dos campos vierbeins: isso pode ser obtido ao lembrarmos que a derivada covariante de um tensor na mesma direção em que ele é transportado paralelamente é zero (veja eq. (14)). Impondo essa condição na equação (39), encontramos que (40) ∇ W v h a μ = ∂ ν h α μ − Γ α W μ ν h a σ . ≡ 0. A partir da condição de teleparalelismo (40) é possível escrever a conexão de Weitzenböck em termos do campo vierbein como sendo17 (41) Γ λ W μ ν = H a λ ∂ ν h a μ = − h a μ ∂ ν H a λ . Na verdade, a forma da expressão (41) não é nada surpreendente, pois ela é válida para qualquer tipo de teoria teleparalela, vejamos a seguir a justificativa para essa afirmação. A fim de compreender melhor as implicações da condição de teleparalelismo absoluto podemos explorar algumas propriedades da conexão. Primeiramente, podemos observar que a conexão pode ser localmente eliminada por uma transformação de coordenadas adequada (sistema de coordenadas apropriado), mas isso não implica que a conexão é nula em todos os pontos, porque ela não é um tensor. Vamos formular matematicamente essa observação. A partir da conexão trivial (em que Γ^=0, relacionada com as coordenadas {x^μ}), encontramos que uma mudança nas coordenadas de {x^μ}↦{xμ(x^)} resulta em (42) Γ ν λ ρ = ∂ x ν ∂ x ^ μ ∂ x ^ α ∂ x λ ∂ x ^ β ∂ x ρ Γ ^ μ α β + ∂ x ν ∂ x ^ μ ∂ 2 x ^ μ ∂ x λ ∂ ρ = ∂ x ν ∂ x ^ μ ∂ λ ∂ x ^ μ ∂ x ρ , se identificamos ∂x^μ∂xρ como as componentes de uma matriz Λ, a última relação é escrita como (43) Γ v λ ρ = Λ − 1 v μ ∂ λ Λ μ ρ . A expressão (43) contém uma relação válida para todas as teorias teleparalelas, pois: Se o tensor de curvatura (teleparalelo) é nulo em um sistema de coordenadas, ele continuará sendo zero em qualquer outro sistema de coordenadas; se a curvatura é nula para a conexão trivial Γ^=0, ela também será zero para qualquer outra conexão Γ ≠ 0 obtida a partir de uma mudança de coordenadas em que Γ^=0; Uma vez que a mudança de coordenadas {x^μ}↦{xμ(x^)} é complemente arbitrária e que o tensor de curvatura ℛσ αμν se anula para todas as conexões (43) (independente dos detalhes da transformação), podemos concluir que qualquer conexão que satisfaz (43) é plana. Observamos que a discussão acima também é válida para a relação de Weitzenböck (41), pois temos que os campos de vierbein são definidos a partir de haμ=∂xa∂xμ, logo identificamos a matriz Λ com os vierbein h. Portanto, ao usarmos que a torsão é identificada como a parte antisimétrica da conexão de Weitzenböck e também considerarmos a relação (41), encontramos que o tensor de torsão é definido por (44) T σ μ ν ≡ Γ σ W [ μ ν ] = H σ a ∂ [ μ h a v ] . Com esse último resultado vemos que ao estabelecermos as componentes do campo vierbein é possível calcular diretamente as componentes do tensor de torsão. Por fim, podemos observar que a conexão de Weitzenböck, obtida a partir da conexão métrica-afim(1), é relacionada com os símbolos de Christoffel da RG por meio de (45) Γ β W μ ν ≡ Γ β μ v ( Q = 0 ) = β μ ν + K β μ v em que o tensor de contorsão da torsão de Weitzenböck é dado por (46) K σ μ ν ≡ 1 2 T v σ μ + T μ σ v − T σ μ ν . Com essas quantidades hav,Tσμv,ΓβWμv conseguimos caracterizar completamente a geometria de Weitzenböck. 4.3. A ação da teoria teleparalela e equações de campo Faremos uso do formalismo Lagrangeano a fim de discutir a equivalência entre a teoria teleparalela formulada na geometria de Weitzenböck com a relatividade geral, isto é, mostraremos que essas teorias são fisicamente equivalentes uma vez que são descritas pelas mesmas equações de campo. A fim de desenvolvermos a ação funcional relacionada com a teoria teleparalela, podemos fazer uso de uma combinação irredutível envolvendo o tensor de torsão [18, 34]. Essa combinação tem forma quadrática e paridade par, que nesse caso é escrita como (47) T ≡ c 1 T α μ ν T α μ ν + c 2 T α μ ν T μ α ν + c 3 T α T α sendo {ci} os parâmetros livres (e reais) da teoria que permitem o mapeamento de diversas teorias teleparalelas, enquanto Tμ = Tβ μβ é o traço do tensor de torsão. A ação da teoria teleparalela é escrita em termos do invariante T eq. (47), enquanto as restrições na ação (para a curvatura teleparalela e não-metricidade nulas18) são implementadas por meio de multiplicadores de Lagrange (48) S Tel = − ∫ d 4 x [ h 2 κ T + λ α β μ ν ℛ α β μ ν + Λ α μ ν Q α μ ν ] , em que h=det(haμ)=−g é o determinante do campo vierbein. Essa expressão corresponde a uma estrutura geral da teoria teleparalela. Ademais, para discutirmos a formulação teleparalela equivalente à relatividade geral é interessante considerarmos a conexão de Weitzenböck escrita em termos dos símbolos de Christoffel da RG eq. (45). O tensor de Riemann, nesse caso, pode ser obtido a partir de (7) e possui a seguinte expressão (49) ℛ α β μ ν Γ = R α β μ ν g + T σ μ ν K α σ β + 2 𝒟 [ μ K α ν ] β + 2 K α [ μ | σ K σ v ] β em que Rα βμν(g) corresponde à contribuição dos símbolos de Christoffel (15), enquanto os demais termos correspondem à contribuição do tensor de torsão de Weitzenböck (41). Por sua vez, o tensor de Ricci é escrito como (50) ℛ μ ν ( Γ ) = R μ ν ( g ) + T σ ν α K α σ μ + K ρ ν μ K α α ρ − K ρ α μ K α v ρ + 𝒟 α K α v μ − 𝒟 ν K α α μ . enquanto o escalar de Ricci é (51) ℛ ( Γ ) = R ( g ) + T ∘ + 2 𝒟 μ T μ = R ( g ) + T ∘ − 2 h ∂ μ h T μ , em que definimos o escalar de torsão T∘ como (52) T ∘ = 1 4 T μ ν α T μ ν α + 1 2 T μ ν α T ν μ α − T μ T μ , sendo que o escalar de torsão (52) corresponde à configuração T∘=T(c1=1/4,c2=1/2,c3=−1) da estrutura invariante (47). Ademais, podemos introduzir, por questão de notação, um novo funcional denotado superpotencial (ou conjugado à torsão) por meio de (53) S α μ ν = δ T ∘ δ T α μ ν = 1 2 K α μ ν + δ α ν T μ − δ α μ T v . Desta forma, o escalar de torsão (52) pode ser reescrito com o auxílio do superpotencial na forma (54) T ∘ = S σ μ ν T σ μ ν , que permite expressar o escalar de torsão, e consequentemente a ação teleparalela (equivalente) de uma maneira mais compacta. Ao lembrarmos que esta teoria está sujeita à condição de teleparalelismo absoluto, i.e. ao usarmos a conexão de Weitzenböck (45) obtemos uma curvatura identicamente nula ℛ(Γ) = 0. Logo, encontramos a partir da expressão (51) uma relação entre quantidades dinâmicas da RG e da teoria teleparalela (55) R ( g ) = − T ∘ + 2 h ∂ μ h T μ , essa relação tem papel central para estabelecer a equivalência entre a teoria teleparalela (Weitzenböck) com a RG. Primeiramente, podemos definir a ação da formulação teleparalela da teoria gravitacional (equivalente à RG) como (56) S Tel-Eq = 1 2 κ ∫ d 4 x h T ∘ + S m h a μ , ψ , sendo h o determinante do campo vierbein, T∘ é o escalar de torsão (52) e Sm é a ação de matéria. Observe que o funcional (56) é um caso particular da ação teleparalela (48). A partir da definição da ação funcional para a teoria teleparalela equivalente à RG (56) podemos calcular as respectivas equações de campo ao variarmos a ação com respeito ao campo vierbein, obtendo assim (57) 2 h ∂ ν h S a ν μ − 2 T λ ν a S λ μ ν − 1 2 T ∘ H a μ = κ Θ a μ com o tensor de energia-momento definido de maneira usual como Θaλ=1hδℒmδhaλ. Finalmente, a partir da relação (55) e das definições das ações de Hilbert-Einstein (21) e da teoria teleparalela equivalente (56), observamos que (58) S HE − S Tel-Eq = 1 2 κ ∫ d 4 x h R ( g ) + T ∘ = 1 κ ∫ d 4 x ∂ μ h T μ , ou seja, as ações de Hilbert-Einstein e a da teoria teleparalela de Weitzenböck diferem apenas por uma derivada total, que segundo o teorema de Gauss generalizado é um termo de fronteira que não tem influência nas equações de campo. De fato, a relação (58) indica que as equações de campo das teorias são fisicamente iguais, isto é, para um dado campo métrico/vierbein (por exemplo, FRLW ou Schwarzschild), encontramos as mesmas relações matemáticas e consequentemente conteúdo físico. Essa observação demonstra que a teoria teleparalela (56) é fisicamente equivalente à teoria da relatividade geral (21). Embora tenhamos desenvolvido uma formulação da teoria teleparalela equivalente à RG em (56) é importante enfatizar que a teoria teleparalela geral (48) é uma teoria alternativa à RG, não somente do ponto de vista conceitual, mas também no conteúdo dinâmico. Fato este que levou a um considerável interesse em aplicações cosmológicas [49,50,51, 53,54,55,56]. e a geometria de Weyl e a teoria teleparalela simétrica na seção 5 5. Geometria de Weyl e a Teoria Teleparalela Simétrica Abordaremos agora a terceira formulação geométrica da interação gravitacional, subjeita à condição de teleparalelismo e definida na geometria de Weyl tal que a dinâmica gravitacional é descrita pelo tensor de não-metricidade Qμνα ≡ ∇μgνα ≠ 019 esta abordagem recebe o nome de teoria teleparalela simétrica [20, 57, 58]. A principal característica geométrica do tensor de não-metricidade, além de definir uma classe de conexões que não são compatíveis com a métrica, é que ele é associado à medida da variação da magnitude de vetores sob transporte paralelo [20]. Desenvolveremos nesta seção conceitos do tensor de não-metricidade, da geometria de Weyl e da formulação da teoria teleparalela simétrica e sua equivalência com a RG. 5.1. Geometria de Weyl e o tensor de não-metricidade A classe de geometrias teleparalelas é caracterizada pelo fato de terem curvatura nula ℛα βμν(Γ) = 0 (condição decorrente do teleparalelismo absoluto). Abordaremos nesta seção os fundamentos da teoria teleparalela simétrica definida na geometria de Weyl,20 que tem o tensor de não-metricidade Qμνα ≡ ∇μgνα ≠ 0 [13, 14] como quantidade responsável pela dinâmica gravitacional [20, 57, 58]. O grande diferencial dessa geometria está em torno do tensor de não-metricidade, que expressa a falha da conexão em ser compatível com métricas. Ademais, do ponto de vista geométrico, o tensor de não-metricidade mede quanto a norma de vetores muda ao realizarmos o transporte paralelo deles, ilustramos essa situação na Figura 8. Figura 8 A variação da magnitude de um vetor transportado paralelamente é medida pelo tensor de não-metricidade. A fim de melhor entender esta situação geométrica podemos nos perguntar como a magnitude de um vetor muda ao ser transportado paralelamente ao longo de uma curva C. Podemos responder essa pergunta ao lembrarmos da condição wμ∇μuλ = 0 dada em (14), que corresponde ao fato de que a derivada covariante de um vetor uλ é zero na mesma direção em que ele é transportado paralelamente (w = wμ∂μ é um vetor tangente à curva). Essa última observação nos permite determinar como a magnitude do vetor ∥u∥2 = gμνuμuν varia sob transporte paralelo ao longo da curva C (59) w λ ∇ λ ‖ u ‖ 2 = w λ ∇ λ g μ ν u μ u ν = w λ ∇ λ g μ ν u μ u ν + 2 g μ ν u μ w λ ∇ λ u ν que resulta em (60) w λ ∇ λ u 2 = Q λ μ ν w λ u μ u ν . Dessa forma, vemos claramente que a interpretação geométrica do tensor de não-metricidade é a medida da variação da magnitude de vetores sob transporte paralelo. De maneira geral, podemos dizer que o tensor de não-metricidade mede como objetos que dependem da métrica variam quando eles são transportados paralelamente [20, 58]. 5.2. Conexão e o gauge coincidente Como estamos trabalhando com uma teoria teleparalela, os resultados da seção 4.2 são válidos, e a condição de planitude da conexão Γν λρ = (Λ−1)ν μ ∂λΛμ ρ, dada pela equação (43), pode ser usada. No caso da teoria teleparalela simétrica, temos que o tensor de torsão é nulo e isso resulta em (61) T σ μ ν = Γ σ [ μ ν ] = 0 → ∂ [ μ Λ σ ν ] = 0. Isso implica que as componentes da matriz Λ podem ser escritas como Λμ ρ = ∂ρξμ, em que ξμ é uma coleção de funções arbitrárias das coordenadas {xμ}, i.e. ξ = ξ(x). Portanto, uma conexão plana e livre de torsão é escrita como (62) Γ v λ ρ = ∂ x ν ∂ ξ μ ∂ λ ∂ ρ ξ μ . De fato, a equação (62) estabelece uma importante propriedade de conexões plana e livres de torsão: elas podem ser iguais a zero globalmente a partir de uma escolha apropriada de coordenadas. Portanto, se escolhemos as coordenadas como ξμ = xμ (ou ainda qualquer ξ que seja função linear de {xμ}), a conexão será identicamente nula pois ∂λ∂ρξμ = 0. Essa condição é conhecida como gauge coincidente. Contudo, devemos mencionar que embora o gauge coincidente simplifique (ingenuamente) a análise ao tornar a conexão nula, devemos tomar cuidado com o tipo de métrica que podemos usar [20, 21, 58]. Por exemplo, se escolhemos um elemento de linha do tipo Schwarzchild (33) observamos que teremos componentes da conexão que são escritas em termos de funções trigonométricas que simplesmente não se anulam [6]. De fato, o que o gauge coincidente nos diz é que em um dado sistema de coordenadas em que Γ = 0 a métrica não terá mais uma forma simples e diagonal. De maneira prática, não ganhamos nada ao usarmos o gauge coincidente, pois toda a informação que reside inicialmente na conexão é “transportada” para a métrica pela transformação do gauge coincidente {xμ} → {ξμ (x)} [20, 21, 58]. 5.3. A ação da teoria teleparalela simétrica e equações de campo A fim de discutir a equivalência entre a teoria teleparalela simétrica formulada na geometria de Weyl com a relatividade geral faremos uso do princípio de mínima ação, isto é, mostraremos que essas teorias são fisicamente equivalentes uma vez que elas têm a mesma ação funcional e portanto fornecem as mesmas equações de campo. Primeiramente, vamos construir a ação funcional geral da teoria teleparalela simétrica (sem nos preocuparmos ainda com a questão da equivalência). Para isso, introduzimos uma combinação irredutível contendo o tensor de não-metricidade. Ao impormos que a combinação deve ser quadrática e com paridade par, encontramos a seguinte decomposição (63) ℚ = c 1 4 Q α β γ Q α β γ − c 2 2 Q α β γ Q β α γ − c 3 4 Q α Q α + c 4 Q ˜ α Q ˜ α + c 5 2 Q α Q ˜ α , em que os dois traços independentes do tensor de não-metricidade definem os seguintes vetores, (64) Q α = g μ λ Q α μ λ = Q α λ λ , (65) Q ˜ α = g μ λ Q μ α λ = Q λ α λ . Observamos ainda que o conjunto da forma quadrática (63) tem cinco parâmetros livres e reais {ci}. Formulamos a ação da teoria teleparalela simétrica em termos do invariante ℚ dado em (63), enquanto as restrições na ação (para a curvatura e torsão nulas) são impostas por meio de multiplicadores de Lagrange (66) S TelSim = − ∫ d 4 x − g 2 κ ℚ + λ α β μ ν ℛ α β μ ν + Λ α μ ν T α μ ν . Essa expressão corresponde a uma estrutura geral da teoria teleparalela simétrica, que é uma teoria modificada da relatividade geral. Para estabelecermos a equivalência entre a teoria teleparalela simétrica e a RG devemos encontrar a relação entre o tensor de curvatura da conexão de Weyl com as demais estruturas da geometria. A conexão de Weyl é definida a partir da conexão métrica-afim (1) em que o tensor de torsão é nulo, tal que (67) Γ β L μ ν ≡ Γ β μ v ( T = 0 ) = β μ ν + L β μ v , que é proporcional ao tensor de disformação (68) Γ β μ v = 1 2 Q β μ v − Q ( μ β v ) = Γ β v μ . Neste caso, podemos obter o tensor de Riemann da geometria de Weyl a partir de (7) tal que o respectivo escalar de curvatura é (69) ℛ ( Γ ) = R ( g ) + ℚ ∘ + 2 𝒟 μ Q μ − Q ˜ μ , em que definimos o escalar de não-metricidade ℚ∘ como (70) ℚ ∘ = 1 4 Q α β γ Q α β γ − 1 2 Q α β γ Q β α γ − 1 4 Q α Q α + 1 2 Q α Q ˜ α , onde se faz uso da configuração c1 = c2 = c3 = c5 e c4 = 0 da estrutura invariante (63). Podemos introduzir, por questão de notação, um novo objeto (conjugado à não-metricidade) por meio de (71) P α μ ν = − 1 2 δ ℚ ∘ δ Q α μ ν = 1 2 L α μ ν − 1 4 Q ˜ α g μ ν − Q α g μ ν + δ ( μ α Q ν ) . Desta forma, o escalar de não-metricidade (70) pode ser expresso como (72) ℚ ∘ = P σ μ ν Q σ μ ν . Como veremos a seguir, tais definições permitem escrever a ação funcional da teoria teleparalela simétrica e suas equações de campo em termos de uma estrutura mais compacta. Lembrando que a teoria teleparalela simétrica também é sujeita ao postulado de teleparalelismo absoluto, i.e. ao usarmos a conexão de Weyl (67) obtemos uma curvatura identicamente nula ℛ(Γ) = 0. Desta forma, encontramos a partir da expressão (69) uma relação entre os invariantes dinâmicos da RG e da teoria teleparalela simétrica (73) R ( g ) = − ℚ ∘ − 2 𝒟 μ Q μ − Q ˜ μ = − ℚ ∘ + 2 − g ∂ μ − g Q μ − Q ˜ μ . Definimos a ação da formulação teleparalela simétrica da teoria gravitacional (equivalente à RG) como (74) S TelSim-Eq [ g , ξ ] = ∫ d 4 x − g 2 κ ℚ ∘ [ g , ξ ] + S m g , ψ , sendo Sm a ação de matéria. É importante enfatizar que a notação [g, ξ] destaca que o funcional (74) depende das funções ξ que parametrizam a conexão (62). Ademais, podemos calcular as equações de campo a partir da ação (74), em especial as equações de campo para a métrica são (75) 2 − g ∇ λ − g P λ μ ν + P ( μ | λ σ Q ν ) λ σ − 2 P λ σ ( μ Q λ σ | ν ) − 1 2 g μ ν ℚ ∘ = κ Θ μ ν com o tensor de energia-momento para os campos de matéria definido de maneira usual. Por fim, a partir da condição de teleparalelismo (73) e das definições das ações de Hilbert-Einstein (21) e da teoria teleparalela simétrica equivalente (74), encontramos (76) S HE − S TelSim-Eq = ∫ d 4 x − g 2 κ R ( g ) + ℚ ∘ = ∫ d 4 x κ ∂ μ − g Q μ − Q ˜ μ , ou seja, as ações de Hilbert-Einstein e da teoria teleparalela simétrica diferem por apenas um termo de fronteira que não tem influência nas equações de campo, provando assim a equivalência física entre essas teorias. Obviamente, embora exista uma classe de teoria paralela simétrica equivalente à RG, as demais classses pertencentes à ação (66) podem ser usadas como teorias alternativas à RG, não somente do ponto de vista conceitual, mas também no conteúdo dinâmico, onde fenômenos além do modelo cosmológico padrão podem ser analisados [20, 62–71]. 5.4. Teoria da relatividade geral coincidente Um último aspecto que gostaríamos de abordar sobre a teoria teleparalela simétrica é a sua formulação explícita no gauge coincidente, esta teoria é conhecida como teoria da relatividade geral coincidente [20, 58]. Para formularmos tal teoria, lembremos da conexão (67) (77) Γ β L μ ν = β μ ν + L β μ v . Agora, ao impormos a condição de gauge coincidente ΓL=0 (obtida a partir de (62)), encontramos que (78) L β μ v = − β μ ν . De maneira geral, podemos reescrever o escalar de não-metricidade ℚ∘ eq. (70) em termos do tensor de disformação (79) ℚ ∘ = g μ ν L α α β L β μ ν − L α β μ L β ν α que ainda pode ser simplificada a partir da relação (78), o que implica em (80) ℚ ∘ = g μ ν α α β β μ v − α β μ β v α . A partir da estrutura (80) podemos definir uma ação funcional para a teoria coincidente (81) S RG-C [ g ] = S TelSim-Eq [ g , Γ = 0 ] = 1 2 κ ∫ d 4 x − g × g μ v α α β β μ v − α β μ β v α Na teoria coincidente a ação funcional (81) depende apenas da métrica, uma vez que a conexão de Weyl é nula no gauge coincidente. Ademais, vale mencionar que esta ação coincidente também é conhecida como a ação de Einstein, que difere da ação de Hilbert-Einstein por não possuir derivadas de segunda ordem.21Essa característica se mostra bastante interessante na formulação variacional da teoria gravitacional coincidente pois, devido à ausência de derivadas de segunda ordem na ação, não é necessário incluir o conhecido termo de fronteira de Gibbons-Hawking-York [20, 58]. . Caracterizamos os principais aspectos dessas geometrias a partir dos tensores de torsão e de não-metricidade, respectivamente; além de definir uma ação a partir de um funcional quadrático e com paridade par envolvendo os tensores de torsão e não-metricidade, respectivamente. Em ambos os casos o conceito de paralelismo absoluto tem papel importante para estabelecer, em nível de ação funcional, uma classe de teorias teleparalelas fisicamente equivalentes à relatividade geral.
Por fim, a fim de ilustração, examinamos na seção 6 6. Cosmologia na Teoria f(ℚ∘) É possível generalizar as formulações discutidas ao longo deste trabalho ao nível não-linear. Neste caso, substituimos os escalares invariantes R(g), T∘ e ℚ∘ por funções arbitrárias (82) S f ( R ) = 1 2 κ ∫ d 4 x − g f ( R ) , (83) S f ( T ∘ ) = − 1 2 κ ∫ d 4 x − g f ( T ∘ ) , (84) S f ( ℚ ∘ ) = − 1 2 κ ∫ d 4 x − g f ( ℚ ∘ ) . Modificações da teoria gravitacional com esta estrutura têm como grande motivação a liberdade que se ganha na escolha da função f para explicar fenômenos que não são completamente descritos pela RG ou ainda são além do modelo padrão cosmológico [23, 51, 58], por exemplo, a expansão acelerada do universo, formação de estruturas, ou ainda outros fenômenos que estão relacionadas com a introdução de conteúdos exóticos (energia escura, matéria escura, etc) no conteúdo da fonte do tensor energia-momento Θμν. Ademais, essas extensões não-lineares não são mais equivalentes entre si, pois a equivalência discutida anteriormente (a menos de um termo de fronteira) era válida apenas no regime linear. Naturalmente, essas novas teorias não-lineares possuem seu próprio conteúdo físico, equações de campo e graus de liberdade propagantes. Nesta seção temos como foco a discussão de aspectos cosmológicos da teoria não-linear f(ℚ∘) (84). As suas respectivas equações de campo para a métrica são (85) f ′ ℚ ∘ G μ ν − 1 2 g μ ν f ℚ ∘ − ℚ ∘ f ′ ℚ ∘ + 2 f ″ ℚ ∘ P α μ ν ∂ α ℚ ∘ = κ Θ μ ν sendo Gμν=Rμνg−12gμνRg o tensor de Einstein definido em termos do campo métrico g. Vale enfatizar que na teoria (84) a condição de teleparalelismo foi aplicada sobre a curvatura da conexão teleparalela ℛ(Γ) = 0, tal que os objetos de curvatura Rμν (g) e R(g) na expressão (85) são expressos em termos do tensor de não-metricidade e do invariante ℚ∘, veja a eq. (73). Ademais, é importante destacar que a teoria gravitacional f(ℚ∘) tem as soluções da RG como casos especiais, isso se mostra interessante em aplicações cosmológicas e de física de buracos negros. Em particular, observamos que se f″ℚ∘=0 e f′ℚ∘=cte a expressão (85) reproduz as equações de campo de Einstein com uma constante cosmológica [20, 58, 69]. Por fim, como ilustração da discussão anterior, podemos assumir uma configuração simples em que ℚ∘= ℚ∘0=cte tal que ∂αℚ∘=0 em (85). A partir dessa consideração, as equações de campo (85) assumem a forma (86) G μ ν − 1 2 g μ ν Λ ef = κ Θ ˜ μ ν em que identificamos uma constante cosmológica efetiva e um tensor energia-momento normalizado dados por (87) Λ ef = f ℚ ∘ 0 − ℚ ∘ 0 f ′ ℚ ∘ 0 f ′ ℚ ∘ 0 , (88) Θ ˜ μ ν = 1 f ′ ℚ ∘ 0 Θ μ ν Esses resultados são importantes pois mostram ser possível recuperar algumas das soluções da RG a partir de configurações gerais de ℚ∘ na formulação f(ℚ∘), com f″ℚ∘≠0. A fim de concluir a nossa discussão sobre a teoria f(ℚ∘), vamos abordar a cosmologia neste contexto a partir das equações de Friedmann modificadas [20, 58, 69]. Para isso, consideremos o gauge coincidente (conexão trivial) e a métrica FLRW como ponto de partida (89) Γ α μ ν = 0 , (90) g μ ν = diag N 2 ( t ) , − a 2 ( t ) , − a 2 ( t ) , − a 2 ( t ) em que N(t) e a(t) são a função lapso e o fator de escala do espaço-tempo de FLRW, respectivamente. Para este caso, o escalar de não-metricidade é simplesmente dado por (91) ℚ ∘ = − 6 ℋ 2 N 2 em que ℋ=a˙a é o parâmetro de Hubble. Ademais, a ação (84) pode ser expressa como (92) S f ( ℚ ∘ ) = − 1 2 ∫ d t d 3 x a 3 ( t ) N ( t ) f ( ℚ ∘ ) . Podemos observar explicitamente a presença de uma invariância por reparametrização t → ζ(t) e N(t)→N(t)/ζ˙(t), sendo ζ(t) uma função arbitrária de t. A partir desta simetria, e sem perda de generalidade, podemos fixar a função lapso como N(t) = 1 [58]. Neste contexto, encontramos as seguintes equações de Friedmann (93) − 6 f ′ ℋ 2 − 1 2 f = 8 π G ρ (94) 12 ℋ 2 f ″ + f ′ ℋ . = − 4 π G ρ + p (95) ρ ˙ = − 3 ℋ ρ + p sendo ρ e p a densidade e pressão do fluido, respectivamente. A fim de ilustração, podemos considerar alguns casos de interesse da função f(ℚ∘): o primeiro modelo seria descrito pela função (96) f ( ℚ ∘ ) = ℚ ∘ + λ ℚ ∘ , que representa uma generalização da teoria paralela simétrica (descrita pelo caso em que λ = 0). Ademais, este modelo possui a mesma evolução do background FLRW como na RG, diferenciando-se da RG em nível de perturbações [20, 58, 69]. Outra família de modelos é descrita pela modificação (97) f ℚ ∘ = ℚ ∘ − 6 g λ 2 ℚ ∘ 6 λ 2 γ em que g e γ são parâmetros adimensionais. Observamos que a função (96) é recuperada para o caso em que γ = 1/2, enquanto a teoria teleparalela simétrica é obtida quando γ = 1. Neste caso, encontramos a partir de (97) que a equação de Friedmann modificada (93) é dada por (98) ℋ 2 1 + 1 − 2 γ g ℚ ∘ λ 2 γ − 1 = κ 3 ρ Ao analisarmos o resultado (98) observamos que: no regime em que γ < 1 as correções para a evolução da RG tornam-se relevantes a baixas curvaturas, ou seja, essas correções contribuem para a cosmologia à época tardia; enquanto que para γ > 1 as correções se tornam significativas no regime a altas curvaturas, ou seja contribuem para os estágios iniciais do Universo. Dessa forma, concluímos que modelos f(ℚ∘) nos regimes discutidos acima são candidatos viáveis para a descrição do Universo inicial e tardio em termos de cenários inflacionários alternativos e sem a presença de energia escura, respectivamente. aspectos cosmológicos da teoria não linear , explorando, em especial a sua aplicabilidade em relação à expansão do universo (em épocas iniciais e tardias). Na seção 7 7. mentários Finais É incontestável a importância da geometria na descrição da interação gravitacional. Podemos dizer que a proposta de Einstein em 1915 da teoria da relatividade geral é o marco científico do uso da geometria na formulação de sistemas físicos, bem como as propostas de Einstein, Weyl e também de Kaluza-Klein em suas teorias unificadoras [32, 33]. Buscamos com este trabalho apresentar diferentes estruturas geométricas que permitem a descrição de fenômenos gravitacionais. Neste trabalho abordamos teorias gravitacionais alternativas formuladas em geometrias não-riemannianas mas fisicamente equivalentes à RG, elas são construídas a partir de quantidades geométricas distintas (mas complementares) à curvatura R, a saber, o tensor de torsão T e o tensor de não-metricidade Q. Discutimos inicialmente a geometria métrica-afim que considera todas essas estruturas para a construção da sua conexão métrica-afim. Abordamos também como é possível obter casos particulares de interesse: a teoria teleraparalelade Weitzenböck descrita em termos da geometria de Weitzenböck em termos do tensor de torsão (com Q = 0), e também a teoria teleparalela simétrica descrita na geometria de Weyl em termos do tensor de não-metricidade (com T = 0). Embora a RG seja construída a partir do tensor de curvatura na geometria de Riemann, é possível estabelecer novas formulações, em particular, a abordagem teleparalela que implica que a curvatura métrica-afim é identicamente nula e assim outras quantidades geométricas são responsáveis pela descrição da dinâmica gravitacional. O caso mais célebre (inclusive usado por Weyl e Einstein em suas propostas unificadoras) é a teoria teleparalela, que é formulada em geometria(s) plana(s) (a curvatura teleparalela é nula), sendo descrita pelo tensor de torsão ou em termos do tensor de não-metricidade22. As teorias teleparalelas têm conteúdo geométrico e físico bastante interessantes: É conhecido que o tensor de torsão tem um importante papel na descrição de campos de matéria com spin, uma vez que a torsão é o objeto responsável pela interação gravitacional com o spin; Discutimos com detalhes importantes aspectos do tensor de torsão, inclusive a sua interpretação geométrica como uma medida do não-fechamento de paralelogramas (sob transporte paralelo); No caso do tensor de não-metricidade examinamos a sua interpretação como uma medida da variação da magnitude de vetores (sob transporte paralelo), a definição do gauge coincidente e consequentemente o anulamento da conexão globalmente (para uma escolha apropriada de coordenadas). Para estabelecermos a equivalência das teorias teleparalelas com a RG usamos o princípio de mínima ação: Definimos teorias teleparalelas gerais, primeiramente, em nível de ação funcional em termos do tensor de torsão [não-metricidade] para construir o invariante T eq. (47) [invariante ℚ eq. (63)]. A equivalência é estabelecida ao usarmos a condição de teleparalelismo absoluto na ação funcional (seja em termos da conexão de Weitzenböck ou da conexão de Weyl); tal que podemos estabelecer uma teoria teleparalela em termos do invariante T∘ eq. (52) [teleparalela simétrica, em termos do invariante ℚ∘ eq. (70)] que é fisicamente equivalente à teoria da RG. Para concluirmos, escolhemos uma breve discussão da teoria não-linear f(ℚ∘) a fim de elucidarmos alguns aspectos de como podemos identificar, por exemplo, uma descrição efetiva da constante cosmológica por uma teoria f(ℚ∘)∝ℚ∘+λℚ∘. Ou ainda, em termos da estrutura fℚ∘∝ ℚ∘+gℚ∘γ, que pode ter impacto nos estágios iniciais do universo a altas curvaturas (γ > 1) ou ainda na época tardia do universo a baixas curvaturas (γ < 1) e sem fazer uso de mecanismos e/ou conteúdo exótico de fonte no tensor energia-momento. Esperamos com essa exposição motivar o estudo de teoria gravitacionais alternativas (mas equivalentes em certo regime) à RG, mas definidas a partir de um ponto de vista e conceitos geométricos diferenciados (geometrias não-riemannianas), permitindo a abordagem de problemas cosmológicos que o modelo padrão não consegue descrever de maneira satisfatória. apresentamos nossos comentários finais.
2. Conexão Métrica-afim e Subclasses Geométricas
A interação gravitacional em escalas do sistema solar e cosmológicas é descrita pela Relatividade Geral (RG), sendo que dados observacionais com alta precisão têm colaborado que o modelo cosmológico padrão, baseado na RG, é de fato a teoria gravitacional. Contudo, certos fenômenos e dados observacionais indicam a incompleteza do modelo cosmológico padrão. Naturalmente, é interessante explorar modelos geométricos que possuem representações equivalentes à teoria de Einstein mas que podem fornecer maiores detalhes sobre tais discrepâncias.
A relatividade geral é formulada em termos de uma geometria riemanniana, descrita a partir de uma conexão de Christoffel (12) e do tensor de curvatura (15). Entretanto, a partir da universalidade da interação gravitacional, podemos formular representações fisicamente equivalentes à teoria da RG2 2 As equações de campo e seu conteúdo físico são idênticos nessa classe de teorias. ; por exemplo, a partir da geometria de Weitzenböck que dá origem à teoria teleparalela [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173., 35[35] M. Hohmann, Lect. Notes Phys. 1017, 145 (2023).], descrita a partir da conexão de Weitzenböck e do tensor de torsão [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 44[44] D.W. Sciama, Rev. Mod. Phys. 36, 463 (1964).–48[48] E. Cartan, Annales Sci. Ecole Norm. Sup. 41, 1 (1924).], ou ainda a partir da geometria de Weyl que dá origem à teoria teleparalela simétrica [57[57] J.M. Nester e H.J. Yo, Chin. J. Phys. 37, 113 (1999)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).], descrita a partir da conexão de Weyl e do tensor de não-metricidade [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952)., 30[30] H. Weyl, em: The Principle of Relativity, editado por H.A. Lorentz, A. Einstein, H. Minkowski e H. Weyl (Dover Books, New York, 1952).].
É importante mencionar que, embora seja possível formular essas teorias equivalentemente à teoria da RG, essas formulações alternativas carregam novos pontos de vista conceituais e permitem abordar fenômenos que a RG não consegue descrever de maneira satisfatória. Ademais, tais representações alternativas podem ser formuladas a não reproduzir necessariamente a RG, e portanto podem ser tratadas como teorias gravitacionais além do modelo padrão cosmológico (maiores detalhes serão discutidos na seção 6 6. Cosmologia na Teoria f(ℚ∘) É possível generalizar as formulações discutidas ao longo deste trabalho ao nível não-linear. Neste caso, substituimos os escalares invariantes R(g), T∘ e ℚ∘ por funções arbitrárias (82) S f ( R ) = 1 2 κ ∫ d 4 x − g f ( R ) , (83) S f ( T ∘ ) = − 1 2 κ ∫ d 4 x − g f ( T ∘ ) , (84) S f ( ℚ ∘ ) = − 1 2 κ ∫ d 4 x − g f ( ℚ ∘ ) . Modificações da teoria gravitacional com esta estrutura têm como grande motivação a liberdade que se ganha na escolha da função f para explicar fenômenos que não são completamente descritos pela RG ou ainda são além do modelo padrão cosmológico [23, 51, 58], por exemplo, a expansão acelerada do universo, formação de estruturas, ou ainda outros fenômenos que estão relacionadas com a introdução de conteúdos exóticos (energia escura, matéria escura, etc) no conteúdo da fonte do tensor energia-momento Θμν. Ademais, essas extensões não-lineares não são mais equivalentes entre si, pois a equivalência discutida anteriormente (a menos de um termo de fronteira) era válida apenas no regime linear. Naturalmente, essas novas teorias não-lineares possuem seu próprio conteúdo físico, equações de campo e graus de liberdade propagantes. Nesta seção temos como foco a discussão de aspectos cosmológicos da teoria não-linear f(ℚ∘) (84). As suas respectivas equações de campo para a métrica são (85) f ′ ℚ ∘ G μ ν − 1 2 g μ ν f ℚ ∘ − ℚ ∘ f ′ ℚ ∘ + 2 f ″ ℚ ∘ P α μ ν ∂ α ℚ ∘ = κ Θ μ ν sendo Gμν=Rμνg−12gμνRg o tensor de Einstein definido em termos do campo métrico g. Vale enfatizar que na teoria (84) a condição de teleparalelismo foi aplicada sobre a curvatura da conexão teleparalela ℛ(Γ) = 0, tal que os objetos de curvatura Rμν (g) e R(g) na expressão (85) são expressos em termos do tensor de não-metricidade e do invariante ℚ∘, veja a eq. (73). Ademais, é importante destacar que a teoria gravitacional f(ℚ∘) tem as soluções da RG como casos especiais, isso se mostra interessante em aplicações cosmológicas e de física de buracos negros. Em particular, observamos que se f″ℚ∘=0 e f′ℚ∘=cte a expressão (85) reproduz as equações de campo de Einstein com uma constante cosmológica [20, 58, 69]. Por fim, como ilustração da discussão anterior, podemos assumir uma configuração simples em que ℚ∘= ℚ∘0=cte tal que ∂αℚ∘=0 em (85). A partir dessa consideração, as equações de campo (85) assumem a forma (86) G μ ν − 1 2 g μ ν Λ ef = κ Θ ˜ μ ν em que identificamos uma constante cosmológica efetiva e um tensor energia-momento normalizado dados por (87) Λ ef = f ℚ ∘ 0 − ℚ ∘ 0 f ′ ℚ ∘ 0 f ′ ℚ ∘ 0 , (88) Θ ˜ μ ν = 1 f ′ ℚ ∘ 0 Θ μ ν Esses resultados são importantes pois mostram ser possível recuperar algumas das soluções da RG a partir de configurações gerais de ℚ∘ na formulação f(ℚ∘), com f″ℚ∘≠0. A fim de concluir a nossa discussão sobre a teoria f(ℚ∘), vamos abordar a cosmologia neste contexto a partir das equações de Friedmann modificadas [20, 58, 69]. Para isso, consideremos o gauge coincidente (conexão trivial) e a métrica FLRW como ponto de partida (89) Γ α μ ν = 0 , (90) g μ ν = diag N 2 ( t ) , − a 2 ( t ) , − a 2 ( t ) , − a 2 ( t ) em que N(t) e a(t) são a função lapso e o fator de escala do espaço-tempo de FLRW, respectivamente. Para este caso, o escalar de não-metricidade é simplesmente dado por (91) ℚ ∘ = − 6 ℋ 2 N 2 em que ℋ=a˙a é o parâmetro de Hubble. Ademais, a ação (84) pode ser expressa como (92) S f ( ℚ ∘ ) = − 1 2 ∫ d t d 3 x a 3 ( t ) N ( t ) f ( ℚ ∘ ) . Podemos observar explicitamente a presença de uma invariância por reparametrização t → ζ(t) e N(t)→N(t)/ζ˙(t), sendo ζ(t) uma função arbitrária de t. A partir desta simetria, e sem perda de generalidade, podemos fixar a função lapso como N(t) = 1 [58]. Neste contexto, encontramos as seguintes equações de Friedmann (93) − 6 f ′ ℋ 2 − 1 2 f = 8 π G ρ (94) 12 ℋ 2 f ″ + f ′ ℋ . = − 4 π G ρ + p (95) ρ ˙ = − 3 ℋ ρ + p sendo ρ e p a densidade e pressão do fluido, respectivamente. A fim de ilustração, podemos considerar alguns casos de interesse da função f(ℚ∘): o primeiro modelo seria descrito pela função (96) f ( ℚ ∘ ) = ℚ ∘ + λ ℚ ∘ , que representa uma generalização da teoria paralela simétrica (descrita pelo caso em que λ = 0). Ademais, este modelo possui a mesma evolução do background FLRW como na RG, diferenciando-se da RG em nível de perturbações [20, 58, 69]. Outra família de modelos é descrita pela modificação (97) f ℚ ∘ = ℚ ∘ − 6 g λ 2 ℚ ∘ 6 λ 2 γ em que g e γ são parâmetros adimensionais. Observamos que a função (96) é recuperada para o caso em que γ = 1/2, enquanto a teoria teleparalela simétrica é obtida quando γ = 1. Neste caso, encontramos a partir de (97) que a equação de Friedmann modificada (93) é dada por (98) ℋ 2 1 + 1 − 2 γ g ℚ ∘ λ 2 γ − 1 = κ 3 ρ Ao analisarmos o resultado (98) observamos que: no regime em que γ < 1 as correções para a evolução da RG tornam-se relevantes a baixas curvaturas, ou seja, essas correções contribuem para a cosmologia à época tardia; enquanto que para γ > 1 as correções se tornam significativas no regime a altas curvaturas, ou seja contribuem para os estágios iniciais do Universo. Dessa forma, concluímos que modelos f(ℚ∘) nos regimes discutidos acima são candidatos viáveis para a descrição do Universo inicial e tardio em termos de cenários inflacionários alternativos e sem a presença de energia escura, respectivamente. ).
A fim de discutir detalhadamente cada uma das teorias gravitacionais elencadas acima, apresentaremos inicialmente a conhecida geometria métrica-afim [17[17] F.W. Hehl, J.D. McCrea, E.W. Mielke e Y. Ne’eman, Phys. Rept. 258, 1 (1995)., 18[18] M. Blagojevic, Gravitation and Gauge Symmetries (CRC Press, Londres, 2001)., 20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024).], em que a curvatura, torsão e não-metricidade contribuem para a dinâmica do campo gravitacional. A conexão métrica-afim possui a seguinte representação em termos de três quantidades3 3 A dedução detalhada desta conexão é apresentada no Apêndice A.
o primeiro termo é compatível com a métrica e denota o símbolo de Christoffel,
que permite definir o tensor de curvatura de Riemann R(g) e a geometria riemanniana [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).–7[7] Ray D’Inverno, Introducing Einstein’s Relativity (Oxford University Press, Oxford, 1992).]. Por sua vez, temos o termo da contorsão Kβ μν,
que é definida em termos do tensor de torsão
que é a componente anti-simétrica da conexão, além de ser responsável por definir a geometria de Weitzenböck [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.]. Por fim, o último termo da expressão (1) é o tensor de disformação Lβ μν,
que é definido em termos do tensor de não-metricidade
sendo que a derivada covariante ∇μ é descrita em termos da conexão métrica-afim (1). A geometria de Weyl é construída a partir do tensor de não-metricidade [57[57] J.M. Nester e H.J. Yo, Chin. J. Phys. 37, 113 (1999)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).].
Ademais, podemos calcular a curvatura relacionada com a conexão métrica-afim (1)
em que o tensor Ωσ νβ é a soma dos tensores contorsão e disformação Ωσ νβ = Kσ νβ + Lσ νβ, e também que D é a derivada covariante em relação à conexão de Christoffel (13). De fato, a expressão da curvatura (7) será bastante útil em nossa análise das teorias gravitacionais teleparalelas, inclusive para estabelecer a equivalência delas com a RG.
Essas quantidades geométricas permitem a caracterização de um espaço-tempo nos seguintes casos:
-
espaço-tempo métrico: a conexão Γ é compatível com a métrica, Qβμν = 0. A não-metricidade mede quanto o comprimento de vetores muda ao realizarmos o transporte paralelo deles;
-
espaço-tempo sem torsão: a conexão Γ é simétrica, Tβμν = 0. A torsão nos dá a medida do não fechamento do paralelograma formado quando dois vetores infinitesimais são transportados paralelamente um em relação ao outro;
-
espaço-tempo plano: a conexão Γ não é curva, ℛβ μνα(Γ) = 0 (curvatura da conexão métrica-afim). A curvatura mede a rotação que um vetor experimenta ao sofrer transporte paralelo ao longo de um circuito fechado.
Por fim, a partir da geometria métrica-afim, definida em termos da conexão (1), é possível determinar outras estruturas geométricas por meio de certas condições na estrutura da conexão. Discutimos a seguir as possíveis estruturas geométricas:
-
Geometria de Riemann-Cartan: esta geometria é obtida da estrutura métrica-afim (1) quando tomamos o tensor de não-metricidade nulo, ou seja Qβμν = 0; mantendo apenas o tensor de curvatura ℛβ μνα(Γ) ≠ 0 e o tensor de torsão Tβμν ≠ 0;
-
Geometria teleparalela: nesta subclasse (plana) a curvatura é nula ℛβ μνα(Γ) = 0, considerando apenas as componentes do tensor de torsão Tβμν ≠ 0 e o tensor de não-metricidade Qβμν ≠ 0. Portanto, nesta geometria temos que o transporte de vetores é independente do caminho percorrido, ou ainda, que os vetores transportados são independentes da trajetória;
-
Geometria livre de torsão: definimos esta geometria ao eliminarmos a torsão Tβμν = 0 em (1), e a conexão fica expressa apenas em termos do tensor de curvatura ℛβ μνα(Γ) ≠ 0 e do tensor de não-metricidade Qβμν ≠ 0;
-
Geometria de Riemann: é obtida ao tomarmos uma dupla restrição nas componentes da conexão métrica-afim: tomamos nulas as componentes do tensor de torsão Tβμν = 0 e do tensor de não-metricidade Qβμν = 0; neste caso, a geometria depende apenas do tensor de curvatura ℛβ μνα(Γ) = R(g) ≠ 0 e temos a conexão de Christoffel .
-
Geometria de Weitzenböck: nesta geometria (plana) desprezamos os tensores de curvatura ℛβ μνα(Γ) = 0 e o tensor de não-metricidade Qβμν = 0, sendo considerado apenas o tensor de torsão Tβμν ≠ 0. A conexão nesse caso é a de Weitzenböck , a soma dos símbolos de Christoffel com o tensor de contorsão;
-
Geometria teleparalela simétrica: obtém-se esta geometria (plana) ao tomarmos nulas as componentes do tensor de curvatura ℛβ μνα(Γ) = 0 e do tensor de torsão Tβμν = 0, ficando apenas a contribuição do tensor de não-metricidade Qβμν ≠ 0. A conexão é a de Weyl , a soma dos símbolos de Christoffel com o tensor de disformação;
-
Geometria de Minkowski: E finalmente, considerando que todas as componentes da conexão (1) sejam nulas, tensor de curvatura ℛβ μνα(Γ) = 0, tensor de torsão Tβμν = 0 e tensor de não-metricidade Qβμν = 0, teremos o espaço plano de Minkowski.
A fim de ilustrar a discussão acima, apresentamos um diagrama em que os casos limites são obtidos a partir da geometria métrica-afim, veja a Figura 1.
Todos os modelos geométricos apresentados acima têm uma grande diversidade conceitual em relação a aspectos físicos e principalmente matemáticos que se fazem presentes nas teorias gravitacionais alternativas à RG. Neste momento, não cabe ao escopo deste trabalho elaborar os aspectos fundamentais de cada uma dessas formulações gravitacionais. Entretanto, neste manuscrito discutiremos dois modelos gravitacionais alternativos: i) a teoria teleparalela, definida em termos da geometria de Weitzenböck, e ii) a teoria teleparalela simétrica, definida em termos da geometria de Weyl. Nesses dois casos formularemos primeiramente as teorias em termos de uma representação equivalente à RG, e em seguida como elas podem ser estendidas a fim de produzir conteúdo físico além do modelo padrão cosmológico. Vale destacar que as três formulações são fisicamente equivalentes pois possuem as mesmas equações de campo, propagam os mesmos graus de liberdade, e portanto possuem o mesmo espaço de soluções físicas.
2.1. Aspectos conceituais sobre a equivalência entre as teorias gravitacionais
Antes de iniciarmos a nossa exposição sobre as teorias gravitacionais equivalentes é interessante abordar alguns aspectos conceituais pertinentes dessas teorias, principalmente em relação à dinâmica de partículas e também a questão do acoplamento da matéria com a gravitação.
2.1.1. Dinâmica de partículas
Embora seja fisicamente equivalente à RG, a gravitação teleparalela é, conceitualmente, uma teoria completamente diferente. Temos que na RG, a curvatura é utilizada para geometrizar a interação gravitacional: a geometria substitui o conceito de força gravitacional, e as trajetórias das partículas são determinadas, não por equações de força, mas sim por geodésicas.
A teoria teleparalela, por sua vez, atribui gravitação à torsão, mas não por meio da geometrização: a torsão atua como uma força [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.]. Portanto, neste caso, temos equações de força, em que a contorsão (ou torsão) faz o papel de força gravitacional.4 4 Por sua vez, no caso da teoria teleparalela simétrica podemos definir geodésicas [72].
É precisamente a propriedade de universalidade da interação gravitacional que garante a existência de descrições fisicamente equivalentes.
Portanto, a partir desta observação, curvatura e torsão (ou ainda não-metricidade) são simplemente maneiras alternativas de representar o mesmo campo gravitacional, contribuindo com os mesmos graus de liberdade gravitacionais [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].5 5 Como uma discussão detalhada da dinâmica de partículas na teoria teleparalela está além da proposta deste manuscrito, recomendamos aos interessados o estudo da ref. [34], que possui extensa discussão das diferenças conceituais entre RG e a teoria teleparalela.
2.1.2. Acoplamento gravitacional da matéria
Como a nossa abordagem no estudo da equivalência entre a RG, teoria teleparalela de Weitzenböck, e a teoria teleparalela simétrica, será baseada no formalismo de ação funcional, faz-se pertinente estabelecer alguns pontos relevantes sobre o conteúdo de matéria dessas teorias.
De maneira geral, consideraremos que o conteúdo de matéria seja descrito a partir de
em que assumimos que a densidade Lagrangiana ℒm depende apenas nos campos de matéria (representados coletivamente pelo campo ψ) e suas primeiras derivadas. Ademais, a invariância da Lagrangeana (8) por transformações gerais de coordenadas (teorema de Noether) implica na lei de conservação ∇μΘμν = 0, em que é o tensor energia-momento que caracteriza a matéria (essa lei de conservação é válida para todas as teorias gravitacionais consideradas aqui [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173., 72[72] S. Capozziello, M. Capriolo e S. Nojiri, Phys. Lett. B 850, 138510 (2024)., 73[73] S. Capozziello, M. Capriolo e M. Transirico, Int. J. Geom. Meth. Mod. Phys. 15, 1850164 (2018).]).
Ademais, o acoplamento dos campos de matéria ψ com a gravitação é obtido a partir do princípio de acoplamento mínimo, em que as derivadas parciais dos campos (matéria) são substituídas por derivadas covariantes (da respectiva geometria), de tal forma que a Lagrangeana (8[8] B. Ryden, Introduction to Cosmology (Cambridge University Press, Cambridge, 2016), 2Â ed.) dependerá da métrica (ou vierbein) e das suas primeiras derivadas.
Portanto, o princípio de acoplamento mínimo dos campos de matéria com a gravitação é o guia norteador em todas as teorias discutidas neste manuscrito (uma vez que elas apresentam o mesmo conteúdo de simetria e geram a mesma lei de conservação para o tensor energia-momento). Entretanto, é importante observar que o ponto chave para o sucesso dessa prescrição é que ela preserve as simetrias de gauge dos campos de matéria [74[74] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Class. Quant. Grav. 37, 195013 (2020).].
Para o propósito deste manuscrito, que é fornecer um panorama sobre teorias gravitacionais formuladas em geometrias não-riemannianas, acreditamos que seja suficiente estabelecer que o princípio de acoplamento mínimo apresenta critérios suficientes para obter o acoplamento da matéria com a gravitação de maneira consistente. Para os interessados, uma discussão detalhada do acoplamento da matéria com geometrias métrica-afim pode ser encontrada na ref [74[74] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Class. Quant. Grav. 37, 195013 (2020).].
A seguir, iniciaremos a nossa discussão com uma breve revisão da geometria riemanniana e da RG a fim de estabelecer conceitos matemáticos importantes para o desenvolvimento das teorias alternativas.
3. Geometria Riemanniana e a Relatividade Geral
A teoria da relatividade geral tem como estrutura fundamental em sua formulação a geometria de Riemann, a partir da qual desenvolveu-se o modelo cosmológico padrão que possui significativa concordância com dados observacionais. Devido ao importante papel que a geometria do espaço-tempo desempenha na descrição da interação gravitacional, iremos revisar alguns aspectos da geometria riemanniana antes de tratarmos outras geometrias a fim de estabelecer modelos alternativos (e/ou equivalentes) à teoria da RG.
3.1. Transporte paralelo e a conexão deChristoffel
A fim de definir a noção de curvatura e consequentemente da geometria de Riemann, usaremos a abordagem de leis de transformação de tensores: queremos descrever a variação de tensores sob transformações gerais de coordenadas. Em especial, faremos uso da noção de “transporte paralelo” [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).–7[7] Ray D’Inverno, Introducing Einstein’s Relativity (Oxford University Press, Oxford, 1992).] que consiste na comparação de tensores definidos em pontos infinitesimalmente próximos, o tensor original com a sua versão transformada, e que permite determinar a variação das componentes de um tensor ao longo de uma geometria.
Podemos ilustrar a noção de transporte paralelo primeiramente na geometria euclideana, em que as componentes de um vetor são mantidas constantes [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).]. Se Aβ são as componentes de um vetor no ponto P(x), e Aβ + dAβ as componentes em Q(x + dx) (infinitesimalmente próximo a P), observamos que o transporte paralelo do vetor A do ponto P para Q (esta situação é ilustrada na figura 2) não altera as suas componentes e também que a diferença entre tais vetores é simplesmente o diferencial ordinário dA definido por6 6 Esta relação pode ser obtida a partir da diferenciação direta da lei de transformação de vetores contravariantes Aμ(x)=∂xμ∂x′νA′ν(x′).
Transporte paralelo sobre uma superfície plana, adaptado de [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).].
Ademais, a relação (9) não corresponde a uma transformação correta deste vetor, a menos que tenhamos transformações lineares, tal que .
Embora o transporte paralelo do vetor Aβ no sistema cartesiano não produza uma variação nas suas componentes, isso não é verdade para geometrias curvas [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).]. Como ilustramos na Figura 3, o transporte paralelo do vetor Aβ da posição P(x) para a posição Q(x + dx) ao longo de uma superfície curva, resultará numa mudança δAβ nas suas componentes, de modo que agora elas são Aβ + δAβ. Desta forma, a diferença entre os vetores na geometria curva não é somente dA, mas é dada por
Transporte paralelo sobre uma superfície curva, adaptado de [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).].
Do ponto de vista geométrico, interpretamos a quantidade DAβ como a medida do “desvio” oriundo do transporte paralelo do vetor Aβ [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).].
Ademais, como a variação δAβ depende das componentes deste vetor, podemos assumir que esta variação tenha dependência linear nas componentes de Aβ e também no deslocamento dxβ (a fim de respeitar a lei de transformação de vetores), de modo que podemos expressá-la como
em que as funções Γβ μα são conhecidas como as componentes da conexão métrica-afim. A forma explícita desses coeficientes depende da escolha do sistema de coordenadas.
Na geometria riemanniana a conexão é compatível com a métrica (Qμλσ = ∇μgλσ = 0) e também simétrica (o tensor de torsão é nulo Tβμν = 0), neste caso, a conexão é conhecida como símbolo de Christoffel ou conexão de Levi-Civita. Portanto, a conexão simétrica da geometria de Riemann, descrita em termos da derivada do tensor métrico, é escrita como,7 7 Podemos citar duas maneiras para determinar a forma explícita de μvβ: i) a análise da geodésica de partículas em uma superfície curva, e ii) da identidade ∇μgλσ −∇λgσμ −∇σgμλ = 0. Ademais, usaremos a segunda abordagem no apêndice A para determinar a expressão geral da conexão métrica-afim (1), em que a conexão não é compatível com a métrica Qμλσ = ∇μgλσ ≠ 0 e também não é simétrica Tβμν ≠ 0.
Desta forma, define-se a derivada covariante de um vetor (com respeito à conexão de Christoffel) da seguinte forma,
tal que este operador diferencial seja covariante sob transformações de coordenadas, 8 8 Para que essa lei de transformação seja verificada é necessário que a conexão tenha o seguinte comportamento Γ′vλρ=∂x′ν∂xμ∂xα∂x′λ∂xβ∂x′ρΓμαβ+∂x′ν∂xμ∂2xμ∂x′λ∂x′ρ, caracterizando a sua natureza como um pseudo-tensor. e que também preserva os aspectos tensoriais de tensores quando eles são diferenciados.
Vale a pena mencionar uma importante propriedade da derivada covariante (13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952).) que nos será bastante útil na discussão da conexão teleparalela: a derivada covariante de um tensor na mesma direção em que ele é transportado paralelamente é sempre zero. Seja u = uα∂α um vetor tangente à curva C. Logo, ao transportarmos paralelamente o vetor vμ ao longo da curva C, encontramos que
Para concluir a caracterização da geometria de Riemann devemos definir o tensor de curvatura. Para isso, usaremos a derivada covariante (13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952).) para introduzirmos o tensor de Riemann (uma medida da curvatura da geometria), essa abordagem é pertinente pois a derivada covariante de um tensor em certa direção mede a mudança na orientação deste tensor ao ser transportado paralelamente ao longo de uma curva.
3.2. A ação de Hilbert-Einstein e as equações de campo
O deslocamento paralelo de um vetor, realizado em uma geometria nao-Euclideana, é, em geral, dependente da trajetória. Assim, se deslocamos um vetor ao longo de um circuito fechado, como uma seção de uma esfera, a direção do vetor final não coincidirá com a sua direção inicial. O tensor de Riemann, como veremos, determina justamente as variações de um vetor ao longo do seu deslocamento paralelo em um contorno fechado infinitesimal (que corresponde a uma geodésica9 9 A equação da geodésica corresponde à equação de movimento de uma partícula, obtida a partir da minimização da trajetória entre dois pontos do espaço-tempo [4–6]. ). Ilustramos a interpretação do tensor de Riemann ser uma medida da curvatura (rotação em vetores) de uma geometria na Figura 4.
Dentre as possíveis maneiras de definir o tensor de Riemann destaca-se duas: i) podemos definir a curvatura a partir da seguinte integral de linha (em que Σαν é um elemento infinitesimal da superfície S, limitada pela curva Γ), que é uma medida das variações do vetor A ao longo da curva Γ devido à curvatura da geometria [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024).]; equivalentemente, ii) o tensor de Riemann pode ser obtido equivalentemente a partir do comutador de duas derivadas covariantes, que mede precisamente a rotação que um vetor experimenta a partir do transporte paralelo em um circuito fechado [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).–6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).].
A partir dessas manipulações encontramos
Vale a pena comentar que embora seja possível escolher um referencial em que localmente a conexão seja nula Γ = 010 10 É possível escolher um referencial (coordenadas adequadas) em que as componentes da conexão sejam nulas; todavia, devido ao caráter pseudo-tensorial da conexão as suas componentes não serão necessariamente nulas em outros referenciais. , as suas derivadas não necessariamente serão nulas ∂Γ ≠ 0, logo implicando que o tensor de curvatura também será não-nulo Rα μνβ ≠ 0.
Além do tensor de Riemann, se faz pertinente definir novos tensores na geometria riemanniana: o tensor de Ricci Rμν = Rλμν λ e o escalar de Ricci R = gμνRμν. Essas quantidades têm um importante papel no estudo da interação gravitacional como veremos a seguir a partir da definição da equação de Einstein (16) e também da ação de Hilbert-Einstein (21).
O conteúdo físico das equações de Einstein relaciona a geometria do espaço-tempo com o conteúdo de matéria presente na respectiva região do espaço-tempo. A universalidade da interação gravitacional é presente nesta equação de campo, na qual a natureza não “escolhe” nenhuma geometria a priori.11 11 A não ser alguns ansatz iniciais, por exemplo, isotropia e homogeneidade da geometria. De fato, é a distribuição de matéria que é responsável por criar dinamicamente a estrutura da geometria. As equações de campo de Einstein para a interação gravitacional são
em que κ = 8πG, sendo G a constante gravitacional, enquanto Θμν é o tensor energia-momento cuja componentes fornecem todos os aspectos do sistema relacionados à distribuição de energia e matéria (em termos de uma descrição de fluidos): densidade de energia, pressão, tensão (viscosidade), etc [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).].
Observamos que as equações de Einstein (16) são altamente não lineares no campo métrico gμν, e com derivadas primeiras e segundas do campo gravitacional, o que resulta num sistema complexo de equações diferenciais que somente em casos especiais possuem solução analítica. Os principais casos de interesse são aqueles que apresentam conteúdo de simetria bem definido, por exemplo: o princípio cosmológico, que enuncia que o universo em largas escalas é homogêneo e isotrópico. Essas condições permitem propor um ansatz para o campo gμν, cujas componentes são determinadas a partir das equações de Einstein (16) para uma dada fonte Θμν.
Como exemplo, consideremos a descrição da cosmologia moderna a partir do princípio cosmológico, em que a métrica de Friedmann-Lemaitre-Robertson-Walter (FLRW) é o nosso ponto de partida12 12 É importante destacar que todas as métricas abordadas neste trabalho têm natureza lorentziana (inclusive a métrica (17)), com assinatura mais negativa (+,−,−,−).
em que a(t) é o fator de escala do espaço-tempo de FLRW e contém informação sobre a evolução temporal do Universo.
Ademais, assumimos como fonte desta geometria o tensor energia-momento de um fluido perfeito Θμ ν = diag (ρ, −p, −p, −p), sendo ρ e p a densidade e pressão do fluido, respectivamente [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).]. Neste contexto, encontramos as seguintes equações de Friedmann
em que é o parâmetro de Hubble. Enquanto que, a partir da conservação (covariante) do tensor energia-momento ∇μΘμ ν = 0, obtemos
sendo a derivada temporal definida como . O conjunto de equações (18), (19) e (20), com uma equação de estado p = wρ (em que w é uma constante) [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).], permite a completa caracterização da evolução temporal do nosso universo, desde os seus instantes iniciais (singularidade do big bang) até os tempos atuais (expansão acelerada) [8[8] B. Ryden, Introduction to Cosmology (Cambridge University Press, Cambridge, 2016), 2Â ed., 9[9] A. Liddle, An Introduction to Modern Cosmology (Wiley, Edinburgher, 2015), 3Â ed.].
Por fim, podemos obter as equações de campo de Einstein (16) a partir do princípio de mínima ação ao tratarmos o tensor métrico gμν como a variável dinâmica da teoria. Observamos que o escalar de Ricci R envolve apenas derivadas de segunda ordem da métrica, e que pode ser usado para a construção da ação funcional de Hilbert-Einstein para a teoria gravitacional
em que Sm é a ação para o conteúdo de matéria (representado pelo campo ψ). As equações de Einstein (16) são obtidas ao variarmos a ação invariante (21) em relação à métrica gμν [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019)., 7[7] Ray D’Inverno, Introducing Einstein’s Relativity (Oxford University Press, Oxford, 1992).].
O método de obter as equações de campo a partir do princípio de mínima ação se mostra bastante útil e interessante no contexto de teorias alternativas à RG, isto se dá porque é possível fazer uso de conceitos de simetria, por exemplo, para construir-se ações funcionais invariantes. Faremos uso dessa abordagem da ação funcional em nosso estudo sobre a teoria teleparalela e teleparalela simétrica, discutindo inicialmente as principais características das geometrias de cada teoria e as suas particularidades, para então apresentar as ações invariantes e as suas respectivas equações de campo.
4. Geometria de Weitzenböck e a Teoria Teleparalela
Logo após a proposta da Relatividade Geral em 1915, algumas formulações alternativas foram sugeridas, como por exemplo a proposta de H. Weyl em 1918 [30[30] H. Weyl, em: The Principle of Relativity, editado por H.A. Lorentz, A. Einstein, H. Minkowski e H. Weyl (Dover Books, New York, 1952).] e posteriormente A. Einstein em 1928 [31[31] A. Unzicker e T. Case, arXiv:physics/0503046 (2005).], que trabalharam na unificação da gravitação e do eletromagnetismo [32[32] H.F.M. Goenner, Living Rev. Rel. 7, 2 (2004)., 33[33] H.F.M. Goenner, Living Rev. Rel. 17, 5 (2014).]. Apesar de Weyl não ter obtido êxito na construção da sua teoria unificada, ele introduziu as noções de teorias de gauge na gravitação [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
As teorias teleparalelas surgem nesse contexto de teorias de gauge, em que o tensor de torsão Tβμν ≠ 0 é responsável pela dinâmica do campo gravitacional e também que o tensor de curvatura da conexão teleparalela é nulo ℛσ αμν (Γ) = 0 (condição de teleparalelismo). Observamos assim que teorias teleparalelas são descritas num espaço-tempo plano.
Ademais, vale destacar que o spin dos campos de matéria acopla com o tensor de torsão, logo as geometrias de Einstein-Cartan e a de Weitzenböck são comumente usadas para levar-se em consideração a interação do spin com a gravitação [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173., 46[46] F.W. Hehl, P. Von Der Heyde, G.D. Kerlick e J.M. Nester, Rev. Mod. Phys. 48, 393 (1976).]13 13 A teoria telaparalela também pode ser desenvolvida como uma teoria de gauge do grupo de translações, descrição que naturalmente inclui a conexão de spin, para maiores detalhes recomendamos o livro [34]. . Discutiremos a seguir, em particular, como podemos desenvolver uma teoria teleparalela equivalente à RG em termos da geometria de Weitzenböck [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
4.1. Geometria de Weitzenböck
A fim de apresentarmos a teoria teleparalela gravitacional, precisamos definir alguns aspectos da geometria de Weitzenböck, que é caracterizada em termos do tensor de torsão. Por sua vez, o tensor torsão está relacionado com a parte anti-simétrica da conexão de Weitzenböck, sendo definido como
Do ponto de vista geométrico, como vimos anteriormente, a torsão se relaciona ao fato de uma trajetória nesta geometria não apresentar um circuito fechado em um plano tangente a uma dada superfície. Na Figura 5 podemos visualizar o transporte paralelo de dois vetores infinitesimalmente em um circuito, mostrando que não conseguimos realizar o fechamento do circuito no plano tangente.
O não fechamento do circuito ao transportarmos um vetor paralelamente é mensurado pelo tensor de torsão.
Para entender melhor essa questão consideremos os seguintes cenários: na geometria euclideana a soma de dois vetores pode ser visualizada como um paralelograma; por outro lado, no caso de uma geometria não-euclideana isso pode não ser mais verdadeiro. Iniciamos a nossa análise ao realizar o transporte paralelo de vetores infinitesimais: primeiramente, transportamos um vetor Aα ao longo da direção de Bα (resultando no vetor A′α), e comparamos essa situação com o transporte do vetor Bα ao longo da direção de Aα (resultando no vetor B′α) [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024).]. Essa ilustração é apresentada na Figura 6.
Representação geométrica do não fechamento do paralelograma através do transporte paralelo dos vetores infinitesimais Aα e Bα na geometria de Weitzenböck.
Ademais, podemos identificar que a soma dos vetores à esquerda do paralelograma é dada por
que corresponde ao deslocamento , enquanto a soma dos vetores à direita do paralelograma é
e corresponde ao deslocamento .
O fechamento ou não do paralelograma infinitesimal (o deslocamento total quando R = S) nesta geometria é mensurado pela diferença
que explicitamente resulta em
Observamos claramente que o não fechamento do paralelograma é proporcional ao tensor torsão [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173., 35[35] M. Hohmann, Lect. Notes Phys. 1017, 145 (2023).],
e que geometricamente corresponde ao fato de que os pontos R e S não se sobrepõem, veja Figura 6.
Definiremos a seguir alguns aspectos matemáticos da geometria de Weitzenböck necessários para definir o tensor de torsão e a conexão de Weitzenböck: os campos vierbein.
4.1.1. Propriedades dos campos vierbein
Em nossa discussão da relatividade geral na seção 3 3. Geometria Riemanniana e a Relatividade Geral A teoria da relatividade geral tem como estrutura fundamental em sua formulação a geometria de Riemann, a partir da qual desenvolveu-se o modelo cosmológico padrão que possui significativa concordância com dados observacionais. Devido ao importante papel que a geometria do espaço-tempo desempenha na descrição da interação gravitacional, iremos revisar alguns aspectos da geometria riemanniana antes de tratarmos outras geometrias a fim de estabelecer modelos alternativos (e/ou equivalentes) à teoria da RG. 3.1. Transporte paralelo e a conexão deChristoffel A fim de definir a noção de curvatura e consequentemente da geometria de Riemann, usaremos a abordagem de leis de transformação de tensores: queremos descrever a variação de tensores sob transformações gerais de coordenadas. Em especial, faremos uso da noção de “transporte paralelo” [4–7] que consiste na comparação de tensores definidos em pontos infinitesimalmente próximos, o tensor original com a sua versão transformada, e que permite determinar a variação das componentes de um tensor ao longo de uma geometria. Podemos ilustrar a noção de transporte paralelo primeiramente na geometria euclideana, em que as componentes de um vetor são mantidas constantes [4, 6]. Se Aβ são as componentes de um vetor no ponto P(x), e Aβ + dAβ as componentes em Q(x + dx) (infinitesimalmente próximo a P), observamos que o transporte paralelo do vetor A do ponto P para Q (esta situação é ilustrada na figura 2) não altera as suas componentes e também que a diferença entre tais vetores é simplesmente o diferencial ordinário dA definido por6 Figura 2 Transporte paralelo sobre uma superfície plana, adaptado de [4]. (9) d A β ( x ) = ∂ x β ∂ x ′ α d A ′ α ( x ′ ) + A ′ α ( x ′ ) ∂ 2 x β ∂ x ′ μ ∂ x ′ α d x ′ μ . Ademais, a relação (9) não corresponde a uma transformação correta deste vetor, a menos que tenhamos transformações lineares, tal que ∂2xβ∂x′μ∂x′α=0. Embora o transporte paralelo do vetor Aβ no sistema cartesiano não produza uma variação nas suas componentes, isso não é verdade para geometrias curvas [4, 6]. Como ilustramos na Figura 3, o transporte paralelo do vetor Aβ da posição P(x) para a posição Q(x + dx) ao longo de uma superfície curva, resultará numa mudança δAβ nas suas componentes, de modo que agora elas são Aβ + δAβ. Desta forma, a diferença entre os vetores na geometria curva não é somente dA, mas é dada por Figura 3 Transporte paralelo sobre uma superfície curva, adaptado de [4]. (10) D A β ( x ) = d A β ( x ) − δ A β ( x ) . Do ponto de vista geométrico, interpretamos a quantidade DAβ como a medida do “desvio” oriundo do transporte paralelo do vetor Aβ [4, 6]. Ademais, como a variação δAβ depende das componentes deste vetor, podemos assumir que esta variação tenha dependência linear nas componentes de Aβ e também no deslocamento dxβ (a fim de respeitar a lei de transformação de vetores), de modo que podemos expressá-la como (11) δ A β ( x ) = − Γ β μ α A α ( x + d x ) d x μ , em que as funções Γβ μα são conhecidas como as componentes da conexão métrica-afim. A forma explícita desses coeficientes depende da escolha do sistema de coordenadas. Na geometria riemanniana a conexão é compatível com a métrica (Qμλσ = ∇μgλσ = 0) e também simétrica (o tensor de torsão é nulo Tβμν = 0), neste caso, a conexão é conhecida como símbolo de Christoffel ou conexão de Levi-Civita. Portanto, a conexão simétrica da geometria de Riemann, descrita em termos da derivada do tensor métrico, é escrita como,7 (12) Γ β μ ν = β μ ν = 1 2 g β α ∂ μ g ν α + ∂ ν g α μ − ∂ α g μ ν . Desta forma, define-se a derivada covariante de um vetor (com respeito à conexão de Christoffel) da seguinte forma, (13) D C β D x μ ≡ 𝒟 μ C β = C β ; μ = ∂ μ C β + β μ α C α , tal que este operador diferencial seja covariante sob transformações de coordenadas, D Aμ=∂xμ∂x′λDA′λ8 e que também preserva os aspectos tensoriais de tensores quando eles são diferenciados. Vale a pena mencionar uma importante propriedade da derivada covariante (13) que nos será bastante útil na discussão da conexão teleparalela: a derivada covariante de um tensor na mesma direção em que ele é transportado paralelamente é sempre zero. Seja u = uα∂α um vetor tangente à curva C. Logo, ao transportarmos paralelamente o vetor vμ ao longo da curva C, encontramos que (14) u λ ∇ λ v μ = 0. Para concluir a caracterização da geometria de Riemann devemos definir o tensor de curvatura. Para isso, usaremos a derivada covariante (13) para introduzirmos o tensor de Riemann (uma medida da curvatura da geometria), essa abordagem é pertinente pois a derivada covariante de um tensor em certa direção mede a mudança na orientação deste tensor ao ser transportado paralelamente ao longo de uma curva. 3.2. A ação de Hilbert-Einstein e as equações de campo O deslocamento paralelo de um vetor, realizado em uma geometria nao-Euclideana, é, em geral, dependente da trajetória. Assim, se deslocamos um vetor ao longo de um circuito fechado, como uma seção de uma esfera, a direção do vetor final não coincidirá com a sua direção inicial. O tensor de Riemann, como veremos, determina justamente as variações de um vetor ao longo do seu deslocamento paralelo em um contorno fechado infinitesimal (que corresponde a uma geodésica9). Ilustramos a interpretação do tensor de Riemann ser uma medida da curvatura (rotação em vetores) de uma geometria na Figura 4. Figura 4 Mudança que um vetor experimenta ao percorrer um circuito fechado sob efeito da curvatura. Dentre as possíveis maneiras de definir o tensor de Riemann destaca-se duas: i) podemos definir a curvatura a partir da seguinte integral de linha ΔAμ=∮ΓδAμ=∮ΓαμβAβdxα=12RανμβAβΔΣαν (em que Σαν é um elemento infinitesimal da superfície S, limitada pela curva Γ), que é uma medida das variações do vetor A ao longo da curva Γ devido à curvatura da geometria [4, 20]; equivalentemente, ii) o tensor de Riemann pode ser obtido equivalentemente a partir do comutador de duas derivadas covariantes, que mede precisamente a rotação que um vetor experimenta a partir do transporte paralelo em um circuito fechado [4–6]. A partir dessas manipulações encontramos (15) R α β μ ν ( g ) = ∂ μ α ν β − ∂ ν α μ β + σ μ σ σ ν β − σ ν σ σ μ β . Vale a pena comentar que embora seja possível escolher um referencial em que localmente a conexão seja nula Γ = 010, as suas derivadas não necessariamente serão nulas ∂Γ ≠ 0, logo implicando que o tensor de curvatura também será não-nulo Rα μνβ ≠ 0. Além do tensor de Riemann, se faz pertinente definir novos tensores na geometria riemanniana: o tensor de Ricci Rμν = Rλμν λ e o escalar de Ricci R = gμνRμν. Essas quantidades têm um importante papel no estudo da interação gravitacional como veremos a seguir a partir da definição da equação de Einstein (16) e também da ação de Hilbert-Einstein (21). O conteúdo físico das equações de Einstein relaciona a geometria do espaço-tempo com o conteúdo de matéria presente na respectiva região do espaço-tempo. A universalidade da interação gravitacional é presente nesta equação de campo, na qual a natureza não “escolhe” nenhuma geometria a priori.11 De fato, é a distribuição de matéria que é responsável por criar dinamicamente a estrutura da geometria. As equações de campo de Einstein para a interação gravitacional são (16) R μ ν − 1 2 g μ ν R = κ Θ μ ν , em que κ = 8πG, sendo G a constante gravitacional, enquanto Θμν é o tensor energia-momento cuja componentes fornecem todos os aspectos do sistema relacionados à distribuição de energia e matéria (em termos de uma descrição de fluidos): densidade de energia, pressão, tensão (viscosidade), etc [6]. Observamos que as equações de Einstein (16) são altamente não lineares no campo métrico gμν, e com derivadas primeiras e segundas do campo gravitacional, o que resulta num sistema complexo de equações diferenciais que somente em casos especiais possuem solução analítica. Os principais casos de interesse são aqueles que apresentam conteúdo de simetria bem definido, por exemplo: o princípio cosmológico, que enuncia que o universo em largas escalas é homogêneo e isotrópico. Essas condições permitem propor um ansatz para o campo gμν, cujas componentes são determinadas a partir das equações de Einstein (16) para uma dada fonte Θμν. Como exemplo, consideremos a descrição da cosmologia moderna a partir do princípio cosmológico, em que a métrica de Friedmann-Lemaitre-Robertson-Walter (FLRW) é o nosso ponto de partida12 (17) g μ ν = diag 1 , − a 2 ( t ) , − a 2 ( t ) , − a 2 ( t ) , em que a(t) é o fator de escala do espaço-tempo de FLRW e contém informação sobre a evolução temporal do Universo. Ademais, assumimos como fonte desta geometria o tensor energia-momento de um fluido perfeito Θμ ν = diag (ρ, −p, −p, −p), sendo ρ e p a densidade e pressão do fluido, respectivamente [6]. Neste contexto, encontramos as seguintes equações de Friedmann (18) ℋ 2 = 8 π G 3 ρ (19) ℋ . = − 4 π G ρ + p , em que ℋ=a˙a é o parâmetro de Hubble. Enquanto que, a partir da conservação (covariante) do tensor energia-momento ∇μΘμ ν = 0, obtemos (20) ρ ˙ + 3 ℋ ρ + p = 0 , sendo a derivada temporal definida como ρ˙=dρ/dt. O conjunto de equações (18), (19) e (20), com uma equação de estado p = wρ (em que w é uma constante) [6], permite a completa caracterização da evolução temporal do nosso universo, desde os seus instantes iniciais (singularidade do big bang) até os tempos atuais (expansão acelerada) [8, 9]. Por fim, podemos obter as equações de campo de Einstein (16) a partir do princípio de mínima ação ao tratarmos o tensor métrico gμν como a variável dinâmica da teoria. Observamos que o escalar de Ricci R envolve apenas derivadas de segunda ordem da métrica, e que pode ser usado para a construção da ação funcional de Hilbert-Einstein para a teoria gravitacional (21) S HE = 1 2 κ ∫ d 4 x − g R ( g ) + S m [ g μ ν , ψ ] em que Sm é a ação para o conteúdo de matéria (representado pelo campo ψ). As equações de Einstein (16) são obtidas ao variarmos a ação invariante (21) em relação à métrica gμν [4, 6, 7]. O método de obter as equações de campo a partir do princípio de mínima ação se mostra bastante útil e interessante no contexto de teorias alternativas à RG, isto se dá porque é possível fazer uso de conceitos de simetria, por exemplo, para construir-se ações funcionais invariantes. Faremos uso dessa abordagem da ação funcional em nosso estudo sobre a teoria teleparalela e teleparalela simétrica, discutindo inicialmente as principais características das geometrias de cada teoria e as suas particularidades, para então apresentar as ações invariantes e as suas respectivas equações de campo. descrevemos tensores em termos de bases coordenadas, ou seja, bases que são adaptadas para coordenadas, pois são simples e naturais para se trabalhar. Todavia, podemos definir bases mais gerais que não são deriváveis de sistema de coordenadas, essas são conhecidas como bases não-coordenadas. As estruturas que caracterizam tal formulação são os vetores da base não-coordenada, os campos vierbein ha [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
A observação anterior sobre bases não-coordenadas é crucial para a caracterização da geometria teleparalela e na definiçaõ da conexão de Weitzenböck. A geometria (teleparalela) de Weitzenböck é definida em termos do formalismo dos campos vierbein ha, que são quantidades dinâmicas no espaço-tempo (i.e. relacionadas com gravitação). O campo vierbein ha é uma base linear que permite relacionar, ponto a ponto, quantidades definidas no espaço-tempo (com coordenadas {xμ}) com quantidades no espaço tangente (com coordenadas {xa}) [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.]14 14 A nossa notação a partir deste momento, é que as letras gregas μ, ν, α... descreverão o espaço-tempo de Weitzenböck, enquanto que as letras latinas, a, b, c...i, j... designarão o espaço tangente ou espaço-tempo de Minkowski. .
A fim de entender o mapeamento de tensores em diferentes bases no espaço-tempo vamos considerar a seguinte situação: para as coordenadas do espaço-tempo as bases são definidas como
para campos vetoriais e covetoriais, respectivamente [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
A partir dessas observações podemos escrever que as componentes dos vierbeins estão relacionadas com as bases a partir de15 15 É importante destacar que existem casos particulares de vierbeins (triviais) que formam uma base coordenada {ha}={∂a}=∂∂xa e {ha} = {dxa}. Tal estrutura de vierbeins (referencial trivial) é presente na relatividade restrita [34].
onde introduzimos as componentes dos campos vierbeins ha μ e inversa Ha μ. Ademais, tais componentes satisfazem as condições de ortonormalidade
Por fim, observamos que o campo vierbein é uma base linear que relaciona (ponto a ponto) a métrica do espaço-tempo gμν com a métrica do espaço tangente ηab a partir de
em que ηab é a métrica de Minkowski ηab = diag (1, −1, −1, −1). Naturalmente, as relações entre as métricas (30) são inversíveis
A partir das definições acima temos que o elemento de linha (invariante) pode ser expresso
em que ha são definidos em (28).
Por fim, vale a pena destacar que um sistema físico pode ser descrito de maneira equivalente a partir do campo métrico gμν(x) ou do campo vierbein ha μ(x). Isto se verifica a partir do fato de que essas quantidades são fisicamente equivalentes, pois contém as mesmas informações, e também possuem 10 componentes independentes, sendo reduzidas a 2 modos de helicidade após a fixação de gauge [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
Para concluir esta seção, consideraremos um exemplo para ilustrar o cálculo das componentes do campo vierbein (28) para o espaço-tempo de Schwarzschild [5[5] R.M. Wald, General Relativity (Chicago University Press, Chicago, 1984)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.]: um espaço-tempo estático, isotrópico e homogêneo, descrito pelo seguinte elemento de linha (em coordenadas esféricas)
sendo os fatores f(r) e g(r) determinados a partir das equações de campo [5[5] R.M. Wald, General Relativity (Chicago University Press, Chicago, 1984).]. O processo para estabelecer as componentes do campo vierbein é simples, e resulta que a base ortonormal para esta métrica é dada por [5[5] R.M. Wald, General Relativity (Chicago University Press, Chicago, 1984).]
ou ainda, em notação matricial
A partir dessas expressões e da condição de ortonormalidade (29) podemos também determinar as componentes da inversa Ha μ[5[5] R.M. Wald, General Relativity (Chicago University Press, Chicago, 1984).].
Com essa discussão concluímos a nossa exposição sobre o formalismo dos campos vierbein e usaremos esses elementos para definir a geometria de Weitzenböck.
4.2. Conexão teleparalela de Weitzenböck
Caracterizaremos a geometria de Weitzenböck a partir da definição da sua derivada covariante e conexão.16 16 Devemos mencionar que no caso geral da teoria teleparalela temos a presença de duas conexões, ∇μAν a = ∂μAν a −Γσ μνAσ a + ωμ a bAν b, em que Γσ μν é a conexão relacionada com a gravitação, enquanto ωμ a b é a conexão de spin relacionada com a inércia [34]. Essas conexões são manifestações da invariância local por transformações gerais de coordenadas e por transformações de Lorentz, respectivamente. Em nossa análise, por simplicidade, consideraremos uma teoria teleparalela em uma classe especial de referenciais de Lorentz: aqueles em que a conexão de spin teleparalela ωμ a b é nula, isto é, focaremos apenas em efeitos gravitacionais [34]. A fim de estabelecermos tais quantidades seguiremos a abordagem do transporte paralelo de vetores, análogo ao caso da geometria de Riemann.
Iniciamos a análise ao aplicarmos o conceito de transporte paralelo no campo ha μ ao longo da geometria Weitzenböck. Assim, ao transportarmos paralelamente o campo ha μ da posição P(x) até uma posição infinitesimalmente próxima Q(x + dx), observamos que as componentes do campo vierbein tornam-se ha μ + δha μ (devido à geometria), enquanto que a mudança do campo entre esses pontos é simplesmente ha μ + dha μ. A derivada covariante é definida como sendo a diferença
em que denota a diferenciação na geometria de Weitzenböck. Ilustramos essa situação na Figura 7.
Assim como observamos na discussão da geometria riemanniana (vide equação (11)), temos que a variação δha μ da geometria de Weitzenböck também apresenta dependência linear nas componentes de ha μ e do deslocamento dxν. Desta maneira, podemos escrever que a variação das componentes δha μ é descrita por
em que é a conexão de Weitzenböck. Portanto, substituindo o resultado (38) na equação (37), encontramos a derivada covariante de Weitzenböck
A geometria de Weitzenböck possui uma importante característica definida em termos da sua conexão: ao considerarmos a conexão de Weitzenböck obtermos uma curvatura ℛ(Γ) identicamente nula. Essa propriedade é conhecida como condição de paralelismo absoluto [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
Podemos determinar explicitamente a forma funcional da conexão de Weitzenböck ao admitirmos um paralelismo absoluto dos campos vierbeins: isso pode ser obtido ao lembrarmos que a derivada covariante de um tensor na mesma direção em que ele é transportado paralelamente é zero (veja eq. (14)). Impondo essa condição na equação (39), encontramos que
A partir da condição de teleparalelismo (40) é possível escrever a conexão de Weitzenböck em termos do campo vierbein como sendo17 17 Como mencionamos anteriormente, essa expressão da conexão de Weitzenböck é válida para referenciais de Lorentz em que a conexão de spin teleparalela ωμ a b é nula [34].
Na verdade, a forma da expressão (41) não é nada surpreendente, pois ela é válida para qualquer tipo de teoria teleparalela, vejamos a seguir a justificativa para essa afirmação.
A fim de compreender melhor as implicações da condição de teleparalelismo absoluto podemos explorar algumas propriedades da conexão. Primeiramente, podemos observar que a conexão pode ser localmente eliminada por uma transformação de coordenadas adequada (sistema de coordenadas apropriado), mas isso não implica que a conexão é nula em todos os pontos, porque ela não é um tensor. Vamos formular matematicamente essa observação.
A partir da conexão trivial (em que , relacionada com as coordenadas ), encontramos que uma mudança nas coordenadas de resulta em
se identificamos como as componentes de uma matriz Λ, a última relação é escrita como
A expressão (43) contém uma relação válida para todas as teorias teleparalelas, pois:
-
Se o tensor de curvatura (teleparalelo) é nulo em um sistema de coordenadas, ele continuará sendo zero em qualquer outro sistema de coordenadas; se a curvatura é nula para a conexão trivial , ela também será zero para qualquer outra conexão Γ ≠ 0 obtida a partir de uma mudança de coordenadas em que ;
-
Uma vez que a mudança de coordenadas é complemente arbitrária e que o tensor de curvatura ℛσ αμν se anula para todas as conexões (43) (independente dos detalhes da transformação), podemos concluir que qualquer conexão que satisfaz (43) é plana.
Observamos que a discussão acima também é válida para a relação de Weitzenböck (41), pois temos que os campos de vierbein são definidos a partir de , logo identificamos a matriz Λ com os vierbein h.
Portanto, ao usarmos que a torsão é identificada como a parte antisimétrica da conexão de Weitzenböck e também considerarmos a relação (41), encontramos que o tensor de torsão é definido por
Com esse último resultado vemos que ao estabelecermos as componentes do campo vierbein é possível calcular diretamente as componentes do tensor de torsão.
Por fim, podemos observar que a conexão de Weitzenböck, obtida a partir da conexão métrica-afim(1), é relacionada com os símbolos de Christoffel da RG por meio de
em que o tensor de contorsão da torsão de Weitzenböck é dado por
Com essas quantidades conseguimos caracterizar completamente a geometria de Weitzenböck.
4.3. A ação da teoria teleparalela e equações de campo
Faremos uso do formalismo Lagrangeano a fim de discutir a equivalência entre a teoria teleparalela formulada na geometria de Weitzenböck com a relatividade geral, isto é, mostraremos que essas teorias são fisicamente equivalentes uma vez que são descritas pelas mesmas equações de campo.
A fim de desenvolvermos a ação funcional relacionada com a teoria teleparalela, podemos fazer uso de uma combinação irredutível envolvendo o tensor de torsão [18[18] M. Blagojevic, Gravitation and Gauge Symmetries (CRC Press, Londres, 2001)., 34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.]. Essa combinação tem forma quadrática e paridade par, que nesse caso é escrita como
sendo {ci} os parâmetros livres (e reais) da teoria que permitem o mapeamento de diversas teorias teleparalelas, enquanto Tμ = Tβ μβ é o traço do tensor de torsão.
A ação da teoria teleparalela é escrita em termos do invariante eq. (47), enquanto as restrições na ação (para a curvatura teleparalela e não-metricidade nulas18 18 É importante destacar que a curvatura (teleparalela) é nula devido à condição de paralelismo absoluto. E como veremos a seguir, essa condição tem importantes implicações na análise da equivalência física entre as teorias teleparalela e RG. ) são implementadas por meio de multiplicadores de Lagrange
em que é o determinante do campo vierbein. Essa expressão corresponde a uma estrutura geral da teoria teleparalela.
Ademais, para discutirmos a formulação teleparalela equivalente à relatividade geral é interessante considerarmos a conexão de Weitzenböck escrita em termos dos símbolos de Christoffel da RG eq. (45). O tensor de Riemann, nesse caso, pode ser obtido a partir de (7) e possui a seguinte expressão
em que Rα βμν(g) corresponde à contribuição dos símbolos de Christoffel (15), enquanto os demais termos correspondem à contribuição do tensor de torsão de Weitzenböck (41). Por sua vez, o tensor de Ricci é escrito como
enquanto o escalar de Ricci é
em que definimos o escalar de torsão como
sendo que o escalar de torsão (52) corresponde à configuração da estrutura invariante (47).
Ademais, podemos introduzir, por questão de notação, um novo funcional denotado superpotencial (ou conjugado à torsão) por meio de
Desta forma, o escalar de torsão (52) pode ser reescrito com o auxílio do superpotencial na forma
que permite expressar o escalar de torsão, e consequentemente a ação teleparalela (equivalente) de uma maneira mais compacta.
Ao lembrarmos que esta teoria está sujeita à condição de teleparalelismo absoluto, i.e. ao usarmos a conexão de Weitzenböck (45) obtemos uma curvatura identicamente nula ℛ(Γ) = 0. Logo, encontramos a partir da expressão (51) uma relação entre quantidades dinâmicas da RG e da teoria teleparalela
essa relação tem papel central para estabelecer a equivalência entre a teoria teleparalela (Weitzenböck) com a RG.
Primeiramente, podemos definir a ação da formulação teleparalela da teoria gravitacional (equivalente à RG) como
sendo h o determinante do campo vierbein, é o escalar de torsão (52) e Sm é a ação de matéria. Observe que o funcional (56) é um caso particular da ação teleparalela (48).
A partir da definição da ação funcional para a teoria teleparalela equivalente à RG (56) podemos calcular as respectivas equações de campo ao variarmos a ação com respeito ao campo vierbein, obtendo assim
com o tensor de energia-momento definido de maneira usual como .
Finalmente, a partir da relação (55) e das definições das ações de Hilbert-Einstein (21) e da teoria teleparalela equivalente (56), observamos que
ou seja, as ações de Hilbert-Einstein e a da teoria teleparalela de Weitzenböck diferem apenas por uma derivada total, que segundo o teorema de Gauss generalizado é um termo de fronteira que não tem influência nas equações de campo.
De fato, a relação (58) indica que as equações de campo das teorias são fisicamente iguais, isto é, para um dado campo métrico/vierbein (por exemplo, FRLW ou Schwarzschild), encontramos as mesmas relações matemáticas e consequentemente conteúdo físico. Essa observação demonstra que a teoria teleparalela (56) é fisicamente equivalente à teoria da relatividade geral (21).
Embora tenhamos desenvolvido uma formulação da teoria teleparalela equivalente à RG em (56) é importante enfatizar que a teoria teleparalela geral (48) é uma teoria alternativa à RG, não somente do ponto de vista conceitual, mas também no conteúdo dinâmico. Fato este que levou a um considerável interesse em aplicações cosmológicas [49[49] R.T. Hammond, Rept. Prog. Phys. 65, 599 (2002).,50[50] H.I. Arcos e J.G. Pereira, Int. J. Mod. Phys. D 13, 2193 (2004).,51[51] P. Wu e H.W. Yu, Phys. Lett. B 693, 415 (2010)., 53[53] S. Bahamonde, K.F. Dialektopoulos, C. Escamilla-Rivera, G. Farrugia, V. Gakis, M. Hendry, M. Hohmann, J.L. Said, J. Mifsud e E. Di Valentino, Rept. Prog. Phys. 86, 026901 (2023).,54[54] M. Krssak, R.J. van den Hoogen, J.G. Pereira, C.G. Böhmer e A.A. Coley, Class. Quant. Grav. 36, 183001 (2019).,55[55] F. D’Ambrosio, L. Heisenberg e S. Kuhn, Class. Quant. Grav. 39, 025013 (2022).,56[56] A. Golovnev, T. Koivisto e M. Sandstad, Class. Quant. Grav. 34, 145013 (2017).].
5. Geometria de Weyl e a Teoria Teleparalela Simétrica
Abordaremos agora a terceira formulação geométrica da interação gravitacional, subjeita à condição de teleparalelismo e definida na geometria de Weyl tal que a dinâmica gravitacional é descrita pelo tensor de não-metricidade Qμνα ≡ ∇μgνα ≠ 019 19 Vale a pena destacar que originalmente a geometria de Weyl foi definida a partir da estrutura Qμνα = Ωμgνα, em que Ωμ é identificado com o potencial eletromagnético e mediria a não-metricidade [13, 14, 30]. Observa-se, todavia, que a condição Qμνα ≡ ∇μgνα ≠ 0 generaliza a proposta original. esta abordagem recebe o nome de teoria teleparalela simétrica [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 57[57] J.M. Nester e H.J. Yo, Chin. J. Phys. 37, 113 (1999)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).].
A principal característica geométrica do tensor de não-metricidade, além de definir uma classe de conexões que não são compatíveis com a métrica, é que ele é associado à medida da variação da magnitude de vetores sob transporte paralelo [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024).].
Desenvolveremos nesta seção conceitos do tensor de não-metricidade, da geometria de Weyl e da formulação da teoria teleparalela simétrica e sua equivalência com a RG.
5.1. Geometria de Weyl e o tensor de não-metricidade
A classe de geometrias teleparalelas é caracterizada pelo fato de terem curvatura nula ℛα βμν(Γ) = 0 (condição decorrente do teleparalelismo absoluto). Abordaremos nesta seção os fundamentos da teoria teleparalela simétrica definida na geometria de Weyl,20 20 Deve ficar claro que na geometria de Weyl a conexão métrica-afim é a conexão de Weyl dada por ΓβLμv=μvβ+Lβμv, que tem a propriedade de gerar uma curvatura identicamente nula (condição de teleparalelismo). que tem o tensor de não-metricidade Qμνα ≡ ∇μgνα ≠ 0 [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952)., 14[14] A. Eddington, The Mathematical Theory of Relativity (Cambridge University Press, Cambridge, 1924), 2Â ed.] como quantidade responsável pela dinâmica gravitacional [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 57[57] J.M. Nester e H.J. Yo, Chin. J. Phys. 37, 113 (1999)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).].
O grande diferencial dessa geometria está em torno do tensor de não-metricidade, que expressa a falha da conexão em ser compatível com métricas. Ademais, do ponto de vista geométrico, o tensor de não-metricidade mede quanto a norma de vetores muda ao realizarmos o transporte paralelo deles, ilustramos essa situação na Figura 8.
A variação da magnitude de um vetor transportado paralelamente é medida pelo tensor de não-metricidade.
A fim de melhor entender esta situação geométrica podemos nos perguntar como a magnitude de um vetor muda ao ser transportado paralelamente ao longo de uma curva C. Podemos responder essa pergunta ao lembrarmos da condição wμ∇μuλ = 0 dada em (14), que corresponde ao fato de que a derivada covariante de um vetor uλ é zero na mesma direção em que ele é transportado paralelamente (w = wμ∂μ é um vetor tangente à curva).
Essa última observação nos permite determinar como a magnitude do vetor ∥u∥2 = gμνuμuν varia sob transporte paralelo ao longo da curva C
que resulta em
Dessa forma, vemos claramente que a interpretação geométrica do tensor de não-metricidade é a medida da variação da magnitude de vetores sob transporte paralelo. De maneira geral, podemos dizer que o tensor de não-metricidade mede como objetos que dependem da métrica variam quando eles são transportados paralelamente [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).].
5.2. Conexão e o gauge coincidente
Como estamos trabalhando com uma teoria teleparalela, os resultados da seção 4.2 4.2. Conexão teleparalela de Weitzenböck Caracterizaremos a geometria de Weitzenböck a partir da definição da sua derivada covariante e conexão.16 A fim de estabelecermos tais quantidades seguiremos a abordagem do transporte paralelo de vetores, análogo ao caso da geometria de Riemann. Iniciamos a análise ao aplicarmos o conceito de transporte paralelo no campo ha μ ao longo da geometria Weitzenböck. Assim, ao transportarmos paralelamente o campo ha μ da posição P(x) até uma posição infinitesimalmente próxima Q(x + dx), observamos que as componentes do campo vierbein tornam-se ha μ + δha μ (devido à geometria), enquanto que a mudança do campo entre esses pontos é simplesmente ha μ + dha μ. A derivada covariante é definida como sendo a diferença (37) D W h a μ = d h a μ − δ h a μ , em que DW denota a diferenciação na geometria de Weitzenböck. Ilustramos essa situação na Figura 7. Figura 7 Representação geométrica do transporte paralelo do campo ha μ. Assim como observamos na discussão da geometria riemanniana (vide equação (11)), temos que a variação δha μ da geometria de Weitzenböck também apresenta dependência linear nas componentes de ha μ e do deslocamento dxν. Desta maneira, podemos escrever que a variação das componentes δha μ é descrita por (38) δ h a μ ( x ) = Γ σ W μ ν h a σ ( x + d x ) d x ν , em que ΓσWμv é a conexão de Weitzenböck. Portanto, substituindo o resultado (38) na equação (37), encontramos a derivada covariante de Weitzenböck (39) D h W a μ D x ν ≡ ∇ W v h a μ ≡ ∂ ν h a μ − Γ σ W μ ν h a σ . A geometria de Weitzenböck possui uma importante característica definida em termos da sua conexão: ao considerarmos a conexão de Weitzenböck obtermos uma curvatura ℛ(Γ) identicamente nula. Essa propriedade é conhecida como condição de paralelismo absoluto [34]. Podemos determinar explicitamente a forma funcional da conexão de Weitzenböck ao admitirmos um paralelismo absoluto dos campos vierbeins: isso pode ser obtido ao lembrarmos que a derivada covariante de um tensor na mesma direção em que ele é transportado paralelamente é zero (veja eq. (14)). Impondo essa condição na equação (39), encontramos que (40) ∇ W v h a μ = ∂ ν h α μ − Γ α W μ ν h a σ . ≡ 0. A partir da condição de teleparalelismo (40) é possível escrever a conexão de Weitzenböck em termos do campo vierbein como sendo17 (41) Γ λ W μ ν = H a λ ∂ ν h a μ = − h a μ ∂ ν H a λ . Na verdade, a forma da expressão (41) não é nada surpreendente, pois ela é válida para qualquer tipo de teoria teleparalela, vejamos a seguir a justificativa para essa afirmação. A fim de compreender melhor as implicações da condição de teleparalelismo absoluto podemos explorar algumas propriedades da conexão. Primeiramente, podemos observar que a conexão pode ser localmente eliminada por uma transformação de coordenadas adequada (sistema de coordenadas apropriado), mas isso não implica que a conexão é nula em todos os pontos, porque ela não é um tensor. Vamos formular matematicamente essa observação. A partir da conexão trivial (em que Γ^=0, relacionada com as coordenadas {x^μ}), encontramos que uma mudança nas coordenadas de {x^μ}↦{xμ(x^)} resulta em (42) Γ ν λ ρ = ∂ x ν ∂ x ^ μ ∂ x ^ α ∂ x λ ∂ x ^ β ∂ x ρ Γ ^ μ α β + ∂ x ν ∂ x ^ μ ∂ 2 x ^ μ ∂ x λ ∂ ρ = ∂ x ν ∂ x ^ μ ∂ λ ∂ x ^ μ ∂ x ρ , se identificamos ∂x^μ∂xρ como as componentes de uma matriz Λ, a última relação é escrita como (43) Γ v λ ρ = Λ − 1 v μ ∂ λ Λ μ ρ . A expressão (43) contém uma relação válida para todas as teorias teleparalelas, pois: Se o tensor de curvatura (teleparalelo) é nulo em um sistema de coordenadas, ele continuará sendo zero em qualquer outro sistema de coordenadas; se a curvatura é nula para a conexão trivial Γ^=0, ela também será zero para qualquer outra conexão Γ ≠ 0 obtida a partir de uma mudança de coordenadas em que Γ^=0; Uma vez que a mudança de coordenadas {x^μ}↦{xμ(x^)} é complemente arbitrária e que o tensor de curvatura ℛσ αμν se anula para todas as conexões (43) (independente dos detalhes da transformação), podemos concluir que qualquer conexão que satisfaz (43) é plana. Observamos que a discussão acima também é válida para a relação de Weitzenböck (41), pois temos que os campos de vierbein são definidos a partir de haμ=∂xa∂xμ, logo identificamos a matriz Λ com os vierbein h. Portanto, ao usarmos que a torsão é identificada como a parte antisimétrica da conexão de Weitzenböck e também considerarmos a relação (41), encontramos que o tensor de torsão é definido por (44) T σ μ ν ≡ Γ σ W [ μ ν ] = H σ a ∂ [ μ h a v ] . Com esse último resultado vemos que ao estabelecermos as componentes do campo vierbein é possível calcular diretamente as componentes do tensor de torsão. Por fim, podemos observar que a conexão de Weitzenböck, obtida a partir da conexão métrica-afim(1), é relacionada com os símbolos de Christoffel da RG por meio de (45) Γ β W μ ν ≡ Γ β μ v ( Q = 0 ) = β μ ν + K β μ v em que o tensor de contorsão da torsão de Weitzenböck é dado por (46) K σ μ ν ≡ 1 2 T v σ μ + T μ σ v − T σ μ ν . Com essas quantidades hav,Tσμv,ΓβWμv conseguimos caracterizar completamente a geometria de Weitzenböck. são válidos, e a condição de planitude da conexão Γν λρ = (Λ−1)ν μ ∂λΛμ ρ, dada pela equação (43), pode ser usada. No caso da teoria teleparalela simétrica, temos que o tensor de torsão é nulo e isso resulta em
Isso implica que as componentes da matriz Λ podem ser escritas como Λμ ρ = ∂ρξμ, em que ξμ é uma coleção de funções arbitrárias das coordenadas {xμ}, i.e. ξ = ξ(x). Portanto, uma conexão plana e livre de torsão é escrita como
De fato, a equação (62) estabelece uma importante propriedade de conexões plana e livres de torsão: elas podem ser iguais a zero globalmente a partir de uma escolha apropriada de coordenadas. Portanto, se escolhemos as coordenadas como ξμ = xμ (ou ainda qualquer ξ que seja função linear de {xμ}), a conexão será identicamente nula pois ∂λ∂ρξμ = 0. Essa condição é conhecida como gauge coincidente.
Contudo, devemos mencionar que embora o gauge coincidente simplifique (ingenuamente) a análise ao tornar a conexão nula, devemos tomar cuidado com o tipo de métrica que podemos usar [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 21[21] J. Beltrán Jiménez, L. Heisenberg e T.S. Koivisto, Universe 5, 173 (2019)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).]. Por exemplo, se escolhemos um elemento de linha do tipo Schwarzchild (33) observamos que teremos componentes da conexão que são escritas em termos de funções trigonométricas que simplesmente não se anulam [6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).].
De fato, o que o gauge coincidente nos diz é que em um dado sistema de coordenadas em que Γ = 0 a métrica não terá mais uma forma simples e diagonal. De maneira prática, não ganhamos nada ao usarmos o gauge coincidente, pois toda a informação que reside inicialmente na conexão é “transportada” para a métrica pela transformação do gauge coincidente {xμ} → {ξμ (x)} [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 21[21] J. Beltrán Jiménez, L. Heisenberg e T.S. Koivisto, Universe 5, 173 (2019)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).].
5.3. A ação da teoria teleparalela simétrica e equações de campo
A fim de discutir a equivalência entre a teoria teleparalela simétrica formulada na geometria de Weyl com a relatividade geral faremos uso do princípio de mínima ação, isto é, mostraremos que essas teorias são fisicamente equivalentes uma vez que elas têm a mesma ação funcional e portanto fornecem as mesmas equações de campo.
Primeiramente, vamos construir a ação funcional geral da teoria teleparalela simétrica (sem nos preocuparmos ainda com a questão da equivalência). Para isso, introduzimos uma combinação irredutível contendo o tensor de não-metricidade. Ao impormos que a combinação deve ser quadrática e com paridade par, encontramos a seguinte decomposição
em que os dois traços independentes do tensor de não-metricidade definem os seguintes vetores,
Observamos ainda que o conjunto da forma quadrática (63) tem cinco parâmetros livres e reais {ci}.
Formulamos a ação da teoria teleparalela simétrica em termos do invariante ℚ dado em (63), enquanto as restrições na ação (para a curvatura e torsão nulas) são impostas por meio de multiplicadores de Lagrange
Essa expressão corresponde a uma estrutura geral da teoria teleparalela simétrica, que é uma teoria modificada da relatividade geral.
Para estabelecermos a equivalência entre a teoria teleparalela simétrica e a RG devemos encontrar a relação entre o tensor de curvatura da conexão de Weyl com as demais estruturas da geometria. A conexão de Weyl é definida a partir da conexão métrica-afim (1) em que o tensor de torsão é nulo, tal que
que é proporcional ao tensor de disformação
Neste caso, podemos obter o tensor de Riemann da geometria de Weyl a partir de (7) tal que o respectivo escalar de curvatura é
em que definimos o escalar de não-metricidade como
onde se faz uso da configuração c1 = c2 = c3 = c5 e c4 = 0 da estrutura invariante (63). Podemos introduzir, por questão de notação, um novo objeto (conjugado à não-metricidade) por meio de
Desta forma, o escalar de não-metricidade (70) pode ser expresso como
Como veremos a seguir, tais definições permitem escrever a ação funcional da teoria teleparalela simétrica e suas equações de campo em termos de uma estrutura mais compacta.
Lembrando que a teoria teleparalela simétrica também é sujeita ao postulado de teleparalelismo absoluto, i.e. ao usarmos a conexão de Weyl (67) obtemos uma curvatura identicamente nula ℛ(Γ) = 0. Desta forma, encontramos a partir da expressão (69) uma relação entre os invariantes dinâmicos da RG e da teoria teleparalela simétrica
Definimos a ação da formulação teleparalela simétrica da teoria gravitacional (equivalente à RG) como
sendo Sm a ação de matéria. É importante enfatizar que a notação [g, ξ] destaca que o funcional (74) depende das funções ξ que parametrizam a conexão (62).
Ademais, podemos calcular as equações de campo a partir da ação (74), em especial as equações de campo para a métrica são
com o tensor de energia-momento para os campos de matéria definido de maneira usual.
Por fim, a partir da condição de teleparalelismo (73) e das definições das ações de Hilbert-Einstein (21) e da teoria teleparalela simétrica equivalente (74), encontramos
ou seja, as ações de Hilbert-Einstein e da teoria teleparalela simétrica diferem por apenas um termo de fronteira que não tem influência nas equações de campo, provando assim a equivalência física entre essas teorias.
Obviamente, embora exista uma classe de teoria paralela simétrica equivalente à RG, as demais classses pertencentes à ação (66) podem ser usadas como teorias alternativas à RG, não somente do ponto de vista conceitual, mas também no conteúdo dinâmico, onde fenômenos além do modelo cosmológico padrão podem ser analisados [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 62[62] R. Lazkoz, F.S.N. Lobo, M. Ortiz-Baños e V. Salzano, Phys. Rev. D 100, 104027 (2019).–71[71] F.K. Anagnostopoulos, S. Basilakos e E.N. Saridakis, Phys. Lett. B 822, 136634 (2021).].
5.4. Teoria da relatividade geral coincidente
Um último aspecto que gostaríamos de abordar sobre a teoria teleparalela simétrica é a sua formulação explícita no gauge coincidente, esta teoria é conhecida como teoria da relatividade geral coincidente [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).]. Para formularmos tal teoria, lembremos da conexão (67)
Agora, ao impormos a condição de gauge coincidente (obtida a partir de (62)), encontramos que
De maneira geral, podemos reescrever o escalar de não-metricidade eq. (70) em termos do tensor de disformação
que ainda pode ser simplificada a partir da relação (78), o que implica em
A partir da estrutura (80) podemos definir uma ação funcional para a teoria coincidente
Na teoria coincidente a ação funcional (81) depende apenas da métrica, uma vez que a conexão de Weyl é nula no gauge coincidente. Ademais, vale mencionar que esta ação coincidente também é conhecida como a ação de Einstein, que difere da ação de Hilbert-Einstein por não possuir derivadas de segunda ordem.21 21 É interessante observar que a ação (81) também é apresentada como uma ação equivalente à RG na seção 11.6 da ref.[7], diferindo da RG por termos de superfície. Todavia, nesse livro, ela é obtida a partir da ação de Hilbert-Einstein e também que ∇λgμν = 0, ou seja, uma abordagem diferente da teoria teleparalela simétrica apresentada aqui em que ∇λgμν ≠ 0. Essa característica se mostra bastante interessante na formulação variacional da teoria gravitacional coincidente pois, devido à ausência de derivadas de segunda ordem na ação, não é necessário incluir o conhecido termo de fronteira de Gibbons-Hawking-York [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).].
6. Cosmologia na Teoria
É possível generalizar as formulações discutidas ao longo deste trabalho ao nível não-linear. Neste caso, substituimos os escalares invariantes R(g), e por funções arbitrárias
Modificações da teoria gravitacional com esta estrutura têm como grande motivação a liberdade que se ganha na escolha da função f para explicar fenômenos que não são completamente descritos pela RG ou ainda são além do modelo padrão cosmológico [23[23] S. Nojiri e S.D. Odintsov, Phys. Rept. 505, 59 (2011)., 51[51] P. Wu e H.W. Yu, Phys. Lett. B 693, 415 (2010)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).], por exemplo, a expansão acelerada do universo, formação de estruturas, ou ainda outros fenômenos que estão relacionadas com a introdução de conteúdos exóticos (energia escura, matéria escura, etc) no conteúdo da fonte do tensor energia-momento Θμν.
Ademais, essas extensões não-lineares não são mais equivalentes entre si, pois a equivalência discutida anteriormente (a menos de um termo de fronteira) era válida apenas no regime linear. Naturalmente, essas novas teorias não-lineares possuem seu próprio conteúdo físico, equações de campo e graus de liberdade propagantes.
Nesta seção temos como foco a discussão de aspectos cosmológicos da teoria não-linear (84). As suas respectivas equações de campo para a métrica são
sendo o tensor de Einstein definido em termos do campo métrico g.
Vale enfatizar que na teoria (84) a condição de teleparalelismo foi aplicada sobre a curvatura da conexão teleparalela ℛ(Γ) = 0, tal que os objetos de curvatura Rμν (g) e R(g) na expressão (85) são expressos em termos do tensor de não-metricidade e do invariante , veja a eq. (73).
Ademais, é importante destacar que a teoria gravitacional tem as soluções da RG como casos especiais, isso se mostra interessante em aplicações cosmológicas e de física de buracos negros. Em particular, observamos que se e a expressão (85) reproduz as equações de campo de Einstein com uma constante cosmológica [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018)., 69[69] J. Beltrán Jiménez, L. Heisenberg, T.S. Koivisto e S. Â Pekar, Phys. Rev. D 101, 103507 (2020).].
Por fim, como ilustração da discussão anterior, podemos assumir uma configuração simples em que tal que em (85). A partir dessa consideração, as equações de campo (85) assumem a forma
em que identificamos uma constante cosmológica efetiva e um tensor energia-momento normalizado dados por
Esses resultados são importantes pois mostram ser possível recuperar algumas das soluções da RG a partir de configurações gerais de na formulação , com .
A fim de concluir a nossa discussão sobre a teoria , vamos abordar a cosmologia neste contexto a partir das equações de Friedmann modificadas [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018)., 69[69] J. Beltrán Jiménez, L. Heisenberg, T.S. Koivisto e S. Â Pekar, Phys. Rev. D 101, 103507 (2020).]. Para isso, consideremos o gauge coincidente (conexão trivial) e a métrica FLRW como ponto de partida
em que N(t) e a(t) são a função lapso e o fator de escala do espaço-tempo de FLRW, respectivamente. Para este caso, o escalar de não-metricidade é simplesmente dado por
em que é o parâmetro de Hubble. Ademais, a ação (84) pode ser expressa como
Podemos observar explicitamente a presença de uma invariância por reparametrização t → ζ(t) e , sendo ζ(t) uma função arbitrária de t. A partir desta simetria, e sem perda de generalidade, podemos fixar a função lapso como N(t) = 1 [58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).]. Neste contexto, encontramos as seguintes equações de Friedmann
sendo ρ e p a densidade e pressão do fluido, respectivamente. A fim de ilustração, podemos considerar alguns casos de interesse da função : o primeiro modelo seria descrito pela função
que representa uma generalização da teoria paralela simétrica (descrita pelo caso em que λ = 0). Ademais, este modelo possui a mesma evolução do background FLRW como na RG, diferenciando-se da RG em nível de perturbações [20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024)., 58[58] J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018)., 69[69] J. Beltrán Jiménez, L. Heisenberg, T.S. Koivisto e S. Â Pekar, Phys. Rev. D 101, 103507 (2020).].
Outra família de modelos é descrita pela modificação
em que g e γ são parâmetros adimensionais. Observamos que a função (96) é recuperada para o caso em que γ = 1/2, enquanto a teoria teleparalela simétrica é obtida quando γ = 1.
Neste caso, encontramos a partir de (97) que a equação de Friedmann modificada (93) é dada por
Ao analisarmos o resultado (98) observamos que:
-
no regime em que γ < 1 as correções para a evolução da RG tornam-se relevantes a baixas curvaturas, ou seja, essas correções contribuem para a cosmologia à época tardia;
-
enquanto que para γ > 1 as correções se tornam significativas no regime a altas curvaturas, ou seja contribuem para os estágios iniciais do Universo.
Dessa forma, concluímos que modelos nos regimes discutidos acima são candidatos viáveis para a descrição do Universo inicial e tardio em termos de cenários inflacionários alternativos e sem a presença de energia escura, respectivamente.
7. mentários Finais
É incontestável a importância da geometria na descrição da interação gravitacional. Podemos dizer que a proposta de Einstein em 1915 da teoria da relatividade geral é o marco científico do uso da geometria na formulação de sistemas físicos, bem como as propostas de Einstein, Weyl e também de Kaluza-Klein em suas teorias unificadoras [32[32] H.F.M. Goenner, Living Rev. Rel. 7, 2 (2004)., 33[33] H.F.M. Goenner, Living Rev. Rel. 17, 5 (2014).]. Buscamos com este trabalho apresentar diferentes estruturas geométricas que permitem a descrição de fenômenos gravitacionais.
Neste trabalho abordamos teorias gravitacionais alternativas formuladas em geometrias não-riemannianas mas fisicamente equivalentes à RG, elas são construídas a partir de quantidades geométricas distintas (mas complementares) à curvatura R, a saber, o tensor de torsão T e o tensor de não-metricidade Q. Discutimos inicialmente a geometria métrica-afim que considera todas essas estruturas para a construção da sua conexão métrica-afim. Abordamos também como é possível obter casos particulares de interesse: a teoria teleraparalelade Weitzenböck descrita em termos da geometria de Weitzenböck em termos do tensor de torsão (com Q = 0), e também a teoria teleparalela simétrica descrita na geometria de Weyl em termos do tensor de não-metricidade (com T = 0).
Embora a RG seja construída a partir do tensor de curvatura na geometria de Riemann, é possível estabelecer novas formulações, em particular, a abordagem teleparalela que implica que a curvatura métrica-afim é identicamente nula e assim outras quantidades geométricas são responsáveis pela descrição da dinâmica gravitacional. O caso mais célebre (inclusive usado por Weyl e Einstein em suas propostas unificadoras) é a teoria teleparalela, que é formulada em geometria(s) plana(s) (a curvatura teleparalela é nula), sendo descrita pelo tensor de torsão ou em termos do tensor de não-metricidade22 22 Naturalmente, temos uma geometria teleparalela geral em que ambos os tensores de torsão e não-metricidade são não nulos, T ≠ 0 e Q ≠ 0. .
As teorias teleparalelas têm conteúdo geométrico e físico bastante interessantes:
-
É conhecido que o tensor de torsão tem um importante papel na descrição de campos de matéria com spin, uma vez que a torsão é o objeto responsável pela interação gravitacional com o spin;
-
Discutimos com detalhes importantes aspectos do tensor de torsão, inclusive a sua interpretação geométrica como uma medida do não-fechamento de paralelogramas (sob transporte paralelo);
-
No caso do tensor de não-metricidade examinamos a sua interpretação como uma medida da variação da magnitude de vetores (sob transporte paralelo), a definição do gauge coincidente e consequentemente o anulamento da conexão globalmente (para uma escolha apropriada de coordenadas).
Para estabelecermos a equivalência das teorias teleparalelas com a RG usamos o princípio de mínima ação:
-
Definimos teorias teleparalelas gerais, primeiramente, em nível de ação funcional em termos do tensor de torsão [não-metricidade] para construir o invariante eq. (47) [invariante ℚ eq. (63)].
-
A equivalência é estabelecida ao usarmos a condição de teleparalelismo absoluto na ação funcional (seja em termos da conexão de Weitzenböck ou da conexão de Weyl); tal que podemos estabelecer uma teoria teleparalela em termos do invariante eq. (52) [teleparalela simétrica, em termos do invariante eq. (70)] que é fisicamente equivalente à teoria da RG.
Para concluirmos, escolhemos uma breve discussão da teoria não-linear a fim de elucidarmos alguns aspectos de como podemos identificar, por exemplo, uma descrição efetiva da constante cosmológica por uma teoria . Ou ainda, em termos da estrutura , que pode ter impacto nos estágios iniciais do universo a altas curvaturas (γ > 1) ou ainda na época tardia do universo a baixas curvaturas (γ < 1) e sem fazer uso de mecanismos e/ou conteúdo exótico de fonte no tensor energia-momento.
Esperamos com essa exposição motivar o estudo de teoria gravitacionais alternativas (mas equivalentes em certo regime) à RG, mas definidas a partir de um ponto de vista e conceitos geométricos diferenciados (geometrias não-riemannianas), permitindo a abordagem de problemas cosmológicos que o modelo padrão não consegue descrever de maneira satisfatória.
Agradecimentos
Os autores agradecem aos revisores pelas críticas, comentários e sugestões que levaram à melhoria do manuscrito. R.B. agradece o apoio do Conselho Nacional de Desenvolvimento Científico e Tecnológico (Projeto CNPq No. 306769/2022-0). O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Código de Financiamento 001.
Appendix
A. Conexão Métrica-afimComo discutimos anteriormente, devido ao seu caráter pseudo-tensorial, a conexão não contém significado intrínseco à geometria. Todavia, ainda é possível extrair informação geométrica da conexão não-riemanniana a partir de uma composição em termos de: símbolos de Christoffel, e dos tensores de torsão e não-metricidade [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986)., 15[15] J.A. Schouten, Ricci Calculus (Springer, Berlin, 1954), 2Â ed., 20[20] L. Heisenberg, Phys. Rept. 1066, 1 (2024).].
O nosso ponto de partida é a derivada covariante da métrica ser não nula (implicando no tensor de não-metricidade Qρμν = ∇ρgμν ≠ 0) e considerar também suas permutações cíclicas, a saber
Agora, ao subtraírmos a segunda e terceira equações da primeira, encontramos
Ademais, fazendo uso da identidade , obtemos
em que fizemos uso da definição do tensor de torsão Tλ μρ ≡ Γλ [μρ].
Por fim, identificando os símbolos de Christoffel
o tensor de contorsão
e o tensor de disformação
encontramos a expressão da conexão métrica-afim (1) dada por
que representa todas as possíveis contribuições à conexão métrica-afim.
Referências
-
[1]B. Felsager, Geometry, Particles and Fields (Springer-Verlag, New York, 1998).
-
[2]R. Aldrovandi e J.G. Pereira, An Introduction to Geometrical Physics (World Scientific, New Jersey, 2016), 2Â ed.
-
[3]B. Hoffmann, Relativity and its Roots (Dover Publications, New York, 1999).
-
[4]V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).
-
[5]R.M. Wald, General Relativity (Chicago University Press, Chicago, 1984).
-
[6]S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).
-
[7]Ray D’Inverno, Introducing Einstein’s Relativity (Oxford University Press, Oxford, 1992).
-
[8]B. Ryden, Introduction to Cosmology (Cambridge University Press, Cambridge, 2016), 2Â ed.
-
[9]A. Liddle, An Introduction to Modern Cosmology (Wiley, Edinburgher, 2015), 3Â ed.
-
[10]C.M. Will, Living Rev. Rel. 17, 1 (2014).
-
[11]B.P Abbott, R. Abbott, T.D. Abbott, M.R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R.X. Adhikari et al., Phys. Rev. Lett. 116, 061102 (2016).
-
[12]K. Akiyama, A. Alberdi, W. Alef, K. Asada, R. Azulay, A.k. Baczko, D. Ball, M. Baloković, J. Barrett, D. Bintley et al., Astrophys. J. Lett. 875, L1 (2019).
-
[13]H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952).
-
[14]A. Eddington, The Mathematical Theory of Relativity (Cambridge University Press, Cambridge, 1924), 2Â ed.
-
[15]J.A. Schouten, Ricci Calculus (Springer, Berlin, 1954), 2Â ed.
-
[16]L.P. Eisenhart, Non-Riemannian Geometry (Dover Publications, New York, 2005).
-
[17]F.W. Hehl, J.D. McCrea, E.W. Mielke e Y. Ne’eman, Phys. Rept. 258, 1 (1995).
-
[18]M. Blagojevic, Gravitation and Gauge Symmetries (CRC Press, Londres, 2001).
-
[19]M. Hohmann, Symmetry 12, 453 (2020).
-
[20]L. Heisenberg, Phys. Rept. 1066, 1 (2024).
-
[21]J. Beltrán Jiménez, L. Heisenberg e T.S. Koivisto, Universe 5, 173 (2019).
-
[22]S. Capozziello, V. De Falco e C. Ferrara, Eur. Phys. J. C 82, 865 (2022).
-
[23]S. Nojiri e S.D. Odintsov, Phys. Rept. 505, 59 (2011).
-
[24]S. Capozziello e M. De Laurentis, Phys. Rept. 509, 167 (2011).
-
[25]T. Clifton, P.G. Ferreira, A. Padilla e C. Skordis, Phys. Rept. 513, 1 (2012).
-
[26]S. Nojiri, S.D. Odintsov e V.K. Oikonomou, Phys. Rept. 692, 1 (2017).
-
[27]E.W. Kolb e M.S. Turner, Front. Phys. 69, 1 (1990).
-
[28]R.A. Battye, T. Charnock e A. Moss, Phys. Rev. D 91, 103508 (2015).
-
[29]W.L. Freedman, Nature Astron. 1, 0121 (2017).
-
[30]H. Weyl, em: The Principle of Relativity, editado por H.A. Lorentz, A. Einstein, H. Minkowski e H. Weyl (Dover Books, New York, 1952).
-
[31]A. Unzicker e T. Case, arXiv:physics/0503046 (2005).
-
[32]H.F.M. Goenner, Living Rev. Rel. 7, 2 (2004).
-
[33]H.F.M. Goenner, Living Rev. Rel. 17, 5 (2014).
-
[34]R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.
-
[35]M. Hohmann, Lect. Notes Phys. 1017, 145 (2023).
-
[36]C. Møller, Mat. Fys. Skr. Dan. Vid. Selsk. 1, 10 (1961).
-
[37]Y.M. Cho, Phys. Rev. D 14, 2521 (1976).
-
[38]K. Hayashi, Phys. Lett. B 69, 441 (1977).
-
[39]K.Hayashi e T. Shirafuji, Phys. Rev. D 19, 3524 (1979).
-
[40]J.W. Maluf, J. Math. Phys. 35, 335 (1994).
-
[41]J.W. Maluf, Annalen Phys. 525, 339 (2013).
-
[42]R. Weitzenböck, Invarianten-Theorie (Noordhoff, Groningen, 1923).
-
[43]A. Golovnev, arXiv:2302.13599 (2023).
-
[44]D.W. Sciama, Rev. Mod. Phys. 36, 463 (1964).
-
[45]T.W.B. Kibble, J. Math. Phys. 2, 212 (1961).
-
[46]F.W. Hehl, P. Von Der Heyde, G.D. Kerlick e J.M. Nester, Rev. Mod. Phys. 48, 393 (1976).
-
[47]E. Cartan, Annales Sci. Ecole Norm. Sup. 40, 325 (1923).
-
[48]E. Cartan, Annales Sci. Ecole Norm. Sup. 41, 1 (1924).
-
[49]R.T. Hammond, Rept. Prog. Phys. 65, 599 (2002).
-
[50]H.I. Arcos e J.G. Pereira, Int. J. Mod. Phys. D 13, 2193 (2004).
-
[51]P. Wu e H.W. Yu, Phys. Lett. B 693, 415 (2010).
-
[52]Y.F. Cai, S. Capozziello, M. De Laurentis e E.N. Saridakis, Rept. Prog. Phys. 79, 106901 (2016).
-
[53]S. Bahamonde, K.F. Dialektopoulos, C. Escamilla-Rivera, G. Farrugia, V. Gakis, M. Hendry, M. Hohmann, J.L. Said, J. Mifsud e E. Di Valentino, Rept. Prog. Phys. 86, 026901 (2023).
-
[54]M. Krssak, R.J. van den Hoogen, J.G. Pereira, C.G. Böhmer e A.A. Coley, Class. Quant. Grav. 36, 183001 (2019).
-
[55]F. D’Ambrosio, L. Heisenberg e S. Kuhn, Class. Quant. Grav. 39, 025013 (2022).
-
[56]A. Golovnev, T. Koivisto e M. Sandstad, Class. Quant. Grav. 34, 145013 (2017).
-
[57]J.M. Nester e H.J. Yo, Chin. J. Phys. 37, 113 (1999).
-
[58]J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Phys. Rev. D 98, 044048 (2018).
-
[59]F.P. Poulis e J.M. Salim, Int. J. Mod. Phys. Conf. Ser. 3, 87 (2011).
-
[60]C. Romero, J.B. Fonseca-Neto e M.L. Pucheu, Class. Quant. Grav. 29, 155015 (2012).
-
[61]J.T. Wheeler, Gen. Rel. Grav. 50, 80 (2018).
-
[62]R. Lazkoz, F.S.N. Lobo, M. Ortiz-Baños e V. Salzano, Phys. Rev. D 100, 104027 (2019).
-
[63]I. Ayuso, R. Lazkoz e V. Salzano, Phys. Rev. D 103, 063505 (2021).
-
[64]O. Sokoliuk, S. Arora, S. Praharaj, A. Baransky e P.K. Sahoo , Mon. Not. Roy. Astron. Soc. 522, 252 (2023).
-
[65]N. Dimakis, A. Paliathanasis e T. Christodoulakis, Class. Quant. Grav. 38, 225003 (2021).
-
[66]F. Bajardi, D. Vernieri e S. Capozziello, Eur. Phys. Plus 135 J., 912 (2020).
-
[67]A. De e T.H. Loo, Class. Quant. Grav. 40, 115007 (2023).
-
[68]M. Hohmann, Phys. Rev. D 104, 124077 (2021).
-
[69]J. Beltrán Jiménez, L. Heisenberg, T.S. Koivisto e S. Â Pekar, Phys. Rev. D 101, 103507 (2020).
-
[70]L. Atayde e N. Frusciante, Phys. Rev. D 104, 064052 (2021).
-
[71]F.K. Anagnostopoulos, S. Basilakos e E.N. Saridakis, Phys. Lett. B 822, 136634 (2021).
-
[72]S. Capozziello, M. Capriolo e S. Nojiri, Phys. Lett. B 850, 138510 (2024).
-
[73]S. Capozziello, M. Capriolo e M. Transirico, Int. J. Geom. Meth. Mod. Phys. 15, 1850164 (2018).
-
[74]J. Beltrán Jiménez, L. Heisenberg e T. Koivisto, Class. Quant. Grav. 37, 195013 (2020).
-
1
Este modelo também é conhecido na literatura como Modelo ΛCDM – Lambda Cold Dark Matter e é embasado no princípio cosmológico, que enuncia que o universo em largas escalas é homogêneo e isotrópico.
-
2
As equações de campo e seu conteúdo físico são idênticos nessa classe de teorias.
-
3
A dedução detalhada desta conexão é apresentada no Apêndice A Appendix A. Conexão Métrica-afim Como discutimos anteriormente, devido ao seu caráter pseudo-tensorial, a conexão não contém significado intrínseco à geometria. Todavia, ainda é possível extrair informação geométrica da conexão não-riemanniana a partir de uma composição em termos de: símbolos de Christoffel, e dos tensores de torsão e não-metricidade [4, 15, 20]. O nosso ponto de partida é a derivada covariante da métrica ser não nula (implicando no tensor de não-metricidade Qρμν = ∇ρgμν ≠ 0) e considerar também suas permutações cíclicas, a saber (A.1) Q ρ μ ν = ∂ ρ g μ ν − Γ λ ρ ν g μ λ − Γ λ ρ μ g λ ν , (A.2) Q μ ν ρ = ∂ μ g ν ρ − Γ λ μ ρ g ν λ − Γ λ μ ν g λ ρ , (A.3) Q ν ρ μ = ∂ ν g ρ μ − Γ λ ν μ g ρ λ − Γ λ v ρ g λ μ . Agora, ao subtraírmos a segunda e terceira equações da primeira, encontramos (A.4) 1 2 Q ρ μ ν − Q μ ν ρ − Q ν ρ μ = 1 2 ∂ ρ g μ ν − ∂ μ g ν ρ − ∂ ν g ρ μ + 1 2 Γ ν [ μ ρ ] + Γ ρ ( μ ν ) − Γ μ [ ρ ν ] . Ademais, fazendo uso da identidade Γρμν=12Γρ(μν)+12Γρ[μν], obtemos (A.5) Γ σ μ ν = 1 2 g σ ρ ∂ μ g ν ρ + ∂ ν g ρ μ − ∂ ρ g μ ν + 1 2 g σ ρ T ν ρ μ + T μ ρ ν + T ρ μ ν + 1 2 g σ ρ Q ρ μ ν − Q μ ρ ν − Q ν ρ μ , em que fizemos uso da definição do tensor de torsão Tλ μρ ≡ Γλ [μρ]. Por fim, identificando os símbolos de Christoffel (A.6) σ μ ν ≡ 1 2 g σ ρ ∂ μ g ν ρ + ∂ ν g ρ μ − ∂ ρ g μ ν , o tensor de contorsão (A.7) K σ μ ν ≡ 1 2 g σ ρ T ν ρ μ + T μ ρ ν + T ρ μ ν , e o tensor de disformação (A.8) L σ μ ν ≡ 1 2 g σ ρ Q ρ μ ν − Q μ ρ ν − Q ν ρ μ , encontramos a expressão da conexão métrica-afim (1) dada por (A.9) Γ σ μ ν = σ μ ν + K σ μ ν + L σ μ ν , que representa todas as possíveis contribuições à conexão métrica-afim. .
-
4
Por sua vez, no caso da teoria teleparalela simétrica podemos definir geodésicas [72[72] S. Capozziello, M. Capriolo e S. Nojiri, Phys. Lett. B 850, 138510 (2024).].
-
5
Como uma discussão detalhada da dinâmica de partículas na teoria teleparalela está além da proposta deste manuscrito, recomendamos aos interessados o estudo da ref. [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.], que possui extensa discussão das diferenças conceituais entre RG e a teoria teleparalela.
-
6
Esta relação pode ser obtida a partir da diferenciação direta da lei de transformação de vetores contravariantes .
-
7
Podemos citar duas maneiras para determinar a forma explícita de : i) a análise da geodésica de partículas em uma superfície curva, e ii) da identidade ∇μgλσ −∇λgσμ −∇σgμλ = 0. Ademais, usaremos a segunda abordagem no apêndice A Appendix A. Conexão Métrica-afim Como discutimos anteriormente, devido ao seu caráter pseudo-tensorial, a conexão não contém significado intrínseco à geometria. Todavia, ainda é possível extrair informação geométrica da conexão não-riemanniana a partir de uma composição em termos de: símbolos de Christoffel, e dos tensores de torsão e não-metricidade [4, 15, 20]. O nosso ponto de partida é a derivada covariante da métrica ser não nula (implicando no tensor de não-metricidade Qρμν = ∇ρgμν ≠ 0) e considerar também suas permutações cíclicas, a saber (A.1) Q ρ μ ν = ∂ ρ g μ ν − Γ λ ρ ν g μ λ − Γ λ ρ μ g λ ν , (A.2) Q μ ν ρ = ∂ μ g ν ρ − Γ λ μ ρ g ν λ − Γ λ μ ν g λ ρ , (A.3) Q ν ρ μ = ∂ ν g ρ μ − Γ λ ν μ g ρ λ − Γ λ v ρ g λ μ . Agora, ao subtraírmos a segunda e terceira equações da primeira, encontramos (A.4) 1 2 Q ρ μ ν − Q μ ν ρ − Q ν ρ μ = 1 2 ∂ ρ g μ ν − ∂ μ g ν ρ − ∂ ν g ρ μ + 1 2 Γ ν [ μ ρ ] + Γ ρ ( μ ν ) − Γ μ [ ρ ν ] . Ademais, fazendo uso da identidade Γρμν=12Γρ(μν)+12Γρ[μν], obtemos (A.5) Γ σ μ ν = 1 2 g σ ρ ∂ μ g ν ρ + ∂ ν g ρ μ − ∂ ρ g μ ν + 1 2 g σ ρ T ν ρ μ + T μ ρ ν + T ρ μ ν + 1 2 g σ ρ Q ρ μ ν − Q μ ρ ν − Q ν ρ μ , em que fizemos uso da definição do tensor de torsão Tλ μρ ≡ Γλ [μρ]. Por fim, identificando os símbolos de Christoffel (A.6) σ μ ν ≡ 1 2 g σ ρ ∂ μ g ν ρ + ∂ ν g ρ μ − ∂ ρ g μ ν , o tensor de contorsão (A.7) K σ μ ν ≡ 1 2 g σ ρ T ν ρ μ + T μ ρ ν + T ρ μ ν , e o tensor de disformação (A.8) L σ μ ν ≡ 1 2 g σ ρ Q ρ μ ν − Q μ ρ ν − Q ν ρ μ , encontramos a expressão da conexão métrica-afim (1) dada por (A.9) Γ σ μ ν = σ μ ν + K σ μ ν + L σ μ ν , que representa todas as possíveis contribuições à conexão métrica-afim. para determinar a expressão geral da conexão métrica-afim (1), em que a conexão não é compatível com a métrica Qμλσ = ∇μgλσ ≠ 0 e também não é simétrica Tβμν ≠ 0.
-
8
Para que essa lei de transformação seja verificada é necessário que a conexão tenha o seguinte comportamento , caracterizando a sua natureza como um pseudo-tensor.
-
9
A equação da geodésica corresponde à equação de movimento de uma partícula, obtida a partir da minimização da trajetória entre dois pontos do espaço-tempo [4[4] V. De Sabbata e M. Gasperini, Introduction to Gravitation (World Scientific Publishing Company, Simgapore, 1986).–6[6] S.M. Carroll, Spacetime and Geometry: An Introduction to General Relativity (Cambridge University Press, Cambridge, 2019).].
-
10
É possível escolher um referencial (coordenadas adequadas) em que as componentes da conexão sejam nulas; todavia, devido ao caráter pseudo-tensorial da conexão as suas componentes não serão necessariamente nulas em outros referenciais.
-
11
A não ser alguns ansatz iniciais, por exemplo, isotropia e homogeneidade da geometria.
-
12
É importante destacar que todas as métricas abordadas neste trabalho têm natureza lorentziana (inclusive a métrica (17)), com assinatura mais negativa (+,−,−,−).
-
13
A teoria telaparalela também pode ser desenvolvida como uma teoria de gauge do grupo de translações, descrição que naturalmente inclui a conexão de spin, para maiores detalhes recomendamos o livro [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
-
14
A nossa notação a partir deste momento, é que as letras gregas μ, ν, α... descreverão o espaço-tempo de Weitzenböck, enquanto que as letras latinas, a, b, c...i, j... designarão o espaço tangente ou espaço-tempo de Minkowski.
-
15
É importante destacar que existem casos particulares de vierbeins (triviais) que formam uma base coordenada e {ha} = {dxa}. Tal estrutura de vierbeins (referencial trivial) é presente na relatividade restrita [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
-
16
Devemos mencionar que no caso geral da teoria teleparalela temos a presença de duas conexões, ∇μAν a = ∂μAν a −Γσ μνAσ a + ωμ a bAν b, em que Γσ μν é a conexão relacionada com a gravitação, enquanto ωμ a b é a conexão de spin relacionada com a inércia [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.]. Essas conexões são manifestações da invariância local por transformações gerais de coordenadas e por transformações de Lorentz, respectivamente. Em nossa análise, por simplicidade, consideraremos uma teoria teleparalela em uma classe especial de referenciais de Lorentz: aqueles em que a conexão de spin teleparalela ωμ a b é nula, isto é, focaremos apenas em efeitos gravitacionais [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
-
17
Como mencionamos anteriormente, essa expressão da conexão de Weitzenböck é válida para referenciais de Lorentz em que a conexão de spin teleparalela ωμ a b é nula [34[34] R. Aldrovandi e J.G. Pereira, Teleparallel Gravity: An Introduction (Springer Science & Business Media, Dordrecht, 2013), v. 173.].
-
18
É importante destacar que a curvatura (teleparalela) é nula devido à condição de paralelismo absoluto. E como veremos a seguir, essa condição tem importantes implicações na análise da equivalência física entre as teorias teleparalela e RG.
-
19
Vale a pena destacar que originalmente a geometria de Weyl foi definida a partir da estrutura Qμνα = Ωμgνα, em que Ωμ é identificado com o potencial eletromagnético e mediria a não-metricidade [13[13] H. Weyl, Space, Time, Matter (Dover Publications, New York, 1952)., 14[14] A. Eddington, The Mathematical Theory of Relativity (Cambridge University Press, Cambridge, 1924), 2Â ed., 30[30] H. Weyl, em: The Principle of Relativity, editado por H.A. Lorentz, A. Einstein, H. Minkowski e H. Weyl (Dover Books, New York, 1952).]. Observa-se, todavia, que a condição Qμνα ≡ ∇μgνα ≠ 0 generaliza a proposta original.
-
20
Deve ficar claro que na geometria de Weyl a conexão métrica-afim é a conexão de Weyl dada por , que tem a propriedade de gerar uma curvatura identicamente nula (condição de teleparalelismo).
-
21
É interessante observar que a ação (81) também é apresentada como uma ação equivalente à RG na seção 11.6 da ref.[7[7] Ray D’Inverno, Introducing Einstein’s Relativity (Oxford University Press, Oxford, 1992).], diferindo da RG por termos de superfície. Todavia, nesse livro, ela é obtida a partir da ação de Hilbert-Einstein e também que ∇λgμν = 0, ou seja, uma abordagem diferente da teoria teleparalela simétrica apresentada aqui em que ∇λgμν ≠ 0.
-
22
Naturalmente, temos uma geometria teleparalela geral em que ambos os tensores de torsão e não-metricidade são não nulos, T ≠ 0 e Q ≠ 0.
Datas de Publicação
-
Publicação nesta coleção
09 Ago 2024 -
Data do Fascículo
2024
Histórico
-
Recebido
17 Fev 2024 -
Revisado
24 Jun 2024 -
Aceito
26 Jun 2024