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.

July 12, 2005

Tuesday at the Streetfest I

Posted by Guest

Hello again! Wednesday already here. I already have 50 pages of notes. It’s quite overwhelming. Now let’s see. Kapranov spoke about a Non-commutative Fourier Transform and Chen’s iterated integrals. For those into membranes, keep reading…

Consider two variables x and y that do not commute. Monomials x iy jx ky l can be represented by paths on a lattice in R 2 starting at the origin. Similarly for n variables. Therefore, a polynomial is represented by a summation over paths γ.

We want to consider the continuous version of this. Imagine subdividing the lattice; allow non-integer powers x i 1 m and let m go to infinity. Now let x i 1 m=e 1 mz i in the complex algebra of power series A.

A is a ‘connection’. For Ω=z idt i let E γ(z) be the holonomy of Ω. Now we can define the NC Fourier Transform using this NC exponential.

Kapranov went on to consider the problem for higher dimensional membranes instead of paths. For a lattice box in the variables x 1 and x 2 there is now a 2-cell filling the box x 1 x 2 x 2 x 1 Introduce these x ij of degree -1 in a dg-algebra B 2 with d(x ij)=x ix jx jx i

Let C 2 be the 2-category generated by the 2-skeleton of the cubical lattice in R n. The pasting of the half cube for C 2 gives a rule in B 2 . But there are 2 choices of half cube. The difference is used to extend to B 3 by adding x ijk now of degree -2 with d(x ijk)=[x ij,x k]+[x j,x ik]+[x jk,x i]

so B 3 is the universal enveloping algebra of a dg-Lie algebra. And so on … onto the continuous version of this.

Phew. Must be off.


P.S. Browser options here aren’t great. We apologise for errors that we are unable to correct at this stage.

Back again. More on Kapranov…

For the full dg-algebra B we have generators x I of degree (p+1 ) where I is an index set of p elements. The differential d(x I)= I=JJε(J,K)[x J,x K] (where ε is the sign of the shuffle) satisfies d 2 =0 .

Theorem: B is a free NC resolution of C[x 1 ,,x n] and with respect to d the cohomology is H j(B)=C[x 1 ,,x n] for j=0 and zero otherwise.

Apparently the proof uses that the Lie algebra is a Harrison complex of a free graded commutative algebra, but don’t ask me what that is.

We want to realise C 2 inside B, but the horizontal pasting of two diamonds gives two possible results, leading to a definition of D 2 as the quotient of B by d of the commutators [x ij,x kl]. Then C 2 quotiented by translations fits into D 2 .

Sigh. Now the continuous version. Extend the NC power series in z 1 z n by z ij, z ijk and so on, as above. Let Ω=z idt+ i<jz ijdt idt j+ of total degree 1. The claim is that dΩ+1 2 [Ω,Ω]=0 .

What has this got to do with connections on gerbes? Let G 0 acting on G 1 be a 2-group (Urs has mentioned these often enough). For g i the Lie algebras we have a dg-Lie algebra in degrees -1 and 0. Now let M be a manifold and F=dΩ+1 2 [Ω,Ω]=F 2 +F 3 for F 2 Ω M 2 g 0 and similarly for F 3 .

If F=0 then it so happens that for all membranes σ there exists an H(σ) in the universal enveloping algebra of g with dH(σ)=H(γ 1 )H(γ 2 ) which apparently only depends on σ up to reparameterization.

Then onto Chen’s holonomy, but I’m going to skip that bit. To cut a long story short: smooth membranes in R n correspond to the universal enveloping algebra of the appropriate Lie algebra quotiented by the commutator piece like above.

What else happened yesterday? Well - they opened the university bar for us - but seriously: Berger talked about Iterated Wreath Products with theorems such as a Quillen equivalence between Top ast Δ op and just Top ast. He then described a recursive family for n-fold loop spaces: start with the one point set dense in Set. Apply the magic wreath business and get something dense in Cat, and so on. Then simplicial objects in the nth iterate happen to form a classifying topos for n-discs with the unique arrow being ‘convex subcells of trees’. For those who know more about this than me, these Quillen equivalences have the left adjoint a n-fold Segal functor.

We also had some relatively physical talks. Bondal spoke about derived categories of toric varieties.

Posted at July 12, 2005 11:27 PM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post Kapranov and Getzler on Higher Stuff
Weblog: The String Coffee Table
Excerpt: Lecture notes of talks by Kapranov on noncommutative Fourier transformation and by Getzler on Lie theory of L_oo algebras.
Tracked: June 22, 2006 8:04 PM

Post a New Comment