Search arXiv⌕ Search

arXiv · 2609.33063

Non-degenerate bilinear forms and left-symmetric structures

Abstract

Chu proved that a symplectic structure $ω$ on an even-dimensional Lie algebra induces a left-symmetric structure which is defined by $ω(x\scriptstyleΔ_ω y,z)=-ω(y,[x,z])$. El Bourkadi and Mansouri proved that a cosymplectic structure on an odd-dimensional Lie algebra $\mathfrak{g}$ induces the left-symmetric structure, which is defined by using a linear isomorphism from $\mathfrak{g}$ to $\mathfrak{g}^*$ associated with the cosymplectic structure. In this paper, for a non-degenerate bilinear form $ϕ$ on a Lie algebra $\mathfrak{g}$, we give a necessary and sufficient condition for the product $\scriptstyleΔ_ϕ$ on $\mathfrak{g}$ defined by $ϕ(x\scriptstyleΔ_ϕ y,z)=-ϕ(y,[x,z])$ to be a left-symmetric structure. We also prove that the left-symmetric structure $\scriptstyleΔ_ϕ$ is complete if and only if the Lie algebra $\mathfrak{g}$ is unimodular. Moreover, we formulate the notion of double extension for non-degenerate bilinear forms and prove that a certain class of non-degenerate bilinear forms is obtained by double extension.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Naoki Kato. 2026-09-27. Non-degenerate bilinear forms and left-symmetric structures. https://arxiv.org/abs/2609.33063

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

KEEP EXPLORING

Related papers

The art of counterpoint: a Mazzola-type model of three-voice first-species counterpoint

In this paper, we extend Mazzola's model of two-voice counterpoint to three-voice first-species counterpoint. The construction combines a fiber product over a shared lower voice with a harmonic mask and a two-stage maximization defining admitted successors. For the Fuxian dichotomy, we compute the successor relation and investigate connections with the Riemann dichotomy and neo-Riemannian transformations. Among pairs of same-mode triads, the model admits the most transporter realizations exactly at the pairs that generate Mazzola's Riemann monoid, but it does not single out the dominant-tonic pair, and it admits only 12 of the 192 parsimonious neo-Riemannian realizations, largely because it excludes transitions that keep a pair of voices stationary.

math.RA↗

A parity obstruction to completeness of object cotorsion pairs

Fu, Guil Asensio, Herzog and Torrecillas asked whether a complete ideal cotorsion pair of object ideals in an exact category induces a complete cotorsion pair of objects. We give a negative answer in a Hom-finite, weakly idempotent complete Frobenius exact category. Our example consists of bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. Two classes defined by cohomological support generate a complete ideal cotorsion pair, whereas the corresponding object cotorsion pair is neither special precovering nor special preenveloping. The obstruction is that cohomological truncations need not remain in the category, although their doubles do. Conceptually, this obstruction reflects the failure of the standard $t$-structure on the ambient derived category to restrict to the stable category of our example.

math.RA↗

Just-Infinite Loops and Loop Algebras

Let $F$ be a field and let $L$ be a loop. We call $L$ just-infinite if it is infinite and every nontrivial normal subloop has finite index, and we call the possibly nonassociative loop algebra $F[L]$ just-infinite if it is infinite-dimensional and every nonzero two-sided ideal has finite codimension. We first prove that just-infiniteness of $F[L]$ always implies just-infiniteness of $L$. Next, using the Chein construction, we show for every infinite group $G$ that $M(G,2)$ is just-infinite if and only if $G$ is just-infinite, and that $F[M(G,2)]$ is just-infinite if and only if $F[G]$ is just-infinite. We extend the algebraic equivalence to the generalized Moufang doubles $M(G,*,g_0)$ whenever $G$ is infinite and nonabelian. Finally, we construct a single locally finite, residually finite, nonassociative Moufang loop $L$ for which $F[L]$ is residually finite-dimensional, locally finite-dimensional, and just-infinite over every field, and we explain why infinite nonassociative RA loops cannot be just-infinite.

math.RA↗