Centre for Mathematics, University of Coimbra

Seminars

Free boundary regularity for the obstacle problem

2026-01-20

Speaker: Alessio Figalli (Fields Medal, ETH Zurich, Switzerland)

The classical obstacle problem consists of finding the equilibrium position of an elastic membrane whose boundary is held fixed and constrained to lie above a given obstacle. By classical results of Caffarelli, the free boundary is smooth outside a set of singular points. However, explicit...

The ODE/IM correspondence for the quantum KdV model

2026-01-27

Speaker: Gabriele Degano (Univ. Lisbon, Portugal)

We study the ground state of the quantum KdV model using the ODE/IM correspondence, which relates spectral data of differential equations to integrable structures in quantum field theory. Focusing on a family of anharmonic oscillators, we analyze their spectral determinants and show how they...

Deformations of Lie ideals

2026-01-28

Speaker: Ilias Ermeidis (Univ. of Göttingen, Germany)

Lie ideals play a central role in the representation and classification theory of Lie algebras. In this talk, we will explore their deformation theory by introducing the differential graded Lie algebra that governs their deformation problem and by relating it to other well-known deformation...

The Littlewood-Richardson-Sundaram tableau symplectic left companion and the Kwon property

2026-01-28

Speaker: Olga Azenhas (CMUC, Univ. of Coimbra)

As a consequence of the Littlewood-Richardson (LR) commuters coincidence and the Kumar-Torres branching model via Kushwaha-Raghavan-Viswanath flagged hives, one has solved the Lecouvey-Lenart conjecture on the bijections between the Kwon and Sundaram branching models for the pair...

The dynamics of viscous vortex filaments and the binormal curvature flow

2026-02-02

Speaker: Luis Vega (UPV/EHU & BCAM, Spain)

I'll present some recent work about the connection of vortex filaments/tubes that move according to Navier Stokes Equation and the binormal curvature flow of curves in 3d. This is a joint work with Mikel Ispizua and Marco A. Fontelos....

Torsion theory in a non-pointed context

2026-02-03

Speaker: Andrea Montoli (Univ. degli Studi di Milano, Italy)

We will discuss a non-pointed version of the notion of torsion theory, in the framework of categories equipped with a posetal monocoreflective subcategory such that the coreflector inverts monomorphisms. We will explore the relationships of such torsion theories with factorization systems...

Demystifying codensity monads via duality

2026-02-03

Speaker: Nico Wittrock (Univ. Minho & INL)

Codensity monads provide a universal method to generate complex monads from simple functors. Recently, important monads in logic, denotational semantics, and probabilistic computation (such as ultrafilter monads, the Vietoris monad, and the Giry monad) have been presented as codensity...

Degenerate versions of hypergeometric Bernoulli and Euler polynomials

2026-02-25

Speaker: Yamilet Quintana (Universidad Carlos III de Madrid, Spain)

We introduce degenerate versions of the hypergeometric Bernoulli and Euler polynomials. We demonstrate that they form \( \Delta_\lambda \)-Appell sets and provide some of their algebraic properties, including inversion formulas, as well as the associated matrix formulation. Additionally, we...

An Auslander-Buchsbaum formula for higher Auslander algebras

2026-02-25

Speaker: Tiago Cruz (Univ. of Stuttgart, Germany)

The Auslander-Buchsbaum formula is a powerful tool in commutative algebra connecting the concepts of depth and projective dimension. One of its most meaningful applications is the famous result which states that a local commutative ring is regular if and only if it has finite global...

The Value of Errors in Proofs (a fascinating journey from Turing's 1936 R \(\neq\) RE to the 2020 breakthrough of MIP* = RE)

2026-03-01

Speaker: Avi Wigderson (Abel Prize, Turing Award, IMU Abacus Medal, Institute for Advanced Study, Princeton Univ., USA)

In 2020, a group of theoretical computer scientists posted a paper on the Arxiv with the strange-looking title "MIP* = RE", impacting and surprising not only computational complexity theory but also some areas of math and physics. Specifically, it resolved, in the negative, the "Connes'...

Yet another characterization of discrete classical orthogonal polynomials on linear lattices?

2026-03-12

Speaker: Guillermo Gordillo-Núñez (CMUC, University of Coimbra)

TBA...

Partial regularity in nonlocal problems

2026-04-16

Speaker: Giuseppe Mingione (Università di Parma, Italy)

The theory of partial regular regularity for elliptic systems replaces the classical De Giorgi-Nash-Moser one for scalar equations asserting that solutions are regular outside a negligible closed subset called the singular set. Eventually, Hausdorff dimension estimates on such a set can be...

Block eigenvalues and matrix roots of matrix polynomials: Applications to ordinary differential matrix equations and matrix differences equations

2026-04-17

Speaker: Manuel A. Facas Vicente & José Vitória (Univ. Coimbra, Portugal)

TBA...

TBA

2026-05-12

Speaker: Juan Gabriel Calvo (Univ. of Costa Rica, Costa Rica)

TBA...

TBA

2026-06-16

Speaker: Rafael Díaz Fuentes (Università di Cagliari, Italy)

TBA...

TBA

2026-06-19

Speaker: Irene Fonseca (Carnegie Mellon University, USA)

TBA...