English
Related papers

Related papers: Failure of Brown representability in derived categ…

200 papers

The Balmer spectrum of a monoidal triangulated category is an important geometric construction which is closely related to the problem of classifying thick tensor ideals. We prove that the forgetful functor from the Drinfeld center of a…

Category Theory · Mathematics 2024-05-01 Kent B. Vashaw

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

Category Theory · Mathematics 2017-11-22 Osamu Iyama , Kiriko Kato , Jun-ichi Miyachi

We study the problem of existence and uniqueness of homotopy colimits in stable representation theory, where one typically does not have model category structures to guarantee that these homotopy colimits exist or have good properties. We…

Algebraic Topology · Mathematics 2013-03-18 A. Salch

We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…

Quantum Algebra · Mathematics 2014-02-24 A. L. Agore

We study categories whose objects are the braid representations, i.e. strict monoidal functors $F\colon B\rightarrow Mat$ from the braid category $B$ to the category of matrices $Mat$. Braid representations are equivalent to solutions to…

Quantum Algebra · Mathematics 2025-09-24 P. P. Martin , E. C. Rowell , F. Torzewska

We address the problem of verifying that the functions of a program meet their contracts, specified by pre/postconditions. We follow an approach based on constrained Horn clauses (CHCs) by which the verification problem is reduced to the…

Logic in Computer Science · Computer Science 2022-09-08 Emanuele De Angelis , Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti

Let C be a small category and G be a tensor Grothendieck category. We define a notion of atness in the category Fun(C; G) of all covariant functors from C to G and show that the inclusion K(FlatA) ---> K(A) has a right adjoint where K(A) is…

Algebraic Geometry · Mathematics 2017-11-17 Esmaeil Hosseini , Ali Zaghian

We prove a conjecture of Freed and Hopkins, which relates deformation classes of reflection positive, invertible, $d$-dimensional extended field theories with fixed symmetry type to a certain generalized cohomology of a Thom spectrum. Along…

Algebraic Topology · Mathematics 2023-10-25 Daniel Grady

We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…

Category Theory · Mathematics 2025-05-20 Emmanuel Dror Farjoun , Sergei O. Ivanov , Aleksandr Krasilnikov , Anatolii Zaikovskii

Let G be a classical compact Lie group and G_\mu the associated compact matrix quantum group deformed by a positive parameter \mu (or a nonzero and real \mu in the type A case). It is well known that the category Rep(G_\mu) of unitary f.d.…

Operator Algebras · Mathematics 2015-05-19 Claudia Pinzari , John E. Roberts

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

Let $G$ be a connected reductive group scheme acting on a spherical scheme $X$. In the case where $G$ is of type $A_n$, Aizenbud and Avni proved the existence of a number $C$ such that the multiplicity $\dim\hom(\rho,\mathbb{C}[X(F)])$ is…

Representation Theory · Mathematics 2019-12-10 Shai Shechter

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

Category Theory · Mathematics 2015-04-24 A. M. Cegarra , B. A. Heredia

In this paper we explain certain systematic differences between algebraic and topological triangulated categories. A triangulated category is algebraic if it admits a differential graded model, and topological if it admits a model in the…

Algebraic Topology · Mathematics 2013-11-28 Stefan Schwede

We show that a quantum field theory A living on the line and having a group G of inner symmetries gives rise to a category GLoc A of twisted representations. This category is a braided crossed G-category in the sense of Turaev. Its degree…

Quantum Algebra · Mathematics 2009-11-10 Michael Mueger

Let $\mathcal{A}$ be an additive category and let $T\colon \mathcal{A}\rightarrow \mathcal{A}$ be an additive functor equipped with a natural transformation $\omega\colon \mathrm{Id}_{\mathcal{A}}\rightarrow T$. We prove that the homotopy…

Representation Theory · Mathematics 2025-11-27 Yixia Zhang , Panyue Zhou

We compare the homological support and tensor triangular support for `big' objects in a rigidly-compactly generated tensor triangulated category. We prove that the comparison map from the homological spectrum to the tensor triangular…

Algebraic Topology · Mathematics 2023-01-05 Tobias Barthel , Drew Heard , Beren Sanders

We prove that certain triangulated categories are (weakly) approximable in the sense of A. Neeman. We prove that a triangulated $C$ that is compactly generated by a single object $G$ is weakly approximable if $C(G,G[i])=0$ for $i>1$ (we say…

K-Theory and Homology · Mathematics 2019-07-23 Mikhail V. Bondarko , Sergei V. Vostokov

We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also…

Quantum Algebra · Mathematics 2021-08-25 Adrien Brochier , David Jordan , Pavel Safronov , Noah Snyder

Frank Adams introduced the notion of a complex oriented cohomology theory represented by a commutative ring-spectrum and proved the Poincar\'e Duality theorem for this general case. In the current paper we consider oriented cohomology…

Algebraic Geometry · Mathematics 2007-05-23 Ivan Panin , Serge Yagunov