Mini-courses and Speakers

Csaba Schneider
Igor Lima
Federal University of Minas Gerais, Brazil
University of Brasília, Brazil

Herivelto Martins Borges Filho
ICMC-USP, Brazil

Hipolito Treffinger
Universidad de Buenos Aires, Argentina

Jethro van Ekeren
IMPA, Brazil

Lucas H. R. de Souza
Samuel Quirino
UFMG, Brazil

Masha Vlasenko
Institute of Mathematics of the Polish Academy of Sciences, Poland

Mikhail V. Kotchetov
Memorial University, Canada

Oliver Lorscheid
University of Groningen, Netherlands
Room CEC—6
Mini-course 1 (basic)
An Introduction to Computer Algebra with GAP
The objective of this short course is to solve some Computer Algebra problems using the GAP system (gap-system.org). The problems will be done through projects that participants can choose freely. The projects involve the GAP system programming language and also algebraic structures such as groups, rings, fields and algebras. There will be help from instructors. No programming knowledge is necessary, but if participants have some experience with a programming language or even basic knowledge of algebraic structures, this will facilitate participation.
Reference:
https://www.gap-system.org/

Csaba Schneider
Federal University of Minas Gerais, Brazil
Federal University of Minas Gerais, Brazil

Igor Lima
University of Brasília, Brazil
University of Brasília, Brazil
Room B02
Mini-course 2 (Intermediate)
Exploring Rational Points on Curves over Finite Fields
In this mini-course, we delve into key aspects of curves over finite fields, drawing from a curated selection of topics. In particular, we discuss bounds for the number of rational points, their improvements, and applications. Throughout the five lectures, several open problems will be discussed.

Herivelto Martins Borges Filho
ICMC-USP, Brazil
ICMC-USP, Brazil
Room B01
Mini-course 3 (advanced)
Higher homological algebra in representation theory
A classical result by Auslander states that there is a correspondence between Artin algebras of finite representation type and algebras whose global dimension at most 2 and dominant dimension at least 2. At the end of the 2000's Iyama realized and proved that this result constitutes a special case of a more general theorem stating a correspondence of "d-representation finite" algebras and algebras whose global dimension at most d+1 and dominant dimension at least d+1. The main insight of Iyama was to realize that, instead of looking at the whole of the module category, a generalization of Auslander's result required considering a maximal orthogonal rigid subcategory, also known as a "d-cluster tilting" subcategory, which behaves much like an abelian category where the shortest non-split exact sequences have d+2 terms. In other words, in a d-cluster tilting subcategory the bifunctor Ext^i(-,-) is zero for every i between 1 and d-1.
In this course we will go over the basics on representation theory of Artin algebras, we will give the definition of d-cluster tilting subcategories and we will see how the classical notions adapt to the higher setting. The topics covered in this course include (higher) homological algebra, (higher) Auslander-Reiten theory and (higher) torsion classes.

Hipolito Treffinger
Universidad de Buenos Aires, Argentina
Universidad de Buenos Aires, Argentina
Room B01
Mini-course 4 (Intermediate)
Vertex Algebras
This minicourse is an introduction to vertex algebras. Other than a general background in algebra, no specific prerequisites are required. We adopt the following point of view: the study of infinite dimensional Lie algebras and their representations requires methods that have no analogues in the finite dimensional world. These techniques (which are secretly related to ideas from quantum field theory) turn out to lead naturally to the notion of vertex algebra.

Jethro van Ekeren
IMPA
IMPA
Room B05
Mini-course 5 (basic)
Selberg's Lemma and applications
In this mini-course we will present and prove Selberg's Lemma, covering the necessary requirements of ring theory,
algebraic geometry and field extensions, dedicating a large part of the presentation to applications in geometry.

Lucas H. R. de Souza
UFMG, Brazil
UFMG, Brazil

Samuel Quirino
UFMG, Brazil
UFMG, Brazil
Room B02
Mini-course 6 (advanced)
Congruences and cohomology
The course will give an elementary account of $p$-adic methods in de Rham cohomology of algebraic hypersurfaces with explicit examples and applications in number theory and combinatorics. Lectures are based on a series of our joint papers with Frits Beukers entitled Dwork crystals. These methods also have applications in mathematical physics and arithmetic geometry.

Masha Vlasenko
Institute of Mathematics of the Polish Academy of Sciences, Poland
Institute of Mathematics of the Polish Academy of Sciences, Poland
Room B05
Mini-course 7 (basic)
Group gradings on algebras and modules
Gradings (also known as gradations) have played an important role in algebra for a long time: for example, the grading of the algebra of polynomials by total degree or by multidegree, the grading of a complex semisimple Lie algebra by its root lattice, the natural grading of a crossed product.
Since the 1990's, there has been an increasing interest in classifying gradings by arbitrary groups on various algebras and studying the properties of the resulting graded algebras (for example, their ``contractions'', graded polynomial identities, graded representations).

Mikhail V. Kotchetov
Memorial University, Canada
Memorial University, Canada
Room B03
Mini-course 8 (Intermediate)
New foundations for matroid theory and tropical geometry
In a joint program with Matthew Baker, we develop a new type of algebraic objects and algebraic geometry that captures matroids as vector spaces over the so-called Krasner hyperfield and tropical varieties as schemes over the so-called tropical hyperfield. This theory allows for a reformulation of many concepts and results in a precise analogy to classical linear algebra and algebraic geometry, which simplifies and streamlines previous approaches.
More importantly, this theory leads to new insights in both classical theory and about matroids and tropical geometry. For example: (a) Structural insights into the tropical hyperfield and the so-called sign hyperfield lead to a new proof of Descartes rule of signs and the Newton polygon rule, which has led to subsequent generalizations. (b) Structural insights into a new invariant for matroids, which we call its "foundation", have streamlined many known results and produced new results about the representation theory of matroids. (c) The combination of the methods from 1 and 2 has led to a better understanding of realization spaces (i.e. intersections of Grassmannian varieties with coordinate hyperplanes).
In this course, we give an introduction into this theory

Oliver Lorscheid
University of Groningen, Netherlands
University of Groningen, Netherlands