Project/Area Number 
12640025

Research Category 
GrantinAid for Scientific Research (C)

Allocation Type  Singleyear Grants 
Section  一般 
Research Field 
Algebra

Research Institution  OKAYAMA UNIVERSITY 
Principal Investigator 
MIMURA Mamoru Okayama University, Facility of Science, Professor, 理学部, 教授 (70026772)

CoInvestigator(Kenkyūbuntansha) 
KURIBAYASHI Katsuhiko Okayama University, Facility of Science, assistant Professor, 理学部, 助教授 (40249751)
YOSHIOKA Iwao Okayama University, Facility of Science, assistant Professor, 理学部, 助教授 (70033199)
SHIMAKAWA Kazuhisa Okayama University, Facility of Science, Professor, 理学部, 教授 (70109081)
NISHIMOTO Tetsu Kinki Wellfare University, assistant, 社会福祉学部, 助手 (80330520)
TEZUKA Michishige University of Ryukyus, Facility of Science, Professor, 理学部, 教授 (20197784)
森本 雅治 岡山大学, 環境理工学部, 助教授 (30166441)

Project Period (FY) 
2000 – 2001

Project Status 
Completed (Fiscal Year 2001)

Budget Amount *help 
¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2001: ¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2000: ¥1,700,000 (Direct Cost: ¥1,700,000)

Keywords  Chevalley group / cohomology of group / spectral sequence / エタール・コホモロジー / 有限群 / コホモロジー 
Research Abstract 
The research project is to determine the cohomology of (the classifying space of) finite Chevalley groups, which consists of the following. (1) to construct, using the notion of algebraic geometry, the spectral sequence converging to the cohomology of (the classifying space of) finite Chevalley groups ; (2) to construct a complex giving the second term of the spectral sequence ; (3) to show the triviality of the spectral sequence. As for (1), we have succeeded in constructing the spectral sequence converging to the simplicial scheme which is the model of the Borel construction, by using the Deligne spectral sequence which is the algebraic version of the EilenbergMoore spectral sequence. Furthermore we use the Hochschild spectral sequence to show the triviality of the above spectral sequence, and thus we have succeeded in obtaining the spectral sequence mentioned in the above. As for (2), we have constructed concretely complexes giving the second term of the spectral sequence for all the cases of spinor type and of exceptional type. Finally, as for (3), we have some ideas to show the triviality of the spectral sequence by introducing some cohomology operations into the spectral sequence, which may need some more studies in the future.
