Related papers: Derived Witt-D\'evissage Formalism
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 describe the constructible derived category of sheaves on the $n$-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial…
We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.
In this paper we develop the obstruction theory for lifting complexes, up to quasi-isomorphism, to derived categories of flat nilpotent deformations of abelian categories. As a particular case we also obtain the corresponding obstruction…
Non notherian Formal schemes of perfectoid type (for example $\mathbb{Z}_p[p^{1/p^\infty}]\langle X^{1/p^\infty} \rangle$ along with its multivariate version) with rational degree are constructed and are shown to be admissible. These formal…
This papers is concerned with multisymplectic formalisms which are the frameworks for Hamiltonian theories for fields theory. Our main purpose is to study the observable $(n-1)$-forms which allows one to construct observable functionals on…
In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential…
In this paper, we introduce an algebro-geometric formulation for Faltings' theorem on diophantine approximation on abelian varieties using an improvement of Faltings-Wustholz observation over number fields. In fact, we prove that, for any…
We develop some foundations for the theory of formal derived algebraic geometry, which parallel the theory of formal spectral algebraic geometry by Jacob Lurie. For this, we establish a close connection between algebro-geometric objects in…
In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition…
This paper is a sequel to "t-structures and twisted complexes on derived injectives" by the same authors. We develop the foundations of the infinitesimal derived deformation theory of pretriangulated dg-categories endowed with t-structures.…
We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…
It is shown how to extend the formal variational calculus in order to incorporate integrals of divergences into it. Such a generalization permits to study nontrivial boundary problems in field theory on the base of canonical formalism.
We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…
A broad set of sufficient conditions consisting of systems of linear partial differential equations is presented which guarantees that the Wronskian determinant solves the Korteweg-de Vries equation in the bilinear form. A systematical…
We introduce perfect resolving algebras and study their fundamental properties. These algebras are basic for our theory of differential graded schemes, as they give rise to affine differential graded schemes. We also introduce etale…
We set up the geometric background necessary to extend rigid cohomology from the case of algebraic varieties to the case of general locally noetherian formal schemes. In particular, we generalize Berthelot's strong fibration theorem to adic…
We propose a novel approach to tackle integrability problem for evolutionary differential-difference equations (D$\Delta$Es) on free associative algebras, also referred to as nonabelian D$\Delta$Es. This approach enables us to derive…
We introduce a discrete scheme for second order fully nonlinear parabolic PDEs with Caputo's time fractional derivatives. We prove the convergence of the scheme in the framework of the theory of viscosity solutions. The discrete scheme can…
A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…