Hochschild cohomology of the second kind: Koszul duality and Morita invariance

Resumo Técnico: Cohomologia de Hochschild do Segundo Tipo

1. O Problema e o Contexto

A cohomologia de Hochschild é um invariante fundamental para álgebras associativas, categorias dg (diferenciais graduadas) e álgebras curvas. Tradicionalmente, a "cohomologia de Hochschild do primeiro tipo" é definida via totalização de produtos diretos do complexo de Hochschild. No entanto, para álgebras dg genuínas, essa abordagem difere significativamente da "cohomologia de Hochschild do segundo tipo" (ou cohomologia de suporte compacto), que utiliza totalização de somas diretas.

O problema central abordado neste trabalho é que a cohomologia de Hochschild do segundo tipo, embora geometricamente rica (capturando informações sobre categorias derivadas de feixes coerentes, sistemas locais infinitos e fatorações de matrizes), carecia de uma definição robusta que fosse:

1. Invariante sob equivalências de Morita adequadas (especificamente do "segundo tipo").
2. Compatível com a dualidade de Koszul (especialmente no caso não-conilpotente e para álgebras curvas).
3. Capaz de conectar álgebras dg/curvas a categorias dg geométricas (como a categoria derivada limitada de uma variedade algébrica complexa).

Definições anteriores (como as de Positselski e Polishchuk) muitas vezes falhavam em satisfazer simultaneamente a invariância de Morita e a compatibilidade com a dualidade de Koszul em contextos gerais.

2. Metodologia

Os autores desenvolvem uma nova abordagem baseada na álgebra homológica do segundo tipo, onde a noção de quasi-isomorfismo é substituída por uma noção mais fina de equivalência fraca. A metodologia envolve:

• Definição via Categoria Derivada Torcida: A cohomologia de Hochschild do segundo tipo é definida como um funtor derivado na categoria derivada torcida ($D^{\text{II}}_c(A)$), gerada pelos objetos compactos ($\text{Perf}^{\text{II}}(A)$).
  • Definição formal: $HC^{\text{II}}_c(A) = \mathbb{R}\text{Hom}_{D^{\text{II}}_c(A \otimes A^{\text{op}})}(A, A)$.
• Estruturas de Modelo do Segundo Tipo: Utilizam estruturas de modelo em categorias de módulos dg e pseudocompactos, onde as equivalências fracas são definidas por cones co-acyclics ou contra-acyclics, em vez de quasi-isomorfismos usuais.
• Dualidade de Koszul Bimódulo: Estendem a dualidade de Koszul clássica para o contexto de bimódulos. Eles constroem equivalências de Quillen entre:
  • Módulos sobre uma álgebra dg $A$ e comodulos sobre sua construção de barra estendida ($qBA$).
  • Bimódulos sobre álgebras e bicomodulos sobre álgebras de coalgebras duais.
• Tratamento de Álgelas Curvas: Para lidar com álgelas curvas (onde a própria álgebra não é um módulo sobre si mesma, impedindo o uso direto do embedding de Yoneda), os autores constroem uma álgebra dg associada $A'$ (acyclic) que é II-Morita equivalente a $A$, permitindo a transferência de resultados.

3. Principais Contribuições e Resultados

A. Invariância de Morita do Segundo Tipo
Os autores provam que a cohomologia de Hochschild do segundo tipo é invariante sob duas noções de equivalência:

1. Equivalência MC (Maurer-Cartan): Um mapa $f: A \to B$ que induz uma bijeção nos conjuntos de moduli de elementos de Maurer-Cartan induz um quasi-isomorfismo $HC^{\text{II}}_c(A) \simeq HC^{\text{II}}_c(B)$.
2. Equivalência de Morita de Bimódulos: Se $A$ e $B$ são bimódulo II-Morita equivalentes (existem bimódulos $P$ e $Q$ que induzem equivalências na categoria derivada torcida), então suas cohomologias de Hochschild do segundo tipo são quasi-isomorfas como álgebras dg.

B. Compatibilidade com Dualidade de Koszul
Um resultado central é a demonstração de que a cohomologia de Hochschild do segundo tipo de uma álgebra dg $A$ é isomorfa à cohomologia de Hochschild ordinária (do primeiro tipo) de sua construção de barra estendida ($qBA$):
$$HC^{\text{II}}_c(A) \simeq HC(qBA)$$
Isso estabelece uma ponte crucial entre a teoria do "segundo tipo" (módulos torcidos) e a teoria clássica via dualidade de Koszul, generalizando resultados anteriores para o caso não-conilpotente e para álgelas curvas.

C. Relação com Geometria e Topologia
O trabalho demonstra que, em casos geometricamente significativos, a cohomologia de Hochschild do segundo tipo de uma álgebra calcula a cohomologia de Hochschild ordinária de uma categoria dg associada:

1. Variedades Algébricas Complexas: Se $A(X)$ é a álgebra de Dolbeault de uma variedade complexa projetiva suave $X$, então $HH^{\text{II}}_c(A(X)) \cong HH(\text{Perf}(X))$, onde $\text{Perf}(X)$ é a categoria derivada limitada de feixes coerentes.
2. Espaços Topológicos: Para o complexo de cadeias singulares $C^*(X)$ ou a álgebra de de Rham $A^*(X)$ de um espaço $X$, a cohomologia calcula a cohomologia de Hochschild da categoria de sistemas locais infinitos ($\infty$-local systems) sobre $X$.
3. Fatorações de Matrizes: Para uma álgebra curva $R_w$ (definida por uma função $w$), a cohomologia $HH^{\text{II}}_c(R_w)$ é isomorfa à cohomologia de Hochschild da categoria de fatorações de matrizes $MF(R, w)$, que codifica a estrutura de singularidades hipersuperficiais.

D. Comparação com Definições Anteriores
Os autores esclarecem que sua definição situa-se "no meio" entre a cohomologia de Hochschild ordinária e a definição de Positselski-Polishchuk (suporte compacto). Em muitos casos favoráveis, elas coincidem, mas a definição proposta oferece vantagens técnicas na compatibilidade com a dualidade de Koszul e na invariância de Morita.

4. Significado e Impacto

Este trabalho é significativo por várias razões:

• Unificação Teórica: Fornece um quadro unificado que conecta a álgebra homológica do segundo tipo (frequentemente usada em contextos de geometria não-comutativa e teoria de campos topológicos) com a dualidade de Koszul e a teoria de Morita.
• Ferramenta Computacional: Ao reduzir a cohomologia de Hochschild do segundo tipo de álgelas complexas (como álgelas de Dolbeault ou de cadeias singulares) à cohomologia de Hochschild ordinária de categorias dg bem compreendidas, o trabalho oferece novas ferramentas computacionais para estudar invariantes geométricos e topológicos.
• Generalização para Casos Curvos: A extensão dos resultados para álgelas curvas (crucial para a teoria de fatorações de matrizes e singularidades) e a resolução de problemas técnicos relacionados ao embedding de Yoneda em contextos curvos representam avanços metodológicos importantes.
• Aplicações em Física Matemática: A conexão com fatorações de matrizes e sistemas locais reforça a relevância deste invariante em áreas como a teoria de cordas topológicas e a correspondência de mirror symmetry.

Em suma, o artigo estabelece a cohomologia de Hochschild do segundo tipo como um invariante robusto, geometricamente significativo e matematicamente bem-comportado sob dualidades e equivalências de Morita, preenchendo lacunas teóricas existentes na literatura sobre álgebras dg e curvas.