Harvard University

A beautiful example of a nonlinear eigenvalue problem is the determination of complex eigenvalues for wave scattering. This talk will show how nicely this can be done by applying AAA rational approximation to a scalarized resolvent sampled at a few real frequencies.  Even for a domain as elementary as a circle with a gap in it, such computations do not seem to have been done before. This is joint work with Oscar Bruno and Manuel Santana at Caltech.

In the definition of the skein lasagna module of a $4$-manifold $X$, it is essential that the input TQFT be fully functorial for link cobordisms in $S^3 \times [0, 1]$. I will describe an approach to resolve existing sign ambiguities in Kronheimer and Mrowka's spectral sequence from Khovanov homology to singular instanton link homology. The goal is to obtain a theory that is fully functorial for link cobordisms in $S^3 \times [0,1]$, and where the $E_2$ page carries a canonical isomorphism to Khovanov-Rozansky $\mathfrak{gl}_2$ link homology. Possible applications include non-vanishing theorems for $4$-manifold Khovanov skein lasagna modules à la Ren-Willis.

I will discuss an enriched version of Shimizu's characterizations of non-degeneracy for finite braided tensor categories. Using these characterizations, it follows that an enriched finite braided tensor category is invertible as an object of the Morita 4-category of enriched braided tensor categories if and only if it is non-degenerate. As an application, I will explain how to extend the full dualizability result of Brochier-Jordan-Synder by showing that a finite braided tensor category is fully dualizable in the Morita 4-category of braided tensor categories if its symmetric center is separable.
 

Donaldson-Thomas (DT) theory is an enumerative theory which produces a virtual count of stable coherent sheaves on a Calabi-Yau 3-fold. Motivic Donaldson-Thomas theory, originally introduced by Kontsevich-Soibelman, is a categorification of the DT theory. This categorification contains more refined information of the moduli space. In this talk, I will explain the role of d-critical locus structure in the definition of motivic DT invariant, following the definition by Bussi-Joyce-Meinhardt. I will also discuss results on this structure on the Hilbert schemes of zero dimensional subschemes on local toric Calabi-Yau threefolds. This is based on joint works with Sheldon Katz. The results have substantial overlap with recent work by Ricolfi-Savvas, but techniques used here are different. 

Over the last several years, it has been shown that black hole microstate level statistics in various models of 2D gravity are encoded in wormhole amplitudes.  These statistics quantitatively agree with predictions of random matrix theory for chaotic quantum systems; this behavior is realized since the 2D theories in question are dual to matrix models.  But what about black hole microstate statistics for Einstein gravity in 3D and higher spacetime dimensions, and ultimately in non-perturbative string theory?  We will discuss progress in these directions.  In 3D, we compute a wormhole amplitude that encodes the energy level statistics of BTZ black holes.  In 4D and higher, we find analogous wormholes which appear to encode the level statistics of small black holes just above threshold.  Finally, we study analogous Euclidean wormholes in the low-energy limit of type IIB string theory; we provide evidence that they encode the level statistics of small black holes just above threshold in AdS5 x S5.  Remarkably, these wormholes appear to be stable in appropriate regimes, and dominate over brane-anti-brane nucleation processes in the computation of black hole microstate statistics.

Our understanding and ability to compute the solutions to nonlinear partial differential equations has been strongly curtailed by our inability to effectively parameterize the inertial manifold of their solutions.  I will discuss our ongoing efforts for using machine learning to advance the state of the art, both for developing a qualitative understanding of "turbulent" solutions and for efficient computational approaches.  We aim to learn parameterizations of the solutions that give more insight into the dynamics and/or increase computational efficiency. I will discuss our recent work using machine learning to develop models of the small scale behavior of spatio-temporal complex solutions, with the goal of maintaining accuracy albeit at a highly reduced computational cost relative to a full simulation.  References: https://www.pnas.org/content/116/31/15344 and https://arxiv.org/pdf/2102.01010.pdf 

I will discuss a class of generalized global symmetries, which we call “Chern-Weil global symmetries,” that arise ubiquitously in gauge theories. The Noether currents of these Chern-Weil global symmetries are given by wedge products of gauge field strengths and their conservation follows from Bianchi identities, so they are not easy to break. However, exact global symmetries should not be allowed in a consistent theory of quantum gravity. I will explain how these symmetries are typically gauged or broken in string theory. Interestingly, many familiar phenomena in string theory, such as axions, Chern-Simons terms, worldvolume degrees of freedom, and branes ending on or dissolving in other branes, can be interpreted as consequences of the absence of Chern-Weil symmetries in quantum gravity, suggesting that they might be general features of quantum gravity.

Let us say that a theory $T$ in the language of set theory is $\beta$-consistent at $\alpha$ if there is a transitive model of $T$ of height $\alpha$, and let us say that it is $\beta$-categorical at $\alpha$ iff there is at most one transitive model of $T$ of height $\alpha$. Let us also assume, for ease of formulation, that there are arbitrarily large $\alpha$ such that $\mathrm{ZFC}$ is $\beta$-consistent at $\alpha$.

