arXiv research

We use computer algebra to demonstrate the existence of a multilinear polynomial identity of degree 8 satisfied by the bilinear operation in every Lie-Yamaguti algebra. This identity is a consequence of the defining identities for Lie-Yamaguti algebras, but is not a consequence of anticommutativity. We give an explicit…

The paper extends ternary algebra concepts using cube roots of unity.

We show that, in compact semisimple Lie groups and Lie algebras, any neighbourhood of the identity gets mapped, under the commutator map, to a neighbourhood of the identity.

New identities lift q-dilogarithm to a more complex algebra.

The study examines algebraic structures of specific tensor forms in four-dimensional spacetimes.

The paper connects arithmetic invariants of hyperbolic 3-manifolds.

This paper introduces a conceptual framework, in the context of quantum topology and the algebras underlying it, for analyzing relations obeyed by the chromatic polynomial χ(Q) of planar graphs. Using it we give new proofs and substantially extend a number of classical results concerning the combinatorics of the chroma…

We discuss algebraic properties for the symbols of geometric first order differential operators on almost Hermitian manifolds and Kähler manifolds. Through study on the universal enveloping algebra and higher Casimir elements, we know algebraic relations for the symbols like the Clifford algebra. From the relations, we…

In this paper we prove that a Finsler metrics has constant flag curvature if and only if the curvature of the induced nonlinear connection satisfies an algebraic identity with respect to some arbitrary second rank tensors. Such algebraic identity appears as an obstruction to the formal integrability of some operators i…

We translate into the double forms formalism the basic identities of Greub and Greub-Vanstone that were obtained in the mixed exterior algebra. In particular, we introduce a second product in the space of double forms, namely the composition product, which provides this space with a second associative algebra structure…

Characterizes a class of almost Hermitian 4-manifolds using integral identities.

We use geometric algebra techniques to give a synthetic and computationally efficient approach to Fierz identities in arbitrary dimensions and signatures, thus generalizing previous work. Our approach leads to a formulation which displays the underlying real, complex or quaternionic structure in an explicit and concept…

Classifies geodesic vectors in low-dimensional Lie algebras.

We construct link invariants using the $D_{2n}$ subfactor planar algebras, and use these to prove new identities relating certain specializations of colored Jones polynomials to specializations of other quantum knot polynomials. These identities can also be explained by coincidences between small modular categories inv…

For an arbitrary identity L=R between compositions of maps L and R on tensors of vector spaces V, a general construction of a 2-cocycle condition is given. These 2-cocycles correspond to those obtained in deformation theories of algebras. The construction is applied to a canceling pairings and copairings, with explicit…

There is a remarkable and canonical problem in 3D geometry and topology: To understand existing models of 3D fluid motion or to create new ones that may be useful. We discuss from an algebraic viewpoint the PDE called Euler's equation for incompressible frictionless fluid motion. In part I we define a "finite dimension…

The Killing operator on a Riemannian manifold is a linear differential operator on vector fields whose kernel provides the infinitesimal Riemannian symmetries. The Killing operator is best understood in terms of its prolongation, which entails some simple tensor identities. These simple identities can be viewed as aris…

Irreducible skew-Berger algebras $\g\subset\gl(n,\Co)$, i.e. algebras spanned by the images of the linear maps $R:\odot^2\Co^n\to\g$ satisfying the Bianchi identity, are classified. These Lie algebras can be interpreted as irreducible complex Berger superalgebras contained in $\gl(0|n,\Co)$.

The Bianchi identities for bosonic fluxes in supergravity can receive higher derivative quantum and string corrections, the most well known being that of Heterotic theory $d H = \tfrac{1}{4}α'(\text{tr } F^2 - \text{tr } R^2)$. Less studied are the modifications at order $R^4$ that may arise, for example, in the Bianch…

We explore a Pluecker-type relation which occurs naturally in the study of maximally supersymmetric solutions of certain supergravity theories. This relation generalises at the same time the classical Pluecker relation and the Jacobi identity for a metric Lie algebra and coincides with the Jacobi identity of a metric n…

We define an associative algebra AS_h(S) generated by framed arcs and links over a punctured surface S which is a quantization of the Poisson algebra C(S) of arcs and curves on S. We then construct a Poisson algebra homomorphism from C(S) to the space of smooth functions on the decorated Teichmuller space endowed with …

Frolicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless the conceptual meaning of their discovery has been obscured by the messy techniques they exploited. The principal objective in this paper is…

Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framewor…

The paper explores the pentagon relation and its algebraic forms.

