Cohomologies of Reynolds Lie algebras with derivations and its applications

The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the associated cohomology. Finally, we investigate formal deformations, abelian extensions, and extensions of a pair of derivations, all interpreted through the lens of cohomology groups.