4
votes
1answer
131 views

Yoneda embeddings of stable model categories; composition with Bousfield localizations

For a stable model category $C$ and a set $M$ of object of it I would like to construct a natural functor from $C$ to some stable 'category of functors' on $M$. I suspect that the 'natural' question ...
1
vote
0answers
113 views

Cotorsion theory and its relative homology

Let (F(R), Cot(R)) be a cotorsion theory, Such that F(R) is the class of flat R-modules and Cot(R) the cotorsion modules. Why this is true that, For $ N\in Cot(R) $, $ \text{Ext}_{F(R)}^i(M, N)\cong ...
0
votes
2answers
311 views

The First Homology Group of Configuration Space and Knot Theory

Let $\pi_{1}: \text{Top}^* \rightarrow \text{Grp}$ denote the fundamental group functor and let $H_{1}: \text{Top}^* \rightarrow \text{Grp}$ denote the first homology group functor. We can then define ...
4
votes
0answers
84 views

Characterization of the sequences in the equivalence classe of the zero element in higher extension groups

Hello, I am looking for a characterization of the long exact sequences in the equivalence classe of the zero element (for the Baer sum) in $Ext^n(U,V)$ for $n>1$. If $n=1$, then these are the ...
6
votes
3answers
632 views

Is there a categorification of topological K-theory?

For a compact Hausdorff topological space $X$, its K-theory $K^0(X)$ is defined to be the Grothendieck group of the isomorphism classes of finite dimensional vector spaces on $X$. For example ...
7
votes
0answers
166 views

Is there an analog of Khovanov homology for edge deletion-contraction-extraction?

Motivated by Khovanov's categorification of the Jones polynomial, several authors have worked on the categorification of graph invariants. For the chromatic polynomial some references are: "A ...
3
votes
0answers
155 views

Extensions of $Z/p$ by $Z/p$ and uniqueness of cokernels

I seem to run into something I cannot understand. Following Weibel (Homological Algebra), Ex. 3.4.1, p.76, it is claimed that if $p$ is prime, there are $p$ nonequivalent extensions of $Z/p$ by $Z/p$. ...
6
votes
1answer
206 views

Significance of the vanishing of $K_{-1}(A)$

In M. Schlichting's paper, he defines the negative $K$-theory for derived categories. In this he states that for $\mathcal{A}$ an idempotent complete (see below) triangulated category, ...
43
votes
1answer
3k views

Derived Functors Versus Spectral Sequences

Let $A{\buildrel F\over\rightarrow}B{\buildrel G\over\rightarrow}C$ be additive functors between abelian categories. Hartshorne, in Proposition 5.4 of Residues and Duality, constructs the obvious ...
0
votes
1answer
259 views

Can injective resolutions be 'enlarged' (or shrunk) to admit only injective maps from extensions?

Let $M$ and $N$ be $R$-modules for some ring $R$. There is a standard result involving the computation of $\text{Ext}^n(M,N)$, using projective resolutions, which says that you can always choose a ...
4
votes
1answer
381 views

Is Margolis's axiomatisation conjecture still alive?

The construction of the category of finite spectra is easy, but there are different constructions of the whole homotopy category of spectra, all of which leading to the same result up to an ...
4
votes
0answers
637 views

$Ext$ functor, filtered complexes and spectral sequences

Let $\mathcal{A}$ an abelian category. Take $M$ an object of $\mathcal{A}$, and $K_*$ a bounded complex in $\mathcal{A}$ equipped with a bounded increasing filtration $F$. By using homological and ...
10
votes
0answers
547 views

Categorical Schur's Lemma

In attempt to prove (and compute) a formula for the dimensions of the HOMFLY homology of the (p,q)-torus knot one could try to follow original proof by Jones of a formula for HOMFLY polynomial of ...
3
votes
3answers
328 views

Sequential colim vs sequential hocolim

Suppose we have some homotopical setting in which we can speak of homotopy colimits. The setting I have in mind at the moment is that of a compactly generated triangulated category with a model, but ...
6
votes
1answer
621 views

Do homotopy colimits always commute with homotopy colimits?

Do homotopy colimits commute with homotopy colimits? The setting I am thinking of is that of a triangulated category with a model, but it would be interesting to have more general answers as well. A ...
7
votes
3answers
686 views

If a colimit of distinguished triangles exists, is it also a distinguished triangle?

Consider the following situation in some triangulated category: We are given a collection of distinguished triangles $A_n \to B_n \to C_n \to A_n[1]$ indexed by the natural numbers, together with maps ...
8
votes
2answers
1k views

What are picard categories, where can I learn more about them, and why should I care to?

I have the category-theoretic background of the occasional stroll through Mac Lane's text, so excuse my ignorance in this regard. I was trying to learn all that I could on the subject of tensor ...