UGC seminar

The Utrecht Geometry Center seminar is the biweekly pure mathematics colloquium from Utrecht University. In its current incarnation, talks are mostly given by our own members, explaining their work to the whole department in an approachable manner.

  • UGC talks: They will take place on Tuesdays 16.00-17.00. The usual location is HFG611, but make sure you check the corresponding announcement email.
  • MI talks: The MI-talks on pure mathematics will take place on Tuesdays 16.00-17.00. The applied ones will take place on Thursdays at 16:00-17:00. The usual location is HFG611, but make sure you check the corresponding announcement email.
  • Videos: Recordings of some talks (prior to June 2022) can be accessed on our Youtube channel. Links to each individual talk can be found below together with their titles and abstracts.

Upcoming talks:

March 19, 2024

Title: Study GEMS through LSD

Speaker: Michel van Garrel (Birmingham)

In this joint work in progress with Helge Ruddat and Bernd Siebert, we employ a particular type of Log Smooth Degeneration (LSD) to study the Geometry of Enumerative Mirror Symmetry (GEMS).

Mirror Symmetry is a broad conjecture that predicts that symplectic invariants of a Kähler manifold correspond to algebro-geometric invariants of a mirror-dual complex algebraic variety. This is generally proven by computing both sides.

In this work, we take the first steps towards a full enumerative correspondence that canonically identifies the invariants of both sides. To do so, we employ the Intrinsic Mirror Construction of Gross-Siebert. Then the enumerative correspondence passes through an intermediary tropical manifold and tropical invariants thereof.

March 26, 2024

Title: TBA (MI talk)

Speaker: Thorsten Schimannek

TBA

April 9, 2024

Title: TBA

