English
Related papers

Related papers: Fully Faithful Functors and Dimension

200 papers

We define a dimension for a triangulated category. We prove a representabilityTheorem for a certain class of functors on finite dimensional triangulatedcategories. We study the dimension of the boundedderived category of an algebra or a…

Category Theory · Mathematics 2007-05-23 Raphael Rouquier

We study a triangulated category $\mathscr S$ that admits a full and strong exceptional sequence of three objects with one-dimensional Hom spaces. We show that the isomorphism classes of exact functors from $\mathscr S$ to another…

Algebraic Geometry · Mathematics 2026-01-30 Alberto Canonaco , Mattia Ornaghi

We study stability properties of fully faithful functors, and compute mapping anima in pushouts of $\infty$-categories along fully faithful functors. We provide applications of these calculations to pushouts along Dwyer functors and Reedy…

Category Theory · Mathematics 2025-03-07 Peter J. Haine , Maxime Ramzi , Jan Steinebrunner

An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors…

Representation Theory · Mathematics 2015-06-19 Claus Michael Ringel , Pu Zhang

We show that if $X$ is a smooth quasi-projective $3$-fold admitting a flopping contraction, then the fundamental group of an associated simplicial hyperplane arrangement acts faithfully on the derived category of $X$. The main technical…

Algebraic Geometry · Mathematics 2018-10-03 Yuki Hirano , Michael Wemyss

In 1981, L. Gruson and C. U. Jensen gave a new proof of the fact that, over a ring which is either Noetherian of Krull dimension $n$ or of cardinality $< \aleph_n$, the projective dimension of any flat module is at most $n$. In this short…

Algebraic Geometry · Mathematics 2025-05-20 Andy Jiang

We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…

Algebraic Geometry · Mathematics 2014-02-20 Alice Rizzardo

We show that every exact fully faithful functor from the category of perfect complexes on the spectrum of dual numbers to the bounded derived category of a noetherian separated scheme is of Fourier-Mukai type. The kernel turns out to be an…

Algebraic Geometry · Mathematics 2015-05-19 Francesco Amodeo , Riccardo Moschetti

For a smooth projective variety $X$ with exceptional structure sheaf, and $\operatorname{Hilb}^2X$ the Hilbert scheme of two points on $X$, we show that the Fourier-Mukai functor $\mathbf{D}^{\mathrm{b}}(X)…

Algebraic Geometry · Mathematics 2019-09-17 Pieter Belmans , Lie Fu , Theo Raedschelders

Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…

Algebraic Geometry · Mathematics 2024-05-31 Fei Peng

Orlov's famous representability theorem asserts that any fully faithful functor between the derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. This result has been extended by Lunts and Orlov…

Algebraic Geometry · Mathematics 2015-06-24 Alice Rizzardo , Michel Van den Bergh

We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring…

Category Theory · Mathematics 2025-10-08 Leonid Positselski

In this article, I define triangulated categories of constructible isocrystals on varieties over a perfect field of positive characteristic, in which Le Stum's abelian category of constructible isocrystals sits as the heart of a natural…

Algebraic Geometry · Mathematics 2023-04-17 Christopher Lazda

Family Floer theory yields a functor from the Fukaya category of a symplectic manifold admitting a Lagrangian torus fibration to a (twisted) category of perfect complexes on the mirror rigid analytic space. This functor is shown to be…

Symplectic Geometry · Mathematics 2016-07-12 Mohammed Abouzaid

The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n, there is a definable type p in X, definable over a code for…

Logic · Mathematics 2019-09-18 Quentin Brouette , Pablo Cubides Kovacsics , Francoise Point

In this work, inspired by some physical intuitions, we define a series of symmetry enriched categories to describe symmetry enriched topological (SET) orders, and define a new tensor product, called the relative tensor product, which…

Category Theory · Mathematics 2022-08-10 Long Sun

We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on…

K-Theory and Homology · Mathematics 2025-01-22 Bernhard Burgstaller

Recently, Rizzardo and Van den Bergh constructed an example of a triangulated functor between the derived categories of coherent sheaves on smooth projective varieties over a field $k$ of characteristic $0$ which is not of the Fourier-Mukai…

Algebraic Geometry · Mathematics 2016-05-02 Vadim Vologodsky

In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This…

Algebraic Geometry · Mathematics 2024-02-08 Alberto Canonaco , Christian Haesemeyer , Amnon Neeman , Paolo Stellari

We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to…

Quantum Algebra · Mathematics 2018-06-20 Pavel Etingof