Related papers: The non-symmetric operad pre-Lie is free
Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series…
We proved the existence of supersymmetric Hermitian metrics with torsion on a class of non-Kaehler manifolds.
We construct a non-separable C*-algebra that is prime but not primitive.
We prove that the Lie Algebra of the McCool group $M_3$ is torsion free. As a result we are able to give a presentation for the Lie Algebra of $M_3$. Furthermore, $M_3$ is a Magnus group.
In this paper we prove that the classical Lie bracket of vector fields can be generalized to the noncommutative setting by antisymmetrizing (in a suitable noncommutative sense) their compositions. This construction turns out to depend on…
The purpose of this paper is to introduce twisted $\mathcal{O}$-operators on $3$-Lie algebras. We define a cohomology of a twisted $\mathcal{O}$-operator $T$ as the Chevalley-Eilenberg cohomology of a certain $3$-Lie algebra induced by $T$…
The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and…
We extend our earlier work of revealing both space-space and space-time noncommuting structures in various models in particle mechanics exhibiting reparametrisation symmetry. We show explicitly (in contrast to the earlier results in our…
It is clarified how cohomologies and Gerstenhaber algebras can be associated with linear pre-operads (comp algebras). Their relation to mechanics and operadic physics is concisely discussed.
The notion of an F-manifold algebra is the underlying algebraic structure of an $F$-manifold. We introduce the notion of pre-Lie formal deformations of commutative associative algebras and show that F-manifold algebras are the corresponding…
It was recently shown that certain perturbatively accessible, non-supersymmetric gauge-Yukawa theories have UV asymptotic safety, without asymptotic freedom: the UV theory is an interacting RG fixed point, and the IR theory is free. We here…
This paper presents the first machine-checked proof of noninterference for a language with gradual information-flow control, thereby establishing a rock solid foundation for secure programming languages that give programmers the choice…
Motivated by the recent work of Batkam-Tcheka on pointed multiplicative operads, we construct in this paper new chain complex algebras and two distinct bicomplex algebra structures on a free symmetric connected multiplicative differential…
Free ribbon lemma that every free sphere-link in the 4-sphere is a ribbon sphere-link is shown in an earlier paper by the author. In this paper, another proof of this lemma is given.
We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…
We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…
It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint $Sym_1$ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of…
We consider the operator product expansion (OPE) of correlation functions in the supersymmetric $O(N)$ non-linear sigma model at sub-leading order in the large $N$ limit in order to study the cancellation between ambiguities coming from…
We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…
We prove a one-to-one correspondence between the operadic ideals of the operad $\As$ and $T$-ideals. As a consequence, we show that $\As$ is noetherian and that every proper operadic ideal of $\ias$ is generated by a single element.