On a super-Virasoro group, a semigroup of annuli, and Gauss--Berezin integral operators

Resumen Técnico: Sobre un grupo super-Virasoro, un semigrupo de anillos y operadores integrales de Gauss–Berezin

Planteamiento del Problema
El artículo aborda la extensión de la teoría de las representaciones unitarias de la álgebra de Virasoro al ámbito de las superálgebras y supergrupos, centráéndose específicamente en la superálgebra de Neveu–Schwarz (NS). Mientras que el álgebra de Virasoro y su grupo asociado de difeomorfismos del círculo, $SDiff(S^1)$, están bien comprendidos en el contexto de la teoría de representaciones de dimensión infinita (incluyendo la construcción de semigrupos de anillos y sus representaciones), los análogos super presentan desafíos técnicos significativos.

Las principales dificultades son de dos tipos:

1. Naturaleza Funcional-Analítica: Las representaciones involucran operadores no acotados en espacios de Hilbert, lo que requiere un manejo cuidadoso de los dominios, la autodulidad y la multiplicación de dichos operadores.
2. Estructura Super Formal: Los objetos principales de estudio —el semigrupo de super-anillos de contacto y el semigrupo de operadores de Gauss–Berezin— se encuentran fuera del formalismo estándar de la super-matemática (por ejemplo, la teoría estándar de super-variedades). El autor evita explícitamente asumir que el lector posee conocimientos previos de super-álgebras de Lie, buscando en su lugar un tratamiento accesible para los analistas funcionales familiarizados con la teoría de la representación de grupos de Lie clásicos.

El objetivo es construir representaciones explícitas de un semigrupo de "super-anillos" (variedades complejas con frontera y estructuras de contacto) que extiendan las representaciones unitarias de peso máximo de la supergrupo de Neveu–Schwarz.

Metodología
El autor emplea un enfoque específico para los supergrupos, siguiendo a DeWitt y Rogers, definiendo los supergrupos como grupos sobre una álgebra de Grassmann fija $A$ con un número contable de generadores. La metodología progresa a través de varias etapas distintas:

1. Grassmannización y Grupos Surplace: El artículo utiliza la construcción de Berezin–Kats para definir la Grassmannización $g(A)$ de una super-álgebra de Lie $g$. Introduce "grupos surplace" $G^{\circ\circ}(A)$, que son grupos de transformaciones infinitesimales reales generadas por elementos de la forma $1 + \lambda X$ (donde $\lambda$ son elementos nilpotentes de $A$). Esto permite una realización concreta del supergrupo de Neveu–Schwarz $SCont(S^{1|1}_{\bullet}; A)$ como un grupo de contactomorfismos de la super-circunferencia $S^{1|1}$.

2. Inmersión en Estructuras Ortosimplécticas: Un paso técnico clave es la inmersión del supergrupo $SCont(S^{1|1}_{\bullet}; A)$ en un supergrupo ortosimpléctico de dimensión infinita $OSp(W; A)$. Esto se logra mediante la realización de la super-álgebra de Lie $cont(S^{1|1}_{\bullet})$ en términos de operaciones diferenciales invariantes en un espacio $W$ de funciones y densidades. Esta inmersión está parametrizada por números complejos $\mu, \nu$, que corresponden a los parámetros en las definiciones de los operadores de la álgebra NS.

3. Integración de Representaciones: El artículo demuestra que las representaciones unitarias de peso máximo de la super-álgebra de Lie NS pueden integrarse a representaciones proyectivas de la supergrupo $SCont(S^{1|1}_{\bullet}; A)$. Esto implica establecer la autodulidad de los operadores no acotados y manejar las sutilezas funcionales-analíticas de la escala de espacios de Hilbert definida por el operador $L_0$.

