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!

Motivated by the recent work of Wu and Yau on the ampleness of canonical line bundle for compact K\"ahler manifolds with negative holomorphic sectional curvature, we introduce a new curvature notion called {\em real bisectional curvature} for Hermitian manifolds. When the metric is K\"ahler, this is just the holomorphic sectional curvature $H$, and when the metric is non-K\"ahler, it is slightly stronger than $H$. We classify compact Hermitian manifolds with constant non-zero real bisectional curvature, and also slightly extend Wu-Yau's theorem to the Hermitian case. The underlying reason for the extension is that the Schwarz lemma of Wu-Yau works the same when the target metric is only Hermitian but has nonpositive real bisectional curvature.

In this paper, we first establish an $L^2$-type Dolbeault isomorphism for logarithmic differential forms by H\"{o}rmander's $L^2$-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new %Akizuki-Kodaira-Nakano type vanishing theorems for sheaves of logarithmic differential forms on compact K\"ahler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsu's vanishing theorem, Gibrau's vanishing theorem, Le Potier's vanishing theorem and a version of the Kawamata-Viehweg vanishing theorem.

No abstract uploaded!