The subject for investigation in this note is concerned with strongly homotopy (SH) Lie algebras, also known as $L_\infty$-algebras, or $L_\infty[1]$-algebras. We extract an intrinsic character, the Atiyah class, when a smaller $L_\infty[1]$-algebra $A$ is extended to a bigger one $L$. In fact, we establish that given such an SH Lie pair $(L,A)$, and any $A$-module $E$, there associates a canonical cohomology class, the Atiyah class $[\alpha^E]$, living in $H^2_{\mathrm{CE}}(A, A^\perp\otimes End(E))$, which generalizes earlier known Atiyah classes out of Lie algebra pairs. In particular, the quotient space $L/A$ is a canonical $A$-module and there associates the Atiyah class $[\alpha^{L/A}]\in H^2_{\mathrm{CE}}(A, Hom(L/A\otimes L/A,L/A))$. The nature of such classes is that they induce on $H^\bullet_{\mathrm{CE}}(A,L/A[-2])$ a Lie algebra structure, and on $H^\bullet_{\mathrm{CE}}(A,E[-2])$ a Lie algebra module structure. An alternative point of view is that the process of taking Atiyah classes defines a functor from the category of $A$-modules to the category of $H^\bullet_{\mathrm{CE}}(A,L/A[-2])$-modules. Moreover, Atiyah classes are invariant under gauge equivalent $A$-compatible infinitesimal deformations of $L$.

We study the root of unity degeneration of cluster algebras and quantum dilogarithm identities. We prove identities for the cyclic dilogarithm associated with a mutation sequence of a quiver, and as a consequence new identities for the noncompact quantum dilogarithm at |$b=1$|⁠.Communicated by Michio Jimbo

We present a 3D topological picture-language for quantum information. Our approach combines charged excitations carried by strings, with topological properties that arise from embedding the strings in the interior of a 3D manifold with boundary. A quon is a composite that acts as a particle. Specifically, a quon is a hemisphere containing a neutral pair of open strings with opposite charge. We interpret multiquons and their transformations in a natural way. We obtain a type of relation, a string–genus “joint relation,” involving both a string and the 3D manifold. We use the joint relation to obtain a topological interpretation of the C* Hopf algebra relations, which are widely used in tensor networks. We obtain a 3D representation of the controlled NOT (CNOT) gate that is considerably simpler than earlier work, and a 3D topological protocol for teleportation.

For any unital separable simple infinite-dimensional nuclear$C$^{∗}-algebra with finitely many extremal traces, we prove that $$ \mathcal{Z} $$ -absorption, strict comparison and property (SI) are equivalent. We also show that any unital separable simple nuclear$C$^{∗}-algebra with tracial rank zero is approximately divisible, and hence is $$ \mathcal{Z} $$ -absorbing.

Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.