The String Coffee Table

Hi Marni,

I know what $D^b_\mathrm{coh}(X)$ is: the bounded derived catgeory of coherent sheaves on $X$.

But I am not sure what $D^b_\mathrm{constr}(X)$ is suppsed to be. The bounded derived category of …?

Then you wrote:

Conjecture: for $X$ a smooth projective variety $D^b_\mathrm{coh}(X)$ has a canonical semi-orthogonal decomposition.

Such a decomposition means that $D^b_\mathrm{coh}(X)$ is generated by some triangulated subcategories $B_i$ such that $\mathrm{Hom}(B_i,B_j)=0$ for $i$ bigger than $j$.

Did Bondal mention what the physical interpretation of this statement would be? This looks like it must have a very clear physical meaning.

Hi again,

I am very interested in what Kapranov was talking about. Unfortunatly something is wrong with the code of your (Marni’s) entry (part I of Tuesday at the Streetfest). When I try to see the ‘extended entry’ or try to post a comment there, the server reports an XML parsing error. I have no clue what might be causing such. Too bad.

Anyway, I can see the entry body on the index page. There you wrote:

Kapranov spoke about a Non-commutative Fourier Transform and Chen’s iterated integrals.

I have seen the abstract of this and have seen some private comments M. Kapranov made on that, but I still don’t have a good idea about what’s going on.

I have looked around on the web, but found nothing concerning this. Did he mention anything about when this might be available in text form?

(And in general: will the transparancies of the Streetfest talks be available online?)

So let me try to follows what you reported from his talk:

Monomials $x^i y^j x^k y^l$ can be represented by paths on a lattice in $\mathbb{R}^2$, starting at the origin.

So I guess the path corresponding to that is the one which starts by moving $i$ steps parallel to the $x$ axis, then $j$ steps parallel to the $y$-axis, then again $k$ steps along the $x$-axis and finally $l$ steps along the $y$-axis again. (?)

allow non-integer powers $x_i^{\frac{1}{m}}$ and let $m$ go to infinity

This should then correspond to going from the lattice $\mathbb{R}^2/\mathbb{Z}^2$ to the lattice $\mathrm{R}^2/(\frac{1}{m}\mathbb{Z}^2)$

For $\Omega = \sum_i z_i \, dt_i$ let $E_\gamma(z)$ be the holonomy of $\Omega$.

I assume $dt_i$ is the unit 1-form parallel to the $i$-th axis of $\mathbb{R}^n$. So given, for instance, the path represented by

what is presumeably meant is that

which apparently we want to interpret as the NC analog of the ordinary

So then, probably, given any function $F$ of $\gamma$, we want to call the expression

the NC Fourier transform of $F$.

Hm, this cannot be quite what you have in mind, probably. There are more long paths that short paths on the lattice, so stated this way this does not quite reproduce the ordinary Fourier transform.

Kapranov went on to consider the problem for higher dimensional membranes instead of paths.

Alas, I cannot really see what you are sketching now.

Did M. Kapranov mention any relation of this to gerbes? I mean, does he consider any global topological effects or is this maybe just a way to talk about surface holonomy in what I would call a trivial 2-bundle?