Related papers: From HAG to DAG: derived moduli spaces
In this article we will introduce, among others, the variety of subcomplexes and the variety of maps between complexes of given rank. Also, varieties of $\mathfrak{g}$-structure like $\mathfrak{g}$-Grassmannian, $\mathfrak{g}$-determinantal…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
In 2006, Kenyon and Okounkov computed the moduli space of Harnack curves of degree $d$ in $\mathbb{C}\mathbb{P}^2$. We generalize to any projective toric surface some of the techniques used there. More precisely, we show that the moduli…
We study the relationship between derived categories of factorizations on gauged Landau-Ginzburg models related by variations of the linearization in Geometric Invariant Theory. Under assumptions on the variation, we show the derived…
Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…
A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…
In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is…
We give a geometric perspective on the algebra of Drinfeld modular forms for congruence subgroups $\Gamma\leq \GL_2(\bbF_q[T]).$ In particular, we describe an isomorphism between the section ring of a line bundle on the stacky modular curve…
Let $X$ be a compact manifold, $D$ a real elliptic operator on $X$, $G$ a Lie group, $P\to X$ a principal $G$-bundle, and ${\mathcal B}_P$ the infinite-dimensional moduli space of all connections $\nabla_P$ on $P$ modulo gauge, as a…
We exhibit a relationship between motivic homotopy theory and spectral algebraic geometry, based on the motivic $\tau$-deformation picture of Gheorghe, Isaksen, Wang, Xu. More precisely, we identify cellular motivic spectra over $\mathbf C$…
Using the theory infinity-categories we construct derived (dg-)categories of regular, holonomic D-modules and algebraically constructible sheaves on a complex smooth algebraic stack. We construct a natural infinity-categorical equivalence…
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra…
The purpose of these notes is to give an introduction to Deligne-Mumford stacks and their moduli spaces, with emphasis on the moduli problem for curves. The paper has 4 sections. In section 1 we discuss the general problem of constructing a…
We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks…
We develop a characterisation of non-Archimedean derived analytic geometry based on dg enhancements of dagger algebras. This allows us to formulate derived analytic moduli functors for many types of pro-\'etale sheaves, and to construct…
Many hypergeometric differential systems that arise from a geometric setting can be endowed with the structure of mixed Hodge modules. We generalize this fundamental result to the tautological systems associated to homogeneous spaces by…
This chapter lays out a framework for discussing (\ast)-structures on module-algebras over a Hopf (\ast)-algebra (H). We define a complex conjugation functor (V \mapsto \bar{V}), which is an involution on the module category (\hmod), and…
Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite…
This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…
The questions of global topological, smooth and holomorphic classifications of the differential systems, defined by covering foliations, are considered. The received results are applied to nonautonomous linear differential systems and…