Date/Time : 02 Sep 2026 16:00
Venue : S17 #04-05 (Seminar Room 2)
Speaker : Erik Walsberg, University of Vienna

I will introduce trace definability between first order structures/theories and explain how it can be used to give dichotomies between linearity and field structure in certain settings.

Add to calendar :

Date/Time : 02 Sep 2026 17:00
Venue : S17 #04-04 (Seminar Room 3)
Speaker : Roy Shalev, University of Toronto

It is well-known that the product of two normal topological spaces need not be normal, but what about the normality of the product of a normal space X with the unit interval [0, 1]? A counterexample space X is called a “Dowker space”. In 1971, Rudin proved that such a space exists, but it remains open whether there must exist a Dowker space of size ℵ1. In this talk, I shall report on a joint work with Rinot and Todorčević in which we present a weak sufficient condition for the existence of a small Dowker space.

Add to calendar :

Date/Time : 31 Aug 2026 15:00
Venue : S17 #05-11 (Seminar Room 5)
Speaker : David Hansen, National University of Singapore

I will formulate a collection of vanishing conjectures in the Fargues-Scholze setting, which describe the maps on suitable Grothendieck groups induced by Eisenstein functors, constant term functors, and the gluing functors between strata of Bun_G. I will also discuss the relationships among these conjectures, and explain how they imply a very general form of the Bertoloni Meli-Harris-Viehmann conjecture (which I will also recall in detail). I will then sketch a proof of the vanishing conjectures (and hence a proof of the generalized BMHV conjecture). Joint work in progress with Linus Hamann and Peter Scholze.

Add to calendar :

Date/Time : 26 Aug 2026 15:00
Venue : S17 #04-05 (Seminar Room 2)
Speaker : Shi-Zhuo Looi, California Institute of Technology

Dyadic shell models are infinite systems of ODEs that retain the quadratic nonlinearity, energy identity, and scaling of the 3D incompressible Navier-Stokes equations. Such models can be realized as averaged Navier-Stokes equations at the PDE level, and some of them blow up in finite time despite satisfying the energy identity, showing that these features do not preclude singularity formation. Among dyadic models with these features, the Obukhov model is distinguished by its regulated cascade mechanism: the inviscid version is globally regular. However, the inviscid proof relies on exact energy conservation, which viscosity destroys. We prove that the viscous Obukhov model is globally regular for all initial data in the critical Sobolev space and above, obtaining a sharp threshold exponent result. The proof introduces a critical rescaling that shows a viscous activation threshold for each shell, and establishes regularity by showing that two competing scales, viscous damping and nonlinear growth, become incompatible at high frequencies. Time permitting, we discuss a proof of global regularity for the Katz-Pavlovic dyadic model close to the sharp threshold exponent (above which blowup is known).

Add to calendar :

Date/Time : 26 Aug 2026 17:00
Venue : S17 #04-04 (Seminar Room 3)
Speaker : Rod Downey, Victoria University of Wellington

A computable Banach space X = (X, || · ||, +, ·) is a Banach space with a computable dense sequence of points which makes X a computable metric space using the norm, for which the operations are computable functions.  Most, but not all, familiar spaces of analysis and physics commonly met are such spaces. In the same way as classical vector space theory revolves around (Hamel) bases, Banach spaces are best understood using what is called a Schauder basis. There are many, many questions around this concept, both classically and in the effective content.

In this talk I will overview many of the questions and results we have so far, and particularly report on some recent work seeking to understand the effective content of Kadets’ Theorem, which states (more or less) that all infinite dimensional Banach spaces look the same if we forget the norm: any two infinite-dimensional, separable Banach spaces are homeomorphic as topological spaces. Surprisingly, this result can be proven for computable Banach spaces using only the halting problem, which seems rare in effective topology.

Add to calendar :

Date/Time : 26 Aug 2026 14:00
Venue : S17 #04-05 (Seminar Room 2)
Speaker : Zach Turner, Duke University

Chemotaxis plays a crucial role in the facilitation of biological and ecological processes, often to significantly improve reaction rates between two or more interacting species. One important example is signaling in the immune system; immune cells release chemokines when they sense invaders, which mediates the chemotaxis of lymphocytes towards the site of infection. Another example is reproduction, in which spermatozoa follow the chemical gradient of a chemoattractant released by oocytes. In this talk reporting on a work in progress, we consider a system of two PDEs which describe the flux-limited chemotaxis of two reacting densities. We build on the results of An et al. J. Math. Biol. 92, 57 (2026)., by treating the three-dimensional case. We argue that whether significant reaction enhancement occurs is largely governed by the spatial scale of the initial concentration of the attracted density, distinguishing it from two-dimensional chemotaxis. In particular, we show that there are reasonable scenarios where three-dimensional chemotaxis could possibly fail to practically improve biological reaction rates.

Add to calendar :

Date/Time : 24 Aug 2026 15:00
Venue : S17 #05-11 (Seminar Room 5)
Speaker : Alberto Vezzani, University of Milan

We present how the framework of rigid analytic motivic homotopy theory provides streamlined definitions of relative Hyodo-Kato cohomologies, constructibility results and comparison isomorphisms to de Rham cohomology, while also proving generalizations of ell-adic local monodromy theorems. This is work in progress with Fabrizio Andreatta and Federico Binda.

Add to calendar :

Date/Time : 20 Aug 2026 15:00
Venue : S17 #04-05 (Seminar Room 2)
Speaker : Minsung Kim, Pohang University of Science and Technology

In chaotic systems, the mixing property is known for the fast decay of correlation. It is called rapid mixing if the correlation function decays super-polynomially. The mixing mechanism for hyperbolic systems and their compact group extensions was studied by Dolgopyat in a series of his papers in the late 90s’.

In this talk, we prove rapid mixing for almost all random walks generated by m larger equal than 2 translations on an arbitrary nilmanifold. For several classical classes of nilmanifolds, we show m=2 suffices. This provides a partial answer to the question raised in the work of Dolgopyat (’02) about the prevalence of rapid mixing for random walks on homogeneous spaces.

This is joint work with Dmitry Dolgopyat and Spencer Durham.

Add to calendar :

Date/Time : 20 Aug 2026 16:00
Venue : S17 #04-04 (Seminar Room 3)
Speaker : Yongnam Lee, Institute for Basic Science

Motivated by DeVleming’s work on moduli of surfaces in P^3 and Chen-Hu-Jiang’s work on moduli of threefolds with volume 2 and geometric genus 4, we study the deformation of pairs of P^3 and hypersurfaces using the classification of Q-Gorenstein degenerations of P^3 with canonical singularities. We prove that if a degenerating threefold has canonical singularities, then the moduli space is smooth at the corresponding pair. Consequently, we find some boundary divisors of the moduli of smooth hypersurfaces. Finally, using the double cover method, we derive some information on the moduli space of threefolds X with canonical singularities with the same volume and geometric genus as a double cover of P^3 branched over a hypersurface. This is joint work with Jungkai Chen and Phin-Sing Soo.

Add to calendar :