## June 1, 2006

### Fourier-Mukai, T-Duality and other linear 2-Maps

#### Posted by Urs Schreiber

Varghese Mathai is visiting, and will talk today on his work on T-duality. Yesterday he explained to us how T-duality is similar to the Fourier-Mukai transformation.

That’s nice, since it fits into the big picture ($\to$).

Here are some preliminary remarks, as a preparation for the talk this afternoon.

Let $X$ be some space. A vector bundle $E\to X$ is like a vector whose entries are vector spaces, each entry being the fiber over one point of $X$. We hence call such a vector bundle a (generalized Kapranov-Voevodsky ($\to$)) 2-vector. They live in the 2-vector space ${\mathrm{Vect}}^{X}$, the category of vector bundles over $X$.

Alternatively, we may think of this as

(1)${\mathrm{Vect}}^{X}\simeq {}_{{A}_{X}}\mathrm{Mod}\phantom{\rule{thinmathspace}{0ex}},$

where ${A}_{X}=C\left(X\right)$ is the algebra of functions on $X$ (or the sheaf of such functions, according to taste).

We want a notion of linear 2-map from ${}_{{A}_{X}}\mathrm{Mod}$ to ${}_{{A}_{Y}}\mathrm{Mod}$.

Consider the product space

(2)$\begin{array}{cc}Y×X& \stackrel{{p}_{2}}{\to }X\\ {p}_{1}↓\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}& & \\ Y\end{array}$

and a vector bundle $L$ over that

(3)$\begin{array}{c}L\\ ↓\\ Y×X& \stackrel{{p}_{2}}{\to }& X\\ {p}_{1}↓\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}& & \\ Y\end{array}\phantom{\rule{thinmathspace}{0ex}}.$

This is like a $Y×X$-matrix whose entries are vector spaces. (For $Y$ and $X$ finite sets, this are precisely the ordinary linear 2-maps of Kapranov-Voevodsky ($\to$)).

$L$ is an ${A}_{Y×X}$ module, which we may regard as a ${A}_{Y}$-${A}_{X}$ bimodule.

We may act with $L$ on $E$ by pulling back along ${p}_{2}$, tensoring fiberwise with $L$ and pushing forward along ${p}_{1}$.

(4)$\begin{array}{ccc}L{\otimes }_{Y×X}{p}_{1}^{*}\left(E\right)& & E\\ ↓& & ↓\\ Y×X& \stackrel{{p}_{2}}{\to }& X\\ {p}_{1}↓\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}& & \\ Y\end{array}\phantom{\rule{thinmathspace}{0ex}}.$

The result is a bundle $\left({p}_{1}{\right)}_{*}\left(L{\otimes }_{Y×X}{p}_{1}^{*}\left(E\right)\right)\to Y$ over $Y$, which we may regard as a ${A}_{Y}$-module.

I believe that, possibly up to some subtleties, equivalently, we can regard this as the bimodule tensor product

(5)$L\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}{\otimes }_{{A}_{X}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}E\phantom{\rule{thinmathspace}{0ex}}.$

Of course the subtlety is the pushforward of vector bundles, which goes the “wrong way”. For the first of the examples below, the baby toy example, we can think of the push forward as being given by taking direct sums over fibers living over the same fiber of the map that we push along. For base spaces that are finite sets this makes sense. For continuous spaces we get infinite-dimensional fibers this way, which will need to be reduced to something finite using maybe a Dirac operator and its index, or related tricks.

(Thanks to Varghese Mathai for a lot of very helpful discussion on this point. All oversimplifications which I am making here are completely my fault, of course.)

Examples.

1)

One can check that, when $Y$ and $X$ are finite sets, this reproduces the 2-map operation of Kapranov-Voevodsky, where we multiply matrices whose entries are vector space with vectors whose entries are vector spaces by mimicking ordinary matrix multiplication but with sums of numbers replaced by direct sums of vector spaces, and with products of numbers replaced by tensor products of vector spaces.

2)

The Fourier-Mukai transformation is of this form.

Shigeru Mukai
Duality between $D\left(X\right)$ and $D\left(Y\right)\mathrm{with}\mathrm{its}\mathrm{application}\mathrm{to}\mathrm{Picard}\mathrm{sheaves}$
Nagoya Mathematical J. 81 (1981) 153-175
(pdf)

In that context $Y$ is the dual of $X$ and $L$ the Poincaré-line bundle on ${X}^{*}×X$.

We can regard this as a categorified Fourier transformation from a 2-vector space of 2-functions on $X$ to that of 2-functions on the dual of $X$.

3)

The Hecke operator is of this form ($\to$).

In this case the line bundle over the correspondence space is trivial.

4)

The equivalence constituting the Langlands duality is of this form. See p. 53 of Frenkel’s lecture notes.

In fact, at least in the classical limit, the geometric Langlands duality is essentially the same as a Fourier-Mukai transformation ($\to$).

5)

T-duality can be understood as induced by pulling-tensoring-pushing using a certain line bundle on a certain correspondence.

I’ll talk about that in a seperate entry.

But see for instance def. 1.5 in

U. Bunke, P. Rumpf, Th. Schick
The topology of T-duality for ${T}^{n}$-bundles
math.GT/0501487 .

Posted at June 1, 2006 12:44 PM UTC

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

Read the post Mathai on T-Duality, I: Overview
Weblog: The String Coffee Table
Excerpt: Some elements of T-duality in the context of noncommutative topology. Part I: some context.
Tracked: June 2, 2006 12:49 PM
Read the post Mathai on T-Duality, II: T-dual K-classes by Fourier-Mukai
Weblog: The String Coffee Table
Excerpt: First part of V. Mathai's talk on topological T-duality: T-dual K-classes by means of Fourier-Mukai transformation.
Tracked: June 2, 2006 1:39 PM
Read the post Going the Wrong Way - for Dummies
Weblog: The String Coffee Table
Excerpt: The definition of the pullback of sheaves of modules.
Tracked: June 2, 2006 5:40 PM
Read the post Homological Mirror Symmetry Literature
Weblog: The String Coffee Table
Excerpt: Some literature on homological mirror symmetry and related issues.
Tracked: June 11, 2006 12:18 AM
Read the post Navigating in Geometric Langlands by Analogies
Weblog: The n-Category Café
Excerpt: Some basic analogies that help navigate the geometric Langlands duality.
Tracked: December 12, 2006 9:05 PM
Read the post QFT of Charged n-Particle: T-Duality
Weblog: The n-Category Café
Excerpt: Topological T-duality as a pull-push transformation of sections of the 2-particle.
Tracked: February 16, 2007 2:18 PM
Read the post Generalized Geometric Langlands is False
Weblog: The n-Category Café
Excerpt: C. Teleman on a counter example to the generalised geometric Langlands conjecture.
Tracked: June 18, 2007 11:41 AM
Read the post Block on L-oo Module Categories
Weblog: The n-Category Café
Excerpt: On Jonathan Block's concept of modules over differential graded algebras.
Tracked: June 30, 2008 11:45 PM

Post a New Comment