The polyadic convolution conjecture for multiplace multivalued linear maps

Let \scalebox1.15\upshapeA(n)\scalebox{1.15}{\textsf{\upshape A}}^{\left(n\right)} and \scalebox1.15\upshapeC(n)\scalebox{1.15}{\textsf{\upshape C}}^{\left(n'\right)} be a polyadic associative algebra and a coassociative coalgebra, respectively, over the same polyadic field k(mk,nk)\Bbbk^{\left(m_k,n_k\right)}. Suppose that both are unital and counital, with polyadic unit and counit maps

η(r,n) ⁣:KrA(n1),ε(n,r) ⁣:C(n1)Kr.\bm{\eta}^{\left(r,n\right)}\colon K^{\otimes r}\to A^{\otimes(n-1)},\qquad \bm{\varepsilon}^{\left(n',r'\right)}\colon C^{\otimes(n'-1)}\to K^{\otimes r'}.

A polyadic analog of the convolution should be considered for multiplace multivalued k\Bbbk-linear maps in

Homk(C(n1),A(n1)).\operatorname{Hom}_{\Bbbk}\left(C^{\otimes(n'-1)},A^{\otimes(n-1)}\right).

This proposal extends the ordinary convolution construction to the case of different algebra and coalgebra arities, nnn\ne n', and is motivated by the composition η(r,n)γ(r,r)ε(n,r)\bm{\eta}^{\left(r,n\right)}\circ\bm{\gamma}^{\left(r',r\right)}\circ\bm{\varepsilon}^{\left(n',r'\right)}, where the intermediate map is a multiplace multivalued map between tensor powers of the ground object. The source does not state whether this proposal has been established or remains open.

Sources & referencesView supporting material

Primary source

Steven Duplij, “Polyadic Hopf algebras and quantum groups”, arXiv:1811.02712 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.