Real Twistings are 2-Line Bundles

Technical Summary: Real Twistings are 2-Line Bundles

Problem Statement
Twisted K-theory has been a subject of significant interest due to its applications in theoretical physics, particularly in string theory and the classification of topological phases of matter. While twisted cohomology theories can be approached via homotopy theory or operator algebras, physical models often require differential-geometric realizations. A primary challenge lies in unifying the various geometric models for "twistings" (the data that twists the K-theory) across different contexts: ordinary manifolds, Lie groupoids (encoding equivariance/orbifolds), and graded Lie groupoids (encoding "orientifold" symmetries where morphisms may act anti-linearly).

Existing literature offers disparate models for these twistings, including:

• Central simple super algebra bundles (Donovan–Karoubi).
• Bundle gerbes (Murray, Stevenson).
• Equivariant and Jandl gerbes (Gawędzki–Reis, Meinrenken, Gomi).
• Freed–Hopkins–Teleman (FHT) twistings via central extensions of groupoids.
• Freed–Moore's twisted groupoid extensions.
• Moutuou's real twistings and Distler–Freed–Moore's orientifold twistings.

These models often address specific cases (e.g., torsion vs. non-torsion, real vs. complex, equivariant vs. non-equivariant) without a single, coherent differential-geometric framework that encompasses all of them, particularly in the graded setting required for orientifolds.

Methodology
The authors construct a unified framework based on super 2-line bundles. This approach proceeds in three main stages:

1. Foundations on Manifolds: The paper recalls the definition of super 2-line bundles over a smooth manifold $X$ as a bicategory $s2\text{LBdl}(X)$. These are categorified line bundles consisting of a surjective submersion $\pi: Y \to X$, a central simple super algebra bundle $A$ over $Y$, an invertible bimodule bundle $M$, and an associative intertwiner $\mu$. This structure unifies central simple super algebra bundles and super bundle gerbes. The authors utilize the "plus construction" (sheafification of presheaves of bicategories) to define these objects, ensuring they satisfy a gluing law (forming a 2-stack).

2. Extension to Graded Lie Groupoids: The core methodological innovation is the extension of this framework to graded Lie groupoids $(\Gamma, \phi)$. A graded Lie groupoid is a Lie groupoid $\Gamma$ equipped with a smooth functor $\phi: \Gamma \to B\mathbb{Z}_2$, assigning a $\mathbb{Z}_2$-grade (linear or anti-linear) to each morphism.

   • The authors define a super 2-line bundle over $(\Gamma, \phi)$ as a triple $(L, P, \psi)$, where $L$ is a super 2-line bundle over the object manifold $\Gamma_0$, $P$ is a 1-isomorphism relating the source and target pullbacks of $L$ (twisted by the grading $\phi$), and $\psi$ is a 2-isomorphism ensuring associativity over $\Gamma_2$.
   • This definition incorporates complex conjugation as a functor on the bicategory, activated by the grading $\phi = -1$.
   • The resulting structure, denoted $s2\text{LBdl}(\Gamma, \phi)$, is a bicategory that is invariant under weak equivalences of graded Lie groupoids (Morita invariance).

3. Cohomological Classification: The authors establish a classification theorem showing that isomorphism classes of these objects correspond to the Čech cohomology groups:
   $$\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)$$
   Here, the cohomology for graded groupoids is defined with a modified differential that accounts for the grading $\phi$ (specifically, the action of $\mathbb{Z}_2$ on the coefficient sheaf $\mathbb{C}^\times$ via complex conjugation).

Key Contributions and Results
The paper demonstrates that the bicategory $s2\text{LBdl}(\Gamma, \phi)$ serves as a universal container for the various twistings found in the literature. Through detailed comparison work in Section 5, the authors prove equivalences or embeddings for the following specific models:

• Equivariant and Jandl Gerbes: The authors show that equivariant Jandl gerbes (over orientifold groups) are equivalent to bundle gerbes over the associated graded action groupoid, and thus embed into super 2-line bundles.
• Freed–Moore Extensions: Freed–Moore's $\phi$-twisted groupoid extensions are identified as the sub-bicategory of super 2-line bundles where the underlying bundle $L$ is trivial. The twisted vector bundles defined by Freed–Moore are shown to coincide with the authors' definition of twisted super vector bundles (morphisms to the trivial object).
• Freed–Hopkins–Teleman (FHT) Twistings: The paper constructs an equivalence between FHT twistings (defined via central super extensions and weak equivalences) and the homotopy 1-category of super bundle gerbes over $\Gamma$. This bridges the gap between the "span" definition of FHT and the "stackification" definition of 2-line bundles.
• Moutuou's Real Twistings: Real twistings over real groupoids (Lie groupoids with an involution) are mapped to super 2-line bundles over the associated graded Lie groupoid constructed via a semi-direct product with $\mathbb{Z}_2$.
• Freed's and Distler–Freed–Moore Twistings: Twisted invertible algebra bundles and orientifold twistings involving $\mathbb{Z}$-valued grading functions are shown to correspond to super 2-line bundles over $\phi$-induced double covers, which are then equivalent to bundles over the base graded groupoid.

Significance and Claims
The paper claims to provide a single, coherent differential-geometric framework for twistings of (real) K-theory over graded Lie groupoids. Its primary significance lies in:

1. Unification: It subsumes a wide range of previously distinct models (bundle gerbes, algebra bundles, various equivariant and real variants) into one bicategorical structure.
2. Geometric Clarity: By treating these objects as sheaves of bicategories, the framework clarifies the underlying geometry and consistency conditions (gluing laws) that were previously handled via disparate definitions.
3. Generality: It extends the theory from ordinary manifolds to the full generality of graded Lie groupoids, naturally accommodating "orientifold" symmetries where morphisms act anti-linearly.

The authors explicitly state that they do not consider additional structures such as hermitian metrics or connections in this work, nor do they delve deeply into the resulting twisted K-theory groups themselves, focusing instead on the classification of the twistings. They view this unification as a foundational step for researchers in twisted K-theory, higher geometry, and their physical applications.