Indecomposability preservation from isotropy to transvection holonomy
Determine whether, for a reductive Lorentzian homogeneous space M = G/H with isotropy H ⊆ O(1,m−1), the holonomy algebra \tilde{H} of the canonical Ambrose–Singer connection in the transvection presentation M = \tilde{G}/\tilde{H} necessarily remains indecomposable and non-irreducible; equivalently, ascertain whether the assumptions in the plane-wave characterization conjecture imply the assumptions in the main theorem.
References
In general, indecomposibility may be lost when passing to the subgroup \widetilde{H}\subseteq H, and hence it is not clear if the assumptions in Conjecture~\ref{conj} imply the assumptions in Theorem~\ref{maintheo}.
— Lorentzian homogeneous structures with indecomposable holonomy
(2404.17470 - Greenwood et al., 26 Apr 2024) in Introduction (discussion comparing Conjecture 1 and Theorem 1)