Related papers: Elements of Differential Geometry in Lean: A Repor…
We generalize several important results from the perturbation theory of linear operators to the setting of semisimple orthogonal symmetric Lie algebras. These Lie algebras provide a unifying framework for various notions of matrix…
We show how one can associate to a given class of finite type G-structures a classifying Lie algebroid. The corresponding Lie groupoid gives models for the different geometries that one can find in the class, and encodes also the different…
On the base of Lie algebraic and differential geometry methods, a wide class of multidimensional nonlinear integrable systems is obtained, and the integration scheme for such equations is proposed.
Using a new powerful technique based on the notion of megaideal, we construct a complete set of inequivalent realizations of real Lie algebras of dimension no greater than four in vector fields on a space of an arbitrary (finite) number of…
In this letter we investigate some aspects of the noncommutative differential geometry based on derivations of the algebra of endomorphisms of an oriented complex hermitian vector bundle. We relate it, in a natural way, to the geometry of…
In this paper, we consider the versal deformations of three dimensional Lie algebras. We classify Lie algebras and study their deformations by using linear algebra techniques to study the cohomology. We will focus on how the deformations…
Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra…
We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases…
We develop a unifed theory to study geometry of manifolds with different holonomy groups. They are classified by (1) real, complex, quaternion or octonion number they are defined over and (2) being special or not. Specialty is an…
This paper outlines our ideas on how to teach linear algebra in a mechanized mathematical environment, and discusses some of our reasons for thinking that this is a better way to teach linear algebra than the ``old fashioned way''. We…
This is an introduction to linear algebra and group theory. We first review the linear algebra basics, namely the determinant, the diagonalization procedure and more, and with the determinant being constructed as it should, as a signed…
As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie…
A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…
We classify group gradings on the simple Lie algebra $L$ of type $D_4$ over an algebraically closed field of characteristic different from 2: fine gradings up to equivalence and $G$-gradings, with a fixed group $G$, up to isomorphism. For…
We briefly review our results on the Lie theory underlying vector bundles over Lie groupoids and Lie algebroids, pointing out the role of Poisson geometry in extending these results to double Lie algebroids and LA-groupoids.
In this book, I explored differential equations for operation in Lie group and for representations of group Lie in a vector space.
We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…
A Lie algebra structure on variation vector fields along an immersed curve in a $2$-dimensional real space form is investigated. This Lie algebra particularized to plane curves is the cornerstone in order to define a Hamiltonian structure…
This is a draft of a textbook on differential forms. The primary target audience is sophmore level undergraduates enrolled in what would traditionally be a course in vector calculus. Later chapters will be of interest to advaced…
Recently, a geometrical characterization of vector spaces served to generalize them into a new class of algebras. Instead of the algebraic properties of the underlying fields, we generalized the recently discovered property of such spaces…