Linhas de Pesquisa
Frank Michael Forger
Abril de 2012
Física Matemática
Métodos e resultados exatos em mecânica e teoria dos campos, clássica e quântica, incluindo sistemas integráveis.
Linhas e projetos de pesquisa atuais:
1. Tema geral: Teoria Geométrica dos Campos.
A meta geral é o desenvolvimento da teoria clássica dos campos - do formalismo geral assim como do tratamento de modelos específicos - de um ponto de vista geométrico, com ênfase em aspectos estruturais que são importantes para a quantização.
Projeto: Formalismo Hamiltoniano Covariante para a Teoria Clássica dos Campos.
O formalismo hamiltoniano usual da teoria dos campos difere da formulação lagrangiana por quebrar a covariância manifesta (i.e., covariância de Lorentz no âmbito da relatividade restrita e covariância geral no âmbito da relatividade geral) porque pressupõe a escolha a priori de uma hipersuperfície de Cauchy para os dados iniciais. Existem atualmente duas abordagens para superar este defeito: o formalismo multissimplético ou polissimplético – um novo ramo da geometria diferencial que desempenha um papel análogo ao da geometria simplética na mecânica clássica e que na sua forma local remonta a trabalhos de DeDonder e Weyl nos anos 1930 – e o formalismo funcional, baseado no conceito do espaço de fase covariante, popularizado nos anos 1980 por Crnkovic e Witten, que é definido como o espaço das soluções das equações de movimento, ao invés do espaço correspondente de dados iniciais. Os melhores resultados são obtidos quando estas duas abordagens são combinadas.
Problemas resolvidos: definição geral do colchete de
Poisson covariante (colchete de Peierls-DeWitt) [FM-P – 27]; definição
geral de estruturas multissimpléticas e polissimpléticas abrangendo os casos de
interesse em física e ao mesmo tempo permitindo a demonstração de um teorema de
Darboux [FM-S – 1]; classificação das conexões multissimpléticas e
polissimpléticas e demonstração de um teorema de vizinhança tubular à
Problemas atualmente sob investigação: identificação e tratamento de classes importantes de funcionais locais (continuação de [FM-S – 2] e da tese de doutorado de M.O. Salles); descrição de simetrias e formulação do teorema de Noether usando grupoides e algebroides de Lie, generalizando [FM-S – 3]; tratamento de sistemas com vínculos e, em particular, de teorias de calibre.
Referências: trabalhos publicados em revistas científicas [FM-P – 21,24,25,27,28] e trabalhos submetidos [FM-S – 1-5].
1. Tema geral: Sistemas Integráveis.
A meta geral é o desenvolvimento da teoria dos sistemas Hamiltonianos integráveis, na mecânica assim como na teoria bidimensional dos campos, no que diz respeito a propriedades estruturais gerais assim como ao estudo de modelos específicos.
Projeto: Novas Estruturas Algébricas
O mais recente exemplo de uma nova estrutura algébrica encontrada no estudo de sistemas integráveis é o conceito de uma matriz R dinâmica. Ao contrário da noção de uma matriz R ordinária, ou matriz R numérica, introduzida por Yang e Baxter no final dos anos 1960 e no início dos anos 1970 e que se tornou central em toda uma nova área da matemática agora conhecida sob o nome (um tanto infeliz) de "grupos quânticos", o seu significado matemático exato ainda não está completamente claro. Encontrado pela primeira vez em meados dos anos 1980 na análise dos colchetes de Poisson entre as entradas da matriz de monodromia de modelos sigma não-lineares clássicos integráveis em duas dimensões do espaço-tempo, sua investigação foi obstruída por singularidades a curta distância, que são típicas para um problema da teoria dos campos tal como este. A situação é mais favorável na mecânica, onde tais singularidades não aparecem. Portanto, iniciamos uma investigação sistemática de matrizes R dinâmicas para os modelos de Calogero - os sistemas integráveis mais tradicionais da mecânica onde esta nova estrutura surge.
Referências: trabalhos publicados em revistas científicas [FM-P – 16,21,22] e trabalho publicado em atas de congressos [FM-C – 6].
Biomatemática
Simetria e quebra de simetria – conceitos modernos da física e da matemática que permitem entender aspectos da evolução de certos sistemas biológicos.
Linhas e projetos de
pesquisa atuais:
Projeto: Quebra de Simetria e a Evolução do Código Genético.
Segundo uma hipótese de Hornos e Hornos publicada em 1993, o código genético que dirige a síntese de proteinas em praticamente todas as formas de vida no nosso planeta pode ter evoluído através de um processo acompanhado e guiado pelo fenómeno de quebra de simetria, em vários passos consecutivos. A meta principal deste projeto é classificar as possíveis simetrias e os possíveis esquemas de quebra de simetria que levam à distribuição de multipletos observada no código padrão - um problema puramente algébrico que já foi resolvido quase por completo. O que falta ainda, mas constituiria um passo mais ambicioso, aparentemente ainda fora de alcance, é a formulação de um modelo dinâmico, baseado na teoria dos sistemas dinâmicos equivariantes (sistemas dinâmicos com simetria), pois é bem conhecido que bifurcações equivariantes (bifurcações na presença de simetrias) genericamente levam a quebras de simetria.
Referências: trabalhos publicados em revistas científicas [BM-P – 1-10] e trabalho em preparação [BM-S – 1].
Projeto: Sistemas de Processos Estocásticos Acoplados com Simetria e Expressão Gênica.
Surpreendentemente, um modelo matemático extremamente simplificado para descrever o regulamento da expressão gênica, que consiste de dois processos estocásticos adequadamente acoplados, exibe uma simetria oculta envolvendo a álgebra de Lie so(2,1), a qual permite algumas previsões exatas sobre o comportamento do sistema. Surge assim a questão se é possível chegar a conclusões semelhantes para sistemas mais complexos e, do ponto de vista biológico, mais realísticos.
Referência: trabalho publicado em revista científica [BM-P – 9].