Search arXivSearch

arXiv · 2608.08517

Pre-symplectic left-symmetric algebras

Abstract

A pre-symplectic left-symmetric algebra $\mathcal{A}$ is a left-symmetric algebra endowed with a nondegenerate skew-symmetric bilinear form $ω$ such that all left multiplication operators are symmetric with respect to $ω$. In this setting, the underlying subadjacent Lie algebra $(\mathcal{A}^{-},ω)$ forms a flat $T$-symplectic Lie algebra. This paper provides a systematic investigation into the structural properties of pre-symplectic left-symmetric algebras. In particular, we introduce a distinguished subclass termed \emph{Milnor pre-symplectic algebras}, and prove that any pre-symplectic left-symmetric algebra whose commutator ideal is nondegenerate necessarily belongs to this subclass. Next, we investigate the Levi-Civita product associated with symplectic Lie algebras. We show that this product always yields a right-symmetric algebra, and we prove that it forms a left-symmetric algebra if and only if it is associative. Furthermore, we provide a characterization of symplectic Lie algebras in terms of representations of left-symmetric algebras, and conclude by establishing a construction method for these structures known as the $T^*$-extension. Furthermore, we develop a double extension procedure for pre-symplectic left-symmetric algebras by means of commutative associative algebras. We show that every such algebra with a degenerate commutator ideal can be reconstructed via this extension process. More generally, we show that any pre-symplectic left-symmetric algebra is either a Milnor pre-symplectic algebra or can be obtained through a finite sequence of successive double extensions starting from a Milnor pre-symplectic algebra. As a concrete application of these structural results, we provide a complete classification of pre-symplectic left-symmetric algebras of dimension less than or equal to $4$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Saïd Benayadi, Hamza El Ouali. 2026-08-09. Pre-symplectic left-symmetric algebras. https://arxiv.org/abs/2608.08517

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On solutions of singular Sylvester equations in quaternions

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

math.RA

Positivity preservers over finite fields II

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

math.RA

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA