Some remarks on CFTs.

Readers should be warned that the author is not an expert of CFT and, in fact, not even a novice in physics. What follows should be taken with a hefty pinch of salt.

Given any Riemann surface (as a target manifold) one is able to associate to it an or a super conformal field theory. The word super can just be construed as a -grading of the theory. This is a simplistic version as normally one should also take into account several other parameters like a B-field and so on. Within an SCFT there is a topological sector called a TQFT (topological quantum field theory) which is insensitive to the metric on the target space. There are axiomatic descriptions of this theory due to Atiyah and Segal and in its latest version possibly due to Costello. Roughly an -dimensional TQFT is a functor satisfying a lot of axioms from -manifolds with labelled boundaries (incoming and outgoing) to symmetric monoidal DG (differential graded) categories with some twisting.

Modular forms

It seems when people talk about modular forms they tend to forget that they are very related to families of elliptic curves. Here I want to explain some simple way to understand the connection. We will consider modular forms for the full modular group .

So consider the simplest family of elliptic curves, the Weierstrass family:

Ring-theoretic description of the norm-residue homomorphism

Recently, the norm-residue homomorphism has been the subject of intense discussions in the K-theoretic community following the proof of the Bloch-Kato conjecture by Voevodsky, Suslin and Rost (see Rost’s lecture at this year’s Arbeitstagung.) The goal of this post is to explain the norm-residue homomorphism in a down to earth ring-theoretic language.

Ivanka on Hirzebruch

(Via Anton (my fellow-blogger) and his wife Masha- their seven year old daughter Ivanka’s notes from Hirzebruch’s opening lecture at the 50th Arbeitstagung here a couple of weeks ago)

In case you want to learn (more) Arakelov theory

Recently I asked Faltings for some references for a self-study of Arakelov theory beyond Lang’s Arakelov theory.

He suggested the following (all revolving around the arithmetic Riemann-Roch theorem):

1. Papers by Gillet and Soule on arithmetic intersection theory

2. Papers by Bismut, Gillet and Soule on determinant of cohomology of an arithmetic variety (towards Riemann-Roch for this determinant.)

Bloch group

Recently I was trying to understand what’s behind the mysterious condition

for elements () to define an element in the Bloch group. It appears that the condition naturally appears if one studies hyperbolic -manifolds.

Tannakian categories

Of late, a lot of people have been asking me about Tannakian categories, so I decided to post this short blurb (mainly to check the Latex-related features of wordpress and also to provide some bird’s-eye view of why we should care about Tannakian categories.)

To begin with:

Definition
A neutral Tannakian category over a base field is a rigid abelian tensor category with an -linear exact faithful tensor ( being the category of vector spaces over ) which one calls the fiber functor.