English
Related papers

Related papers: Moduli of linear and abelian categories

200 papers

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

Category Theory · Mathematics 2023-10-20 Germán Stefanich

Two rings A and B are said to be derived Morita equivalent if their derived categories of modules are equivalent. By results of Rickard, if A and B are derived Morita equivalent algebras over a field k, then there is a complex of bimodules…

Rings and Algebras · Mathematics 2007-05-23 Amnon Yekutieli

The category of abelian varieties over $\mathbb{F}_q$ is shown to be anti-equivalent to a category of $\mathbb{Z}$-lattices that are modules for a non-commutative pro-ring of endomorphisms of a suitably chosen direct system of abelian…

Number Theory · Mathematics 2022-05-11 Tommaso Giorgio Centeleghe , Jakob Stix

This paper is a continuation and a completion of [BoRo1]. We extend the Jordan decomposition of blocks: we show that blocks of finite groups of Lie type in non-describing characteristic are Morita equivalent to blocks of subgroups…

Representation Theory · Mathematics 2016-10-03 Cédric Bonnafé , Jean-François Dat , Raphaël Rouquier

We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes.…

Algebraic Geometry · Mathematics 2023-11-08 Mario Sanchez

We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…

K-Theory and Homology · Mathematics 2017-06-20 Simeon Pol'shin

For a Grothendieck category C which, via a Z-generating sequence (O(n))_{n in Z}, is equivalent to the category of "quasi-coherent modules" over an associated Z-algebra A, we show that under suitable cohomological conditions "taking…

Algebraic Geometry · Mathematics 2010-09-15 Olivier De Deken , Wendy Lowen

We consider certain matrix-products where successive matrices in the product belong alternately to a particular qualitative class or its transpose. The main theorems relate structural and spectral properties of these matrix-products to the…

Combinatorics · Mathematics 2015-02-25 Murad Banaji , Carrie Rutherford

We prove the 2-torus $\mathbb T$, an abelian linear algebraic group, is a fine moduli space of labeled, oriented, possibly-degenerate inscribable similarity classes of triangles, where a triangle is {\it inscribable} if it can be inscribed…

Metric Geometry · Mathematics 2025-01-08 Eric Brussel , Madeleine E. Goertz

It is well known that degree two Deligne cohomology groups can be identified with groups of isomorphism classes of holomorphic line bundles with connections. There is also a geometric description of degree three Deligne cohomology, due to…

alg-geom · Mathematics 2009-10-28 Pawel Gajer

Suppose that $\mathcal{A}$ is an abelian category whose derived category $\mathcal{D}(\mathcal{A})$ has $Hom$ sets and arbitrary (small) coproducts, let $T$ be a (not necessarily classical) ($n$-)tilting object of $\mathcal{A}$ and let…

Representation Theory · Mathematics 2016-07-08 Luisa Fiorot , Francesco Mattiello , Manuel Saorín

We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category…

Representation Theory · Mathematics 2024-06-25 Agnieszka Bodzenta , Alexey Bondal

In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…

Algebraic Geometry · Mathematics 2012-09-28 Hiroshi Fukuyama , Isamu Iwanari

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

Representation Theory · Mathematics 2016-10-06 Yang Han , Ningmei Zhang

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an ${\rm Ext}$-finite, Krull-Schmidt and $k$-linear $n$-exangulated category with $k$ a commutative artinian ring. In this note, we define two additive subcategories $\mathscr{C}_r$ and…

Representation Theory · Mathematics 2021-11-15 Jian He , Jing He , Panyue Zhou

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…

Algebraic Topology · Mathematics 2010-09-21 James Gillespie

We show that a certain subspace of space of elliptic cusp forms is isomorphic as a Hecke module to a certain subspace of space of Jacobi cusp forms of degree one with matrix index by constructing an explicit lifting. This is a partial…

Number Theory · Mathematics 2008-08-10 Shunsuke Yamana

We study linear versions of Reedy categories in relation with finite dimensional algebras and abelian model structures. We prove that, for a linear Reedy category $\mathcal{C}$ over a field, the category of left $\mathcal{C}$--modules…

Representation Theory · Mathematics 2025-09-23 Georgios Dalezios , Jan Stovicek

Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant…

Algebraic Geometry · Mathematics 2007-05-23 Tom Bridgeland , Alastair King , Miles Reid

We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…

Category Theory · Mathematics 2025-07-01 Mattia Ornaghi