Showing 1–2 of 2 results for author: Romanovskii, V

On homology of Lie algebras over commutative rings

Authors: Sergei O. Ivanov, Fedor Pavutnitskiy, Vladislav Romanovskii, Anatolii Zaikovskii

Abstract: We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections between them. In particular, we show that they are naturally isomorphic in the case of a Lie algebra which is flat as a module. As an auxiliary result we prove tha… ▽ More We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections between them. In particular, we show that they are naturally isomorphic in the case of a Lie algebra which is flat as a module. As an auxiliary result we prove that the Koszul complex of a module $M$ over a principal ideal domain that connects the exterior and the symmetric powers $0\to Λ^n M\to M \otimes Λ^{n-1} M \to \dots \to S^{n-1}M \otimes M \to S^nM\to 0 $ is purely acyclic. △ Less

Submitted 29 June, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Journal ref: Journal of Algebra, Volume 586, 2021, Pages 99-139, ISSN 0021-8693

A Simple proof of Curtis' connectivity theorem for Lie powers

Authors: Sergei O. Ivanov, Vladislav Romanovskii, Andrei Semenov

Abstract: We give a simple proof of the Curtis' theorem: if $A_\bullet$ is $k$-connected free simplicial abelian group, then $L^n(A_\bullet)$ is an $k+ \lceil \log_2 n \rceil$-connected simplicial abelian group, where $L^n$ is the functor of $n$-th Lie power. In the proof we do not use Curtis' decomposition of Lie powers. Instead of this we use the Chevalley-Eilenberg complex for the free Lie algebra. We give a simple proof of the Curtis' theorem: if $A_\bullet$ is $k$-connected free simplicial abelian group, then $L^n(A_\bullet)$ is an $k+ \lceil \log_2 n \rceil$-connected simplicial abelian group, where $L^n$ is the functor of $n$-th Lie power. In the proof we do not use Curtis' decomposition of Lie powers. Instead of this we use the Chevalley-Eilenberg complex for the free Lie algebra. △ Less

Submitted 12 December, 2019; v1 submitted 6 December, 2019; originally announced December 2019.