Related papers: Comodule categories and the geometry of the stack …

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…

We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We…

We compute the Balmer spectrum of the category of perfect complexes on an algebraic stack admitting a finite locally free cover by an affine scheme and identify it with the homogeneous spectrum of the cohomology ring.

The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the…

The results of the paper concern the topological structure of complete riemannian manifolds with cyclic holonomy groups and low-dimensional orientable complete flat manifolds. We also discuss related results such as the affine…

Using log-geometry, we construct a model for the configuration category of a smooth algebraic variety. As an application, we prove the formality of certain configuration spaces.

We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…

Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…

The main aim of this paper is the construction of a smooth (sometimes called differential) extension \hat{MU} of the cohomology theory complex cobordism MU, using cycles for \hat{MU}(M) which are essentially proper maps W\to M with a fixed…

We prove a result concerning formality of the pull-back of a fibration. Our approach is to use bar complexes in the category of commutative differential graded algebras. As an application, we generalize an old result of Baum and Smith.

In this paper we propose two guiding principles that suggest a number of conjectures (some now proved) about various forms of rigidity for moduli spaces arising in algebraic geometry. Such conjectures have group-theoretic, topological and…

We introduce the concept of comodule Hom-coalgebras and show that comodule Hom-coalgebras can be deformed from comodule coalgebras via endomorphisms.

In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a…

We define the Hochschild (co)homology of a ringed space relative to a locally free Lie algebroid. Our definitions mimic those of Swan and Caldararu for an algebraic variety. We show that our (co)homology groups can be computed using…

This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct…

We give a canonical description of the formal moduli space of a vector bundle on a variety; as an application, we prove the closedness of certain differential forms on moduli corresponding to the trace form on the endomorphism algebra of…

We exhibit an internal coproduct on the Hopf algebra of finite topologies recently defined by the second author, C. Malvenuto and F. Patras, dual to the composition of "quasi-ormoulds", which are the natural version of J. Ecalle's moulds in…

In this article we defined and studied quasi-finite comodules, the cohom functors for coalgebras over rings. linear functors between categories of comodules are also investigated and it is proved that good enough linear functors are nothing…

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case…