### Book chapter

## On explicit formulas for characteristic polynomial coefficients in geometric algebras

The Sylvester equation and its particular case, the Lyapunov equation, are widely used in image processing, control theory, stability analysis, signal processing, model reduction, and many more. We present the basis-free solution to the Sylvester equation in geometric algebra of arbitrary dimension. The basis-free solutions involve only the operations of geometric product, summation, and the operations of conjugation. The results can be used in symbolic computation.

We calculate characteristic polynomials of operators explicitly represented as polynomials of rank $1$ operators. Applications of the results obtained include a generalization of the Forman--Kenyon's formula for a determinant of the graph Laplacian and also provide its level $2$ analog involving summation over triangulated nodal surfaces with boundary.

9TH INTERNATIONAL CONFERENCE ON MATHEMATICAL MODELING: Dedicated to the 75th Anniversary of Professor V.N. Vragov

Let (M,I,J,K) be a hyperkahler manifold, and Z⊂(M,I) a complex subvariety in (M,I). We say that Z is trianalytic if it is complex analytic with respect to J and K, and absolutely trianalytic if it is trianalytic with respect to any hyperk\"ahler triple of complex structures (M,I,J′,K′) containing I. For a generic complex structure I on M, all complex subvarieties of (M,I) are absolutely trianalytic. It is known that a normalization Z′ of a trianalytic subvariety is smooth; we prove that b2(Z′) is no smaller than b2(M) when M has maximal holonomy (that is, M is IHS). To study absolutely trianalytic subvarieties further, we define a new geometric structure, called k-symplectic structure; this structure is a generalization of the hypersymplectic structure. A k-symplectic structure on a 2d-dimensional manifold X is a k-dimensional space R of closed 2-forms on X which all have rank 2d or d. It is called non-degenerate if the set of all degenerate forms in R is a smooth, non-degenerate quadric hypersurface in R. We consider absolutely trianalytic tori in a hyperkahler manifold M of maximal holonomy. We prove that any such torus is equipped with a non-degenerate k-symplectic structure, where k=b2(M). We show that the tangent bundle TX of a k-symplectic manifold is a Clifford module over a Clifford algebra Cl(k−1). Then an absolutely trianalytic torus in a hyperkahler manifold M with b2(M)≥2r+1 is at least 2r−1-dimensional.

We discuss some well-known facts about Clifford algebras: matrix representations, Cartan’s periodicity of 8, double coverings of orthogonal groups by spin groups, Dirac equation in different formalisms, spinors in <span data-mathml="nn dimensions, etc. We also present our point of view on some problems. Namely, we discuss the generalization of the Pauli theorem, the basic ideas of the method of averaging in Clifford algebras, the notion of quaternion type of Clifford algebra elements, the classification of Lie subalgebras of specific type in Clifford algebra, etc.

We present a new classification of Clifford algebra elements. Our classification is based on the notion of quaternion type. Using this classification we develop a method for analyzing commutators and anticommutators of Clifford algebra elements. This method allows us to find out and prove a number of new properties of Clifford algebra elements.

We formulate generalizations of Pauli’s theorem on the cases of real and complex Clifford algebras of even and odd dimensions. We give analogues of these theorems in matrix formalism. Using these theorems we present an algorithm for computing elements of spin groups that correspond to elements of orthogonal groups as double cover.