Operad of formal homogeneous spaces and Bernoulli numbers

S. A. Merkulov

Home/Archive/arXiv

arXiv · 0708.0891

Operad of formal homogeneous spaces and Bernoulli numbers

S. A. Merkulov

View original source ↗Read source document ↗Export metadata ↓

Abstract

It is shown that for any morphism, i: g --> h, of Lie algebras the vector space underlying the Lie algebra h is canonically a g-homogeneous formal manifold with the action of g being highly nonlinear and twisted by Bernoulli numbers. This fact is obtained from the study of a 2-coloured operad of formal homogeneous spaces and its minimal resolution, and is used to give a new conceptual explanation of both Ziv Ran's Jacobi-Bernoulli complex and Fiorenza-Manetti's L-infinity algebra structure on the mapping cone of a morphism of two Lie algebras. All these constructions are iteratively extended to the case of a morphism of arbitrary L-infinity algebras.

Explore related subjects

math.QA math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

S. A. Merkulov. 2008-04-15. Operad of formal homogeneous spaces and Bernoulli numbers. https://arxiv.org/abs/0708.0891

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Classification of finite-dimensional Nichols algebras of rank two in twisted Yetter--Drinfeld categories

Let $G$ be a finite non-abelian group, let $Φ\in Z^3(G,\mathbb C^\times)$ be normalized, and let $V,W$ be finite-dimensional simple objects of ${}_G^G\mathcal{YD}^Φ$. We classify, up to interchange, the braided-indecomposable pairs $(V,W)$ whose supports generate $G$ and for which $\mathcal B(V\oplus W)$ is finite-dimensional. The classification consists of eight cases with five possible support quandles. In every case the Cartan graph is standard of type $A_2$, $B_2$, or $G_2$, and the dimension is determined explicitly. A new phenomenon occurs {in the $Γ_2$ case}: the twisted setting admits a family of type $G_2$ absent from the ordinary $Γ_2$ classification and we construct an explicit example over a non-abelian group of order $16$.

math.QA↗

arXiv2026

$K_{\mathfrak{q}}$-algebras

We introduce the notion of $K_{\mathfrak{q}}$-algebra, a conjectural axiomatization of the fusion algebra of rotation-equivariant BPS line defects in a 4d ${\cal N}=2$ Supersymmetric Quantum Field Theory. We also introduce the notion of RG flow of $K_{\mathfrak{q}}$-algebras, a conjectural axiomatization of the action of Seiberg-Witten type RG flows on line defects. These definitions enrich the theory of cluster algebras, $K$-theoretic Coulomb branch algebras, skein algebras and quantum groups.

math.QA↗

arXiv2026

Outer action of representation category of discrete quantum groups: a case study

Given any tracial von Neumann algebra $\mathcal{A}$, the first author has defined a unitary tensor functor $Φ:{\rm Rep}(\mathcal{Q}_{\rm aut}(\mathcal{A}))\to {\rm Bimod}(\mathcal{A})$ in his paper [Gos24]. In this paper, we consider $\mathcal{A}$ to be the underlying von Neumann algebra of $C^*(S_3)$ and show that given any DQG $\mathcal{Q}$, which contains $C^*(S_3)$ as a quantum subgroup and has an outer action $\tildeΦ$ (in the sense of Definition 3.4}) on ${\rm Bimod}(\mathcal{A})$, which agrees with $Φ$ when restricted on ${\rm Rep}(C^*(S_3))$, is monoidally equivalent to the DQG $C^*(S_3)$. Furthermore, given any DQG $\mathcal{Q}$ with an outer action $Γ:{\rm Rep}(\mathcal{Q})\to {\rm Bimod}(\mathcal{A})$, such that $ {\rm Out}(\mathcal{A})\subseteq {\rm Im}(Γ)$, is either monoidally equivalent to Out$(\mathcal{A})$ or monoidally equivalent to $C^*(S_3)$ itself.

math.QA↗