Related papers: Stability of holonomicity over quasi-projective va…
The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for…
Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…
We introduce the notion that two elements of Grothendieck groups of constructible sheaves on a separated scheme over an excellent henselian discrete valuation ring have the same wild ramification. We prove that this condition is preserved…
Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. We first classify semi-stable representations of $G_K$ by weakly admissible filtered…
We introduce in this note the notion of the category of twisted Chow-Witt correspondences $CHW(k)$ over a field $k$ of characteristic different from $2$. Moreover, we show that over an infinite perfect field this category $CHW(k)$ admits a…
We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…
We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield…
We prove that the monodromy of an irreducible cohomologically complex rigid local system with finite determinant and quasi-unipotent local monodromies at infinity on a smooth quasiprojective complex variety $X$ is integral. This answers…
Let $K$ be a field of characteristic zero, $R = K[X_1,\ldots,X_n]$. Let $A_n(K) = K<X_1,\ldots,X_n, \partial_1, \ldots, \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. We consider the case when $R$ and $A_n(K)$ is graded by giving $\deg…
For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…
We study the category of discrete modules over the ring of degree zero stable operations in p-local complex K-theory. We show that the p-local K-homology of any space or spectrum is such a module, and that this category is isomorphic to a…
We realize a graded variant $K_0(Var_k^{dim})$ of the Grothendieck ring of varieties as a quadratic extension of the subring $K_0(Var_k^{sp})$ spanned by classes of smooth and proper varieties. As such, there exists a natural involution…
In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii)…
We extend results of Colliot-Th\'el\`ene and Raskind on the $\mathcal{K}_2$-cohomology of smooth projective varieties over a separably closed field $k$ to the \'etale motivic cohomology of smooth, not necessarily projective, varieties over…
We define a Grothendieck ring of pairs of complex quasi-projective varieties (that is a variety and a subvariety). We describe $\lambda$-structures and a power structure on/over this ring. We show that the conjectual symmetric power of the…
We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…
We show that the cohomology of the perfect cone (also called first Voronoi) toroidal compactification of the moduli space of complex principally polarized abelian varieties stabilizes, in close to the top degree. Moreover, we show that this…
Grothendieck polynomials were introduced by Lascoux and Sch\"utzenberger, and they play an important role in K-theoretic Schubert calculus. In this paper, we give a new definition of double stable Grothendieck polynomials based on an…
We prove rigidity of various types of holomorphic parabolic geometry on smooth complex projective varieties.
We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…