4. Semigrupo de Super-Anillos y Transformadas de Potapov: El autor construye un semigrupo $\Gamma_{\bullet}(A)$ de super-anillos de contacto. Los elementos de este semigrupo son anillos equipidos con estructuras de contacto y parametrizaciones de frontera. La multiplicación se define mediante la unión de anillos. El artículo realiza estos elementos como relaciones super-lineales lagrangianas afines en el espacio ortosimpléctico $W[A]$. Se utiliza la transformada de Potapov para mapear estas relaciones a operadores.

5. Operadores de Gauss–Berezin: Para representar el semigrupo $\Gamma_{\bullet}(A)$, el artículo introduce "operadores integrales de Gauss–Berezin". Estos son híbridos super de operadores gaussianos (en el espacio de Fock bosónico) y operadores de Berezin (en el espacio de Fock fermiónico). El núcleo de tal operador es una serie formal que involucra un exponencial de una forma cuadrática en variables bosónicas y fermiónicas.

Contribuciones Clave y Resultados

• Descripción Explícita del Supergrupo NS: El artículo proporciona descripciones explícitas del supergrupo de Neveu–Schwarz $NS(A)$ y su complejización, el semigrupo de super-anillos de contacto $\Gamma_{\bullet}(A)$, en términos de contactomorfismos de la super-circunferencia y operaciones de unión.
• Teorema de Integración: Se demuestra que cualquier representación unitaria de peso máximo de la super-álgebra de Lie NS (con restricciones específicas sobre la carga central $c$ y el peso conforme $h$) se extiende a una representación proyectiva de la supergrupo $SCont(S^{1|1}_{\bullet}; A)$.
• Representación del Semigrupo: El resultado principal (Teorema 8.3 y Sección 11) establece que estas representaciones pueden extenderse además al semigrupo $\Gamma_{\bullet}(A)$. Esto se logra asociando cada elemento del semigrupo con un operador de Gauss–Berezin acotado que actúa sobre el espacio de vectores suaves de la representación.
• Correspondencia entre Relaciones y Operadores: Se establece una correspondencia rigurosa entre las relaciones super-lineales lagrangianas afines (derivadas de la geometría de los super-anillos) y los operadores de Gauss–Berezin. Específicamente, el producto de los operadores corresponde al producto de las relaciones lagrangianas subyacentes, siempre que las relaciones sean transversales.
• Manejo de la No Acotación: El artículo navega con éxito las dificultades de los operadores no acotados trabajando dentro del espacio de vectores suaves ($H_{\infty}$) y utilizando la escala de espacios de Hilbert definida por potencias de $L_0$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una "superización" del trabajo sobre la álgebra de Virasoro y el semigrupo de anillos (refiriéndose específicamente a los trabajos [41], [45], [62]). Su significancia radica en:

1. Puente entre Formalismos: Ofrece un marco para estudiar supergrupos de dimensión infinita que es accesible para los analistas funcionales, evitando la pesada maquinaria de la teoría de super-variedades mientras captura las estructuras algebraicas y geométricas esenciales.
2. Nueva Clase de Operadores: La introducción de los operadores de Gauss–Berezin proporciona una herramienta concreta para manejar el producto de super-anillos en el contexto de la teoría de la representación, de manera análoga a cómo los operadores gaussianos manejan el semigrupo de Virasoro.
3. Completitud de la Imagen: El trabajo demuestra que los profundos resultados estructurales conocidos para la álgebra de Virasoro (respecto a las representaciones de peso máximo y su extensión a semigrupos) tienen contrapartidas válidas en el contexto de la super-álgebra de Neveu–Schwarz, a pesar de la complejidad añadida de las variables fermiónicas y la no acotación.

El autor señala modestamente que el enfoque es específico para el caso de Neveu–Schwarz (elegido por la correspondencia técnica con un artículo preliminar) y que las definiciones de supergrupos utilizadas son una de varios formalismos posibles. El artículo no pretende resolver todos los problemas de las super-variedades de dimensión infinita, sino que se centra en las estructuras funcionales-analíticas y algebraicas específicas necesarias para construir estas representaciones.