Speaker: Chris Keyes (King's College London)

TBA

April 23, 2024

Title: TBA (MI talk)

Speaker: Dirk van Bree

TBA

May 28, 2024

Title: TBA

Speaker: Raymond Cheng (Hannover)

TBA

Previous talks:

March 5, 2024

Title: Moduli spaces of curves, line bundles and abelian varieties (MI talk)

Speaker: Younghan Bae

Moduli spaces of smooth, or stable nodal, curves have been an important subject of algebraic geometry, topology, and mathematical physics. There is a natural way to relate this moduli space with the moduli space of abelian varieties. Over the moduli space of smooth curves M_g, the relative Picard scheme gives a family of principally polarized abelian varieties (p.p.a.v.). Taking this perspective, one can obtain many interesting results on M_g. When curves degenerate into nodal curves, the relative Picard scheme is no longer compact. One can compactly such family and get relative compactified Picard schemes which is no longer a family of p.p.a.v This geometry brings many new geometry and topology. I will try to introduce some new questions on this direction. It will be a gentle overview of a lecture series which I will deliver this block.

February 27, 2024

Title: Distinguishing signal from noise in topological data analysis (MI talk)

Speaker: Felix Wierstra

Topological data analysis (TDA), and in particular, persistent homology, is a method used to extract higher geometric information from complex datasets and has proven highly successful in various scientific domains. In this talk, I will provide an introduction to TDA and explain its applications in studying fMRI scans and brain data, and stock prices. I will then discuss the statistical challenges that arise in interpreting the results of TDA and explain how this might be related to fractals. This is joint work with Roel Gisolf and Fernando A. N. Santos.

February 13, 2024

Title: An introduction to polygraphic homology (MI talk)

Speaker: Léo Guetta

Polygraphic homology was introduced in the 2000s by Métayer and his collaborators as a means to understand some combinatorial results on presentation of monoids. However, it was quickly understood that polygraphic homology, and more generally the theory of polygraphs (also known as computads), was a powerful tool that allowed to revisit the homology of monoids, groups and even categories, both on a practical and theoretical level. Furthermore, the theory of polygraphs can be naturally understood as a part of higher category theory, however from a slightly different perspective than the standard approach on the subject, which is of interest by itself. In this talk, I will give a broad introduction to polygraphic homology and the theory of polygraphs. I will start from the ground up by giving some motivation and simple examples and then present the subject from a more abstract perspective.

February 8, 2024

Title: Adventures in Linear Programming (applied MI talk)

Speaker: Daniel Dadusch

Linear programming, the task of optimizing a linear function over a set of linear inequalities, is one of the most fundamental problems in optimization which connects to many areas of mathematics (combinatorics, high dimensional probability, convex geometry, tropical geometry, …). Despite almost a century of study, many important open problems remain:

Why does the simplex method work well in practice?
Is the diameter of a polyhedron bounded by a polynomial in the dimension and number of inequalities?
Is there a strongly polynomial algorithm for solving linear programs?

In this talk, I will provide the background to these questions, overview progress over the last few decades, including my own contributions.

January 30, 2024

Title: Log torsors, torsion of Jacobians and models of torsors. (MI talk)

Speaker: Sara Mehidi

Log geometry was introduced in the late 1980s by Fontaine-Illusie, Deligne-Faltings and K. Kato, among others, mainly to address two fundamental and interrelated problems in algebraic geometry: compactification and degeneration. Roughfly speaking, a log scheme is a scheme which, in addition, keeps track of a "boundary".
On the other hand, the problem of extending fppf torsors has been largely encountered in the literature, without giving a satisfactory solution in the classical setting. It turns out that the additional structure that one considers to define a log scheme allows to enlarge the category of fppf torsors by defining log torsors. In particular, this provides a new framework for studying the problem of extending torsors, presenting a fresh perspective on the question.
In this talk, we will be discussing about log schemes, log torsors, models of torsors.... We intend to end up with concrete computations to illustrate our contribution on the question.

January 18, 2024

Title: Generic Importance Sampling via Optimal Control for Stochastic Reaction Networks (applied MI talk)

Speaker: Chiheb Hammouda

Stochastic reaction networks (SRNs) are a particular class of continuous-time Markov chains used to model a wide range of phenomena, including biological/chemical reactions, epidemics, and supply chain networks. In this context, we explore the efficient estimation of statistical quantities, particularly rare event probabilities, and introduce two novel importance sampling (IS) methods to enhance the Monte Carlo (MC) estimator's performance. The key challenge in the IS framework is choosing an appropriate change of probability measure to significantly reduce variance, and which often requires insights into the underlying problem. To address this, we propose a generic approach to obtain an efficient path-dependent measure change based on an original connection between finding optimal IS parameters and solving a variance minimization problem via a stochastic optimal control (SOC) formulation. When solving the resulting SOC problem, we tackle the curse of dimensionality in two ways: the first is a learning-based method that uses a neural network to approximate the value function and where the IS parameters are determined via a stochastic optimization algorithm. The second is a dimensionality reduction technique based on the Markovian Projection concept, where we map the problem to a significantly lower dimensional space, while preserving the marginal distribution of the original SRN system. We then solve a Hamilton-Jacobi-Bellman equation for this reduced model, obtaining IS parameters that we can apply back to the full-dimensional SRN. Analysis and numerical experiments demonstrate that both proposed IS strategies substantially reduce the MC estimator’s variance, resulting in a lower computational complexity in the rare event regime than standard MC estimators.

January 16, 2024

Title: Three proofs of quadratic reciprocity and their influence on twentieth century mathematics

Speaker: Clemens Berger (Université Côte d'Azur)

This expository talk is an invitation to revisit the quadratic reciprocity law as formulated by Euler and Legendre in the 18th century and proved by Gauss in the first half of the 19th century. We discuss three different proofs: a combinatorial, a Galois-theoretical and an analytical. All three can be traced back to one (or several) of the eight proofs of Gauss but have since then been simplified considerably thanks to the joint efforts of many well-known mathematicians. The employed methods had a profound influence on twentieth century mathematics and many of them are nowadays a vital part of the undergraduate program in mathematics.

December 5, 2023

Title: Fractal Weyl bounds via transfer operators

Speaker: Anke Pohl (Bremen)

Resonances of Riemannian manifolds play an important role in many areas of mathematics, e.g., analysis, dynamical systems, mathematical physics, and number theory. It has been long known that resonances of hyperbolic surfaces enjoy fundamentally different properties depending on whether the considered hyperbolic surface is compact or of finite area (but noncompact) or of infinite area. While the former two situations are fairly well understood, the latter still offers a lot of surprises despite intensive contemporary research efforts. A particularly successful approach to study the localization and distribution of resonances for hyperbolic surfaces of infinite area are transfer operator methods. Roughly speaking, this is a methodology that allows us to connect the spectral theory of hyperbolic surfaces with their dynamical properties. I will provide a gentle overview of this methodology, focusing on insights and heuristics, and discuss some recent results on the distribution of resonances.

November 21, 2023

Title: Large eigenvalues of the Connes—Moscovici operator (MI talk)

Speaker: Michal Wrochna

Recently, Connes and Moscovici introduced an operator whose eigenvalues are conjectured to be related to zeros of the Riemann zeta function. It is given by a familiar differential expression, which however needs to be interpreted in a peculiar way. It turns out that this operator bears resemblance to certain geometric partial differential equations that „switch" from elliptic to hyperbolic and which arise e.g. in General Relativity. I will explain how that resemblance arises and what implications it has for (large enough) eigenvalues of the Connes—Moscovici operator.

November 7, 2023

Title: Aspects of the Liquid Tensor Experiment (MI talk)

Speaker: Johan Commelin

The Liquid Tensor Experiment is a project that formally verified the main theorem of liquid vector spaces by Clausen and Scholze, following up on a challenge by Scholze on Buzzard's XenaProject blog. In this talk I will explain the thrust of this main theorem and share some mathematical insights gained from my protracted battle with its proof.

October 31, 2023

Title: Repulsion in number theory and physics

Speaker: Pär Kurlberg (KTH)

Zeros of the Riemann zeta function and eigenvalues of quantized chaotic Hamiltonians appears to have something in common. Namely, they both seem to be ruled by random matrix theory and consequently should exhibit "repulsion" in the sense that small gaps between elements are very rare. More mysteriously, while zeros of different L-functions (i.e., generalizations of the Riemann zeta function) are "mostly independent" they also exhibit subtle repulsion effects on zeros of other L-functions.
We will give a survey of the above phenomena. Time permitting we will also discuss repulsion between eigenvalues of "arithmetic Seba billiards", a certain singular perturbation of the Laplacian on the 3D torus R^3/Z^3. The perturbation is weak enough to allow for arithmetic features from the unperturbed system to be brought into play, yet strong enough to provably induce repulsion.

October 24, 2023

Title: Curve classes on conic bundle threefolds and applications to rationality (MI talk)

Speaker: Soumya Sankar

A variety is called rational if it admits a birational map to projective space. One of the major programs in algebraic geometry seeks to understand when a given variety is rational, and what the obstructions to rationality are. From this perspective, conic bundles are a geometrically rich class of varieties. I will talk about joint work with Sarah Frei, Lena Ji, Bianca Viray and Isabel Vogt, where we study curve classes on certain conic bundle threefolds over arbitrary fields of odd characteristic. We then use the description of these classes to study the rationality of such varieties.

October 10, 2023

Title: Probing the World with Waves - From the Subatomic to the Cosmos

Speaker: Leo Tzou (UvA)

In this talk we look at mathematical questions which arise naturally from imaging things that are invisible to the naked eye, ranging from models inspired by quantum mechanics to astronomy. We will explore how such inverse problems bridge different mathematical disciplines such as partial differential equations, geometry, and dynamical systems while simultaneously connecting these classical mathematical fields to modern topics in data science.

September 12, 2023

Title: Lie algebras in homotopy theory (MI talk)

Speaker: Gijs Heuts

Lie algebras have played an important role throughout the development of homotopy theory. I'll start with the Whitehead bracket, which gives a Lie algebra structure on homotopy groups that extends the usual commutator on the fundamental group of a space. Then we'll see how Quillen used Lie algebras to completely describe algebraic topology "with rational coefficients". Time permitting, we'll then move on to the more modern development of Lie algebras "up to homotopy" and their role in describing topological spaces.

June 27, 2023

Title: On Artin's Primitive Root Conjecture for Function Fields over F_q

Speaker: Leonhard Hochfilzer (Göttingen)

Artin's primititive root conjecture states that any integer g which is not a unit nor a square generates the cyclic multiplicative group (Z/pZ)* for infinitely many primes p. Similarly one may formulate such a problem over global function fields, which was first considered by Herbert Bilharz in the 1930s who achieved partial results. In this talk I will report on joint work with Ezra Waxman where we complete the proof of Artin's primitive root conjecture for function fields over a finite field and generalise the proof to a version of the conjecture for function fields of arbitrary transcendence degree.

June 20, 2023

Title: An introduction of unstable periodic homotopy theory (MI talk)

Speaker: Yuqing Shi

In this talk I will explain the motivation and ideas of unstable periodic homotopy theory, where ``unstable'' refers to the study of topological spaces. Very roughly speaking, this theory is concerned with the homotopy type of the mapping spaces out of CW-complexes with finitely many cells. I will start with a review of the rational homotopy theory of topological spaces, whose methods can be generalized to unstable periodic homotopy theory. If time permits, I will discuss one or two examples of problems in this subject that I have been working on for my thesis project.

June 6, 2023

Title: Hamiltonian oscillators in 1 : ±2 : ±4 resonance (MI talk) Note: the format is 45 min + 45 min, starting at 16:00

Speaker: Heinz Hanßmann

The 1 : 2 : 4 resonance is one of the four definite resonances of genuinely first order and thus known to be non-integrable. The frequency ratios provide unfolding parameters (but note that the dynamic phenomena can also occur in a single system of 6 or more degrees of freedom). The indefinite versions of the resonance do not require the equilibrium to be a local extremum of the Hamiltonian.

Normalization yields a normal form approximation and the resulting (non-integrable) system can be reduced to 2 degrees of freedom. The non-trivial isotropies of the two coupled 1 : ±2 resonances prevent the reduced phase space from being a smooth manifold but the dynamics on the singular part is in fact easier to understand. On the regular part of the reduced phase space the distribution of equilibria turns out to be determined by a single polynomial of degree 4. These are the relative equilibria that determine the behaviour of the 3 normal modes when passing through the resonance.

May 23, 2023

Title: A topological data analysis approach to coronavirus evolution

Speaker: Andreas Ott (Karlsruhe)

Topological data analysis is a burgeoning field of research that uses methods from topology and geometry to infer qualitative properties of complex datasets by analyzing their shape. In this talk, I will present an application of topological data analysis to the surveillance of critical mutations in the evolution of the coronavirus SARS-CoV-2. I will explain the underlying geometric idea, how it connects with biology, its implementation in the CoVtRec pipeline, and some concrete results from the analysis of current pandemic data. This is joint work with Bauer, Bleher, Carrière, Hahn, Neumann, Patiño-Galindo, Rabadán, and the KIT Steinbuch Centre for Computing.

April 25, 2023

Title: A brief history of the h-principle (MI talk)

Speaker: Álvaro del Pino Gomez

One of the first highlights in the theory of manifolds is the result (1936) of Whitney stating that every smooth manifold can be embedded in a sufficiently large euclidean space. This is a quantitative result: Whitney proved that every n-dimensional manifold can be embedded in (2n+1)-dimensional space. He later introduced the Whitney trick (1944) and showed that 2n is sufficient.

This became a driving question during this period: what can be said about the spaces of embeddings/immersions between two given manifolds? Whitney himself provided in 1937 a complete description (up to homotopy) of the immersions of the circle into the plane. Twenty years later, Smale developed the method of corrugations to prove the sphere eversion theorem and, together with Hirsch, provided a complete classification (in terms of bundle monomorphisms) for immersions of subcritical dimension.

In 1969, Gromov turned the method of corrugations into a general machine (applicable in the study of many different geometric structures on manifolds) called the method of flexible sheaves, initiating the modern theory of (geometric) h-principle.

My aim with this talk is to provide a historical overview of these ideas, introduce the field of h-principle, and highlight some of the (many!) open questions in the area.

April 18, 2023

Title: The Segal conjecture and the field with one element (MI talk)

Speaker: Christian Carrick

Finite sets behave in many ways as if they were vector spaces over a "field with one element," F_1. Via this analogy, many combinatorial statements may be read as statements about linear algebra over F_1. This analogy is more useful than one might expect, and we will discuss F_1-linear vector bundles over a space. This will allow us to recast the Segal conjecture in algebraic topology as an F_1-linear version of the classical Atiyah-Segal completion theorem on the K theory of classifying spaces. We finish by discussing a new proof of the Z/2 Segal conjecture using equivariant bordism theory.

March 14, 2023

Title: Algebraic K-theory and symmetries (MI talk)

Speaker: Tobias Lenz

Algebraic K-theory is an important (and notoriously hard to compute) invariant of rings containing at the same time number theoretic, geometric, and representation theoretic information. In this talk, I will give a leisurely introduction to the modern approach to K-theory via higher group completion, and then explain how one can refine this to capture additional "symmetries" of the input ring, leading to equivariant algebraic K-theory.

February 28, 2023

Title: Diagram algebras and their homology (MI-talk)

Speaker: Guy Boyde

This talk will consist of:
- a friendly introduction to a certain (loosely defined) class of algebras, then
- a bit about why topologists care, and what we like to prove about them.
These algebras (the Temperley-Lieb and Brauer algebras, and various cousins) have already lead quite exciting lives in statistical physics and representation theory, and are of interest in topology because they look quite a lot like the group algebra of some symmetric group. This means that they are a really good place to study `homological stability' (whatever that is) because we understand this phenomenon really well for the symmetric groups.

February 7, 2023

Title: The univalence principle (MI-talk)

Speaker: Paige North

The Equivalence Principle is an informal principle asserting that equivalent mathematical objects have the same properties. For example, group theory has been developed so that isomorphic groups have the same group-theoretic properties, and category theory has been developed so that equivalent categories have the same category-theoretic properties (though sometimes other, ‘evil’ properties are considered). Vladimir Voevodsky established Univalent Foundations as a foundation of mathematics (based on dependent type theory) in which the Equivalence Principle for types (the basic objects of type theory) is a theorem. Later, versions of the Equivalence Principle for set-based structures such as groups and categories were shown to be theorems in Univalent Foundations.

In joint work with Ahrens, Shulman, and Tsementzis, we formulate and prove versions of the Equivalence Principle for a large class of categorical and higher categorical structures in Univalent Foundations. Our work encompasses bicategories, dagger categories, opetopic categories, and more.

January 17, 2023

Title: C^0 symplectic geometry

Speaker: Dusan Joksimovic (Paris)

The famous C^0-rigidity theorem of Eliashberg and Gromov (which states that the group of symplectic diffeomorphisms is closed w.r.t. C^0-topology inside the group of all diffeomorphisms) is considered the beginning of a subfield of symplectic geometry which today is known as C^0 symplectic geometry. Roughly, it investigates non-smooth symplectic objects and the behavior of smooth symplectic objects with respect to the C^0 topology.

In this talk, we will introduce some basic objects in (C^0) symplectic geometry, outline some of the most important questions in the field, and give an overview of the known results.

January 12, 2023

Title: Modeling the impact of Corona measures (applied MI-talk)

Speaker: Martin Bootsma

In this talk, I will discuss a model we have developed for the ministry of Health, Welfare and Sports to estimate the impact of Corona ticket measures (QR-code) on the spread of SARS-CoV-2 in the Netherlands. I will discuss how the underlying assumptions lead to the model formulation and I will briefly discuss some results.

December 1, 2022

Title: Phase retrieval with time-frequency structured measurements (applied MI-talk)

Speaker: Palina Salanevich

Phase retrieval is the non-convex inverse problem of signal reconstruction from intensity measurements with respect to a measurement frame. This problem is motivated by practical applications, such as diffraction imaging and audio processing. The nature of the measurements in a particular application determines the structure of the measurement frame. This makes the study of the phase retrieval with structured, application relevant frames especially interesting.

In the talk, we are going to focus on phase retrieval with Gabor frames, where the measurement vectors follow time-frequency structure that naturally appears in imaging and acoustics applications. We will discuss how to achieve stable and efficient reconstruction with such measurements and how prior information about the signal class can be used to regularize the phase retrieval problem and reduce the number of measurements required for reconstruction.

November 29, 2022

Title: Polar degree of projective hypersurfaces in the presence of singularities (MI-talk)

Speaker: Dirk Siersma

For any hypersurface V in projective n-space P, given by f=0, the notion of polar degree is defined as the topological degree of the (projectivized) gradient mapping of the homogeneous polynomial f. This is a map from P-V to P.

We will discuss first the history of polar degree and give several examples, e.g. the determinant hypersurface has polar degree 1. The hypersurfaces with polar degree are called homaloidal and are of extra interest because the gradient map is bi-rational.

Polar degree zero is related to the question of what happens if the Hessian of f is identically zero. This was solved by Gordan and Noether in 1876.

After a long period of algebraic studies, recently topological methods gave some interesting results. Dolgacev classified in 2000 all the projective homoloidal plane curves: a short list. Huh determined in 2014 all homoloidal hypersurfaces in P with at most isolated singularities.

In this talk we will reprove Huh's results with methods of singularity theory. Moreover we will prove the Huh's conjecture that his list of polar degree 2 surfaces with isolated singularities is complete!

Finally we say something more about hypersurfaces with the non-isolated singularities.

November 24, 2022

Title: beta-expansions in one and higher dimensions: an ergodic view (applied MI-talk)

Speaker: Karma Dajani

In this talk we give an exposition on one of the interactions between ergodic theory and number theory. We will concentrate on the concept of $beta$-expansions, which are representations of numbers of the form $x=displaystylesum_{i=1}^{infty}displaystylefrac{a_i}{beta^i}$ with $beta>1$ a real number, and $a_iin{0,1,cdots, lceil beta rceil -1}$.

We explain first simple concepts in ergodic theory that can help us understand the asymptotic behaviour of a typical expansion. What typical is depends on the stationary measure under consideration, and each such measure highlights a particular property of points in its support, i.e. the world that the measure sees. We extend the one-dimensional ideas to higher dimensions and show how they can be used to study multiple codings of points in an overlapping Sierpinski gasket.

November 22, 2022

Title: Wall-crossing for Virasoro constraints

Speaker: Arkadij Bojko (ETH Zürich)

slides

Virasoro constraints in Gromov-Witten theory were introduced by Witten and famously proved by Kontsevich, while their analogue for moduli of sheaves has been studied mostly on examples. Using the recent wall-crossing framework of D. Joyce phrased in terms of vertex algebras, I express them in joint work with M. Moreira and W. Lim universally in terms of primary states with respect to a fixed conformal vector. This new formulation is compatible with wall-crossing, which leads for example to proofs of the constraints by reduction on rank for vector bundles on curves and torsion-free sheaves on surfaces with (p,p) cohomology.

November 15, 2022

Title: Quot scheme theory of surfaces

Speaker: Woonam Lim (ETH Zürich)

I will give an overview of the theory of Quot schemes of surfaces and their virtual invariants. The main conjecture of this subject, due to Oprea-Pandharipande, concerns rationality of the Quot scheme partition functions. I will explain how to approach this conjecture via Hilbert scheme of points and curves.

October 13, 2022

Title: Fields medal 2022: The works of Hugo Duminil-Copin and June Huh (MI-talk. Location: KBG Pangea)

Speaker: Wioletta Ruszel, Carel Faber

Wioletta Ruszel will discuss the mathematical contributions of Hugo Duminil-Copin. Carel Faber will discuss the mathematical contributions of June Huh.

October 11, 2022

Title: Fields medal 2022: The works of James Maynard and Maryna Viazovska (MI-talk. Location: KBG Atlas)

Speaker: Lola Thompson, Rob Bisseling

Lola Thompson will discuss the mathematical contributions of James Maynard. Rob Bisseling will discuss the mathematical contributions of Maryna Viazovska.

October 6, 2022

Title: Highlights of discrete mathematics (applied MI-talk)

Speaker: Carla Groenland

I will give a very high-level overview of some subfields of discrete mathematics, outlining the type of questions researchers find interesting and the type of techniques that are being used. I will also mention some of the work that is being done by our colleagues in the CS department. The entire talk should be easy to follow by master’s students of every track.

September 29, 2022

Title: Sharp estimates on random hyperplane tessellations (applied MI-talk)

Speaker: Sjoerd Dirksen

In my talk I will consider the following question. Draw independent random hyperplanes with standard Gaussian directions and uniformly distributed shifts. How many hyperplanes are needed to tessellate a given subset of R^n into uniformly small cells of a given diameter with high probability?

I will first explain two motivating applications for this question: data dimension reduction and signal processing under coarse quantization. I will then present a generally optimal answer to the posed question, which surprisingly deviates from the answer that was conjectured in the literature. If time permits, I will show an extension of this result to a specific structured random tessellation that is designed for computationally fast data dimension reduction.

The talk is based on a recently accepted paper with Shahar Mendelson (ANU Canberra) and Alexander Stollenwerk (UCLouvain).

September 20, 2022

Title: Étale cohomology and independence of ℓ (MI-talk)

Speaker: Remy Dobben de Bruyn

The geometric complexity of a complex algebraic variety is measured by algebraic invariants like the fundamental group and (co)homology groups. I will explain why algebraic geometers believed that such invariants should also exist for varieties over finite fields, and sketch how this was realised in the 1960s by ℓ-adic étale cohomology (depending on an auxiliary prime number ℓ). At the end of the talk, I will discuss some results and work in progress on the foundational "independence of ℓ" problem.

June 23, 2022

Title: FFTU: the fastest Fourier transform in Utrecht (applied MI-talk, also at 4pm)

Speaker: Rob Bisseling

he multidimensional Fast Fourier Transform (FFT) is at the heart of many grid-based scientific computations, including weather and climate prediction, and (quantum) molecular dynamics.

In this talk, we present a parallel algorithm for the FFT in higher dimensions. This algorithm generalizes the cyclic-to-cyclic 1D parallel algorithm to a cyclic-to-cyclic multidimensional parallel algorithm, with only a single all-to-all communication step in most practical cases.

We present our multidimensional implementation FFTU which utilizes the sequential FFTW program (the "fastest Fourier transform in the West") for its local FFTs. Our experimental results for 2D, 3D, and 5D on up to 4096 cores of the new Dutch national supercomputer Snellius show that FFTU is competitive with the state-of-the-art and that for 3D it may be the fastest, not in only in Utrecht, but also beyond.

June 21, 2022

Title: Localization techniques in Enumerative Geometry (MI-talk)

Speaker: Sergej Monavari

A classical way to produce invariants is through Intersection Theory, usually on a smooth projective variety. We give a gentle introduction on how to use torus actions to refine invariants in several directions, in particular in K-theory, and on how to weaken smoothness and properness assumptions. As a concrete example, we explain how to extract meaningful invariants from the moduli space of zero-dimensional quotients of a locally free sheaf on a toric variety, and illustrate various closed formulas for different flavours of “higher rank Donaldson-Thomas invariants of points”, which solve a series of conjectures proposed in String Theory. This is based on joint work with N. Fasola and A. Ricolfi.

June 7, 2022

Title: Computing endomorphism rings and Frobenius matrices of Drinfeld modules

Speaker: Mihran Papikian (Pennsylvania State University)

video

Let $mathbb{F}_q[T]$ be the polynomial ring over a finite field $mathbb{F}_q$. We study the endomorphism rings of Drinfeld $mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings generated by the Frobenius endomorphism and deduce from this a reciprocity law for the division fields of Drinfeld modules. We then use these results to give an efficient algorithm for computing the endomorphism rings and discuss some interesting examples produced by our algorithm. This is joint work with Sumita Garai.

May 24, 2022

Title: Derived Hecke operators (MI-talk)

Speaker: Jack Davies

video

Modular forms are classical objects in number theory, and Hecke operators on these modular forms are a useful organisational tool. In this talk, I will define modular forms over the complex numbers and the classical Hecke operators which act upon them. Then I will discuss a generalisation of this theory from the complex numbers to a theory for general rings, and eventually for derived rings. Finally, I would like to show some little games we can play with these kinds of derived Hecke operators, as a sample of their utility. Only basic complex analysis will be assumed for the first half, and in the second half we will use some language from modern algebraic geometry.

May 10, 2022

Title: Concrete abstract computability theory (MI-talk)

Speaker: Jetze Zoethout

slides and video

In the 1930s, Turing, Kleene, Church and others proposed a precise, mathematical notion of a computable function on the natural numbers. For the first time in history, this allowed mathematicians to prove that certain problems are not solvable by an algorithm. Moreover, it turned out that the computability theory of the natural numbers enjoys certain "algebraic" properties that also manifest themselves elsewhere. A structure satisfying these algebraic properties is called a partial combinatory algebra (PCA), and the study of PCAs can be seen as abstract recursion theory. In this talk, I want to give you a flavor of the subject by considering some concrete examples of PCAs, and how they relate to each other.

April 26, 2022

Title: The blowup formula for instanton Vafa-Witten invariants

Speaker: Nick Kuhn (Max Planck Institute, Bonn)

As a consequence of the S-duality conjecture, Vafa and Witten conjectured certain symmetries concerning invariants derived from spaces of vector bundles on a closed Riemannian four-manifold. We focus on the case of a smooth complex projective surface X, where a satisfying mathematical definition of Vafa-Witten invariants has been given by Tanaka and Thomas. Their invariants are a sum of two parts, one of which can be defined in terms of moduli spaces of stable vector bundles on X. Focusing on this instanton part of the VW invariants one can ask how it changes under a basic algebraic operation: Blowing up the surface X at a point. I will report on joint work with Oliver Leigh and Yuuji Tanaka towards an answer to this question.

April 12, 2022

Title: Introduction to operads (MI-talk)

Speaker: Ieke Moerdijk

Operads were introduced in the 1970s in an attempt to describe the algebraic structure of loop spaces in topology, but have since made their appearance in many other parts of mathematics. The goal of this talk will be to give an introduction to the theory of operads accessible to our master students. If time permits, I will end with a new view on (Koszul) duality for operads.

March 29, 2022

Title: Polarizations of abelian varieties over finite fields via canonical liftings

Speaker: Stefano Marseglia

slides and video

We describe all polarizations for all abelian varieties over a finite field in a fixed isogeny class corresponding to a squarefree Weil polynomial, when one variety in the isogeny class admits a canonical liftings to characteristic zero, i.e., a lifting for which the reduction morphism induces an isomorphism of endomorphism rings.

This is joint work with Jonas Bergström and Valentijn Karemaker.

March 15, 2022

Title: Tame topology and a finiteness theorem for variations of Hodge structures

Speaker: Thomas Grimm

slides and video

About 20 years ago physicists found a remarkable set of solutions to some of the fundamental equations arising from string theory. It has subsequently been conjectured by Douglas and others that this set of solutions is finite. This conjecture has since shaped the view of string theory as a predictive theory leading to a finite number of possible universes.

In this talk, I will first describe the underlying mathematical statement of this conjecture as a finiteness condition on the set of self-dual integral classes in a variation of Hodge structure. I will then argue that the conjecture can be proved using a recent remarkable result of Bakker, Klingler, and Tsimerman that connects Hodge theory and tame topology. I will give a brief introduction to tame topologies built from o-minimal structures and describe the structure that tames the period mapping capturing the variation of a Hodge structure. The finiteness theorem for self-dual classes is a generalization of a theorem for the locus of Hodge classes by Cattani, Deligne, and Kaplan.

This talk is based on joint work with B. Bakker, C. Schnell, and J. Tsimerman, see 2112.06995 [math.AG].

March 1, 2022

Title: In Search of the Absolute: Zeuthen's holism and the enumerative geometry of conics

Speaker: Nicolas Michel

Throughout his long and distinguished career, the Danish mathematician Hieronymous Georg Zeuthen constantly contributed to the emergence of enumerative methods in geometry. He did so alternatively as observer, as participant, as professor, or even as referee in the context of the frequent disputes which plagued the early development of this theory. His 1914 Lehrbuch der abzählenden Methoden der Geometrie, the sum of this prolonged engagement, opens on surprising pronouncements: in lieu of first theorems or definitions, we find a philosophical discussion of the "meaning of numbers" and the "relativity of the concepts of general and particular."

Drawing on Zeuthen's holistic outlook on the history and epistemology of geometry, this talk will set out to explain why, to an algebraic geometer at the onset of the 20th century, answering such technical questions of mathematics might first require philosophical detours—and what we might lose by discarding them.

February 15, 2022

Title: Totally geodesic subvarieties in the Torelli locus

Speaker: Carolina Tamborini

Riemannian symmetric spaces are Riemannian manifolds with special symmetry properties. They are important in various fields of geometry. In the seminar, we will be interested in the following fact: the moduli space A_g of principally polarized abelian varieties is a quotient of the Siegel space, which is a Riemannian symmetric space. This fact can be used to approach the study of the Torelli locus, which is the closure in A_g of the image of the moduli space M_g of smooth, complex algebraic curves of genus g via the Torelli map j: M_g-->A_g.

We will first introduce Riemannian symmetric spaces and their totally geodesic submanifolds. Next, we will describe the problem of studying the geometry of the Torelli locus in A_g and its relation with totally geodesic submanifolds of the Siegel space. Finally, we will explain how this is linked to a famous conjecture from Coleman and Oort.

January 18, 2022

Title: On the cohomology of moduli spaces of stable pointed curves: genus 4 and small n, and the vanishing of H^7 and H^9

Speaker: Carel Faber

After an introduction to moduli spaces of curves, I will discuss joint work with Jonas Bergström and Sam Payne. For n at most 3, we determine the relevant terms of the point count of the moduli space M_{4,n} of smooth n-pointed curves of genus 4 over finite fields (S_n-equivariantly). Using several earlier results, we then determine the cohomology of the moduli space overline{M}_{4,n} of stable n-pointed curves of genus 4 and the full count for M_{4,n} and we deduce the mentioned vanishing for all g and n

November 16, 2021

Title: Where symplectic becomes complex

Speaker: Gil Cavalcanti

video

Generalised complex structures are a simultaneous generalisation of complex and symplectic manifolds, but differently from those two cases, generalised complex structures are not homogeneous and have nontrivial local invariants. In fact, in a connected manifold the structure can be symplectic at some points and complex at other points, that is, its type can change. This type changing behaviour is a rich source of puzzles. I will review the basics of generalised complex geometry, including its applications, then explain the main results that allow us to deal with these type change points and possible consequences of these. This talk is based on joint work with Bailey and Leer-Duran.

November 2, 2021

Title: Lie groups, Whittaker functions and Fourier inversion (MI-talk)

Speaker: Erik van den Ban

video

We will explain certain recent results in harmonic analysis on the class of real reductive Lie groups for the simplest example: the special linear group SL(2,R). In that setting our results are expressible in terms of a spectral decomposition associated with the classical Whittaker ODE.

The talk will not presuppose knowledge of the theory of Lie groups.

October 19, 2021

Title: From K-theory to calculus

Speaker: Niall Taggart

video

Topological K-theory is an extension of algebraic K-theory to the world of geometry. Building from vector spaces (say over the real or complex numbers) Atiyah constructed an invariant of topological spaces which behaves similarly to how algebraic K-theory behaves as an invariant of rings. Depending on one's choice of the base field we obtain different invariants which are intricately related.

Also starting with real or complex vector spaces as the foundations, one can describe a categorification of differential calculus which studies functors from your category of vector spaces to the category of topological spaces. This calculus has much in common with differential calculus including the ability to examine the rate-of-change of a functor and a version of Taylor’s Theorem which provides a filtration of a topological space by “polynomial” parts.

In this talk, I will aim to provide some intuition behind these two seemingly unrelated constructions and discuss how the intricate relationship between real and complex K-theory offers deep insight into the calculus. If time permits I will discuss some other categorifications of calculus and how they relate to each other.

October 5, 2021

Title: Integrality of instanton numbers

Speaker: Frits Beukers

video

In a famous 1995 paper on mirror symmetry Candelas, de la Ossa, Greene and Parkes discovered a remarkable relation between certain numbers (named instanton numbers) arising from a classical family of Calabi-Yau 3-folds and counting the number of rational curves of given degree on a general quintic threefold in projective space. This discovery was driven by arguments from physics, but mathematically it was not known that these numbers are integers for a long time. In this talk I describe some work together with Masha Vlasenko that gives some insight in this integrality.

September 21, 2021

Title: The characters behind the large sieve

Speaker: Lasse Grimmelt

Multiplicative and Additive characters of Z/qZ play an important role in number theory. We will take a look how they interact with the so called large sieve inequality. We show how their basic orthogonality properties are combined with some simple analysis to derive surprising results. These results are foundation to much of our progress in prime number research in the last 70 years. While motivated by this applications, the talk will focus on the role of characters.

June 8, 2021

Title: Kodaira dimension of moduli spaces

Speaker: Martin Moeller (U. Frankfurt). Note: The talk will start at 17:30.

We give a brief overview about the motivation for studying the Kodaira dimension of moduli spaces and summarize results for classical moduli spaces. We then turn attention to moduli spaces of flat surfaces and give recent results about their Kodaira dimension.

June 8, 2021

Title: TBA

Speaker: Kathrin Bringmann (U. Cologne). Note: The talk will start at 16:45.

TBA

June 1, 2021

Title: Canonical decomposition of rational maps

Speaker: Mikhail Hlushchanka

slides and video

There are various classical and more recent decomposition results in mapping class group theory, geometric group theory, and complex dynamics (which include celebrated results by Bill Thurston). The goal of this talk is to introduce a novel powerful decomposition of rational maps based on the topological structure of their Julia sets. Namely, we will discuss the following result: every postcritically-finite rational map with non-empty Fatou set can be canonically decomposed into crochet maps (these have very "thinly connected" Julia sets”) and Sierpinski carpet maps (these have very "heavily connected" Julia sets). If time permits, I will discuss applications of this result in various aspects of geometric group theory. Based on a joint work with Dima Dudko and Dierk Schleicher.

May 18, 2021

Title: Why did Greek geometers construct?

Speaker: Viktor Blasjo

video

Why did Greek mathematicians spend hundreds of years trying to make an angle the third of another, or a cube twice the volume of another, in dozens of different ways? What sin could be so grave that they imposed on themselves such a Sisyphean task? In my view, constructions were a foundational program to ensure consistency, validate diagrammatic reasoning, and protect against hidden assumptions. Pushing this view to its logical conclusion leads to accepting that geometry is based in physical reality, not in abstract thought - a view that is in much better agreement with ancient sources than many commentators, both ancient and modern, have cared to admit. Furthermore, this perspective suggests new interpretations and reconstructions of operationalist aspects of solutions to the classical problems that are missing in surviving sources. Notably that: Archytas's cube duplication was originally a single-motion machine; Diocles's cissoid was originally traced by a linkage device; Greek conic section theory was based on the conic compass, and in a few cases string constructions.

April 20, 2021

Title: Endomorphisms of algebraic groups from the viewpoint of dynamical systems

Speaker: Gunther Cornelissen

slides and video

Consider the following two problems:

(a) count the number of irreducible polynomials over a finite field, asymptotically in thedegree of the polynomial (i.e., a polynomial analogue of the prime number theorem) and
(b) compute the number of invertible nxn matrices over a finite field.

These apparently different looking problems can both be interpreted in tems of dynamics of an endomorphism of an algebraic group (where the endomorphism is “Frobenius” and the algebraic group is the additive group or GL(n), and we count orbits, or fixed points). The talk is about a vast generalisation of these results to arbitrary endomorphisms of arbitrary algebraic groups with finitely many fixed points. The results will be explained by example and by picture.

Typical technical keywords are: adelic distortion of linear recurrent sequences, non-hyperbolicity in dynamical systems, Steinberg’s formula for reductive groups, rationality of Artin-Mazur zeta functions, analogue of the Riemann Hypothesis for orbit counts (ongoing joint work with Jakub Byszewski and Marc Houben).

April 6, 2021

Title: Partial Combinatory Algebras - Variations on a Topos-theoretic Theme

Speaker: Jaap van Oosten

video

One of the cornerstones of Logic is the theory of computable functions. In this talk, we show that a common axiomatics underlies both the set of computable functions and certain spaces of continuous functions. The models of these axioms - partial combinatory algebras - serve as building blocks of certain elementary toposes. In the talk, I shall endeavour to familiarize you with the basic ideas. Towards the end, I will point out some recent work by Jetze Zoethout.

March 23, 2021

Title: Proof of a Magnificent Conjecture

Speaker: Martijn Kool

Solid partitions are piles of boxes in the corner of a 4-dimensional room. Their enumeration is a mystery since MacMahon proposed an incorrect formula around 1916. Motivated by super-Yang-Mills theory on (complex) 4-dimensional affine space, Nekrasov recently assigned a measure to solid partitions and proposed a conjectural formula for their weighted enumeration.

We give a geometric definition of this measure using the Hilbert scheme of points on 4-dimensional affine space. Although this Hilbert scheme is very singular and has “higher obstruction spaces”, we can use recent work of Oh-Thomas to localise our invariants and prove Nekrasov’s conjecture. Joint work with J. V. Rennemo.

March 9, 2021

Title: From exotic spheres to equivariant homotopy

Speaker: Mingcong Zeng

In 1956, Milnor discovered that there are several smooth structures on the 7-spheres that are not diffeomorphic to the standard one. In 1963, Kervaire and Milnor provided a method of counting the number of smooth structures on spheres of dimension greater than 4. In this talk, I will start with their results, and talk about how this geometric problem was transformed into a problem in homotopy theory, and discuss how equivariant homotopy comes into play. Finally, I will talk about some recent results with my collaborators on equivariant homotopy and some confusing problems I am thinking about.

February 23, 2021

Title: Generating sets for symplectic capacities

Speaker: Fabian Ziltener

video

This talk is about joint work with my former Ph.D.-student Dušan Joksimović.

Symplectic geometry originated from classical mechanics, where the canonical symplectic form on phase space appears in Hamilton's equation. It is related to dynamical systems and algebraic geometry, among other fields.

Roughly speaking, a (symplectic) capacity is a real-valued function on the class of all symplectic manifolds, satisfying some natural conditions. The set of all capacities may intuitively be viewed as the dual of the class of all symplectic manifolds. Helmut Hofer et al. posed the following problem: Find a minimal set of capacities that generates all capacities.

The main result presented in this talk is that every such generating set has cardinality bigger than the continuum. This diminishes the hope of finding manageable generating sets of symplectic capacities.

February 9, 2021

Title: Periodic versions of algebraic K-theory

Speaker: Lennart Meier

video

Algebraic K-theory is a fundamental invariant of rings. Originally conceived in algebraic geometry by Grothendieck, today it plays a significant role also in topology and number theory. It was an insight of Thomason that one can define periodic versions of algebraic K-theory. Recent work of Bhatt-Clausen-Mathew and Land, Mathew, Tamme and myself shows that this periodic algebraic K-theory has very nice properties. If time permits, I will also discuss our work on higher periodic versions.

January 26, 2021

Title: Random Vector Functional Link Neural Networks as Universal Approximators (Note: the talk will start at 5:30pm)

Speaker: Palina Salanevich

video

Single layer feedforward neural networks (SLFN) have been widely applied to solve problems such as classification and regression because of their universal approximation capability. At the same time, iterative methods usually used for training SLFN suffer from slow convergence, getting trapped in a local minimum and being sensitivity to the choice of parameters. Random Vector Functional Link Networks (RVFL) is a randomized version of SLFN. In RVFL, the weights from the input layer to hidden layer are selected at random from a suitable domain and kept fixed in the learning stage. This way, only output layers are optimized, which makes learning much easier and cheaper computationally. Igelnik and Pao proved that the RVFL network is a universal approximator for a continuous function on a bounded finite dimensional set. In this talk, we provide a non-asymptotic bound on the approximation error, depending on the number of nodes in the hidden layer, and discuss an extension of the Igelnik and Pao result to the case when data is assumed to lie on a lower dimensional manifold.

January 12, 2021

Title: Brownian motion in Riemannian manifolds

Speaker: Rik Versendaal

video

When studying stochastic processes, and diffusions in particular, one of the most important processes is Brownian motion. Brownian motion is, in a way, the natural analogue of the normal distribution for processes. Furthermore, it is intimately related to the heat equation, since the Laplacian describes the infinitesimal evolution of Brownian motion. We will look at how to define and construct Brownian motion in a Riemannian manifold, the so-called Riemannian Brownian motion. There are various ways to do this, both geometric and probabilistic in nature.

First of all, as mentioned above, we can consider the process generated by the Laplacian of the Riemannian manifold, i.e., the Laplace-Beltrami operator. Second, we can use an invariance principle. In Euclidean space, this states that the paths of suitably scaled random walks converge to Brownian motion. One can define an analogue of random walks in manifolds, so-called geodesic random walks, and use these to obtain Riemannian Brownian motion in the limit.

Finally, Riemannian Brownian motion can also be obtained in a geometric way from a Euclidean Brownian motion. The idea is that we can transfer curves in Euclidean space to a manifold by suitably rolling the manifold along the curve. By Malliavin's transfer principle, it turns out that this also makes sense for stochastic processes. In particular, if we roll the manifold along a Euclidean Brownian motion, we will obtain a Brownian motion in the manifold.

If time permits, we will look into some results regarding large deviations for Riemannian Brownian motion. These large deviations are concerned with quantifying exponentially small probabilities of atypical trajectories of Brownian motion with vanishing variance. In particular, the action of a trajectory determines the exponential rate of decay of the probability. This can be shown to hold even in time-evolving Riemannian manifolds, i.e., manifolds where the metric depends on time.

December 22, 2020

Title: From Poisson Geometry to (almost) geometric structures

Speaker: Marius Crainic

I will report on an approach to general geometric structures (with an eye on integrability) based on groupoids endowed with multiplicative structures; Poisson geometry (with its symplectic groupoids, Hamiltonian theories and Morita equivalences) will provide us with some guiding principles. This allows one to discuss general "almost structures" and an integrability theorem based on Nash-Moser techniques (and this also opens up the way for a general "smooth Cartan-Kahler theorem").

This report is based on collaborations/discussions with Francesco Cataffi (almost structures), Ioan Marcut (Nash-Moser techniques), Maria Amelia Salzar (Pfaffian groupoids).

December 8, 2020

Title: Abelian varieties over finite fields

Speaker: Valentijn Karemaker

video

Abelian varieties are algebro-geometric objects with a rich arithmetic structure. Over finite fields, the rational points on these varieties can be understood through arithmetic invariants like the zeta function. I will introduce these varieties and describe some ways in which they have come up in my work.

November 24, 2020

Title: Solving polynomial equations in many variables in primes

Speaker: Shuntaro Yamagishi

Solving polynomial equations in primes is a fundamental problem in number theory. For example, the twin prime conjecture can be phrased as the statement that the equation x-y-2=0 has infinitely many solutions in primes. In this talk, I will talk about some results related to solving F = 0 in primes, where F is a more general higher degree polynomial. It will be a light introduction to the topic, and knowing what prime numbers and polynomials (in more than one variable) are should be enough to follow most of the talk.

November 10, 2020

Title: Rational points on Fano varieties

Speaker: Marta Pieropan

Fano varieties form one of the fundamental classes of building blocks in the birational classification of algebraic varieties. In this talk I will discuss how their special geometric properties can be used to study their arithmetic. I will focus on a few conjectures about their rational points over number fields (potential density, Manin’s conjecture) and how they can be investigated by determining the asymptotic behavior of certain counting functions of rational points.

All the main objects involved will be introduced and illustrated by examples. A summary of the literature on the topic will be discussed, including my own contribution.

October 27, 2020

Title: Counting quaternion algebras, with applications to spectral geometry

Speaker: Lola Thompson

We will introduce some classical techniques from analytic number theory and show how they can be used to count quaternion algebras over number fields subject to various constraints. Because of the correspondence between maximal subfields of quaternion algebras and geodesics on arithmetic hyperbolic manifolds, these counts can be used to produce quantitative results in spectral geometry. This talk is based on joint work with B. Linowitz, D. B. McReynolds, and P. Pollack.

Organising committee:

Comments are closed