Structural and rigidity properties of Lie skew braces

We investigate structural and rigidity properties of \emph{Lie skew braces} (LSBs), objects essentially known in the literature as \emph{post–Lie groups}, obtained by endowing a manifold with two compatible group laws that share the same identity element. LSBs extend skew left braces, which are central to the study of non-involutive set-theoretic solutions of the Yang–Baxter equation, to the smooth category. Our first main result shows that, for every connected LSB $(G,\cdot ,\circ )$, linearity (in the simply-connected case) and solvability carry over from $(G,\cdot )$ to $(G,\circ )$, whereas the converse direction is rigid: if $(G,\circ )$ is nilpotent (respectively, semisimple) then $(G,\cdot )$ is forced to be solvable (respectively, isomorphic to $(G,\circ )$). Our second results provides two ``flexibility’’ statements: every non-linear simply connected Lie group $(G,\cdot )$ admits an LSB $(G,\cdot ,\circ )$ such that $(G,\circ )$ is linear, and every simply connected solvable Lie group $(G,\circ )$ supports a LSB $(G,\cdot ,\circ )$ such that $(G,\cdot )$ is nilpotent. A third result provides a complete existence table for non-trivial LSBs across the six standard Lie-group classes, abelian, nilpotent (non-abelian), solvable (non-nilpotent), simple, semisimple (non-simple) and mixed type, identifying precisely when a LSB can be built and when only the trivial or no structure occurs. Both the explicit constructions and the properties established in our theorems rely on a factorisation technique for Lie groups, on the correspondence between LSBs and regular subgroups of the affine group $\mathrm{Aff}(G,\cdot )$, which renders LSB theory equivalent to simply transitive affine actions, and on the theory of post-Lie algebras together with their integrability properties.