CEMAT

Finitude local de variedades para as relações de Green

Por Filipa Soares (ISEL-IPL, CEMAT-Ciências).

Resumo: Neste seminário iremos estudar uma noção que se situa entre a de variedade localmente finita e a de variedade periódica, chamada variedade localmente K-finita, onde K é uma das cinco relações de Green. Mais precisamente, diz-se que uma variedade é localmente K-finita se, nela, todo o semigrupo finitamente gerado tem um número finito de K-classes. Iremos descrever as caracterizações obtidas, todas elas formuladas na linguagem de "objetos proibidos".

The ADE affair

Por Peter J. Cameron (Univ. St Andrews e CEMAT).

Abstract: The Coxeter--Dynkin diagrams of type ADE occur in so many different parts of mathematics, from singularity theory to mathematical physics to graph theory, that they surely play a very deep role in our subject. In the present century, they have occurred in the theory of cluster algebras by Fomin and Zelevinsky, and a constructive version of the McKay correspondence has been found by Dechant. The talk will discuss some of these connections.

Difference hierarchies

Por Jean-Éric Pin (Institut de Recherche en Informatique Fondamentale, CNRS et University Paris-Diderot).

Abstract: Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this lecture, I will review standard techniques on difference hierarchies, mostly due to Hausdorff. These techniques will be illustrated by some decidability results on difference hierarchies based on shuffle ideals and polynomials of group languages.

Páginas