Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

October 24, 2008

Groupoidfest 08

Posted by John Baez

I already announced this year’s Groupoidfest, which is being held here at UCR. The schedule won’t be finalized until a couple of weeks before it happens, but you can already see abstracts of some talks:

The talks are roughly divided among three subjects: groupoids and operator algebras, Lie groupoids, and groupoidification. It would be nice if we achieved some communication between these three camps, since there’s room for a lot more interaction than we’re seeing now.

The fun starts with this colloquium talk on Friday:

  • Alan Weinstein, Groupoid symmetry for Einstein’s equations?

    The Einstein equations for a Lorentz metric on 4-dimensional spacetime may be cast in hamiltonian form, where the configuration space is the space of riemannian metrics on a 3-dimensional manifold. It has been known since work of Dirac 50 years ago that the initial conditions for solutions of these equations are subject to constraints, but our geometric understanding of these constraints is not complete. It is generally felt that the constraints are related to conservation laws associated with the action of the group of diffeomorphisms of spacetime, but this group does not act on the initial data.
    In this talk, I will explain ongoing work with Christian Blohmann (Regensburg) and Marco Cezar Fernandes (Brasilia). We are attempting to show that the initial value constraints for the Einstein equations are associated with the action of a groupOID related to the groupoid of diffeomorphisms between all pairs of hypersurfaces in space-time.

We’ll all go out to dinner after this. The conference proper is on Saturday and Sunday, and then he’ll give a talk about his new paper:

  • Alan Weinstein, The volume of a differentiable stack.

    We extend to the setting of Lie groupoids the notion of the cardinality of a finite groupoid (a rational number, equal to the Euler characteristic of the corresponding discrete orbifold). Since this quantity is an invariant under equivalence of groupoids, we call it the volume of the associated stack rather than of the groupoid itself. Since there is no natural measure in the smooth case like the counting measure in the discrete case, we need extra data to define the volume. This data has the form of a section of a natural line bundle over the stack. In the case of a group acting on itself by conjugation, or on its Lie algbera by the adjoint representation, there is a canonical section of this line bundle and hence a canonical measure on the quotient stack. The talk will not require prior knowledge of stacks.

I’m looking forward to these talks on groupoids in discretized classical mechanics! The first is by a postdoc with Jerry Marsden’s group at Caltech. He came and visited UCR a while back:

  • Joris Vankerschaver, Lie groupoid field theories.

    This talk is meant to give an overview of the use of Lie groupoids in discrete classical field theories. I will elucidate what it means for a discrete field theory to take values in a Lie groupoid, and why we would want to study such a generalization in the first place. Secondly, I will highlight some applications of these ideas, most notably to the non-linear sigma model, and I will show how the groupoid concept allows us to unify and extend many previously known results in the theory of discrete fields.

  • Melvin Leok, Discrete Dirac structures and variational discrete Dirac mechanics

    Discrete Lagrangian and Hamiltonian mechanics can be expressed in terms of Lie groupoids, in a manner that encompasses both the Moser-Veslov formulation of discrete mechanics, and the discrete analogue of Euler-Poincaré reduction. As such, the correspondence between discrete and continuous time variational mechanics is naturally studied in the context of Lie groupoids and Lie algebroids. Dirac structures generalize symplectic and Poisson structures, and a unified treatment of Lagrangian and Hamiltonian mechanics can be expressed either in terms of Dirac structures, or the Hamilton-Pontryagin principle on the Pontryagin bundle TQT *QTQ \oplus T^*Q. Continuous Dirac structures are related to the geometry of infinitesimally symplectic vector fields, and we introduce discrete Dirac structures by considering the geometry of symplectic maps. We provide a characterization of Dirac integrators in terms of discrete Dirac structures, and a discrete Hamilton-Pontryagin variational principle. Dirac integrators generalize both discrete Lagrangian and Hamiltonian variational integrators, as well as nonholonomic integrators.

