Twisted Intertwining Operators and Tensor Products of (Generalized) Twisted Modules

Resumo Técnico: Operadores de Entrelaçamento Torcidos e Produtos Tensoriais de Módulos (Generalizados) Torcidos

Enunciado do Problema
Este artigo aborda a construção fundamental das estruturas de produto tensorial dentro da categoria de módulos torcidos para uma álgebra de operadores de vértice (VOA) $V$. Embora a teoria dos produtos tensoriais para módulos não torcidos de $V$ esteja bem estabelecida (levando a categorias tensoriais modulares sob condições específicas), a extensão desta teoria para módulos $g$-torcidos para automorfismos $g$ de $V$ permanece um problema aberto significativo. Especificamente, os autores visam construir produtos tensoriais $P(z)$ e estabelecer os isomorfismos necessários (comutatividade e trançamento) para formular uma estrutura de categoria tensorial trançada $G$-crossed, onde $G$ é um grupo de automorfismos de $V$. Este trabalho é um passo em direção à prova da conjectura de que tais categorias formam categorias tensoriais modulares $G$-crossed, uma generalização do Teorema 1.1 (que estabelece a estrutura de categoria tensorial modular para módulos não torcidos).

Metodologia
Os autores empregam uma abordagem analítica complexa, indo além dos axiomas algébicos da identidade de Jacobi usados no caso não torcido, que não estão diretamente disponíveis para operadores de entrelaçamento torcidos gerais.

1. Operadores de Entrelaçamento Torcidos Generalizados: O artigo introduz uma noção de operadores de entrelaçamento torcidos mais geral do que a definida anteriormente em [17]. Diferente dos operadores em [17], que exigiam que as funções de correlação tivessem uma forma específica e explícita, estes novos operadores permitem que as funções de correlação sejam funções analíticas multivaloradas maximamente estendidas com singularidades regulares. Esta generalização é necessária para definir os produtos tensoriais $P(z)$ corretos; restringir-se à classe especial em [17] produziria apenas submódulos do verdadeiro produto tensorial.
2. Continuação Analítica e Ações de Grupo de Trançamento: A metodologia baseia-se fortemente nas propriedades de funções analíticas multivaloradas em espaços de configuração $M_n$. Os autores utilizam a ação do grupo de trançamento puro $PB_3$ sobre ramos univalentes destas funções para definir e analisar isomorfismos de antissimetria e contragradiente.
3. Construção do Produto Tensorial $P(z)$: Duas construções distintas do produto tensorial $P(z)$ são fornecidas:
   • Construção via Propriedade Universal: Uma construção baseada na propriedade universal dos produtos tensoriais, utilizando o espaço dos mapas de entrelaçamento $P(z)$-torcidos e seus duais.
   • Construção via Condição de Compatibilidade: Uma segunda construção utilizando a condição de compatibilidade $P(z)$ e a condição de restrição de graduação $P(z)$. Estas condições são formuladas usando as propriedades analíticas das funções de correlação (singularidades regulares e singularidades de componentes isoladas) em vez da identidade de Jacobi.
4. Construção de Isomorfismos: O artigo constrói isomorfismos de comutatividade $G$-crossed e isomorfismos de trançamento $G$-crossed usando os isomorfismos de antissimetria dos operadores de entrelaçamento torcidos e isomorfismos de transporte paralelo derivados da continuação analítica ao longo de caminhos em $\mathbb{C}^\times$.

Principais Contribuições e Resultados

• Definição de Operadores de Entrelaçamento Torcidos Gerais: Os autores definem operadores de entrelaçamento torcidos do tipo $\binom{W_3}{W_1 W_2}$ para módulos $g_1, g_2, g_1g_2$-torcidos $W_1, W_2, W_3$. Eles provam que o tipo de tal operador exige que $g_3 = g_1 g_2$ (Proposição 2.12).
• Isomorfismos de Antissimetria e Contragradiente: O artigo estabelece isomorfismos lineares entre espaços de operadores de entrelaçamento torcidos:
  • Antissimetria: Os mapas $\Omega_\pm$ e suas variantes torcidas $\Omega_{g^{-1}}$ são construídos, provando isomorfismos entre espaços do tipo $\binom{W_3}{W_1 W_2}$ e $\binom{W_3}{W_2 \phi(W_1)}$ (Teorema 3.1, Corolário 3.2).
  • Contragradiente: Os mapas $A_\pm$ e suas variantes são construídos, estabelecendo isomorfismos envolvendo módulos contragradientes (Teorema 3.3).
• Construção de Produtos Tensoriais $P(z)$:
  • Um bifunctor de produto tensorial $P(z)$ é definido via uma propriedade universal (Teorema 4.6).
  • Sob a Suposição 4.4 (envolvendo estabilidade de contragradiente e equivalência de duplo contragradiente), a existência do produto tensorial é garantida.
  • O Teorema 4.8 fornece condições suficientes (finitude de módulos irredutíveis, reducibilidade completa e regras de fusão finitas) sob as quais o produto tensorial de dois módulos torcidos de restrição de graduação permanece na categoria de módulos torcidos de restrição de graduação.
• Isomorfismos $G$-Crossed: Usando os isomorfismos de antissimetria e o transporte paralelo, os autores constroem isomorfismos de comutatividade $G$-crossed e isomorfismos de trançamento $G$-crossed, que são componentes essenciais de uma categoria tensorial trançada $G$-crossed.
• Condições de Compatibilidade e Restrição de Graduação: O artigo formula a condição de compatibilidade $P(z)$ e a condição de restrição de graduação $P(z)$. Estas condições são usadas para fornecer uma construção alternativa do produto tensorial $P(z)$ (Seção 5). Os autores provam que o espaço de funcionais $P(z)$-compatíveis é invariante sob a ação de operadores de vértice torcidos e forma um módulo torcido generalizado (Proposições 5.5, 5.6, 5.8).

Significância e Alegações
Os autores posicionam este trabalho como uma contribuição inicial para um programa de longo prazo que visa provar a conjectura de que a categoria de módulos $g$-torcidos para um grupo finito $G$ forma uma categoria tensorial trançada $G$-crossed (e potencialmente uma categoria tensorial modular $G$-crossed).

• Avanço Conceitual: O artigo argumenta que o uso dos operadores de entrelaçamento torcidos mais gerais é necessário para obter os objetos de produto tensorial corretos, evitando as limitações de definições anteriores mais restritivas.
• Mudança Metodológica: Os autores destacam que a formulação da condição de compatibilidade $P(z)$ e a construção de produtos tensoriais no caso torcido são fundamentalmente diferentes do caso não torcido. Como uma identidade de Jacobi não está disponível como um axioma primário para operadores de entrelaçamento torcidos, os autores dependem de métodos analíticos complexos (singularidades regulares e extensões analíticas) para formular estas condições.
• Papel Futuro: O artigo afirma que as condições de compatibilidade $P(z)$ e de restrição de graduação formuladas aqui desempenharão um papel crucial na prova futura da associatividade dos operadores de entrelaçamento torcidos e na construção de isomorfismos de associatividade, de forma análoga ao seu papel na teoria não torcida (como visto em [9, 30]).

O artigo não pretende ter resolvido totalmente a conjectura para todas as VOAs ou todos os grupos finitos $G$, observando que o problema de se a subálgebra de pontos fixos $V^G$ satisfaz as condições necessárias (Teorema 1.1) permanece aberto para $G$ geral. Em vez disso, ele fornece a maquinaria estrutural necessária (operadores, produtos tensoriais e isomorfismos) para prosseguir com estas provas.