Related papers: The framed discs operad is cyclic
We show that the little discs operad $D_2$ is not formal over $\mathbb{F}_2$ as a planar (or non-symmetric) operad. We compute explicitly the homological obstruction using as chain model the cells of the spineless cacti operad
It is known that optical activities can perform rotations. It is shown that the rotation, if modulated by attenuations, can perform symmetry operations of Wigner's little group which dictates the internal space-time symmetries of elementary…
We revisit a cyclic cosmology scenario proposed in 2007 to examine whether its hypotheses can be sustained if the underlying big rip evolution, which was assumed there, is replaced by the recently proposed little rip. We show that the…
We introduce a functorial construction $\mathsf{C}$ which takes unitary magmas $\mathcal{M}$ as input and produces operads. The obtained operads involve configurations of chords labeled by elements of $\mathcal{M}$, called…
We establish an explicit isomorphism between the associated graded of the filtered chiral operad and the classical operad, which is useful for computing the cohomology of vertex algebras.
Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…
We give a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoids. For proper \'etale groupoids, Tu and Xu provide a map between the periodic cyclic cohomology of a gerbe-twisted…
The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the…
We prove the existence of tight frames whose elements lie on an arbitrary ellipsoidal surface within a real or complex separable Hilbert space H, and we analyze the set of attainable frame bounds. In the case where H is real and has finite…
We review several well-known operads of compactified configuration spaces and construct several new such operads, C, in the category of smooth manifolds with corners whose complexes of fundamental chains give us (i) the 2-coloured operad of…
A framed surface is a smooth surface in the Euclidean space with a moving frame. By using the moving frame, we can define Bertrand framed surfaces as the same idea as Bertrand framed curves. Then we find the caustics and involutes as…
Our main result is a recognition principle for iterated suspensions as coalgebras over the little disks operads. Given a topological operad, we construct a comonad in pointed topological spaces endowed with the wedge product. We then prove…
Sequences of infinitesimally thin, uniformly rotating, self-gravitating relativistic discs with internal two-dimensional pressure have been constructed. It is shown that in weaker relativistic configurations the sequences undergo a…
In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and…
By considering a spatial curve in a Euclidean space, we use its components, together with attaining a cyclic matrix, to show that this matrix is homothetic too and is in correspondence with a homothetic motion. Furthermore, if the curve…
The deformation equation and its integrability condition (Bianchi identity) of a non-(co)associative deformation in operad algebra are found. Based on physical analogies, cogravity equations are proposed.
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems…
It was shown in a recent paper by Boavida de Brito and Weiss that a well-known construction which to a plain (=monochromatic) topological operad associates a topological category and a functor from it to the category of finite sets is…
We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operads obtained from usual monoids such as the additive and multiplicative…
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…