You are currently browsing the monthly archive for July 2007.

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.

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:

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.

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

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.

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

## Recent Comments