Related papers: Duality and flat base change on formal schemes

We prove a generalisation of the Grothendieck-Riemann-Roch theorem, which is valid for any proper and flat morphism between noetherian and separated schemes of odd characteristic.

We observe, utilize dualities in differential equations and differential inequalities, dualities between comparison theorems in differential equations, and obtain dualities in "swapping" comparison theorems in differential equations. These…

Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…

Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

Here we study the problem of generalizing one of the main tools of Groebner basis theory, namely the flat deformation to the leading term ideal, to the border basis setting. After showing that the straightforward approach based on the…

We establish $({\mathfrak{gl}}_M, {\mathfrak{gl}}_N)$-dualities between quantum Gaudin models with irregular singularities. Specifically, for any $M, N \in {\mathbb Z}_{\geq 1}$ we consider two Gaudin models: the one associated with the Lie…

This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical…

We show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. In particular, via Nagata's compactification…

We formulate and prove Serre's equivalence for $\mathbb{Z}$-graded rings. When restricted to the usual case of $\mathbb{N}$-graded rings, our version of Serre's equivalence also sharpens the usual one by replacing the condition that $A$ be…

We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…

An equivariant version of the twisted inverse pseudofunctor is defined, and equivariant versions of some important properties, including the Grothendieck duality of proper morphisms and flat base change are proved. As an application, a…

Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…

Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…

We generalize our previous lattice construction of the abelian bosonization duality in $2+1$ dimensions to the entire web of dualities as well as the $N_f=2$ self-duality, via the lattice implementation of a set of modular transformations…

Let $X \overset{f}\longrightarrow S$ be a morphism of Noetherian schemes, with $S$ reduced. For any closed subscheme $Z$ of $X$ finite over $S$, let $j$ denote the open immersion $X\setminus Z \hookrightarrow X$. Koll\'ar asked whether for…

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 prove that a certain bilinear pairing (analagous to the Poincare-Lefschetz intersection pairing) between filtered sub- and quotient complexes of a Floer-type chain complex and of its "opposite complex" is always nondegenerate on…

We introduce a class of induced representations of the degenerate double affine Hecke algebra of gl_N and analyze their structure mainly by means of intertwiners. We also construct them from modules of the affine Lie algebra using…

Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian…