The project is an investigation into the representation theory and cohomology of finite groups and algebras over fields of prime characteristic. The Principal Investigator is particularly interested in the homological properties of representations which underlie the basic module theory. In the area of group representations he will continue his long investigation into the connections between module theory and group cohomology. Specific problems are concerned with the classification of modules with bounded support varieties into blocks and the relations with the ordinary block theory of the group. Carlson will study other basic issues concerned with the linear algebra of representations of finite groups and group schemes. The proposed work would build on the foundation laid by Professor Carlson over many years. In addition, the Principal Investigator plans to continue his development of computer algebra systems for experimentation with modules and homomorphisms. Recent work has led to the development of systems for extracting generators and relations for matrix algebras. The system will be expanded to investigate general homological properties for finite dimensional algebras as well as application to group representations. Other projects involve connections with the representation theory of algebraic groups and the general theory of group extensions.
The Principal Investigator will look at algebraic systems together with the actions of operators. Such a system might be a space with the operators being rotations or some representation of progression over time. The system is called a module and it might have many dimensions in the sense of depending on many variable. The project will concentrate on the classification of certain types of modules whose associated operators whose interactions satisfy preset conditions. A significant part of the project is the development of computational techniques and software for analyzing the structure and properties of modules. Groups of transformations on modules and spaces are basic objects in modern mathematics and arise in many applications of the mathematics.