Twisted cohomology on algebraic and analytic varieties

Resumo Técnico: Cohomologia Torcida em Variedades Algébricas e Analíticas

Enunciação do Problema
O artigo aborda o desafio de definir e calcular "cohomologia torcida" em variedades algébricas, inspirando-se em seus análogos bem estabelecidos na geometria analítica complexa (especificamente cohomologia Morse-Novikov ou cohomologia de Lichnerowicz). Enquanto a cohomologia torcida em variedades suaves e variedades complexas é definida por meio de um operador diferencial deformado $d_\omega = d + \omega \wedge$ (onde $\omega$ é uma 1-forma fechada), estender isso para a categoria algébrica apresenta obstruções significativas.

A principal dificuldade reside na escassez de formas diferenciais algébricas globais em variedades projetivas. Ao contrário do caso analítico, onde formas holomorfas ou suaves globais podem existir, as funções regulares globais em uma variedade projetiva são constantes (pelo teorema de Liouville e pela natureza das variedades projetivas), implicando que as 1-formas algébricas globais derivadas da derivada exterior de funções globais são triviais. Consequentemente, um "parâmetro de torção" global (uma 1-forma fechada usada para deformar o diferencial) não existe naturalmente em variedades projetivas gerais. O artigo busca identificar as restrições estruturais necessárias em variedades algébricas para permitir a existência de tais parâmetros e estabelecer uma comparação rigorosa entre as cohomologias torcidas algébrica e analítica.

Metodologia
Os autores empregam uma abordagem multifacetada que combina geometria algébrica, análise complexa e teoria de feixes:

1. GAGA e Comparação Analítica: O artigo utiliza os teoremas de GAGA (Géométrie Algébrique et Géométrie Analytique) de Serre para relacionar variedades algébricas $X$ às suas variedades analíticas subjacentes $X^h$. Investiga-se como os parâmetros de torção no contexto analítico (especificamente formas $(0,1)$ $\eta$ para o complexo de Dolbeault) correspondem a parâmetros algébricos.
2. Identificação de Parâmetros de Torção: Propõem-se dois métodos para identificar parâmetros de torção algébricos com os analíticos:
   • Parâmetro Conjugado: Tomar o conjugado complexo de uma 1-forma holomorfa global (derivada de uma forma algébrica) para obter uma forma $(0,1)$.
   • Parâmetro Contraído: Contrair uma forma $(0,1)$ holomorfa com valores vetoriais (diferencial de Beltrami) com uma 1-forma holomorfa, sujeita à condição de que o colchete $[\mu, \mu] = 0$ para garantir a fechadura.
3. Restrição a Variedades Abelianas: Os autores argumentam que, para que um parâmetro de torção algébrico global exista em uma variedade projetiva, a variedade deve possuir uma estrutura de grupo abeliano (ou seja, ser uma variedade abeliana). Isso é justificado pela existência de 1-formas holomorfas globais não triviais em variedades abelianas (e curvas elípticas), que estão ausentes em variedades projetivas gerais.
4. Estruturas Logarítmicas e Teorema de Deligne: Reconhecendo que as formas regulares globais são insuficientes, o artigo introduz estruturas logarítmicas. Postula-se que a variedade deve ser equipada com um divisor com cruzamentos normais (via compactificação de Hironaka) para definir 1-formas logarítmicas. Os autores invocam o teorema de Deligne sobre conexões regulares, que estabelece um isomorfismo entre a cohomologia de de Rham algébrica com coeficientes em um fibrado vetorial com uma conexão regular e seu análogo analítico, desde que a conexão tenha polos logarítmicos.
5. Feixes de Peso e Conexões Planas: A cohomologia torcida é reinterpretada como a cohomologia de um fibrado de linha plano (feixe de peso) com uma conexão $\nabla = d + \omega$. A nilpotência da derivada torcida corresponde à planicidade dessa conexão.
6. Cálculos Explícitos: O artigo realiza cálculos elementares em casos afins e projetivos (especificamente curvas elípticas perfuradas e curvas elípticas com divisores logarítmicos) para demonstrar o comportamento do complexo torcido.

