most recent 30 from http://mathoverflow.net 2013-05-24T23:20:33Z http://mathoverflow.net/feeds/question/86617 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86617/convolution-algebras-for-double-groupoids Ronnie Brown 2012-01-25T11:12:40Z 2012-12-17T15:57:19Z

<p>There is a lot of work of course on convolution algebras of measured groupoids, and this gives "Noncommutative geometry". However there is a lot of interest in algebraically structured groupoids, for example groupoids internal to the categories of say groups, or groupoids, or Lie algebras. Thus double groupoids, i.e. groupoids internal to groupoids, can be seen as "more noncommutative" than groupoids. They are also quite difficult to understand in general, though special cases have been studied extensively, e.g. 2-groupoids, and what are called 2-groups (groupoids internal to groups). They all have relations with crossed modules. </p> <p>How does one find then a jacking up of Noncommutative Geometry to take into account these algebraically structured groupoids? </p> <p>The usual formula for a convolution of functions $f,g$ on a finite groupoid $G$ given by </p> <p>$$(f*g)(z) = \sum _{xy=z} f(x)g(y)$$</p> <p>can be extended to a kind (or rather many kinds!) of matrix convolution looking at all decompositions of $z$ as a matrix composition (I find it difficult to write this down in this system!) but it all depends on the size $m \times n$ of the matrix, and because one needs the interchange law it all gets complicated and not reducible to the individual compositions in the double groupoid. </p> <p>If this could be done, it might open up new worlds! </p>

http://mathoverflow.net/questions/86617/convolution-algebras-for-double-groupoids/116617#116617 Rachel 2012-12-17T15:57:19Z 2012-12-17T15:57:19Z

<p>Pedro Resende understands this well. The interchange law in a double algebra (defined by Resende) is not satisfied by a double groupoid convolution algebra but I think that doesn't necessarily mean that a category fibred over the double groupoid is not a double category. So you can drop the interchange law, well at least that is what we considered doing. In the end it seemed that the idea of a weak Hopf algebra by Natale and Andruskiewitsch was the best approach! (So there is already a counterpart of a Hopf algebra for a group coming from coproduct if not a counterpart of a group convolution algebra coming from product.)</p>