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.

June 28, 2006

Seminar on 2-Vector Bundles and Elliptic Cohomology, V

Posted by Urs Schreiber

Part V of our seminar on elliptic cohomology and 2-vector bundles.

part topic based on I literature on elliptic cohom. introdution to 2-vector bundles II,III,IV ellipt. coh. as categorified K-theory Baas-Dundas-Rognes classes of 2-vector bundles V-VI elliptic cohom. and strings V introduction K-theory and 1dSQFT Stolz-Teichner Witten genus and 2dSCFT VI tmfspectrum material used in string th. applications (?) Kriz-Sati \array{ \mathbf{\text{part}} & \mathbf{\text{topic}} & \mathbf{\text{based on}} \\ \href{http://golem.ph.utexas.edu/string/archives/000737.html}{\text{I}} & \text{literature on elliptic cohom.} \\ & \text{introdution to 2-vector bundles} \\ \\ \href{}{\text{II}}, \href{}{\text{III}}, \href{}{\text{IV}} & \text{ellipt. coh. as categorified K-theory} & \href{http://arxiv.org/abs/math.AT/0306027}{\text{Baas-Dundas-Rognes}} \\ & \text{classes of 2-vector bundles} \\ \\ \text{V-VI} & \text{elliptic cohom. and strings} & \\ \\ \text{V} & \text{introduction} \\ & \text{K-theory and 1dSQFT} & \href{http://math.ucsd.edu/~teichner/Papers/Oxford.pdf}{\text{Stolz-Teichner}} \\ & \text{Witten genus and 2dSCFT} \\ \\ \text{VI} & \mathrm{tmf}-\text{spectrum} \\ \\ & \text{material used in string th. applications (?)} & \text{Kriz-Sati} }

Outline of Part V

\bullet Introduction.

\bullet Background information.

\;\;\;\;\;1) What is a genus?

\;\;\;\;\;2) What is a generalized cohomology theory?

\;\;\;\;\;3) What do we need to know about elliptic curves?

\;\;\;\;\;4) What is the elliptic genus?

\;\;\;\;\;5) What is elliptic cohomology?

\bullet 6) How is ellitpic cohomology realized geometrically?

a) Warmup: how is the landscape of superpoint theories equal to the K-theory spectrum?

b) How does one expect the landscape of superstring theories to be equal to the spectrum of elliptic cohomology?

Posted at 5:07 PM UTC | Permalink | Followups (26)

June 27, 2006

Gukov on Surface Operators in Gauge Theory and Categorification

Posted by Urs Schreiber

Over at Strings 06\text{Strings}_{06} they had a talk

Sergei Gukov
Surface Operators in Gauge Theory and Categorification
(ppt).

Posted at 9:43 AM UTC | Permalink | Followups (2)

June 22, 2006

Kapranov and Getzler on Higher Stuff

Posted by Urs Schreiber

Last year there was the Streetfest, a big conference on categories and their application in mathematical physics and string theory.

I couldn’t go because I was busy finishing my thesis, but Marni Sheppeard, David Roberts and John Baez had been so kind to report here at the Coffee Table about some of the talks (\to, \to, \to, \to, \to, \to, \to, \to, \to, \to, \to, \to, \to, \to, \to, \to).

Now, David Roberts was so kind to scan in notes that Marni Sheppeard had taken in two of the most interesting talks (\to). Here they are. Many thanks indeed to both Marni and David!

Ezra Getzler
Lie Theory for L L_\infty algebras
(pdf with lecture notes by Marni Sheppeard)

This is on integration of L L_\infty algebras with comments on applications to TCFT (\to).

For more details see the paper

Ezra Getzler
Lie theory for nilpotent L-infinity algebras
math.AT/0404003.


Mikhail Kapranov
Noncommutative Fourier Transform
(pdf with lecture notes by Marni Sheppeard)

This starts, as the name suggests, with a study of a noncommutative version of Fourier transformations and then moves on to a discussion of parallel transport of strings and membranes.

I am glad to finally see these notes, because (as far as I am aware) there is nothing in print on this.


Alas, I am once again too busy to look at this right now. This entry just serves the purpose of reminding me later to look at this stuff.

Posted at 9:20 PM UTC | Permalink | Followups (1)

Varieties and Schemes for Dummies, Part III

Posted by Urs Schreiber

Still more details on how varieties form a subcategory of schemes.

Posted at 7:48 PM UTC | Permalink | Followups (2)

Varieties and Schemes for Dummies, Part II

Posted by Urs Schreiber

More details on how varieties are a subcategory of schemes.

Posted at 12:58 PM UTC | Permalink | Followups (1)

June 21, 2006

Sharpe on Derived Categories and Strings on Stacks

Posted by Urs Schreiber

