Related papers: Relative perfect complexes

We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks,…

We study three graph complexes related to the higher genus Grothendieck-Teichm\"uller Lie algebra and diffeomorphism groups of manifolds. We show how the cohomology of these graph complexes is related, and we compute the cohomology as the…

By analogy with the classical (Chasles-Schubert-Semple-Tyrell) spaces of complete quadrics and complete collineations, we introduce the variety of complete complexes. Its points can be seen as equivalence classes of spectral sequences of a…

We investigate the similarities between adic finiteness and homological finiteness for chain complexes over a commutative noetherian ring. In particular, we extend the isomorphism properties of certain natural morphisms from homologically…

Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural…

We study the category of Sp-equivariant modules over the infinite variable polynomial ring, where Sp denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.

We compare and contrast various relative cohomology theories that arise from resolutions involving semidualizing modules. We prove a general balance result for relative cohomology over a Cohen-Macaulay ring with a dualizing module, and we…

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…

We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of…

We consider the long-standing question of whether every regular LB-space is complete. This problem has been open since the 1950s and originates in Grothendieck's early work in functional analysis. Rather than seeking a direct proof or…

We study a special type of almost complex structures, called pure and full and introduced by T.J. Li and W. Zhang, in relation to symplectic structures and Hard Lefschetz condition. We provide sufficient conditions to the existence of the…

We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…

We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow…

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we…

We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical Ext-computations as well as new results. In particular,…

We study the deformation complex of a canonical morphism $i$ from the properad of (degree shifted) Lie bialgebras $\mathbf{Lieb}_{c,d}$ to its polydifferential version $\mathcal{D}(\mathbf{Lieb}_{c,d})$ and show that it is quasi-isomorphic…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…