P17 Remark about the Hodge Theatre We have seen that some examples of the following pattern: one has a Frobeniod F over the base category D, thus also a functor F → D. Then we construct various objects from F and D and connection between them (Kummer theory and cyclotomic rigidity). In fact, the Hodge Theatre is also has this type of structure, where D is now a collection of base categories, similarly F is a collection of Frobenioids. Elements of this collections are linked by various natural functors (e.g., localization) and the whole structure possesses certain symmetries. Thus, (very roughly!) one may think of the Hodge Theatre as a globalization of local pieces of the form GKv → OKv and Fv. (引用終り) 以上
