We propose a derived version of non-archimedean analytic geometry. Intuitively, a derived non-archimedean analytic space consists of an ordinary non-archimedean analytic space equipped with a sheaf of derived rings. Such a naive definition turns out to be insufficient. In this paper, we resort to the theory of pregeometries and structured topoi introduced by Jacob Lurie. We prove the following three fundamental properties of derived non-archimedean analytic spaces: (1) The category of ordinary non-archimedean analytic spaces embeds fully faithfully into the ∞-category of derived non-archimedean analytic spaces. (2) The ∞-category of derived non-archimedean analytic spaces admits fiber products. (3) The ∞-category of higher non-archimedean analytic Deligne-Mumford stacks embeds fully faithfully into the ∞-category of derived non-archimedean analytic spaces. The essential image of this embedding is spanned by n-localic discrete derived non-archimedean analytic spaces. We will further develop the theory of derived non-archimedean analytic geometry in our subsequent works. Our motivations mainly come from intersection theory, enumerative geometry and mirror symmetry.

No abstract uploaded!

A solution to a Dirichlet problem for the complex Monge-Ampère operator is characterized as a minimizer of an energy functional. A mutual energy estimate and a generalization of Hölder's inequality is proved. A comparison is made with corresponding results in classical potential theory.

We will introduce a quantity which measures the singularity of a plurisubharmonic function$φ$relative to another plurisubharmonic function$ψ$, at a point$a$. We denote this quantity by$ν$_{$a$,$ψ$}($φ$). It can be seen as a generalization of the classical Lelong number in a natural way: if$ψ$=($n$−1)log| ⋅ −$a$|, where$n$is the dimension of the set where$φ$is defined, then$ν$_{$a$,$ψ$}($φ$) coincides with the classical Lelong number of$φ$at the point$a$. The main theorem of this article says that the upper level sets of our generalized Lelong number, i.e. the sets of the form {$z$:$ν$_{$z$,$ψ$}($φ$)≥$c$} where$c$>0, are in fact analytic sets, provided that the$weight$$ψ$satisfies some additional conditions.

Recently, Tsai-Tseng-Yau constructed new invariants of symplectic manifolds: a sequence of A-infinity algebras built of differential forms on the symplectic manifold. We show that these symplectic A-infinity algebras have a simple topological interpretation. Namely, when the cohomology class of the symplectic form is integral, these A-infinity algebras are equivalent to the standard de Rham differential graded algebra on certain odd dimensional sphere bundles over the symplectic manifold. From this equivalence, we deduce for a closed symplectic manifold that Tsai-Tseng-Yau's symplectic A-infinity algebras satisfy the Calabi-Yau property, and importantly, that they can be used to define an intersection theory for coisotropic/isotropic chains. We further demonstrate that these symplectic A-infinity algebras satisfy several functorial properties and lay the groundwork for addressing Weinstein functoriality and invariance in the smooth category.