Lots of things to talk about, but, unfortunately, I am busy. But I can quickly provide the following link.

Yesterday, at ESI, Eric Sharpe gave a talk

Eric Sharpe
Derived categories in physics
(slides available here).

(The slides are very pretty. Lots of animations usually spice them up, but these are lost in the above pdf.)

The first part reviews some aspects of the description of D-branes in terms of derived categories (\to, \to).

The second part is on the study of sigma-models whose targets are orbifolds (stacks) that are not global quotients (\to, \to).

The main point is that it seems to make sense to have strings propagating on orbifolds different from global quotients. Even though for target spaces that are, as stacks, gerbes (not to be confused with the structure incorporating the Kalb-Ramond field) there seems to be a failure of cluster decomposition, this is apparently simply due to the fact that these targets have to be regarded as disconnected.

This is discussed in the recent paper

S. Hellerman, A. Henriques, T. Pantev, E. Sharpe, M. Ando
Cluster decomposition, T-duality, and gerby CFT’s
hep-th/0606034.

Posted at 1:21 PM UTC | Permalink | Followups (1)

June 20, 2006

Varieties and Schemes for Dummies, Part I

Posted by Urs Schreiber

I volunteered to produce a survey of the relation between varietes and schemes. Here are some notes.

Posted at 10:00 PM UTC | Permalink | Followups (3)

June 17, 2006

Kapustin on SYM, Mirror Symmetry and Langlands, III

Posted by Urs Schreiber

The third part of the lecture.

Posted at 10:51 AM UTC | Permalink | Followups (1)

Kapustin on SYM, Mirror Symmetry and Langlands, II

Posted by Urs Schreiber

The second part of the lecture.

Posted at 9:30 AM UTC | Permalink | Followups (2)

June 16, 2006

Soibelman on NCG of CFT and Mirror Symmetry

Posted by Urs Schreiber

Yan Soibelman gave at ESI a brief outline of work on applying non-commutative methods to CFTs in order to understand mirror symmetry.

Maxim Kontsevich, Yan Soibelman
Homological mirror symmetry and torus fibrations
math.SG/0011041.

Though I haven’t looked at ot yet, I was told that an important reference in this context is

Daniel Roggenkamp, Katrin Wendland
Limits and Degenerations of Unitary Conformal Field Theories
hep-th/0308143.

This is apparently part of a much more general scheme, whose study has been begun in

Maxim Kontsevich, Yan Soibelman
Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I
math.RA/0606241 .

Posted at 9:41 AM UTC | Permalink | Followups (6)

June 15, 2006

Kapustin on SYM, Mirror Symmetry and Langlands, I

Posted by Urs Schreiber

Today A. Kapustin gave the first of two ESI lecture talks on the super Yang-Mills aspect of his work with Witten on the physical realization of geometric Langlands duality (\to, \to, \to), following the paper

A. Kapustin & E. Witten
Electric-Magnetic Duality And the Geometric Langlands Program
hep-th/0604151.

Here is a transcript of my notes (though there is nothing here which cannot also be found in this paper).

Posted at 7:23 PM UTC | Permalink | Followups (6)

Roberts on Nonabelian Cohomology

Posted by Urs Schreiber

I was scolded for never having cited

John E. Roberts
Mathematical Aspects of Local Cohomology
talk at Colloqium on Operator Algebras and their Applications to Mathematical Physics,
Marseille 20-24 June, 1977 .

Igor Baković was so kind to dig the paper out for me.

Posted at 6:28 PM UTC | Permalink | Followups (9)

June 14, 2006

Kontsevich Lectures on Mirror Symmetry, I

Posted by Urs Schreiber

Right at the moment Daniel Huybrechts is talking about branes on K3 surfaces. Since I already know this talk (\to) I have time to type some notes.

I’ll try to reproduce something from Kontsevich’s ESI lectures on various things related to (homological) mirror symmetry (\to). I have to warn you though, that the following, as far as my reproduction makes any sense at all, is either well known to the experts or possibly close to incomprehensibe to those who are not. The fact that I am closer to the second group than to the first does not help, either.

The second lecture (which I might talk about in a later entry), had a lot of Kevin Costello’s results in it, and for all of the following it pays to look at his papers (\to).

While I still feel like I should just try (in fact, I have been urged) to try to absorb some of this, I cannot recommend that you try to read the following.

Posted at 1:19 PM UTC | Permalink | Followups (2)

June 12, 2006

Castellani on FDA in SuGra: gauge 3-group of M-Theory

Posted by Urs Schreiber

In

Leonardo Castellani
Lie derivatives along antisymmetric tensors, and the M-theory superalgebra
hep-th/0508213

the author implicitly shows that

1)

