We develop a version of the Kloosterman circle method with a bump function that is used to provide asymptotics for weighted representation numbers of positive definite integral quadratic forms. Unlike many applications of the Kloosterman circle method, we explicitly state some constants in the error terms that depend on the quadratic form. This version of the Kloosterman circle method uses Gauss sums, Kloosterman sums, Salié sums, and a principle of nonstationary phase. If time permits, we may discuss a potential application of this version of the Kloosterman circle method to a proof of a strong asymptotic local-global principle for certain Kleinian sphere packings.

Orbital integrals for the Lie algebra can be analyzed using the Hitchin fibration. In turn the Hitchin fibration can be analyzed via the morphism g^{reg} ----> g//G from the regular elements of the Lie algebra, to the GIT quotient by the adjoint action. In trying to generalize this story by replacing the action of G on g by the action of G on some sufficiently nice variety M, we must replace the GIT quotient with what we call the regular quotient. This talk will look at the reasons for this, and the difference between the GIT and regular quotients in the case of G acting on G by conjugation (when the derived group of G is not simply connected), G acting on the commuting scheme, and G acting on the Vinberg monoid.

In this talk we consider the moduli space of Yang-Mills instantons on the family of hyperkahler 4 manifolds known as multi-center TaubNUT spaces. We describe the Nahm transform for flat manifolds. Then we sketch its extension to the above hyperkahler family, where it defines an isometry between the moduli space of instantons on the multi-center TaubNUT and the moduli space of solutions of a rococo system of ordinary differential equations. This is joint work with Sergey Cherkis and Andres Larrain Hubach

We present two models of perpetrators' decision-making in extracting resources from a protected area. It is assumed that the authorities conduct surveillance to counter the extraction activities, and that perpetrators choose their post-extraction paths to balance the time/hardship of travel against the expected losses from a possible detection. In our first model, the authorities are assumed to use ground patrols and the protected resources are confiscated as soon as the extractor is observed with them. The perpetrators' path-planning is modeled using the optimal control of randomly-terminated process. In our second model, the authorities use aerial patrols, with the apprehension of perpetrators and confiscation of resources delayed until their exit from the protected area. In this case the path-planning is based on multi-objective dynamic programming. Our efficient numerical methods are illustrated on several examples with complicated geometry and terrain of protected areas, non-uniform distribution of protected resources, and spatially non-uniform detection rates due to aerial or ground patrols.

Mean field games (MFGs) study strategic decision-making in large populations where individual players interact via specific mean-field quantities. They have recently gained enormous popularity as powerful research tools with vast applications. For example, the Nash equilibrium of MFGs forms a pair of PDEs, which connects and extends variational optimal transport problems. This talk will present recent progress in this direction, focusing on computational MFG and engineering applications in robotics path planning, pandemics control, and Bayesian/AI sampling algorithms. This is based on joint work with the MURI team led by Stanley Osher (UCLA).

Ribet’s method describes a way to construct a certain extension of fields from the existence of a suitable modular form. To do so, we consider the Galois representation of an appropriate cuspform, which gives rise to a cohomology class that cuts out our desired extension. The process of obtaining a cohomology class from such a representation is usually known as Ribet’s lemma. Several generalizations of this lemma have been stated and proved during the last decades, but the vast majority of them makes the assumption that the representation is residually distinguishable, meaning that the characters of its residual decomposition are non-congruent modulo the maximal ideal. However, recent applications of Ribet’s method, such as for the proof of the 2-part of the Brumer-Stark conjecture, have encountered the challenge that the representation we obtain does not satisfy this assumption. In my talk, I describe the limitations of the residually indistinguishable case and conjecture a new general version of Ribet’s lemma in this context, giving a proof in some particular cases.

Introductory presentations for DOmath 2022.

For a smooth projective variety X over an algebraic number field a conjecture of Bloch and Beilinson predicts that the kernel of the Abel-Jacobi map of X is a torsion group. When X is a curve, this follows by the Mordell-Weil theorem. In higher dimensions however there is hardly any evidence for this conjecture. In this talk I will focus on the case when X is a product of smooth projective curves and construct infinitely many nontrivial examples that satisfy a weaker form of the Bloch-Beilinson conjecture. This relies on a recent joint work with Jonathan Love.

In this talk, I will present some new topological obstructions for solving the Einstein equations (in Riemannian signature) on a large class of closed four-manifolds. Finally, I will show that complex-hyperbolic Einstein Dehn filling compactification cannot possibly performed in dimension four. This is in striking contrast with the real-hyperbolic case, and it answers (negatively) a fifteen years old question of Michael Anderson. If time permits, I will conclude with some tantalizing open problems both in dimension four and in higher dimensions. Part of this work is joint with M. Golla (Universit\’e de Nantes).