University of Toronto

The directed landscape is a random directed metric on the plane that is the scaling limit for models in the KPZ universality class (i.e. last passage percolation on $\mathbb{Z}^2$, TASEP). In this metric, typical pairs of points are connected by a unique geodesic.  However, certain exceptional pairs are connected by more exotic geodesic networks. The goal of this talk is to describe a full classification for these exceptional pairs.

I will describe the proof of the following classification result for manifolds with positive scalar curvature. Let M be a closed manifold of dimension $n=4$ or $5$ that is "sufficiently connected", i.e. its second fundamental group is trivial (if $n=4$) or second and third fundamental groups are trivial (if $n=5$). Then a finite covering of $M$ is homotopy equivalent to a sphere or a connect sum of $S^{n-1} \times S^1$. The proof uses techniques from minimal surfaces, metric geometry, geometric group theory. This is a joint work with Otis Chodosh and Chao Li.
 

We study sampling from a target distribution $e^{-f}$ using the unadjusted Langevin Monte Carlo (LMC) algorithm. For any potential function $f$ whose tails behave like $\|x\|^\alpha$ for $\alpha \in [1,2]$, and has $\beta$-H\"older continuous gradient, we derive the sufficient number of steps to reach the $\epsilon$-neighborhood of a $d$-dimensional target distribution as a function of $\alpha$ and $\beta$. Our rate estimate, in terms of $\epsilon$ dependency, is not directly influenced by the tail growth rate $\alpha$ of the potential function as long as its growth is at least linear, and it only relies on the order of smoothness $\beta$.

Our rate recovers the best known rate which was established for strongly convex potentials with Lipschitz gradient in terms of $\epsilon$ dependency, but we show that the same rate is achievable for a wider class of potentials that are degenerately convex at infinity.

(joint with Indranil Biswas, Jacques Hurtubise, Sean Lawton, arXiv:2104.05589)

Let $G$ be either a compact Lie group or a reductive Lie group. Let $\pi$ be the fundamental group of a 2-manifold (possibly with boundary).
We can define a character variety by ${\rm Hom}(\pi, G)/G$, where $G$ acts by conjugation.

We explore the mappings between character varieties that are induced  by mappings between surfaces. It is shown that these mappings are generally Poisson.

In some cases, we explicitly calculate the Poisson bi-vector.

Following the risk-taking model of Seel and Strack, n players decide when to stop privately observed Brownian motions with drift and absorption at zero. They are then ranked according to their level of stopping and paid a rank-dependent reward. We study the optimal reward design where a principal is interested in the average performance and the performance at a given rank. While the former can be related to reward inequality in the Lorenz sense, the latter can have a surprising shape. Next, I will present the mean-field version of this problem. A particular feature of this game is to be tractable without necessarily being smooth, which turns out to offer a cautionary tale. We show that the mean field equilibrium induces n-player ε-Nash equilibria for any continuous reward function— but not for discontinuous ones. We also analyze the quality of the mean field design (for maximizing the median performance) when used as a proxy for the optimizer in the n-player game. Surprisingly, the quality deteriorates dramatically as n grows. We explain this with an asymptotic singularity in the induced n-player equilibrium distributions. (Joint work with M. Nutz)

We survey some recent progress in understanding stationary reflection at successors of singular cardinals and its influence on cardinal arithmetic:

1) In joint work with Yair Hayut, we reduced the consistency strength of stationary reflection at $\aleph_{\omega+1}$ to an assumption weaker than $\kappa$ is $\kappa^+$ supercompact.

2) In joint work with Yair Hayut and Omer Ben-Neria, we prove that from large cardinals it is consistent that there is a singular cardinal $\nu$ of uncountable cofinality where the singular cardinal hypothesis fails at nu and every collection of fewer than $\mathrm{cf}(\nu)$ stationary subsets of $\nu^+$ reflects at a common point.

The statement in the second theorem was not previously known to be consistent. These results make use of analysis of Prikry generic objects over iterated ultrapowers.

The idea of assigning weights to local coordinate functions is used in many areas of mathematics, such as singularity theory, microlocal analysis, sub-Riemannian geometry, or the theory of hypo-elliptic operators, under various terminologies. In this talk, I will describe some differential-geometric aspects of weightings along submanifolds. This includes a coordinate-free definition, and the construction of weighted normal bundles and weighted blow-ups. As an application, I will describe a canonical local model for isotropic embeddings in symplectic manifolds. (Based on joint work with Yiannis Loizides.)

It has long been known that many elliptic partial differential equations can be reformulated as Fredholm integral equations of the second kind on the boundaries of their domains. The kernels of the resulting integral equations are weakly singular, which has historically made their numerical solution somewhat onerous, requiring the construction of detailed and typically sub-optimal quadrature formulas. Recently, a numerical algorithm for constructing generalized Gaussian quadratures was discovered which, given 2n essentially arbitrary functions, constructs a unique n-point quadrature that integrates them to machine precision, solving the longstanding problem posed by singular kernels.

When the domains have corners, the solutions themselves are also singular. In fact, they are known to be representable, to order n, by a linear combination (expansion) of n known singular functions. In order to solve the integral equation accurately, it is necessary to construct a discretization such that the mapping (in the L^2-sense) from the values at the discretization points to the corresponding n expansion coefficients is well-conditioned. In this talk, we present exactly such an algorithm, which is optimal in the sense that, given n essentially arbitrary functions, it produces n discretization points, and for which the resulting interpolation formulas have condition numbers extremely close to one.

---

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please send email to @email.

After reviewing our recent description of generalized Kahler structures in terms of holomorphic symplectic Morita equivalence, I will describe how this can be used for explicit constructions of toric generalized Kahler metrics.  Then I will describe how these ideas, combined with concepts from geometric quantization, provide a new approach to noncommutative algebraic geometry.