Contribuições e Resultados Principais

• Restrições de Existência: O artigo estabelece que, para que uma variedade algébrica projetiva suporte um parâmetro de torção algébrico global compatível com o caso analítico, ela deve essencialmente ser uma variedade abeliana. Para variedades não abelianas, a existência de tais parâmetros está ligada a estruturas logarítmicas em divisores.
• Isomorfismo de Cohomologias:
  • Caso Analítico: O artigo prova (Teorema 1) que, se dois parâmetros de torção analíticos $\psi_1$ e $\psi_2$ são cohomólogos (diferem por uma forma exata $\partial f/f$), suas cohomologias torcidas de Dolbeault são isomorfas. Isso é demonstrado por meio de um mapa de cadeia envolvendo multiplicação por uma função $f$ (ou $e^{-r}$).
  • Caso Algébrico: Um resultado similar (Teorema 3) é provado para 1-formas algébricas logarítmicas. Se dois parâmetros de torção algébricos diferem por uma forma exata logarítmica $dg/g$, as cohomologias torcidas algébricas resultantes são localmente isomorfas.
• Cálculo em Curvas:
  • Para uma curva elíptica perfurada (caso afim), os autores calculam que a cohomologia torcida de ordem zero se anula ($H^0_\omega = 0$) porque nenhuma função algébrica não nula satisfaz a condição de fechadura torcida sem ser transcendental. A cohomologia de primeira ordem é reduzida em dimensão em comparação com a cohomologia de de Rham padrão.
  • Para uma curva elíptica projetiva com um divisor logarítmico, a cohomologia de ordem zero se anula (pois as seções globais são constantes), e a cohomologia de primeira ordem é calculada usando sequências espectrais e resultados de degeneração de Deligne.
• Extensão Logarítmica: O artigo demonstra que a cohomologia torcida algébrica pode ser efetivamente calculada usando o complexo de de Rham logarítmico em uma compactificação de Hironaka. Isso permite o uso de ferramentas da teoria de cohomologia logarítmica para lidar com as "singularidades" no infinito necessárias para que o parâmetro de torção exista globalmente.

Significado e Afirmações
O artigo afirma fornecer um estudo fundamental e elementar da cohomologia torcida especificamente no contexto de variedades algébricas, distinguindo-o de trabalhos anteriores que focaram em aspectos logarítmicos ou variedades complexas.

• Motivação: O trabalho é motivado pelo desejo de deformar o complexo de de Rham algébrico de maneira similar à deformação do complexo de Dolbeault na geometria complexa (referenciando os trabalhos [13, 14, 15]).
• Escopo Modesto: Os autores afirmam explicitamente que não incluem aplicações extensas ou propostas experimentais. Em vez disso, o artigo foca em motivar a definição de cohomologia torcida algébrica, esclarecer as restrições nas variedades subjacentes (necessitando estruturas abelianas ou divisores logarítmicos) e fornecer "cálculos fáceis" para ilustrar a teoria.
• Ponte Teórica: O significado reside em preencher a lacuna entre a cohomologia torcida analítica (que é sensível à estrutura complexa) e a cohomologia algébrica (que é topológica no sentido padrão de de Rham). O artigo sugere que, ao introduzir estruturas logarítmicas e conexões regulares, pode-se recuperar um isomorfismo entre as teorias torcidas algébrica e analítica, resolvendo a obstrução causada pela falta de formas algébricas globais em variedades projetivas gerais.

Em resumo, o artigo argumenta que a cohomologia torcida algébrica é um conceito viável apenas quando a variedade é uma variedade abeliana ou está equipada com uma estrutura logarítmica, e fornece o arcabouço teórico e exemplos computacionais básicos para apoiar essa definição.