The sentence $\mathrm{VEL}$ has the feature that $\mathrm{ZFC}+\mathrm{VEL}$ is $\beta$-categorical at $\alpha$, for every $\alpha$. If we assume in addition that $\mathrm{ZFC}+\mathrm{VEL}$ is $\beta$-consistent at $\alpha$, then the uniquely determined model is $L_\alpha$, and the minimal such model, $L_{\alpha_0}$, is model of determined by the $\beta$-categorical theory $\mathrm{ZFC}+\mathrm{VEL}+M$, where $M$ is the statement "There does not exist a transitive model of $\mathrm{ZFC}$."

It is natural to ask whether $\mathrm{VEL}$ is the only sentence that can be $\beta$-categorical at $\alpha$; that is, whether, there can be a sentence $\phi$ such that $\mathrm{ZFC}+\phi$ is $\beta$-categorical at $\alpha$, $\beta$-consistent at $\alpha$, and where the unique model is not $L_\alpha$.  In the early 1970s Harvey Friedman proved a partial result in this direction. For a given ordinal $\alpha$, let $n(\alpha)$ be the next admissible ordinal above $\alpha$, and, for the purposes of this discussion, let us say that an ordinal $\alpha$ is minimal iff a bounded subset of $\alpha$ appears in $L_{n(\alpha)}\setminus L_\alpha$. [Note that $\alpha_0$ is minimal (indeed a new subset of $\omega$ appears as soon as possible, namely, in a $\Sigma_1$-definable manner over $L_{\alpha_0+1}$) and an ordinal $\alpha$ is non-minimal iff $L_{n(\alpha)}$ satisfies that $\alpha$ is a cardinal.] Friedman showed that for all $\alpha$ which are non-minimal, $\mathrm{VEL}$ is the only sentence that is $\beta$-categorical at $\alpha$. The question of whether this is also true for $\alpha$ which are minimal has remained open.

In this talk I will describe some joint work with Hugh Woodin that bears on this question. In general, when approaching a "lightface" question (such as the one under consideration) it is easier to first address the "boldface" analogue of the question by shifting from the context of $L$ to the context of $L[x]$, where $x$ is a real. In this new setting everything is relativized to the real $x$: For an ordinal $\alpha$, we let $n_x(\alpha)$ be the first $x$-admissible ordinal above $\alpha$, and we say that $\alpha$ is $x$-minimal iff a bounded subset of $\alpha$ appears in $L_{n_x(\alpha)}[x]\setminus L_{\alpha}[x]$.

Theorem. Assume $M_1^\#$ exists and is fully iterable. There is a sentence $\phi$ in the language of set theory with two additional constants, \r{c} and \r{d}, such that for a Turing cone of $x$, interpreting \r{c} by $x$, for all $a$

1. if $L_\alpha[x]\vDash\mathrm{ZFC}$ then there is an interpretation of \r{d}  by something in $L_\alpha[x]$ such that there is a $\beta$-model of $\mathrm{ZFC}+\phi$ of height $\alpha$ and not equal to $L_\alpha[x]$, and
2. if, in addition, $\alpha$ is $x$-minimal, then there is a unique $\beta$-model of $\mathrm{ZFC}+\phi$ of height $\alpha$ and not equal to $L_\alpha[x]$.

The sentence $\phi$ asserts the existence of an object which is external to $L_\alpha[x]$ and which, in the case where $\alpha$ is minimal, is canonical. The object is a branch $b$ through a certain tree in $L_\alpha[x]$, and the construction uses techniques from the HOD analysis of models of determinacy.

In this talk I will sketch the proof, describe some additional features of the singleton, and say a few words about why the lightface version looks difficult.

Conventional computational methods often create a dilemma for fluid-structure interaction problems. Typically, solids are simulated using a Lagrangian approach with grid that moves with the material, whereas fluids are simulated using an Eulerian approach with a fixed spatial grid, requiring some type of interfacial coupling between the two different perspectives. Here, a fully Eulerian method for simulating structures immersed in a fluid will be presented. By introducing a reference map variable to model finite-deformation constitutive relations in the structures on the same grid as the fluid, the interfacial coupling problem is highly simplified. The method is particularly well suited for simulating soft, highly-deformable materials and many-body contact problems, and several examples will be presented.

This is joint work with Ken Kamrin (MIT).

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 contact @email.

We propose Swampland constraints on consistent 5d N=1 supergravity theories. In particular, we focus on a special class of BPS monopole strings which arise only in gravitational theories. The central charges and the levels of current algebras of 2d CFTs on these strings can be computed using the anomaly inflow mechanism and provide constraints for the 5d supergravity using unitarity of the worldsheet CFT. In M-theory, where these theories can be realised by compactification on Calabi-Yau threefolds, the special monopole strings arise from M5 branes wrapping “semi-ample” 4-cycles in the threefolds. We further identify necessary geometric conditions that such cycles need to satisfy and translate them into constraints for the low-energy gravity theory.