English
Related papers

Related papers: Chain duality for categories over complexes

200 papers

We dualize previous work on generalized persistence diagrams for filtrations to cofiltrations. When the underlying space is a manifold, we express this duality as a Poincar\'e duality between their generalized persistence diagrams. A heavy…

Algebraic Topology · Mathematics 2024-04-09 Amit Patel , Tatum Rask

This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by…

Category Theory · Mathematics 2024-05-06 Hossein Faridian

We extend the notion of Poincar\'e duality in KK-theory to the setting of quantum group actions. An important ingredient in our approach is the replacement of ordinary tensor products by braided tensor products. Along the way we discuss…

K-Theory and Homology · Mathematics 2009-11-16 Ryszard Nest , Christian Voigt

To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…

K-Theory and Homology · Mathematics 2007-05-23 Grigory Garkusha

Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…

Algebraic Geometry · Mathematics 2024-09-24 Caleb Ji , Casimir Kothari , Oliver Li , Svetlana Makarova , Shubhankar Sahai , Sridhar Venkatesh

We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category…

Representation Theory · Mathematics 2025-04-01 Benjamin Gammage , Justin Hilburn

Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased…

Category Theory · Mathematics 2026-03-26 Evan Patterson

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…

Quantum Algebra · Mathematics 2009-07-27 Jonathan Block

We fix the notion of parity complex by a judicious selection from among the axioms originally considered by Street. We show that parity complexes so defined, together with the morphisms of parity complexes defined by Verity, form a category…

Category Theory · Mathematics 2026-05-12 Alexander Campbell

We develop a finiteness notion for unbounded chain complexes over a commutative noetherian integral domain $R$ employing the Abel summation method. The algebraic K-theory of such complexes is defined, and shown to be non-trivial. We also…

K-Theory and Homology · Mathematics 2026-05-21 Thomas Huettemann , Dan Kucerovsky

A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…

Algebraic Topology · Mathematics 2021-05-19 Fritz Hörmann

We introduce a diagrammatic braided monoidal category, the quantum spin Brauer category, together with a full functor to the category of finite-dimensional, type $1$ modules for $U_q(\mathfrak{so}(N))$ or $U_q(\mathfrak{o}(N))$. This…

Quantum Algebra · Mathematics 2025-04-24 Peter J. McNamara , Alistair Savage

In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…

K-Theory and Homology · Mathematics 2026-02-11 Jonathan Campbell , Josefien Kuijper , Mona Merling , Inna Zakharevich

In this article, we investigate the category $\mathcal{A}^G$ of equivariant objects of an additive category $\mathcal{A}$ with respect to an action of a finite group $G$. We show that if $G$ is solvable then we can reconstruct $\mathcal{A}$…

Category Theory · Mathematics 2021-09-03 Chao Sun

We formulate a refined theory of linear systems, using the methods of a previous paper, "A Theory of Branches for Algebraic Curves", and use it to give a geometric interpretation of the genus of an algebraic curve. Using principles of…

Algebraic Geometry · Mathematics 2010-03-31 Tristram de Piro

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

Logic · Mathematics 2022-11-09 Marco Abbadini

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

Category Theory · Mathematics 2020-07-01 Saugata Basu , M. Umut Isik

Let $G$ be a linear Lie group acting properly and isometrically on a $G$-spin$^c$ manifold $M$ with compact quotient. We show that Poincar\'e duality holds between $G$-equivariant $K$-theory of $M$, defined using finite-dimensional…

K-Theory and Homology · Mathematics 2024-09-02 Hao Guo , Varghese Mathai

In this paper, we introduced a generalization of the derived category, which is called the $n$-derived category and denoted by $\D_{n}(R)$, of a given ring $R$ for each $n\in\mathbb{N}\cup\{\infty\}$. The $n$-derived category of a ring is…

Rings and Algebras · Mathematics 2023-07-17 Xiaolei Zhang , Tiwei Zhao , Dingguo Wang

We extend Poincar\'e duality in \'etale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms.

Algebraic Geometry · Mathematics 2024-09-24 Adeel A. Khan