Related papers: Modules over the de Rham cohomology spectrum

Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

We introduce all six operations for D-cap-modules on smooth rigid analytic spaces by considering the derived category of complete bornological D-cap-modules. We then focus on a full subcategory which should be thought of as consisting of…

We study relative and logarithmic characteristic cycles associated to holonomic $\mathscr D$-modules. As applications, we obtain: (1) an alternative proof of Ginsburg's log characteristic cycle formula for lattices of regular holonomic…

These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…

Let X be an algebraic curve. We study the problem of parametrizing geometric data over X, which is only generically defined. E.g., parametrizing generically defined (aka rational) maps from X to a fixed target scheme Y. There are three…

Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…

Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…

Let $\mathcal{C}$ be a small category and let $R$ be a dg-representation of the category $\mathcal{C}$, that is, a pseudofunctor from a small category to the category of small dg $k$-categories, where $k$ is a commutative unital ring. In…

For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of…

Let k be an algebraically closed field of characteristic zero. Let SH(k) denote the motivic stable homotopy category of T-spectra over k and SH the classical stable homotopy category. Let c:SH -> SH(k) be the functor induced by sending a…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge…

The existence of a model structure on the category $\mathcal{D}$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $\mathcal{D}$ whose weak…

Let k be a field and denote by SH(k) the motivic stable homotopy category. Recall its full subcategory HI_0(k) of effective homotopy modules. Write NAlg(HI_0(k)) for the category of normed motivic spectra with underlying spectrum an…

We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham…

We establish a foundational homotopical framework for ternary $\Gamma$-modules by establishing that $\mathcal{T}\text{-Mod}$ is a Barr-exact, monoidal closed category. We resolve the long-standing "additivity obstruction" in non-binary…

Let F be a field of characteristic different than 2. We establish surjectivity of Balmer's comparison map rho^* from the tensor triangular spectrum of the homotopy category of compact motivic spectra to the homogeneous Zariski spectrum of…

The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…