There will also be three talks on groupoidification:

  • Christopher Walker, Groupoidified linear algebra.

    Linear algebra is a core idea in almost all areas of mathematics. In this talk we will look at a process called ‘groupoidification’ which describes the basic structures of linear algebra in the language of groupoids. Groupoidification is the reverse of a systematic process called ‘degroupoidification’, which turns groupoids into vector spaces, and spans of groupoids into linear operators. Even though groupoidification itself is not a systematic process, we will still be able to find analogs of the main operations in Hilbert spaces including addition, scalar multiplication, and the inner product.

  • Alex Hoffnung, A categorification of Hecke algebras.

    Given a Dynkin diagram and the finite field Fq, where q is a prime power, we get a finite algebraic group Gq. We will show how to construct a categorification of the Hecke algebra H(Gq) associated to this data. This is an example of the Baez–Dolan program of ‘groupoidification’, a method of promoting vector spaces to groupoids and linear operators to spans of groupoids. For example, given the An Dynkin diagram, for which Gq = SL(n+1,q), the spans over the Gq-set of complete flags in Fqn+1 encode the relations of the Hecke algebra associated to SL(n+1,q). Further, we will see how categorified relations of this Hecke algebra correspond to incidence relations in projective geometry.

  • John Baez, Groupoidification.

    There is a systematic process that turns groupoids into vector spaces and spans of groupoids into linear operators. “Groupoidification” is the attempt to reverse this process, taking familiar structures from linear algebra and enhancing them to obtain structures involving groupoids. Like quantization, groupoidification is not entirely systematic. However, examples show that it is a good thing to try! For example, groupoidifying the quantum harmonic oscillator yields combinatorial structures associated to the groupoid of finite sets. We can also groupoidify mathematics related to quantum groups - for example, Hecke algebras and Hall algebras. It turns out that we obtain structures related to algebraic groups defined over finite fields. After reviewing the idea of groupoidification, we shall describe as many examples as time permits.

Jeffrey Morton will be giving a talk that takes groupoidification to a higher level: instead of just turning spans of groupoids into operators between vector spaces, he’s turning spans of spans of groupoids into operators between operators between 2-vector spaces!

  • Jeffrey Morton, 2-Vector spaces and groupoids.

    In this talk, I will describe a process which assigns a Kapranov–Voevodsky 2-vector space to each (finite) groupoid, and a “2-linear map” to each span of groupoids. This process takes a 2-category whose objects are groupoids and whose arrows are spans of groupoids, into a 2-category of 2-vector spaces, in a way that crucially involves the representations of the isotropy groups, and is functorial. I will describe this, and suggest how to extend this result to smooth groupoids.

I’m also looking forward to some of the talks involving operator algebras, in part because some of them use ‘fields of Hilbert spaces’, which are dear to my heart these days, since they show up in the study of infinite-dimensional 2-Hilbert spaces.

Posted at October 24, 2008 4:07 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1821

7 Comments & 1 Trackback

Re: Groupoidfest 08

Thanks!

I suppose Joris Vakershaver spoke about material as in his 2005 article Discrete Lagrangian field theories on Lie groupoids?

Did he present stuff not to be found in that article? Are there any notes available anywhere?

He doesn’t by any chance look at Dijkgraaf-Witten theory as Chern-Simons field theory with parameter space and target space discrete groupoids #?

I wonder if he is aware of the close relation between his definition 3.5, p. 13 (a field as a graph morphism from a graph to the graph underlying a groupoid) with Anders Kock’s synthetic description of parallel transport?

Posted by: Urs Schreiber on October 24, 2008 4:49 PM | Permalink | Reply to this

Re: Groupoidfest 08

You’re acting like this workshop already happened. I’ve always thought you were slightly ahead of the rest of us, Urs — and now I have proof.

Posted by: John Baez on October 24, 2008 5:22 PM | Permalink | Reply to this

Re: Groupoidfest 08

You’re acting like this workshop already happened.

Oh, silly me.

What time is it? What month do we have? What year do we have? :-)

Posted by: Urs Schreiber on October 25, 2008 4:15 PM | Permalink | Reply to this

Re: Groupoidfest 08

Any chance of a report-back from somebody?

I wish the talks had been recorded! Soon this will be the standard way of doing things, but not yet, unfortunately.

Posted by: Jamie Vicary on November 28, 2008 10:45 AM | Permalink | Reply to this

Re: Groupoidfest 08

I’ll post something about this soon.

Unfortunately the organizer didn’t get PDF files of talks from the speakers who gave talks in this format. So, the view you’ll get will be heavily slanted towards the work of my gang — on ‘groupoidification’.

I think the organizer tried and failed to get someone to videotape the talks.

Posted by: John Baez on November 28, 2008 8:45 PM | Permalink | Reply to this

Re: Groupoidfest 08

I think the organizer tried and failed to get someone to videotape the talks.

I would have done it for the price of a plane ticket! :)

Posted by: Jamie Vicary on November 28, 2008 11:26 PM | Permalink | Reply to this

Re: Groupoidfest 08

Did you see the size of the conference budget?

Posted by: John Baez on November 28, 2008 11:33 PM | Permalink | Reply to this
Read the post Groupoidfest 08 - A Brief Report
Weblog: The n-Category Café
Excerpt: A brief report on the 2008 Groupoidfest held at UCR, with an emphasis on groupoidification.
Tracked: November 28, 2008 10:08 PM

Post a New Comment