Field and Vertex algebras from geometry and topology
Abstract
I will explain the notion of a singular ring and sketch how singular rings provide field and vertex algebras introduced by Borcherds and Kac. All of these notions make sense in general symmetric monoidal categories and behave nicely with respect to symmetric lax monoidal functors. I will provide a complete classification of singular rings if the tensor product is a cartesian product. This applies in particular to categories of topological spaces or (algebraic) stacks equipped with the usual cartesian product. Moduli spaces provide a rich source of examples of singular rings. By combining these ideas, we obtain vertex and field algebras for each reasonable moduli space and each choice of an orientable homology theory. This generalizes a recent construction of vertex algebras by Dominic Joyce.
Some mathematical issues relevant to the improvement of ocean models for climate prediction
Inexact Ideas
Abstract
When the linear system in Newton’s method is approximately solved using an iterative method we have an inexact or truncated Newton method. The outer method is Newton’s method and the inner iterations will be the iterative method. The Inexact Newton framework is now close to 30 years old and is widely used and given names like Newton-Arnoldi, Newton-CG depending on the inner iterative method. In this talk we will explore convergence properties when the outer iterative method is Gauss-Newton, the Halley method or an interior point method for linear programming problems.
Instability of some (positive) Einstein metrics under the Ricci flow
Abstract
Einstein metrics are fixed points (up to scaling) of Hamilton's Ricci flow. A natural question to ask is whether a given metric is stable in the sense that the flow returns to the Einstein metric under a small perturbation. I'll give a brief survey of this area focussing on the case when the Einstein constant is positive. An interesting class of metrics where this question is not completely resolved are the compact symmetric spaces. I'll report on some recent progress with Tommy Murphy and James Waldron where we have been able to use a criterion due to Kroencke to show the Kaehler-Einstein metric on some Grassmannians and the bi-invariant metric on the Lie group G_2 are unstable.
Polynomial approximation of high-dimensional functions - from regular to irregular domains
Abstract
Driven by its numerous applications in computational science, the approximation of smooth, high-dimensional functions via sparse polynomial expansions has received significant attention in the last five to ten years. In the first part of this talk, I will give a brief survey of recent progress in this area. In particular, I will demonstrate how the proper use of compressed sensing tools leads to new techniques for high-dimensional approximation which can mitigate the curse of dimensionality to a substantial extent. The rest of the talk is devoted to approximating functions defined on irregular domains. The vast majority of works on high-dimensional approximation assume the function in question is defined over a tensor-product domain. Yet this assumption is often unrealistic. I will introduce a method, known as polynomial frame approximation, suitable for broad classes of irregular domains and present theoretical guarantees for its approximation error, stability, and sample complexity. These results show the suitability of this approach for high-dimensional approximation through the independence (or weak dependence) of the various guarantees on the ambient dimension d. Time permitting, I will also discuss several extensions.