Real Twistings are 2-Line Bundles

Resumen Técnico: Los giros reales son fibrados de 2 líneas

Planteamiento del problema
La K-teoría con giro (twisted K-theory) ha sido un tema de gran interés debido a sus aplicaciones en la física teórica, particularmente en la teoría de cuerdas y la clasificación de fases topológicas de la materia. Mientras que las teorías de cohomología con giro pueden abordarse mediante la teoría de homotopía o las álgebras de operadores, los modelos físicos suelen requerir realizaciones de geometría diferencial. Un desafío primordial consiste en unificar los diversos modelos geométricos para los "giros" (twistings) (los datos que generan el giro en la K-teoría) en diferentes contextos: variedades ordinarias, grupoides de Lie (que codifican la equivariancia/orbifolds) y grupoides de Lie graduados (que codifican simetrías de tipo "orientifold" donde los morfismos pueden actuar de forma antilineal).

La literatura existente ofrece modelos dispares para estos giros, incluyendo:

• Fibrados de álgebras super simples centrales (Donovan–Karoubi).
• Fibrados de bundle gerbes (Murray, Stevenson).
• Gerbes equivariantes y de Jandl (Gawędzki–Reis, Meinrenken, Gomi).
• Giros de Freed–Hopkins–Teleman (FHT) mediante extensiones centrales de grupoides.
• Extensiones de grupoides de Freed–Moore.
• Giros reales de Moutuou y giros de orientifold de Distler–Freed–Moore.

Estos modelos suelen abordar casos específicos (por ejemplo, torsión frente a no torsión, real frente a complejo, equivariante frente a no equivariante) sin un marco de geometría diferencial único y coherente que los abarque todos, particularmente en el entorno graduado requerido para los orientifolds.

Metodología
Los autores construyen un marco unificado basado en fibrados super de 2 líneas. Este enfoque procede en tres etapas principales:

1. Fundamentos sobre variedades: El artículo recuerda la definición de fibrados super de 2 líneas sobre una variedad suave $X$ como una bicategoria $s2\text{LBdl}(X)$. Estos son fibrados de líneas categorificados que consisten en un submersión sobreyectiva $\pi: Y \to X$, un fibrado de álgebra super simple central $A$ sobre $Y$, un fibrado de bimodules invertible $M$ y un interviniente asociativo $\mu$. Esta estructura unifica los fibrados de álgebras super simples centrales y los super bundle gerbes. Los autores utilizan la "construcción plus" (esquematización de pre-esquemas de bicatagorías) para definir estos objetos, asegurando que satisfagan una ley de pegado (formando un 2-stack).

2. Extensión a grupoides de Lie graduados: La innovación metodológica central es la extensión de este marco a grupoides de Lie graduados $(\Gamma, \phi)$. Un grupoide de Lie graduado es un grupoide de Lie $\Gamma$ equipado con un funtor suave $\phi: \Gamma \to B\mathbb{Z}_2$, que asigna un grado $\mathbb{Z}_2$ (lineal o antilineal) a cada morfismo.

   • Los autores definen un fibrado super de 2 líneas sobre $(\Gamma, \phi)$ como una terna $(L, P, \psi)$, donde $L$ es un fibrado super de 2 líneas sobre el manifold de objetos $\Gamma_0$, $P$ es un 1-isomorfismo que relaciona los pullbacks de la fuente y el objetivo de $L$ (reticulados por la graduación $\phi$), y $\psi$ es un 2-isomorfismo que asegura la asociatividad sobre $\Gamma_2$.
   • Esta definición incorpora la conjugación compleja como un funtor sobre la bicategoria, activado por la graduación $\phi = -1$.
   • La estructura resultante, denotada como $s2\text{LBdl}(\Gamma, \phi)$, es una bicategoria que es invariante bajo equivalencias débiles de grupoides de Lie graduados (invariancia de Morita).

