Related papers: Relative perfect complexes

We use quantum and Floer homology to construct (partial) quasi-morphisms on the universal cover of the group of compactly supported Hamiltonian diffeomorphisms for a certain class of non-closed strongly semi-positive symplectic manifolds…

For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…

We develop a theory of perfect algebraic stacks that extend our theory of perfect algebraic spaces in arXiv:2303.07672, arXiv:2303.08502 to the setting of algebraic stacks. We prove several desired properties of perfect algebraic stacks.…

The aim of this book is to show that the use of f-analytic families of finite type cycles (cycles having finitely many irreducible components, but not compact in general) in a given complex space may be useful in complex geometry, despite…

We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes…

Over a complete Noetherian local domain of mixed characteristic with perfect residue field, we construct a perfectoid ring which is similar to an explicit representation of a perfect closure in positive characteristic. Then we demonstrate…

We revisit an old assertion due to Rouquier, characterizing the perfect complexes as bounded homological functors on the bounded complexes of coherent sheaves. The new results vastly generalize the old statement---first of all the ground…

We extend to singular schemes with Gorenstein singularities or fibered in schemes of that kind Bondal and Orlov's criterion for an integral functor to be fully faithful. We also contemplate a criterion for equivalence. We offer a proof that…

The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…

The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…

We complete and precise the results of [B.13] and we prove a strong version of the semi-proper direct image theorem with values in the space C f n (M) of finite type closed n--cycles in a complex space M. We describe the strongly…

We develop an explicit covering theory for complexes of groups, parallel to that developed for graphs of groups by Bass. Given a covering of developable complexes of groups, we construct the induced monomorphism of fundamental groups and…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

It is proven that the identity component of the group preserving the leaves of a generalized foliation is perfect. This shows that a well-known simplicity theorem on the diffeomorphism group extends to the nontransitive case.

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…

Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which…

We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant…

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…

Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…