We make the elementary observation that the Lagrangian submanifolds of$C$^{$n$},$n$≥3, constructed by Ekholm, Eliashberg, Murphy and Smith are non-uniruled and, moreover, have infinite relative Gromov width. The construction of these submanifolds involve exact Lagrangian caps, which obviously are non-uniruled in themselves. This property is also used to show that if a Legendrian submanifold inside a contactisation admits an exact Lagrangian cap, then its Chekanov–Eliashberg algebra is acyclic.

Let S be a projective simply connected complex surface and  be a line bundle on S. We study the moduli space of stable compactly supported 2-dimensional sheaves on the total spaces of . The moduli space admits a ℂ∗-action induced by scaling the fibers of . We identify certain components of the fixed locus of the moduli space with the moduli space of torsion free sheaves and the nested Hilbert schemes on S. We define the localized Donaldson-Thomas invariants of  by virtual localization in the case that  twisted by the anti-canonical bundle of S admits a nonzero global section. When pg(S)>0, in combination with Mochizuki's formulas, we are able to express the localized DT invariants in terms of the invariants of the nested Hilbert schemes defined by the authors in [GSY17a], the Seiberg-Witten invariants of S, and the integrals over the products of Hilbert schemes of points on S. When  is the canonical bundle of S, the Vafa-Witten invariants defined recently by Tanaka-Thomas, can be extracted from these localized DT invariants. VW invariants are expected to have modular properties as predicted by S-duality.

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole,and denoted sysπ1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3bound sysπ1(XPCH) ≥ 43 log(g(XPCH)). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.

Peskin's Immersed Boundary (IB) method is one of the most popular numerical methods for many years and has been applied to problems in mathematical biology, fluid mechanics, material sciences, and many other areas. Peskiness IB method is associated with discrete delta functions. It is believed that the IB method is first order accurate in the $L^{\infty}$ norm. But almost no rigorous proof could be found in the literature until recently [Mori, Comm. Pure. Appl. Math: 61:2008] in which the author showed that the velocity is indeed first order accurate for the Stokes equations with a periodic boundary condition. In this paper, we show first order convergence with a $\log h$ factor of the IB method for elliptic interface problems with Dirichlet boundary conditions.

The nth power of the volume functional Vnof polytopes P in R^n, according to dimensions of the spaces spanned by any nunit outer normal vectors of P, is decomposed into nhomogeneous polynomials of degree n. A set of new sharp affine isoperimetric inequalities for these volume decomposition functionals in R^3 are established, which essentially characterize the geometric and algebraic structures of polytopes.