Searcharxiv⌕ 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

Identities Involving Additive Maps on Division Rings

Let $g$ be an additive map on a division ring $D$. In this paper, we study the functional identity $G_{1}(y)g(y)G_{2}(y) = H(y)$, where $G_{1}(Y), G_{2}(Y)$, $H(Y)$ are generalized polynomials in $D_{G}[Y]$ such that both $G_{1}(Y)$ and $G_{2}(Y)$ are non-zero. By application of this result and its implications, we prove that if $D$ is a non-commutative division ring with $\operatorname{char}(D) \neq 2$, then the only possible solution of additive maps $g_{1},g_{2}: D \rightarrow D$ satisfying the identity $g_{1}(y)y^{-m} + y^{n}g_{2}(y^{-1})= 0$ is $ g_{1} = g_{2} = 0$, where $m$ and $n$ are positive integers with $(m,n) \neq (1,1)$.

math.RA↗

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↗