# Understanding a lemma in “Loop Spaces and Langlands Parameters” article

First, some background. I was trying to read the article Loop Spaces and Langlands Parameters but I get immediately stuck at Theorem 2.1 in the introduction.

This was actually forward-referring to Chapter 5, and I am able to read until Chapter 4 inclusively, but Proposition 5.1 knocks me off, despite providing some examples. The short statement of it is

The category L_qcoh (Z/S^1) is equivalent to the category of comodule objects in L_qcoh(Z) for the coalgebra p_∗act^∗ in End(L_qcoh (Z)).

Now since there are some references included, I tried looking there, but I think I just don't "get" something about localization. In fact, I remember some physical examples (Chern-Simons theory, I believe) about localizing the path integral onto the fixed points of some torus -- I'm sure this is relevant here, but I don't know how.

So what I have in mind for this question is that perhaps somebody could provide some simpler examples of localization, or connect it to other places where it naturally arises, e.g. physics.

-
A much improved and expanded version of this paper is now available as arXiv.org/abs/1002.3636 (with a lot of new material..) – David Ben-Zvi Feb 23 '10 at 3:58