In this talk we discuss our recently introduced methods for obtaining strictly positive lower bounds on the top Lyapunov exponent of high-dimensional, stochastic differential equations such as the weakly-damped Lorenz-96 (L96) model or Galerkin truncations of the 2d Navier-Stokes equations (joint with Alex Blumenthal and Sam Punshon-Smith). This hallmark of chaos has long been observed in these models, however, no mathematical proof had previously been made for any type of deterministic or stochastic forcing. The method we proposed combines (A) a new identity connecting the Lyapunov exponents to a Fisher information of the stationary measure of the Markov process tracking tangent directions (the so-called "projective process"); and (B) an L1-based hypoelliptic regularity estimate to show that this (degenerate) Fisher information is an upper bound on some fractional regularity. For L96 and GNSE, we then further reduce the lower bound of the top Lyapunov exponent to proving that the projective process satisfies Hörmander's condition. I will also discuss the recent work of Sam Punshon-Smith and I on verifying this condition for the 2d Galerkin-Navier-Stokes equations in a rectangular, periodic box of any aspect ratio using some special structure of matrix Lie algebras and ideas from computational algebraic geometry.

I will present a new trace formula approach to Waldspurger's formula for toric periods of automorphic forms on $PGL_2$. The method is motivated by interpreting Waldspurger's result as a period relation on $SO_2 \times SO_3$, which leads to a strange comparison of relative trace formulas. I will explain the local results needed to carry out this comparison, and discuss some small progress towards extending these results to high rank orthogonal groups.

Understanding the folding of RNA sequences into three-dimensional structures is one of the fundamental challenges in molecular biology. For example, the branching of an RNA secondary structure is an important molecular characteristic yet difficult to predict correctly, especially for sequences on the scale of viral genomes. However, results from enumerative, probabilistic, analytic, and geometric combinatorics yield insights into RNA structure formation, and suggest new directions in viral capsid assembly.

Classical Galois theory replaces the study of algebraic numbers with group theory. This idea is extremely powerful, and led to the proof of the insolubility of the general quintic equation. A deep idea, originating in the work of Grothendieck, is that Galois theory should extend to the theory of periods. I will describe a cheap way to set up such a theory and illustrate it in the case of multiple zeta values. It gives rise to a symmetry group which respects the algebraic identities satisfied by these numbers and explains their underlying structure.

This technical talk will show live calculations in Mathematica 11 and other Wolfram technologies relevant to courses and research. Specific topics include: * Enter calculations in everyday English, or using the flexible Wolfram Language * Visualize data, functions, surfaces, and more in 2D or 3D * Store and share documents locally or in the Wolfram Cloud * Use the Predictive Interface to get suggestions for the next useful calculation or function options * Access trillions of bits of on-demand data * Use semantic import to enrich your data using Wolfram curated data * Easily turn static examples into mouse-driven, dynamic applications * Access 10,000 free course-ready applications * Utilize the Wolfram Language's wide scope of built-in functions, or create your own * Get deep support for specialized areas including machine learning, time series, image processing, parallelization, and control systems, with no add-ons required Current users will benefit from seeing the many improvements and new features of Mathematica 11 (https://www.wolfram.com/mathematica/new-in-11/), but prior knowledge of Mathematica is not required.

