Representation theory of groupoids and its applications to complex cobordism theory

点击翻译按钮获取中文摘要

First, we considered the relations between the notions of fibered categories and 2-categories and showed that the 2-category consisting of fibered categories over a category ε is equivalent to the 2-category consisting of 2-functors from the opposite category of ε to the 2-category cat consisting of categories. Then, we gave a general definition of the representation of groupoid using the notion of fibered category. Moreover, we collected basic facts by constructing various examples of representations of groupoids and defining the trivial representations and regular representations.We denote by F_p the prime field of characteristic p and by TopVect^* the category of graded topological vector spaces over F_p which have fundamental systems of the neighborhood of 0 consisting of sub vector spaces. We observed that the ordinary mod p cohomology theory is regaded as a functor from the category of topological spaces to TopVect^* by giving a suitable topology to each mod p cohomology group of … More a space. After defining the space Hom(V^*, W^*) of linear maps suitably, we showed that a functor Z^* → Hom(W^*, Z^*) is a substitute for the right adjoint of the functor V^* → V^*【cross product】^^^W^* given by the completed tensor product and investigated properties of these functors. With the preparations above, we showed that the mod p cohomology theory of spaces are regarded as representations of the affine group scheme represented by the dual Steenrod algebra and tried to reconstruct the Lanne's theory of unstable modules over the Steenrod algebras and submit several axioms which characterize the Steenrod algebras.On the other hand, in order to investigate the relations between the formal group law of the complex K-theory and the real K-theory which has the associated Hopf algebroid though it is not complex oriented, we determined the KO^*-algebra structures of the real K-cohomology of complex projective spaces CP^l and their product CP^l × CP^m. Moreover, we determined the KO_*-algebra structure of the real K-cohomology of infinite dimensional complex projective space. Less