**DATES:** 27 September-15 November 2021. Monday and Wednesday (17 sessions)

**TIME:** 16:00 - 18:00 (a total of 34 hours)

**LOCATION:** Online

**ABSTRACT:**
Homological tools are important in many branches of mathematics. To fully understand them, some basic background in homological algebra is needed, however, homological algebra is usually considered too abstract and has disappeared from most programs in mathematics nowadays. In this course we want to give an overview of the basics of homological algebra, with a focus in group (co)homology. Homological algebra originated with group homology so this last theory provides a natural motivation for the more abstract setting of homological algebra. Moreover, groups are an excellent source of examples that can be used as an excuse to introduce some relevant families of subgroups which are interesting for their own sake such as right angled Artin groups, knot groups, Thompson group, solvable groups and also central constructions in modern group theory such as HNN extensions and free products with amalgamation.

The second part of the course is devoted to cohomological finiteness conditions. We will introduce some basic definitions and techniques and illustrate them with the above families of groups, trying to stress the interaction between algebra and geometry. To finish, we will give an introduction to the beautiful theory of the BNSR-invariants (Bieri-Neumann-Strebel-Renz).

The course is divided in two parts. Each part would consist of 12 hours of ordinary lectures plus 3 invited talks on additional topics. The ordinary lectures will be at master level and only a basic background in algebra and topology will be assumed. The invited talks will be on workshop level and the idea is that they can reach to research level, skipping details of proofs when necessary but giving the idea. In these talks, we intend to put the student in contact with active areas of research.

Additionally, during both the lectures and the invited talks we will discuss some relevant open problems in the subject. For example, in the first part we will mention problems such as the Eilenberg-Ganea conjecture, the conjecture that homological dimension one are free or the cohomological dimension of solvable groups in arbitrary characteristic and in the second part the weak from of Brown's conjecture the sigma conjecture for metabelian groups or several questions regarding the sigma invariants for various families of groups.

Follows a more detailed program of the two parts of the course.

**Part 1: Introduction to homological algebra from the point of view of group cohomology:**
Cayley complex of a group. CW-complexes, simplicial complexes and actions of groups, classifying space and group cohomology. Geometric dimension of a group. Group rings and modules. Projective modules, projective resolutions. Ext and Tor functors and basic properties. Cohomological dimension. HNN extensions, free products with amalgamation and Mayer-Vietoris sequences. Right angled Artin groups as iterated HNN extensions and as iterated amalgamated products. Cube complex associated to a RAAG. Torsion free one relator groups as iterated HNN extensions. Knot groups and Alexander polynomials from the point of view of group cohomology.

Possible invited speakers: Ruth Charney, Henry Wilton, Peter Kropholler.

Possible additional topics: CAT(0) geometry, hyperbolic groups.

**Part 2: Cohomological finiteness conditions and BNRS-invariants:**
Finiteness conditions: FPn, Fn, FP∞, F∞. Stability criteria for HNN extensions and free products with amalgamation. Brown's criterium via actions on spaces. Bredon cohomology and classifying spaces for proper actions. Finiteness conditions for RAAGs, knot groups and one-relator groups. Thompson group. Character sphere of a group. The invariant Σ1 and its first properties. Σ1 for metabelian groups. Brown's procedure for 1-relator groups. General BNRS invariants and examples: Thompson group, RAAGs

Possible invited speakers: Dawid Kielak, Dessislava Kochloukova, Andrei Jaikin.

Possible additional topics: L2-invariants. Atiyah and Kaplansky conjectures.

**Prerequisites**: the student is assumed to have only basic knowledge of group theory and some basic topology

**REFERENCES:**
[1] D. J. S. Robinson. A Course in the Theory of Groups. Graduate texts in mathematics. Springer Verlag, 1996.

[2] D. J. Benson. Representations and cohomology I. Cambridge studies in advanced mathematics. Cambridge Un. Press, 1995.

[3] D. J. Benson. Representations and cohomology II. Cambridge studies in advanced mathematics. Cambridge Un. Press, 1995.

[4] K. S. Brown Cohomology of groups, Graduate Texts in Mathematics, 87, Springer-Verlag, New York, 1994.

[5] W. Dicks, M. Dunwoody. Groups acting on graphs. Cambridge studies in advanced mathematics 17. Cambridge Un. Press, 1989.

[6] R. Geoghegan. Topological Methods in Group Theory. Graduate Texts in Mathematics. Springer-Verlag, 2008.

[7] A. Hatcher. Algebraic Topology. Cambridge Un. Press 2002.

[8] R. Bieri, R. Geoghegan, D. Kochloukova. The Sigma invariants of Thompson group F. Groups, Geometry and Dynamics (2010).

[9] R. Bieri, W. Neumann, R. Strebel. A geometric invariant of discrete groups. Invent. Math. (90), (1987), 451-477.

[10] R. Bieri, B. Renz. Valuations on free resolutions and higher geometric invariant of groups. Comment. Math. Helv. (63), (1988), 464-497.

[11] J. Meier, H. Meinert, L. Vanwyk. Higher generation subgroup sets and the Σ-invariants of graph groups. Comment. Math. Helv. (73), (1998), 22-42.

[12] G. Mislin, Equivariant K-homology of the classifying space for proper actions, Notes on an Advanced Course on Proper Group Actions, CRM Barcelona (2001) 7-86.

[13] A. Putman, One relator groups https://www3.nd.edu/andyp/notes/

[14] R. Strebel. Notes on the Sigma invariants https://arxiv.org/abs/1204.0214

[15] Ch. A.Weibel. An introduction to homological algebra. Cambridge studies in advanced mathematicics 28. Cambridge Un. Press, 1994.

Departamento de Matemáticas, Universidad de Zaragoza, 50009 Zaragoza, Spain

Email address: conmar@unizar.es

** *Registration is free, but mandatory before September 20th.** To sign-up go to

registration form and fill the registration form.