the central extension by membrane charges {Q α,Q β}=i(CΓ a) αβP a+(CΓ ab) αβZ ab \lbrace Q_\alpha, \, Q_\beta \rbrace = i(C\Gamma^a)_{\alpha\beta} P_a + \href{http://www.phys.uu.nl/~hofman/scriptie/duality/node15.html}{(C\Gamma_{ab})_{\alpha\beta}Z^{ab}} of the super-Poincaré algebra in eleven dimensions defines a semistrict Lie 3-algebra;

2)

the local field content of 11D supergravity defines the local data for a connection on a 3-bundle with this gauge 3-group.

Recall (\to) that we expect on general grounds (\to) M-branes to couple to a 3-bundle (2-gerbe) with some gauge 3-group (\to).

Posted at 9:08 PM UTC | Permalink | Followups (11)

June 10, 2006

Homological Mirror Symmetry Literature

Posted by Urs Schreiber

I am trying to prepare a little for that workshop on homological mirror symmetry that starts tomorrow (\to). Rumour has it that the allegedly introductory lecture won’t be introductory at all, so I thought I might take a look at some literature.

Posted at 10:26 PM UTC | Permalink | Followups (2)

Mathai on T-Duality IV: Distler on CFT Checks

Posted by Urs Schreiber

Due to lack of time, I have so far only reproduced the first half of Varghese Mathai’s talk (\to) on “topological T-duality”, which was really just a review of some basics. Maybe I will find the time to type my notes on the noncommutative and non-associative aspects.

But meanwhile we had some discussion about the relation of this formalism to full CFT over at Jacques Distler’s Musings.

Posted at 12:00 PM UTC | Permalink | Followups (1)

June 9, 2006

Crane-Sheppeard on 2-Reps

Posted by Urs Schreiber

David Corfield rightly asks (\to ) how I’d think some of what I said recently about 2-linear maps (\to) and in particular about Vect\mathrm{Vect}-linear representations of 2-groups (\to, \to) relates to the 2-reps discussed in

L. Crane & M. Sheppeard
2-Categorical Poincaré Representations and State Sum Applications
math.QA/0306440.

Posted at 12:40 PM UTC | Permalink | Followups (10)

June 4, 2006

ESI Workshop on Homological Mirror Symmetry

Posted by Urs Schreiber

I am currently staying in Zagreb, where I am visiting Zoran Škoda and Igor Bakovic. If everything works out, next week we’ll go back (\to) to the ESI in Vienna to attend the

ESI research conference
Homological Mirror Symmetry
(schedule).

Kontsevich will give the introductory lecture. After that people like Frenkel, Fukaya, Hori, Getzler, Huybrechts (\to), Kapustin, Sharpe (\to) to name some, will give talks on related stuff.

Posted at 7:31 PM UTC | Permalink | Followups (6)

June 2, 2006

Going the Wrong Way - for Dummies

Posted by Urs Schreiber

The last couple of entries (\to, \to, \to) involved pull-push operations on correspondence spaces

(1)C q R p L. \array{ C &\overset{q}{\rightarrow}& R \\ p \downarrow\;\; \\ L } \,.

But some objects (like vector bundles) don’t want to be pushed, while others (like sheaves) are not so obviously pulled. I didn’t know the details, and tried to fake it (with some succes in the finite case). But here are some details.

Posted at 5:03 PM UTC | Permalink | Followups (3)

Mathai on T-Duality, III: Algebraic Formulation

Posted by Urs Schreiber

The second part of my transcript of V. Mathai’s talk.

Posted at 2:01 PM UTC | Permalink | Followups (4)

Mathai on T-Duality, II: T-dual K-classes by Fourier-Mukai

Posted by Urs Schreiber

The first part of my transcript of V. Mathai’s talk.

Posted at 12:58 PM UTC | Permalink | Followups (4)

Mathai on T-Duality, I: Overview

Posted by Urs Schreiber

Here is a transcript of a talk by Varghese Mathai on T-Duality, concerned with topological aspects, the C *C^*-algebra formulation (“noncommutative topology”), and the identification of non-geometric T-duals, represented by non-commutative or even non-associate **-algebras.

For a brief review of some key concepts see

V. Mathai & J. Rosenberg
On mysteriously missing T-duals, HH-flux and the T-duality group
hep-th/0409073.

More details are in

V. Mathai & J. Rosenberg
T-Duality for Torus Bundles with HH-Fluxes via Noncommutative Topology
hep-th/0401168

and

V. Mathai & J. Rosenberg
T-Duality for Torus Bundles with HH-Fluxes via Noncommutative Topology, II: the high dimensional case and the T-duality group
hep-th/0508084.

(V. Mathai had given essentially the same talk a few weeks ago in Vienna (\to). )

Posted at 11:04 AM UTC | Permalink | Followups (7)

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).

Posted at 12:44 PM UTC | Permalink | Followups (8)