English
Related papers

Related papers: Relative perfect complexes

200 papers

We give a streamlined proof of a theorem of Foxby and Halvorsen. The theorem states that certain relative K-groups made from chain complexes with bounded (but arbitrarily long) length coincide with similar K-groups in which one sets an…

K-Theory and Homology · Mathematics 2012-12-11 Daniel Dugger

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…

Number Theory · Mathematics 2013-09-03 Frauke M. Bleher , Ted Chinburg

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Commutative Algebra · Mathematics 2025-05-29 Luca Pol , Jordan Williamson

This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…

Algebraic Geometry · Mathematics 2025-09-16 Uttaran Dutta , Pat Lank , Kabeer Manali Rahul

We show that the derived category of complexes with quasi-coherent cohomology on a regular Noetherian algebraic stack with quasi-finite diagonal is generated by a single perfect complex. In the concentrated case, the category is singly…

Algebraic Geometry · Mathematics 2026-03-25 Pat Lank

We prove that the derived categories of abelian categories have unique enhancements -- all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a…

Algebraic Geometry · Mathematics 2021-01-13 Alberto Canonaco , Amnon Neeman , Paolo Stellari

We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is…

Algebraic Geometry · Mathematics 2018-11-19 Rolf Källström

We introduce the concept of morphism of pseudogroups generalizing the \'etal\'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem…

Geometric Topology · Mathematics 2013-11-15 Jesús A. Álvarez López , Xosé M. Masa

This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at…

Algebraic Geometry · Mathematics 2026-03-18 Timothy De Deyn , Pat Lank , Kabeer Manali Rahul

We study Tate-Vogel and relative cohomologies of complexes by applying the model structure induced by a complete hereditary cotorsion pair ($\A$, $\B$) of modules. We show first that the class of complexes admitting a complete $\A$…

Rings and Algebras · Mathematics 2020-08-25 Jiangsheng Hu , Huanhuan Li , Jiaqun Wei , Xiaoyan Yang , Nanqing Ding

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

Algebraic Geometry · Mathematics 2019-02-20 Srikanth B. Iyengar , Joseph Lipman , Amnon Neeman

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

alg-geom · Mathematics 2008-02-03 Amnon Yekutieli

We study torus-equivariant algebraic $K$-theory of affine Schubert varieties in the perfect affine Grassmannians over $\mathbb{F}_p$. We further compare it to the torus-equivariant Hochschild homology of perfect complexes, which has a…

Algebraic Geometry · Mathematics 2026-04-20 Jakub Löwit

Let $\mathcal{V}$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be an open…

Algebraic Geometry · Mathematics 2012-10-08 Daniel Caro

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

Algebraic Geometry · Mathematics 2015-11-20 Leovigildo Alonso Tarrío , Ana Jeremías López , Joseph Lipman

We classify the finite quasisimple groups whose commuting graph is perfect and we give a general structure theorem for finite groups whose commuting graph is perfect.

Group Theory · Mathematics 2015-10-26 John R. Britnell , Nick Gill

We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…

alg-geom · Mathematics 2008-02-03 Leovigildo Alonso , Ana Jeremias , Joseph Lipman

If an element of the Grothendieck group of the derived category of a scheme is locally represented by perfect complexes, then can the original element be represented by a perfect complex? We provide a counterexample on a projective variety…

Algebraic Geometry · Mathematics 2023-11-22 Amal Mattoo

Let $R$ be a commutative noetherian ring, and let $C$ be a semidualizing $R$-module. In this paper, we study levels of bounded complexes of finitely generated $R$-modules with respect to the full subcategory $\mathsf{G}_{C}(R)$ consisting…

Commutative Algebra · Mathematics 2026-04-08 Naoya Hiramatsu , Yuki Mifune , Ryo Takahashi

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…

Algebraic Geometry · Mathematics 2008-09-11 Michael Temkin