Related papers: Derived $\mathcal{O}_k$-adic geometry and derived …

We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-K\"ahler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived…

Let $A$ be an affinoid integral domain over a non-Archimedean field $K$, and let $L$ be its field of fractions. We prove that the normalization of $A$ can be reconstructed from $L$ by taking the intersection of all maximal discrete…

We prove $p$-adic versions of a classical result in arithmetic geometry stating that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of…

Motivated by the problem of transverse deformation quantization of foliated manifolds, we describe a quantization of Dirac structures (more precisely, of those that are formal deformations of regular ones) to stacks of algebroids in the…

Given a regular function $\phi$ on a smooth stack, and a $(-1)$-shifted Lagrangian $M$ on the derived critical locus of $\phi$, under fairly general hypotheses, we construct a pullback map from the Grothendieck group of coherent matrix…

Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, L\"utkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid…

We prove a general irreducibility result for geometrically induced coadmissible equivariant $\mathcal{D}$-modules on rigid analytic spaces. As an application, we geometrically reprove the irreducibility of certain locally analytic…

In this paper we study dually flat spaces arising from Delzant polytopes equipped with a symplectic potential together with their corresponding toric K\"ahler manifolds as their torifications.We introduce a dually flat structure and the…

In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical K\"unneth formula. Motivated to extend their results to…

We prove that for an odd prime $p$, the derived category $\mathcal{D}(KU_{(p)})$ of the $p$-local complex periodic $K$-theory spectrum $KU_{(p)}$ is triangulated equivalent to the derived category of its homotopy ring $\pi_*KU_{(p)}$. This…

In this paper, we provide an upgrade of Deligne's geometric class field theory for tamely ramified Galois groups using logarithmic geometry. In particular, we define a framed logarithmic Picard space, and show that a logarithmic…

Based on the methods used by the author to prove the Riemann-Roch formula for algebraic stacks, this paper contains a description of the rationnal G-theory of Deligne-Mumford stacks over general bases. We will use these results to study…

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…

We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…

In this paper, we formally define the concept of shifted contact structures on derived (Artin) stacks and study their local properties in the context of derived algebraic geometry. In this regard, for negatively shifted contact derived…

We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.

Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…

We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…

We continue the explorations of derived \canal geometry started in [DAG-IX] and in http://arxiv.org/abs/1506.09042. We describe the category of $\mathcal O_X$-modules over a derived complex analytic space $X$ as the stabilization of a…