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.

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov \cite{Kuz07HPD}, is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.

This paper studies affine Deligne-Lusztig varieties $X_{w}(b)$ in the affine flag variety of a quasi-split tamely ramified group. We describe the geometric structure of $X_{w}(b)$ for a minimal length element $w$ in the conjugacy class of an extended affine Weyl group, generalizing one of the main results in \cite{HL} to the affine case. We then provide a reduction method that relates the structure of $X_{w}(b)$ for arbitrary elements $w$ in the extended affine Weyl group to those associated with minimal length elements. Based on this reduction, we establish a connection between the dimension of affine Deligne-Lusztig varieties and the degree of the class polynomial of affine Hecke algebras. As a consequence, we prove a conjecture of G\"ortz, Haines, Kottwitz and Reuman in \cite{GHKR}.

No abstract uploaded!

In this note we establish some general finiteness results concerning lattices Γ in connected Lie groups$G$which possess certain “density” properties (see$Moskowitz$, M., On the density theorems of Borel and Furstenberg,$Ark. Mat.$$16$(1978), 11–27, and$Moskowitz$, M., Some results on automorphisms of bounded displacement and bounded cocycles,$Monatsh. Math.$$85$(1978), 323–336). For such groups we show that Γ always has finite index in its normalizer$N$_{$G$}(Γ). We then investigate analogous questions for the automorphism group Aut($G$) proving, under appropriate conditions, that Stab_{Aut($G$)}(Γ) is discrete. Finally we show, under appropriate conditions, that the subgroup $\tilde{\Gamma}=\{i_{\gamma}:\gamma \in \Gamma \},\ i_{\gamma}(x)=\gamma x\gamma^{-1}$ , of Aut($G$) has finite index in Stab_{Aut($G$)}(Γ). We test the limits of our results with various examples and counterexamples.