In connection with the recent proposal for possible singularity formation at the boundary for solutions of three-dimensional axisymmetric incompressible Euler’s equations (Luo and Hou, Proc. Natl. Acad. Sci. USA (2014)), we study models for the dynamics at the boundary and show that they exhibit a finite-time blowup from smooth data.

Whether the three-dimensional incompressible Euler equations can develop a singularity in finite time from smooth initial data is one of the most challenging problems in mathematical fluid dynamics. This work attempts to provide an affirmative answer to this long-standing open question from a numerical point of view by presenting a class of potentially singular solutions to the Euler equations computed in axisymmetric geometries. The solutions satisfy a periodic boundary condition along the axial direction and a no-flow boundary condition on the solid wall. The equations are discretized in space using a hybrid 6th-order Galerkin and 6th-order finite difference method on specially designed adaptive (moving) meshes that are dynamically adjusted to the evolving solutions. With a maximum effective resolution of over $(3 × 10^{12})^2$ near the point of the singularity, we are able to advance the solution up to $\tau_2 = 0.003505$ and predict a singularity time of $t_s ≈ 0.0035056$, while achieving a pointwise relative error of $O(10^{−4})$ in the vorticity vector ω and observing a $(3 × 10^8)$-fold increase in the maximum vorticity $\|ω\|_{\infty}$. The numerical data are checked against all major blowup/non-blowup criteria, including Beale–Kato–Majda, Constantin–Fefferman–Majda, and Deng–Hou–Yu, to confirm the validity of the singularity. A local analysis near the point of the singularity also suggests the existence of a self-similar blowup in the meridian plane.

We study the spectral geometric properties of the scalar Laplace–Beltrami operator associated to the Weil–Petersson metric $g_{WP}$ on $\mathcal{M}_{\gamma}$ , the Riemann moduli space of surfaces of genus  $\gamma>1$. This space has a singular compactification with respect to $g_{WP}$, and this metric has crossing cusp-edge singularities along a finite collection of simple normal crossing divisors. We prove first that the scalar Laplacian is essentially self-adjoint, which then implies that its spectrum is discrete.

In this paper, we prove the mirror symmetry conjecture between the Saito–Givental theory of exceptional unimodular singularities on the Landau–Ginzburg B-side and the Fan–Jarvis– Ruan–Witten theory of their mirror partners on the Landau–Ginzburg A-side. On the B-side, we develop a perturbative method to compute the genus-0 correlation functions associated to the primitive forms. This is applied to the exceptional unimodular singularities, and we show that the numerical invariants match the orbifold-Grothendieck–Riemann–Roch and WDVV calculations in FJRW theory on the A-side. The coincidence of the full data at all genera is established by reconstruction techniques. Our result establishes the first examples of LG-LG mirror symmetry for weighted homogeneous polynomials of central charge greater than one (i.e. which contain negative degree deformation parameters).

We study special cycles on integral models of Shimura varieties associated with unitary similitude groups of signature (n.1, 1).We construct an arithmetic theta lift from harmonic Maass forms of weight 2 . n to the arithmetic Chow group of the integral model of a unitary Shimura variety, by associating to a harmonic Maass form f a linear combination of Kudla– Rapoport divisors, equipped with the Green function given by the regularized theta lift of f . Our main result is an equality of two complex numbers: (1) the height pairing of the arithmetic theta lift of f against a CM cycle, and (2) the central derivative of the convolution L-function of a weight n cusp form (depending on f ) and the theta function of a positive definite hermitian lattice of rank n − 1. When specialized to the case n = 2, this result can be viewed as a variant of the Gross–Zagier formula for Shimura curves associated to unitary groups of signature (1, 1). The proof relies on, among other things, a new method for computing improper arithmetic intersections.