Continuous orthonormal trivialization conjecture for continuous projector families

At least 2 years old · documented by

Let GG be the underlying group and let cmathbbKdcmathbb{K}^d have canonical basis cxi1,…,ξdcxi_1,\dots,\xi_d. Let P:G→BX\mathrm{P}:G\to \mathbb{B}_X be a continuous projector. For every g∈Gg\in G, choose an orthonormal basis {η1g,…,ηng}\{\eta_1^g,\dots,\eta_n^g\} of im⁡P(g)\operatorname{im}\mathrm{P}(g) and an orthonormal basis {ηn+1g,…,ηdg}\{\eta_{n+1}^g,\dots,\eta_d^g\} of ker⁡P(g)\ker\mathrm{P}(g).

Continuous orthonormal trivialization conjecture. The bases can be chosen so that the map T:G→GLd(K)T:G\to GL_d(\mathbb{K}) defined by

T(g)ξi=ηigT(g)\xi_i=\eta_i^g

is continuous.

This conjecture asks whether every continuous family of projectors admits a continuous choice of orthonormal bases for its image and kernel, equivalently a continuous trivialization adapted to the projector. The supplied text gives no evidence resolving the question.

References

Primary source

Néstor Jara and Emir Molina, “Generalized nonautonomous dynamics through groupoid morphisms”, arXiv:2406.16887 (2024).

Additional references

2 papers in this index state this conjecture (2023–2024). The statement above is taken from the most recent of them; the others are arXiv:2306.17655.

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.