Related papers: Cartier modules and cyclotomic spectra
From a bimodule $M$ over an exact category $C$, we define an exact category $C\ltimes M$ with a projection down to $C$. This construction classifies certain split square zero extensions of exact categories. We show that the trace map…
We construct new stable vector bundles on Hilbert schemes of points on algebraic surfaces, which are parametrised by connected components of their moduli spaces. This work generalises aspects of our previous work on tautological bundles and…
In local relative $p$-adic Hodge theory, we show that the Galois cohomology of a finite height crystalline representation (up to a twist) is essentially computed via the (Fontaine--Messing) syntomic complex with coefficients in the…
For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…
For an abeloid variety $A$ over a complete algebraically closed field extension $K$ of $\mathbb Q_p$, we construct a $p$-adic Corlette-Simpson correspondence, namely an equivalence between finite-dimensional continuous $K$-linear…
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…
Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is…
In [5], the notion of polynomial cocycles is used to give an expression for the second cohomology of T-groups with coefficients in a torsion-free nilpotent module. We make this expression concrete in the case of a T-group G of nilpotency…
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…
Our main purpose is to describe the category of isotropic cellular spectra over flexible fields. Guided by [6], we show that it is equivalent, as a stable $\infty$-category equipped with a $t$-structure, to the derived category of left…
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…
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…
Let p be an odd prime. We consider the cyclotomic extension T := Z_(p)[zeta_{p^2}] of S := Z_(p), with galois group G := (Z/p^2)^*. Since this extension is wildly ramified, the SG-module T is not projective. We calculate its cohomology ring…
We study the category $DM(S)$ of Beilinson motives (as described by Cisinski and Deglise) over a more or less general base scheme $S$, and establish several nice properties for a version $t_{hom}(S)$ of the perverse homotopy $t$-structure…
In this paper, we classify certain subcategories of modules over a ring R. A wide subcategory of R-modules is an Abelian subcategory of R-Mod that is closed under extensions. We give a complete classification of wide subcategories of…
We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism…
We introduce the Picard group of corings. We extend the well-known exact sequence from algebras and coalgebras over fields to corings. We extend the Aut-Pic property to corings and we give some new examples of corings having this property.…
We study possible real structures in the space of solutions to the quantum differential equation. We show that, under mild conditions, a real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large…
We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module…
Given a torsion pair $\mathbf{t} = (\mathcal{T} ;\mathcal{F})$ in a module category $R$-Mod we give necessary and sufficient conditions for the associated Happel-Reiten-Smal\o $\text{ }$ t-structure in $\mathcal{D}(R)$ to have a heart…