Does the constructed equivalence extend to G-crossed fusion categories?
Determine whether the natural equivalence constructed in Lemma gcrossedpointed between the pointed G-crossed braided fusion category P with trivial component B_z and the G-crossed braided zesting (Vec_G ⊠ B_z)^{(α, ν)} extends from an equivalence of underlying G-graded fusion categories to an equivalence of full G-crossed fusion categories, in the sense of respecting both the G-action functors and the G-braiding (i.e., the crossed structure). Concretely, ascertain whether the functor Φ(g, φ) = Z_g φ defines a braided equivalence of G-crossed fusion categories between P and (Vec_G ⊠ B_z)^{(α, ν)}.
Sponsor
References
We do not know, and suspect it is false, if this holds at the level of G-crossed fusion categories.
— The Condensed Fiber Product and Zesting
(2410.09025 - Delaney et al., 11 Oct 2024) in Section “Relating Zesting and the Condensed Fiber Product,” proof of Lemma gcrossedpointed (footnote)