Continuity conjecture for restriction of extensions

About 6 years old · traced to

Let SGS^G be a Yang–Mills-type theory, let ı:G↪G^\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.

References

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.