English
Related papers

Related papers: Explicit homotopy limits of dg-categories and twis…

200 papers

In the paper we describe the almost split sequences in the homotopy category of perfect complexes over a gentle algebra.

Representation Theory · Mathematics 2009-03-31 Grzegorz Bobinski

Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $\Omega^\bullet_{X/T}$ the de Rham sheaf of…

Algebraic Geometry · Mathematics 2025-09-30 Leonid Positselski

We introduce the notion of an exact dg category, which is a simultaneous generalization of the notions of exact category in the sense of Quillen and of pretriangulated dg category in the sense of Bondal--Kapranov. It is also a differential…

Representation Theory · Mathematics 2023-06-16 Xiaofa Chen

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Logic · Mathematics 2020-09-08 Artur Piȩkosz

We introduce the notion of an $n$-exact dg-category. This notion provides a higher analogue of Chen's exact dg-category, in the sense that the case where $n$ equals 1 recovers exact dg-categories. We prove that, under a suitable vanishing…

Category Theory · Mathematics 2026-04-08 Nao Mochizuki , Hiroyuki Nakaoka

Triangulated categories arising in algebra can often be described as the homotopy category of a pretriangulated dg-category, a category enriched in chain complexes with a natural notion of shifts and cones that is accessible with all the…

Algebraic Topology · Mathematics 2020-06-01 Lukas Heidemann

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…

Algebraic Topology · Mathematics 2022-01-21 James Gillespie

Inspired by work of Fr\"oberg (1990), and Eagon and Reiner (1998), we define the \emph{total $k$-cut complex} of a graph $G$ to be the simplicial complex whose facets are the complements of independent sets of size $k$ in $G$. We study the…

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show it is of finite injective dimension. It can be used as a model for rational $G$-spectra in the sense that there is a homology…

Algebraic Topology · Mathematics 2007-05-23 J. P. C. Greenlees

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…

Algebraic Topology · Mathematics 2023-02-09 Fernando Muro , Constanze Roitzheim

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

It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…

Combinatorics · Mathematics 2007-05-23 Anton Dochtermann

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

Differential Geometry · Mathematics 2023-03-21 David Carchedi

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…

Logic · Mathematics 2019-02-20 Jeremy Avigad , Chris Kapulkin , Peter LeFanu Lumsdaine

The neighborhood complex of a graph was introduced by Lov\'asz to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also…

Combinatorics · Mathematics 2023-08-16 Anton Dochtermann , Anurag Singh

Cohesive modules give a dg-enhancement of the bounded derived category of coherent sheaves on a complex manifold via superconnections. In this paper we discuss the deformation theory of cohesive modules on compact complex manifolds. This…

Algebraic Geometry · Mathematics 2023-09-06 Zhaoting Wei

We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we…

Algebraic Geometry · Mathematics 2018-12-06 Alberto Canonaco , Paolo Stellari

In this paper we study the problem of determining the homology groups of a quotient of a topological space by an action of a group. The method is to represent the original topological space as a homotopy limit of a diagram, and then act…

Combinatorics · Mathematics 2016-09-07 Eric Babson , Dmitry Kozlov

This article is devoted to branching problems for holomorphic discrete series representations of a conformal group $G$ of a tube domain $T_Omega$ over a symmetric cone $\Omega$. More precisely, we analyse restrictions of such…

Representation Theory · Mathematics 2022-03-02 Quentin Labriet

We introduce $k$-robust clique complexes, a family of simplicial complexes that generalizes the traditional clique complex. Here, a subset of vertices forms a simplex provided it does not contain an independent set of size $k$. We…

Combinatorics · Mathematics 2026-04-02 Marek Filakovský