Related papers: E2 formality via obstruction theory

Let $\mathbb{F}_q$ be the field of $q$ elements and let $A=\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$. Let $\mathfrak{n}\in A\setminus \mathbb{F}_q$ be a monic polynomial with a prime factor of degree prime to $q-1$. Let…

In this paper, we give the categorification of Leibniz algebras, which is equivalent to 2-term sh Leibniz algebras. They reveal the algebraic structure of omni-Lie 2-algebras introduced in \cite{omniLie2} as well as twisted Courant…

The study of $n$-Lie algebras which are natural generalization of Lie algebras is motivated by Nambu Mechanics and recent developments in String Theory and M-branes. The purpose of this paper is to define cohomology complexes and study…

In this note we classify all homogeneous spaces $G/H$ admitting a $G$-invariant $G_2$-structure, assuming that $G$ is a compact Lie group and $G$ acts effectively on $G/H$. They include a subclass of all homogeneous spaces $G/H$ with a…

In this paper, we mainly focus on formal deformation theory of module homomorphisms. We first introduce the cohomology of module homomorphisms and study formal one-parameter deformation. We obtain some properties about obstructions. Then we…

Let F be a field, let G be its absolute Galois group, and let R(G, k) be the representation ring of G over a suitable field k. In this preprint we construct a ring homomorphism from the mod 2 Milnor K-theory k_*(F) to the graded ring gr…

We introduce a notion of a para-K\"{a}hler strict Lie 2-algebra, which can be viewed as a categorification of a para-K\"{a}hler Lie algebra. In order to study para-K\"{a}hler strict Lie 2-algebra in terms of strict pre-Lie 2-algebras, we…

We prove a new kind of stabilisation result, "secondary homological stability", for the homology of mapping class groups of orientable surfaces with one boundary component. These results are obtained by constructing CW approximations to the…

This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…

In this paper, we study restricted Poisson algebras in characteristic 2 and their relationship with restricted Lie-Rinehart algebras, for which we develop a cohomology theory and investigate abelian extensions. We also construct a full…

We introduce a new class of algebras called endo-commutative algebras in which the square mapping preserves multiplication, and provide a complete classification of endo-commutative algebras of dimension 2 over the field F_2 of two…

The interplay between derivations and algebraic structures has been a subject of significant interest and exploration. Inspired by Yau's twist and the Leibniz rule, we investigate the formal deformation of twisted Lie algebras by invertible…

One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…

In this note, we interpret Leibniz algebras as differential graded Lie algebras. Namely, we consider two functors from the category of Leibniz algebras to that of differential graded Lie algebras and show that they naturally give rise to…

This note gives a uniform, self-contained, and fairly direct approach to a variety of obstruction-theoretic problems on 8-manifolds. We give necessary and sufficient cohomological critera for the existence of almost complex and almost…

Graded contractions of the fine $\mathbb{Z}_2^3$-grading on the complex exceptional Lie algebra $\mathfrak{g}_2$ are classified up to equivalence and up to strongly equivalence. In particular, a large family of 14-dimensional Lie algebras…

This article explores \Z_2-graded L_\infinity algebra structures on a 2|1-dimensional vector space. The reader should note that our convention on the parities is the opposite of the usual one, because we define our structures on the…

We call a finite-dimensional complex Lie algebra $\mathfrak{g}$ strongly rigid if its universal enveloping algebra $\Ug$ is rigid as an associative algebra, i.e. every formal associative deformation is equivalent to the trivial deformation.…

The Orlik-Solomon algebra is the cohomology ring of the complement of a hyperplane arrangement A in C^n; it is the quotient of an exterior algebra E(V) on |A| generators. Orlik and Terao introduced a commutative analog S(V)/I of the…

Vertex algebras formalize the subalgebra of holomorphic fields of a conformal field theory. OPE-algebras were proposed as a generalization of vertex algebras that formalizes the algebra of all fields of a conformal field theory. We prove…