Independência de fundo

Origem: Wikipédia, a enciclopédia livre.

A independência de fundo é uma condição na física teórica que exige que as equações definidoras de uma teoria sejam independentes da forma real do espaço-tempo e do valor de vários campos dentro do espaço-tempo. Em particular, isso significa que deve ser possível não se referir a um sistema de coordenadas específico – a teoria deve ser livre de coordenadas. Além disso, as diferentes configurações do espaço-tempo (ou fundos) devem ser obtidas como diferentes soluções das equações subjacentes.

Descrição[editar | editar código-fonte]

A independência de fundo é uma propriedade vagamente definida de uma teoria da física. Grosso modo, limita o número de estruturas matemáticas usadas para descrever o espaço e o tempo que são colocadas "à mão". Em vez disso, essas estruturas são o resultado de equações dinâmicas, como as equações de campo de Einstein, para que se possa determinar, a partir dos primeiros princípios, que forma elas devem assumir. Uma vez que a forma da métrica determina o resultado dos cálculos, uma teoria com base independente é mais preditiva do que uma teoria sem ela, uma vez que a teoria requer menos entradas para fazer suas previsões. Isso é análogo a desejar menos parâmetros livres em uma teoria fundamental.

Portanto, a independência de fundo pode ser vista como uma extensão dos objetos matemáticos que devem ser previstos pela teoria para incluir não apenas os parâmetros, mas também as estruturas geométricas. Resumindo isso, Rickles escreve: "As estruturas de fundo são contrastadas com as dinâmicas, e uma teoria independente de fundo possui apenas o último tipo - obviamente, as teorias dependentes de fundo são aquelas que possuem o primeiro tipo além do último tipo."[1]

Na relatividade geral, a independência de fundo é identificada com a propriedade de que a métrica do espaço-tempo é a solução de uma equação dinâmica.[2] Na mecânica clássica, este não é o caso, a métrica é fixada pelo físico para coincidir com as observações experimentais. Isso é indesejável, pois a forma da métrica afeta as previsões físicas, mas não é prevista pela teoria.

Manifestar independência de fundo[editar | editar código-fonte]

Manifestar independência de fundo é principalmente uma exigência estética e não física. É análogo e intimamente relacionado a exigir na geometria diferencial que as equações sejam escritas de uma forma que seja independente da escolha de gráficos e incorporações de coordenadas. Se um formalismo independente de fundo estiver presente, ele pode levar a equações mais simples e elegantes. No entanto, não há conteúdo físico em exigir que uma teoria seja manifestamente independente de fundo – por exemplo, as equações da relatividade geral podem ser reescritas em coordenadas locais sem afetar as implicações físicas.

Embora manifestar uma propriedade seja apenas estético, é uma ferramenta útil para garantir que a teoria realmente tenha essa propriedade. Por exemplo, se uma teoria é escrita de maneira invariante de Lorentz manifestamente, pode-se verificar a cada passo para ter certeza de que a invariância de Lorentz é preservada. Tornar uma propriedade manifesta também deixa claro se a teoria realmente tem ou não essa propriedade. A incapacidade de tornar a mecânica clássica invariante de Lorentz manifestamente não reflete uma falta de imaginação por parte do teórico, mas sim uma característica física da teoria. O mesmo vale para tornar a mecânica clássica ou o eletromagnetismo independente de fundo.

Teorias da gravidade quântica[editar | editar código-fonte]

Devido à natureza especulativa da pesquisa da gravidade quântica, há muito debate quanto à implementação correta da independência de fundo. Em última análise, a resposta deve ser decidida por experimento, mas até que os experimentos possam investigar os fenômenos da gravidade quântica, os físicos precisam se contentar com o debate. Abaixo está um breve resumo das duas maiores abordagens de gravidade quântica.

Os físicos estudaram modelos de gravidade quântica 3D, que é um problema muito mais simples do que a gravidade quântica 4D (isso ocorre porque em 3D, a gravidade quântica não possui graus de liberdade locais). Nesses modelos, há amplitudes de transição diferentes de zero entre duas topologias diferentes,[3] ou seja, a topologia muda. Este e outros resultados semelhantes levam os físicos a acreditar que qualquer teoria quântica consistente da gravidade deve incluir a mudança de topologia como um processo dinâmico.

Teoria das cordas[editar | editar código-fonte]

A teoria das cordas é geralmente formulada com a teoria das perturbações em torno de um fundo fixo. Embora seja possível que a teoria definida desta forma seja localmente invariante, se assim for, não é manifesto e não está claro qual é o significado exato. Uma tentativa de formular a teoria das cordas de maneira manifestamente independente do contexto é a teoria de campo das cordas [en], mas pouco progresso foi feito em sua compreensão.

Outra abordagem é a dualidade anti-de Sitter/teoria de campo conforme [en] (A.d.S./T.C.C.[a]) conjecturada, mas ainda não comprovada, que se acredita fornecer uma definição completa e não perturbativa da teoria das cordas em espaços-tempos com assintóticas anti-de Sitter [en]. Se assim for, isso poderia descrever um tipo de setor de superseleção [en] da suposta teoria independente de fundo. Mas ainda estaria restrita a espaços assintóticos anti-de Sitter, o que discorda das observações atuais do nosso Universo. Ainda falta uma definição não perturbativa completa da teoria em fundos de espaço-tempo arbitrários.

A mudança de topologia é um processo estabelecido na teoria das cordas.

Gravidade quântica em loop[editar | editar código-fonte]

Uma abordagem muito diferente da gravidade quântica, chamada gravidade quântica em loop, é totalmente não perturbativa e manifestamente independente de fundo: quantidades geométricas, como área, são previstas sem referência à assintóticas ou uma métrica de fundo (por exemplo, não há necessidade de assintóticas de anti-de Sitter [en] ou de uma métrica de fundo), apenas uma determinada topologia.

Ver também[editar | editar código-fonte]

Nota[editar | editar código-fonte]

  1. do inglês A.d.S./C.F.T.anti-de Sitter/conformal field theory

Referências

  1. Rickles, Dean (2008). «Who's afraid of background independence? – Quem tem medo da independência de fundo?». The ontology of spacetime II [A ontologia do espaço-tempo II]. Col: Philosophy and foundations of physics – Filosofia e fundamentos da física (em inglês). 4. [S.l.: s.n.] pp. 133 – 152. CiteSeerX 10.1.1.452.2733Acessível livremente. ISBN 978-0444532756. doi:10.1016/S1871-1774(08)00007-7 
  2. Baez, John C (28 de janeiro de 1999). «Higher-dimensional algebra and Planck-scale physics – The Planck length» [Física em escala de Planck e álgebra de dimensões superiores – O comprimento de Planck] (em inglês)  Publicado em Callender, Craig; Huggett, Nick, eds. (2001). Physics meets philosophy at the Planck scale [A física encontra a filosofia na escala de Planck] (em inglês). [S.l.]: Cambridge university press. pp. 172 – 195 
  3. Ooguri, Hiroshi (1992). «Partition functions and topology-changing amplitudes in the 3D lattice gravity of Ponzano and Regge» [Amplitudes de mudança de topologia e funções de partição na gravidade da rede 3D de Ponzano e Regge] (publicado em setembro de 1992). Nuclear physics B (em inglês). 382 (2): 276 – 304. arXiv:hep-th/9112072Acessível livremente. doi:10.1016/0550-3213(92)90188-H 

Leitura adicional[editar | editar código-fonte]