Continuity conjecture for restriction of extensions

Let SGS^G be a Yang–Mills-type theory, let ı:GG^\imath:G\hookrightarrow\hat{G} be a basic extension of GG, and suppose that P^\hat{P} is compact. For a ring RR and a group G\mathbb{G}, the extension spaces associated with the extended gauge group and with Ωeq1(P^;g^)\Omega^1_{eq}(\hat{P};\hat{\mathfrak{g}}) are equipped with the described topologies, and ı\imath^* denotes the corresponding map.

Continuity conjecture. For every such SGS^G, ı\imath, RR, and G\mathbb{G}, the map ı\imath^* is continuous in the described topologies.

If true, this would make ı\imath^* a morphism of R[G]R[\mathbb{G}]-module bundles, providing the topological compatibility needed for the bundle construction. The source supplies no proof of continuity.

Sources & referencesView supporting material

Primary source

Yuri Ximenes Martins, Luiz Felipe Andrade Campos and Rodney Josué Biezuner, “On Extensions of Yang-Mills-Type Theories, Their Spaces and Their Categories”, arXiv:2007.01660 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.