Let M be a manifold with non-vanishing vectorfield. The homology of the space of loops in M carries a natural Lie bialgebra structure described by Sullivan as string topology operations. If M is a surface, these operations where originally defined by Goldman and Turaev. We study formal descriptions of these Lie bialgebras. More precisely, for surfaces these Lie bialgebras are formal in the sense that they are isomorphic (after completion) to their algebraic analogues (Schedler's necklace Lie bialgebras) built from the homology of the surface. For higher dimensional manifolds we give a similar description that turns out to depend on the Chern-Simons partition function.

This talk is based on joint work with A. Alekseev, N. Kawazumi, Y. Kuno and T. Willwacher.

The wrinkling of thin elastic sheets is very familiar: our skin wrinkles, drapes have coarsening folds, and a sheet stretched over a round surface must wrinkle or fold.

What kind of mathematics is relevant? The stable configurations of a sheet are local minima of a variational problem with a rather special structure, involving a nonconvex membrane term (which favors isometry) and a higher-order bending term (which penalizes curvature). The bending term is a singular perturbation; its small coefficient is the sheet thickness squared. The patterns seen in thin sheets arise from energy minimization -- but not in the same way that minimal surfaces arise from area minimization. Rather, the analysis of wrinkling is an example of "energy-driven pattern formation," in which our goal is to understand the asymptotic character of the minimizers in a suitable limit (as the nondimensionalized sheet thickness tends to zero).

What kind of understanding is feasible? It has been fruitful to focus on how the minimum energy scales with sheet thickness, i.e. the "energy scaling law." This approach entails proving upper bounds and lower bounds that scale the same way. The upper bounds tend to be easier, since nature gives us a hint. The lower bounds are more subtle, since they must be ansatz-free; in many cases, the arguments used to prove the lower bounds help explain "why" we see particular patterns. A related but more ambitious goal is to identify the prefactor as well as the scaling law; Ian Tobasco's striking recent work on geometry-driven wrinkling has this character.

Lecture 1 will provide an overview of this topic (assuming no background in elasticity, thin sheets, or the calculus of variations). Lecture 2 will discuss some examples of tensile wrinkling, where identification of the energy scaling law is intimately linked to understanding the local length scale of the wrinkles. Lecture 3 will discuss our emerging undertanding of geometry-driven wrinkling, where (as Tobasco has shown) it is the prefactor not the scaling law that explains the patterns seen experimentally.

Over a field k, the zeroth homotopy group of the motivic sphere spectrum is given by the Grothendieck-Witt ring of symmetric bilinear forms GW(k). The Grothendieck-Witt ring GW(k) modulo the hyperbolic plane is isomorphic to the Witt ring of symmetric bilinear forms W(k) which further surjectively maps to Z/2. We may take motivic Eilenberg-Maclane spectra of Z/2, W(k) and GW(k). Voevodsky has computed the motivic Steenrod algebra of HZ/2 and solved the Bloch-Kato conjecture with its help. We move one step up in the above picture; we study the motivic Eilenberg-Maclane spectrum corresponding to the Witt ring and compute its dual Steenrod algebra.

In this talk, which is a continuation of Wednesday's lecture, we shall describe the natural candidate for the limit of the empirical measure of the eigenvalues of non-normal matrices, the so-called Brown measure. We will give some details about how to prove convergence towards such a limit, but also discuss the instability of such convergence.

Braverman and Kazhdan, L. Lafforgue, Ngo, and Sakellaridis have pursued a set of conjectures asserting that analogues of the Poisson summation formula are valid for all spherical varieties. If proven, these conjectures imply the analytic continuation and functional equations of quite general Langlands L-functions (and thus, by converse theory, much of Langlands functoriality). I will explain techniques for proving the conjectures in special cases that include the first known case where the underlying spherical variety is not a generalized flag variety.

Many patterns in Nature and industry arise from the system minimizing an appropriate energy. Torn plastic sheets and growing leaves provide striking examples of pattern forming systems which can transition from single wavelength geometries (leaves) to complex fractal-like shapes (lettuce). These fractal-like patterns seem to have many length scales, i.e. the same amount of extra detail can be seen when looking closer (�??statistical self-similarity�?�). It is a mystery how such complex patterns could arise from energy minimization alone. In this talk I will address this puzzle by showing that such patterns naturally arise from the sheet adopting a hyperbolic non-Euclidean geometry. However, there are many different hyperbolic geometries that the growing leaf could select. I will show using techniques from analysis, differential geometry and numerical optimization that the fractal like patterns are indeed the natural minimizers for the system. I will also discuss the implications of our work to developing shape changing soft matter which can be implemented in soft machines.

Most cells possess the ability to change morphology or migrate in response
to environmental cues. To understand the molecular mechanisms that drive
cell movement requires a systems-level approach that combines computational
approaches, including mathematical modeling and image analysis tools, with
high-resolution microscopy of living cells. Here we present several
examples for how such an integrated research strategy has been
successfully applied. First, we combine stochastic modeling with novel
biosensors for monitoring the spatiotemporal dynamics of Rho GTPase
activity to investigate the role of RhoG in cell polarization and
migration. Next, mathematical modeling and quantitative image analysis
methods are used to establish the role of cerebral cavernous malformation
(CCM) proteins in vascular tube formation. Finally, we present a novel
computational method for tracking and quantifying changes in cell shape.

Branching Brownian motion is a classical process in probability theory belonging to the class of �?Log-correlated random fields�?. We study the structure of extreme level sets of this process, namely the sets of particles whose height is within a fixed distance from the order of the global maximum. It is well known that such particles congregate at large times in clusters of order-one genealogical diameter around local maxima which form a Cox process in the limit. We add to these results by finding the asymptotic size of extreme level sets and the typical height and shape of those clusters which carry such level sets. We also find the right tail decay of the distribution of the distance between the two highest particles. These results confirm two conjectures of Brunet and Derrida.(joint work with A. Cortines, O Louidor)

The notochord, the defining feature of chordates, is a pressurized tube which actuates elongation of the chordate embryo. The zebrafish notochord consists of large vacuolated cells surrounded by a thin sheath. We characterized the patterns of the cells�?? packing, and their relationship to the known regular patterns from the study of foams, and irregular patterns in a gel bead system. Disruption of the wild type packing pattern leads to developmental defects. We characterize the bifurcations between the relevant regular patterns in terms of nondimensional geometrical and mechanical ratios, and suggest an important developmental role for the eccentric "staircase" pattern.

We will discuss Witten�??s gauge theory approach to Jones polynomial by counting solutions to the Kapustin-Witten (KW) equations with singular boundary conditions over 4-manifolds. We will give a classification of solutions to the KW equations over $S^1\times\Sigma\times R^+$. We prove that all solutions to the KW equations over $S^1\times\Sigma\times R^+$ are $S^1$ direction invariant and we give a classification of the KW monopole over $\Sigma\times R^+$ based on the Hermitian-Yang-Mills type structure of KW monopole equation. This is based on joint works with Rafe Mazzeo.

The addition of renewable energy sources, whose power production cannot be scheduled, has created increasing gaps between instantaneous electricity supply and electricity demand. Sometimes the grid is oversupplied with energy, requiring zero-marginal-cost sources of power to be shut or energy to be bled off of the grid. Other times there is insufficient electricity, requiring high-marginal-cost sources of electricity to be switched on or consumers to curtail their demand. The current state of the grid has led various utilities and power consumers deploy capital-intensive energy storage, such as lithium-ion batteries, to better-match grid supply with grid demand. We present a method to add large-scale energy storage to the power grid using only sensors, software modifications to the control systems of large industrial refrigeration systems, and mathematical optimization. Our talk will address the required instrumentation, the physics necessary to understand applicable thermal constraints, and numerical methods used to determine a mathematically optimal-discharge schedule. We further discuss the economics of the US power grid, "war stories"of doing complex mathematics in a large industrial setting and the effects of various Federal Energy Regulatory Commission and California Public Utility Commission on our efforts.

Let F be a non-archimedean local field (such as �??_p). The Langlands philosophy says that the arithmetic of F is intimately related to the category R(G) of smooth complex representations of G(F) where G denotes a reductive F-group (for example the general linear group). The building blocks of R(G) are the "supercuspidal" representations of G(F). I will define this term in the talk. The category R(G) comes equipped with an involution - the "contragradient" or the "dual". The supercuspidal representations of G(F) which are self-dual are of considerable interest in the subject. In this talk, I will talk about a joint work with Jeff Adler about the existence of supercuspidals and self-dual supercuspidals. Specifically, we show that G(F) always admits supercuspidal representations. Under some mild hypotheses on G, we determine precisely when G(F) admits self-dual supercuspidal representations. These results are obtained from analogous results for finite reductive groups which I will also talk about.

Thurston's geometrization conjecture and its subsequent proof for Haken manifolds distinguish knots in S^3 by the geometries in the complement of the knots. While the definition of alternating knots make use of nice knot diagrams, Knot Floer homology, a knot invariant toolbox, defined by Ozsvath-Szabo and Rasumussen, generalizes the definition of alternating knots in the context of knot Floer homology and defines family of quasi-alternating knots which contains all alternating knots. Using Lipshitz-Ozsvath-Thurston's bordered Floer homology, we prove a partial affirmation of a folklore conjecture in knot Floer theory, which bridges these two viewpoints of looking at knots.

The optimal transport (Monge-Kantorovich) problem is a variational problem involving transportation of mass subject to minimizing some kind of energy, and it arises in connection with many parts of math, both pure and applied. In this talk, I will discuss a numerical algorithm to approximate solutions in the semi-discrete case. We propose a damped Newton algorithm which exploits the structure of the associated dual problem, and using geometric implications of the regularity theory of Monge-Amp{\`e}re equations, we are able to rigorously prove global linear convergence and local superlinear convergence of the algorithm. This talk is based on joint work with Quentin M{\�??e}rigot and Boris Thibert.

We study the conditions under which an algebraic curve can be modelled by a Laurent polynomial that is nondegenerate with respect to its Newton polytope. Such nondegenerate polynomials have become popular objects in explicit algebraic geometry, owing to their connection with toric geometry; however, despite their ubiquity, the intrinsic property of nondegeneracy has not seen much detailed study. We prove that every curve of genus $g \geq 4$ over an algebraically closed field is nondegenerate in the above sense. More generally, let $\mathcal{M}_g^{\textup{nd}}$ be the locus of nondegenerate curves inside the moduli space of curves of genus $g \geq 2$. Then we show that $\dim \mathcal{M}_g^{\textup{nd}} = \min(2g+1,3g-3)$, except for $g=7$ where $\dim \mathcal{M}_7^{\textup{nd}} = 16$; thus, a generic curve of genus $g$ is nondegenerate if and only if $g \geq 4$

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.

The interplay between curvature and topology of Riemannian manifolds is among the most fundamental questions in differential geometry. Over the past century, various different approaches have been developed to attack these types of problems. This includes variational techniques based on geodesics and minimal surfaces, as well as the Ricci flow approach pioneered by Richard Hamilton. In this lecture, I will give an overview of the subject, focusing on the case of positive curvature.

We introduce a new tool for relating the scalar curvature of a Riemannian manifold to its global geometry and topology, based on the study of level sets of harmonic functions and harmonic maps to the circle. We will explain how these ideas lead to simple new proofs and improvements upon some well-known results in three-manifold geometry and general relativity, previously studied primarily via minimal surface and Dirac operator methods.

The inverse square law is fundamental to our understanding of electromagnetism. The question of the decay of the fields associated to nonabelian gauge theories is more difficult because the equations determining these fields are nonlinear. In this talk, I will discuss recent progress in establishing decay rates for instantons.

Classically, a modular form for a reductive group G is an automorphic form that gives rise to a holomorphic function on the symmetric space G/K, when this symmetric space has complex structure. However, there are very interesting groups G, such as those of type G_2 and E_8, for which G/K does not have complex structure. Nevertheless, there is a theory of modular forms on these exceptional groups, whose study was initiated by Gross-Wallach and Gan-Gross-Savin. I will define these objects and describe what is known about them.