Events

Joey Lakerdas-Gayle, Department of Pure Mathematics, University of Waterloo

"Computable Structure Theory VIII"

We will discuss effective embeddings and interpretability, following Antonio Montalbán's monograph.

MC 5479

AJ Fong, Department of Pure Mathematics, University of Waterloo

"Non-reduced schemes"

Last time, we looked at the case where the ground field is not algebraically closed. Now we will drop the hypothesis that the ring of regular functions is not an integral domain and explain what the simplest schemes of this sort look like. We will also introduce the central concepts of limits and flatness and begin to discuss them in detail.

MC 5417

Jiahui Huang, Department of Pure Mathematics, University of Waterloo

"Arc-Floer conjecture"

For a hypersurface singularity, the arc-Floer conjecture states an isomorphism between the compactly supported cohomology of $X_m$, the m-th restricted contact locus (of algebraic nature), and the Floer homology of $\varphi^m$, the m-th iterate of the monodromy on the Milnor fiber (of topological nature). In particular, this gives the Floer homology a mixed Hodge structure.

It was known by a result of Denef and Loeser that the Euler characteristic of $X_m$ agrees with the Lefschetz number of $\varphi^m$, which is given by the Euler characteristic of its Floer homology. The conjecture predicts an equivalence at the level of cohomology. It has been proven for plane curves by de la Bodega and de Lorenzo Poza. We shall look at the case where the singularity is the affine cone of a smooth projective hypersurface.

MC 5417

Christoph Kesting, McMaster University

"The Klein j-Function is not Pfaffian over the Real Exponential Field"

James Freitag showed that the Klein j-function is not pfaffian over the complex numbers. In this talk, I will give a brief introduction to pfaffian functions, their current place in model theory and Freitag's result. Then I will discuss recent work expanding Freitag's result to a restriction of the j-function to the imaginary interval (0, i) not being pfaffian over the real exponential field.

MC 5479

François Greer, Michigan State University

"Finiteness of monodromy for fibered Calabi-Yau threefolds"

An old question going back to S.T. Yau asks whether there are finitely many diffeomorphism types for smooth projective Calabi-Yau manifolds of a given dimension. The answer is affirmative for dimensions one and two (elliptic curves and K3 surfaces). It has recently been settled for Calabi-Yau threefolds admitting elliptic fibrations. We discuss the case of CY3’s admitting abelian surface or K3 fibrations. 

MC 5417

Konstantin Tikhomirov, Carnegie Mellon University

"On the width of random polyhedra"

We consider the problem of estimating the width of a polyhedron defined as the intersection of m i.i.d random affine subspaces of n-dimensional space. Such polyhedra naturally appear in probabilistic analysis of linear programs, as well as in convex geometric analysis as extremizers of various quantities associated with convex sets. For a wide range of parameters m, n, we obtain sharp estimates of the width of the polyhedron in any given direction.

MC 5501

Micah Milinovich, University of Mississippi

"Fourier optimization, prime gaps, and the least quadratic non-residue"

There are many situations where one imposes certain conditions on a function and its Fourier transform and then wants to optimize a certain quantity. I will describe two such Fourier optimization frameworks that can be used to study classical problems in number theory: bounding the maximum gap between consecutive primes assuming the Riemann hypothesis and bounding for the size of the least quadratic non-residue modulo a prime assuming the generalized Riemann hypothesis (GRH) for Dirichlet L-functions. The resulting extremal problems can be stated in accessible terms, but finding the exact answer appears to be rather subtle. Instead, we experimentally find upper and lower bounds for our desired quantity that are numerically close. If time allows, I will discuss how a similar Fourier optimization framework can be used to bound the size of the least prime in an arithmetic progression on GRH. This is based upon joint works with E. Carneiro (ICTP), E. Quesada-Herrera (TU Graz), A. Ramos (SISSA), and K. Soundararajan (Stanford). 

MC 5417

Joey Lakerdas-Gayle, Department of Pure Mathematics, University of Waterloo

"Computable Structure Theory IX"

We will discuss effective interpretability of graphs, following Antonio Montalbán's monograph.

MC 5479

Faisal Romshoo, Department of Pure Mathematics, University of Waterloo

"A theoretical framework for H-structures"

For an oriented Riemannian manifold $(M^n, g)$, and Lie subgroup $H \subset SO(n)$, a compatible $H$-structure on $(M^n,g)$ is a principal $H$-subbundle of the principal $SO(n)$-bundle of oriented orthonormal coframes.  They can be described in terms of the sections of the homogeneous fibre bundle obtained by $H$-reduction of the oriented frame bundle. Examples of these structures include $U(m)$-structures, $G_2$-structures and $\text{Spin(7)}$-structures. In this talk, we will study a general theory for $H$-structures described in a paper of Daniel Fadel, Eric Loubeau, Andrés J. Moreno and Henrique N. Sá Earp titled "Flows of geometric structures" (https://arxiv.org/abs/2211.05197).

MC 5403

AJ Fong, Department of Pure Mathematics, University of Waterloo

"Flat families of schemes"

We will discuss families of schemes, and how flatness is the correct relevant notion for families.

MC 5417