The purpose of this paper is to revisit the Bianchi identities existing for the Riemann and Weyl tensors in the combined framework of the formal theory of systems of partial differential equations (Spencer cohomology, differential systems, formal integrability) and Algebraic Analysis (homological algebra, differential …

Shelstad's character identity is an equality between sums of characters of tempered representations in corresponding $L$-packets of two real, semisimple, linear, algebraic groups that are inner forms to each other. We reconstruct this character identity in the case of the discrete series, using index theory of elliptic…

Investigates second best Einstein manifolds in low dimensions.

We study certain polynomial trace identities in the group $SL(2,\IC)$ and their application in the theory of discrete groups. We obtain canonical representations for two generator groups in §4 and then in §5 we give a new proof for Gehring and Martin's polynomial trace identities for good words, and extend that result …

We discuss locally simply transitive affine actions of Lie groups G on finite-dimensional vector spaces such that the commutator subgroup [G,G] is acting by translations. In other words, we consider left-symmetric algebras satisfying the identity [x,y].z=0. We derive some basic characterizations of such left-symmetric …

Given a planar curve singularity, we prove a conjecture of Oblomkov-Shende, relating the geometry of its Hilbert scheme of points to the HOMFLY polynomial of the associated algebraic link. More generally, we prove an extension of this conjecture, due to Diaconescu-Hua-Soibelman, relating stable pair invariants on the c…

We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such gr…

Paper constructs super integrable systems on color Lie algebra.

An algebra $A$ with identity $(a\circ b)\circ c-a\circ(b\circ c)=(a\circ c)\circ b-a\circ(c\circ b),$ is called right-symmetric. Cohomology and deformation theory for right-symmetric algebras are developed. Cohomologies of $gl_n$ and half-Witt algebras $W_n^{rsym}, p=0,$ $W_n^{rsym}({\bf m}), p>0,$ are calculated. In p…

This paper has been withdrawn since it is identical to the paper math.QA/0601267. It was posted by mistake.

We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the high…

It is shown that the non-trivial cocycles on simple Lie algebras may be used to introduce antisymmetric multibrackets which lead to higher-order Lie algebras, the definition of which is given. Their generalised Jacobi identities turn out to be satisfied by the antisymmetric tensors (or higher-order `structure constants…

We describe a method for solving the Maurer-Cartan structure equation associated with a Lie algebra that isolates the role of the Jacobi identity as an obstruction to integration. We show that the method naturally adapts to two other interesting situations: local symplectic realizations of Poisson structures, in which …

The paper presents a new algebraic structure for planar surfaces.

We construct an algebra and a complex of multidifferential operators on tensor products of a Courant algebroid E with values in the endomorphism bundle of a smooth vector bundle B, predual of E, extending the standard complex of the Courant-Dorfman algebra of E. Also, we study Dorfman connections of E on B, and show th…

We determine the space of algebraic pseudo-Hermitian Kähler-Weyl curvature tensors and the space of para-Hermitian Kähler-Weyl curvature tensors in dimension 4 and show that every algebraic possibility is geometrically realizable. We establish the Gray identity for pseudo-Hermitian Weyl manifolds and for para-Hermitian…

Let $G$ be the identity component of the isometry group for an arbitrary curved two-point homogeneous space $M$. We consider algebras of $G$-invariant differential operators on bundles of unit spheres over $M$. The generators of this algebra and the corresponding relations for them are found. The connection of these ge…

We give a complete description of differential operators generating a given bracket. In particular we consider the case of Jacobi-type identities for odd operators and brackets. This is related with homotopy algebras using the derived bracket construction. (Based on a talk at XXII Workshop on Geometric Methods in Physi…

No time-periodic Majorana fermions found in Kerr-Newman spacetimes with nontrivial charge.

The study of quasi-Kähler Chern-flat almost Hermitian manifolds is strictly related to the study of anti-bi-invariant almost complex Lie algebras. In the present paper we show that quasi-Kähler Chern-flat almost Hermitian structures on compact manifolds are in correspondence to complex parallelisable Hermitian structur…

10D IIA Superspace is put on shell by imposing duality-symmetric Bianchi identities on super-flux densities.

Gradients are natural first order differential operators depending on Riemannian metrics. The principal symbols of them are related to the enveloping algebra and higher Casimir elements. We give certain relations in the enveloping algebra, which induce not only identities for higher Casimir elements but also all Bochne…

We use the exterior product of double forms to reformulate celebrated classical results of linear algebra about matrices and bilinear forms namely the Cayley-Hamilton theorem, Laplace expansion of the determinant, Newton identities and Jacobi's formula for the determinant. This new formalism is then used to naturally g…

A single algebraic identity unifies information-theoretic variational results.