A Calabi–Yau threefold is called of type K if it admits an ´etale Galois covering by the product of a K3 surface and an elliptic curve. In our previous paper [16], based on Oguiso–Sakurai’s fundamental work [24], we have provided the full classification of Calabi–Yau threefolds of type K and have studied some basic properties thereof. In the present paper, we continue the study, investigating them from the viewpoint of mirror symmetry. It is shown that mirror symmetry relies on duality of certain sublattices in the second cohomology of the K3 surface appearing in the minimal splitting covering. The duality may be thought of as a version of the lattice duality of the anti-symplectic involution on K3 surfaces discovered by Nikulin [23]. Based on the duality, we obtain several results parallel to what is known for Borcea–Voisin threefolds. Along the way, we also investigate the Brauer groups of Calabi–Yau threefolds of type K.

Recently, a number of new Ward identities for large gauge transformations and large diffeomorphisms have been discovered. Some of the identities are reinterpretations of previously known statements, while some appear to be genuinely new. We use Noether’s second theorem with the path integral as a powerful way of generating these kinds of Ward identities. We reintroduce Noether’s second theorem and discuss how to work with the physical remnant of gauge symmetry in gauge fixed systems. We illustrate our mechanism in Maxwell theory, Yang–Mills theory, p-form field theory, and Einstein–Hilbert gravity. We comment on multiple connections between Noether’s second theorem and known results in the recent literature. Our approach suggests a novel point of view with important physical consequences.

A fourth-order finite difference method is proposed and studied for the primitive equations (PEs) of large-scale atmospheric and oceanic flow based on mean vorticity formulation. Since the vertical average of the horizontal velocity field is divergence-free, we can introduce mean vorticity and mean stream function which are connected by a 2-D Poisson equation. As a result, the PEs can be reformulated such that the prognostic equation for the horizontal velocity is replaced by evolutionary equa-tions for the mean vorticity field and the vertical derivative of the horizontal velocity. The mean vorticity equation is approximated by a compact difference scheme due to the difficulty of the mean vorticity boundary condition, while fourth-order long-stencil approximations are utilized to deal with transport type equations for computational convenience. The numerical values for the total velocity field (both horizontal and vertical) are statically determined by a discrete realization of a differential equation at each fixed horizontal point. The method is highly efficient and is capable of produc-ing highly resolved solutions at a reasonable computational cost. The full fourth-order accuracy is checked by an example of the reformulated PEs with force terms. Addi-tionally, numerical results of a large-scale oceanic circulation are presented.

In this paper we show by example that there is no uniform estimate for the L p-Minkowski problem. As a result we obtain the nonuniqueness of solutions to the problem.

In this paper, we prove the global rigidity of sphere packings on 3-dimensional manifolds. This is a 3-dimensional analogue of the rigidity theorem of Andreev-Thurston and was conjectured by Cooper and Rivin. We also prove a global rigidity result using a combinatorial scalar curvature introduced by Ge and the author.