We prove the representability theorem in derived analytic geometry. The theorem as- serts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived nonarchimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and prac- tical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theo- rem enables us to enhance various classical moduli spaces with derived structures, thus providing plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.

No abstract uploaded!

In this paper, based on an idea of Tian we establish a new sufficient condition for a positive integer n to be a congruent number in terms of the Legendre symbols for the prime factors of n. Our criterion generalizes previous results of Heegner, Birch–Stephens, Monsky, and Tian, and conjecturally provides a list of positive density of congruent numbers. Our method of proving the criterion is to give formulae for the analytic Tate–Shafarevich number $\mathcal{L}(n)$ in terms of the so-called genus periods and genus points. These formulae are derived from the Waldspurger formula and the generalized Gross–Zagier formula of Yuan–Zhang–Zhang.

Given an SO(3)-bundle with connection, the associated twosphere bundle carries a natural closed 2-form. Asking that this be symplectic gives a curvature inequality first considered by Reznikov [34]. We study this inequality in the case when the base has dimension four, with three main aims. Firstly, we use this approach to construct symplectic six-manifolds with c1 = 0 which are never K¨ahler; e.g., we produce such manifolds with b1 = 0 = b3 and also with c2 · [ω] < 0, answering questions posed by Smith–Thomas–Yau [37]. Examples come from Riemannian geometry, via the Levi–Civita connection on +. The underlying six-manifold is then the twistor space and often the symplectic structure tames the Eells–Salamon twistor almost complex structure. Our second aim is to exploit this to deduce new results about minimal surfaces: if a certain curvature inequality holds, it follows that the space of minimal surfaces (with fixed topological invariants) is compactifiable; the minimal surfaces must also satisfy an adjunction inequality, unifying and generalising results of Chen–Tian [6]. One metric satisfying the curvature inequality is hyperbolic four-space H4. Our final aim is to show that the corresponding symplectic manifold is symplectomorphic to the small resolution of the conifold xw −yz = 0 in C4. We explain how this fits into a hyperbolic description of the conifold transition, with isometries of H4 acting symplectomorphically on the resolution and isometries of H3 acting biholomorphically on the smoothing.

We develop an alternative formulation of conservative finite difference weighted essentially non-oscillatory (WENO) schemes to solve conservation laws. In this formulation, the WENO interpolation of the solution and its derivatives are used to directly construct the numerical flux, instead of the usual practice of reconstructing the flux functions. Even though this formulation is more expensive than the standard formulation, it does have several advantages. The first advantage is that arbitrary monotone fluxes can be used in this framework, while the traditional practice of reconstructing flux functions can be applied only to smooth flux splitting. The second advantage, which is fully explored in this paper, is that a narrower effective stencil is used compared with previous high order finite difference WENO schemes based on the reconstruction of flux functions, with a Lax-Wendroff time discretization. We will describe the scheme formulation and present numerical tests for one- and two-dimensional scalar and system conservation laws demonstrating the designed high order accuracy and non-oscillatory performance of the schemes constructed in this paper.