Related papers: Arithmetic D-modules on locally noetherian formal …
In this article we establish some formalism of Derived Witt-D\'evissage theory for resolving subcategories of abelian categories. Results directly apply to noetherian schemes.
It is shown in a local strongly $F$-regular ring there exits natural number $e_0$ so that if $M$ is any finitely generated maximal Cohen-Macaulay module then the pushforward of $M$ under the $e_0$th iterate of the Frobenius endomorphism…
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic…
We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to B$ are identified with the Hilbert $B$-modules that are equipped with a natural notion of basis. The…
In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual…
We introduce a new category C, which we call the cluster category, obtained as a quotient of the bounded derived category D of the module category of a finite-dimensional hereditary algebra H over a field. We show that, in the simply-laced…
In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…
We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field…
The aim of this book is to show that the use of f-analytic families of finite type cycles (cycles having finitely many irreducible components, but not compact in general) in a given complex space may be useful in complex geometry, despite…
Given a natural number $m$ and a log smooth integral morphism $X\to S$ of fine log schemes of characteristic $p>0$ with a lifting of its Frobenius pull-back $X'\to S$ modulo $p^{2}$, we use indexed algebras ${\cal A}_{X}^{gp}$, ${\cal…
We study Fourier transforms of regular holonomic D-modules. In particular we show that their solution complexes are monodromic. An application to direct images of some irregular holonomic D-modules will be given. Moreover we give a new…
We prove a number of results on the \'etale cohomology of rigid analytic varieties over $p$-adic non-archimedean local fields. Among other things, we establish bounds for Frobenius eigenvalues, show a strong version of Grothendieck's local…
Let V be a variety of algebras of some type. An interest to describing automorphisms of the category C of finitely generated free V-algebras was inspired in connection with development of universal algebraic geometry founded by B. Plotkin.…
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…
We show that the arithmetic D-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic D-module by using the fact that such F-isocrystals come from…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We present a construction of autoequivalences of derived categories of symmetric algebras based on projective modules with periodic endomorphism algebras. This construction generalises autoequivalences previously constructed by…
We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…
We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract…
We introduce the notion of a holonomic D-module on a smooth (idealized) logarithmic scheme and show that Verdier duality can be extended to this context. In contrast to the classical case, the pushforward of a holonomic module along an open…