Related papers: The Squaring Operation for Commutative DG Rings
For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…
The purpose of this paper is to develop a new theory of gauges in mixed characteristic. Namely, let $k$ be a perfect field of characteristic $p>0$ and $W(k)$ the $p$-typical Witt vectors. Making use of Berthelot's arithmetic differential…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…
Let G be a simple complex algebraic group and let K be a reductive subgroup of G such that the coordinate ring of G/K is a multiplicity free G-module. We consider the G-algebra structure of C[G/K], and study the decomposition into…
We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite…
Let $\operatorname{CDG}_{cont}$ be the category whose objects are pairs $(A,\bar{\mathfrak{a}})$, where $A$ is a commutative DG-algebra and $\bar{\mathfrak{a}}\subseteq \mathrm{H}^0(A)$ is a finitely generated ideal, and whose morphisms…
We introduce new concepts in order to develop a general formalism for twisted differential operators in several variables. We investigate the notion of twisted coordinates on Huber rings that allows us to build various rings of twisted…
Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…
Let S be a commutative ring, x, y $\in$ S a pair of exact zero divisors, and R = S/(x). Let F be a complex of free R-modules. In this paper we explicitly compute cohomological operators of R over S by constructing endomorphisms of F. We…
We introduce a new formalism of differential operators for a general associative algebra A. It replaces Grothendieck's notion of differential operator on a commutative algebra in such a way that derivations of the commutative algebra are…
In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain…
In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the…
Given a commutative ring with identity $R$, many different and interesting operations can be defined over the set $H_R$ of sequences of elements in $R$. These operations can also give $H_R$ the structure of a ring. We study some of these…
We consider the abelian group $PT$ generated by quasi-equivalence classes of pretriangulated DG categories with relations coming from semi-orthogonal decompositions of corresponding triangulated categories. We introduce an operation of…
A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…
In the derived category of a commutative noetherian ring, we explicitly construct a silting object associated with each sp-filtration of the Zariski spectrum satisfying the "slice" condition. Our new construction is based on local…
We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…
Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. In this paper we introduce the notion of enveloping algebra of Hasse--Schmidt derivations of $A$ over $k$ and we prove that, under suitable smoothness hypotheses, the…
Given commutative, unital rings $A$ and $B$ with a ring homomorphism $A\to B$ making $B$ free of finite rank as an $A$-module, we can ask for a "trace" or "norm" homomorphism taking algebraic data over $B$ to algebraic data over $A$. In…
For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…