3. Clasificación cohomológica: Los autores establecen un teorema de clasificación que muestra que las clases de isomorfismo de estos objetos corresponden a los grupos de cohomología de Čech:
   $$\check{H}^0((\Gamma, \phi), \mathbb{Z}_2) \times \check{H}^1((\Gamma, \phi), \mathbb{Z}_2) \times \check{H}^2((\Gamma, \phi), \mathbb{C}^\times)$$
   Aquí, la cohomología para grupoides graduados se define con un diferencial modificado que tiene en cuenta la graduación $\phi$ (específicamente, la acción de $\mathbb{Z}_2$ sobre el esquema de coeficientes $\mathbb{C}^\times$ mediante la conjugación compleja).

Contribuciones y resultados clave
El artículo demuestra que la bicategoria $s2\text{LBdl}(\Gamma, \phi)$ sirve como un contenedor universal para los diversos giros encontrados en la literatura. A través de un trabajo de comparación detallado en la Sección 5, los autores prueban equivalencias o inclusiones para los siguientes modelos específicos:

• Gerbes equivariantes y de Jandl: Los autores muestran que las Jandl gerbes equivariantes (sobre grupos de orientifold) son equivalentes a los bundle gerbes sobre el grupoide de acción graduado asociado, y por lo tanto se integran en los fibrados super de 2 líneas.
• Extensiones de Freed–Moore: Las extensiones de grupoide $\phi$-reticuladas de Freed–Moore se identifican como la sub-bicategoria de los fibrados super de 2 líneas donde el fibrado subyacente $L$ es trivial. Se demuestra que los fibrados vectoriales reticulados definidos por Freed–Moore coinciden con la definición de los autores para los super fibrados vectoriales reticulados (morfismos hacia el objeto trivial).
• Giros de Freed–Hopkins–Teleman (FHT): El artículo construye una equivalencia entre los giros FHT (definidos vía extensiones super centrales y equivalencias débiles) y la 1-categoría de homotopía de los super bundle gerbes sobre $\Gamma$. Esto cierra la brecha entre la definición de "span" de FHT y la definición de "stackificación" de los fibrados de 2 líneas.
• Giros reales de Moutuou: Los giros reales sobre grupoides reales (grupoides de Lie con una involución) se mapean a los fibrados super de 2 líneas sobre el grupoide de Lie graduado asociado construido mediante un producto semidirecto con $\mathbb{Z}_2$.
• Giros de Freed y Distler–Freed–Moore: Los fibrados de álgebra invertible reticulados y los giros de orientifold que involucran funciones de graduación con valores en $\mathbb{Z}$ se muestran correspondientes a los fibrados super de 2 líneas sobre las doble cubiertas inducidas por $\phi$, que luego son equivalentes a los fibrados sobre el grupoide graduado base.

Significación y pretensiones
El artículo afirma proporcionar un único y coherente marco de geometría diferencial para los giros de la K-teoría (real) sobre grupoides de Lie graduados. Su significación principal reside en:

1. Unificación: Subsume una amplia gama de modelos previamente distintos (bundle gerbes, fibrados de álgebra, diversas variantes equivariantes y reales) en una sola estructura bicategórica.
2. Claridad geométrica: Al tratar estos objetos como esquemas de bicatagorías, el marco clarifica la geometría subyacente y las condiciones de consistencia (leyes de pegado) que anteriormente se manejaban mediante definiciones dispares.
3. Generalidad: Extiende la teoría desde las variedades ordinarias hasta la total generalidad de los grupoides de Lie graduados, acomodando naturalmente las simetrías de tipo "orientifold" donde los morfismos actúan de forma antilineal.

Los autores declaran explícitamente que no consideran estructuras adicionales como métricas hermitianas o conexiones en este trabajo, ni profundizan en los grupos de K-teoría reticulados resultantes, centrándose en su lugar en la clasificación de los giros. Ven esta unificación como un paso fundacional para investigadores en K-teoría reticulada, geometría superior y sus aplicaciones físicas.