Skip to main content

All Questions

Filter by
Sorted by
Tagged with
51 votes
8 answers
7k views

Motivating the category of chain complexes

Let $R$ be a commutative ring. For awhile I have been trying to motivate to myself more fully the definition of and various structures on the category $\text{Ch}(R)$ of chain complexes of $R$-modules (...
Qiaochu Yuan's user avatar
72 votes
3 answers
8k views

Where do all these projection formulas come from?

I have been intrigued for a long time by the formal similarity of results from different areas of mathematics. Here are some examples. Set theory Given a map $f:X\to Y$ and subsets $X' \subset X, Y'\...
Georges Elencwajg's user avatar
25 votes
4 answers
6k views

Singular Homology/Cohomology as a derived functor?

Hello, Learning some Alg.geometry and Sheaf theory, I got used to the notion that cohomology arises naturally as a derived functor of some sort. This has led me thinking, singular cohomology, from ...
Yaniv Ganor's user avatar
  • 1,893
12 votes
3 answers
827 views

"Secondary operations" for a group acting on a chain complex

Suppose a group G acts on a chain complex K and induced action on H(K) is trivial. What "secondary operations" on H(K) can be defined in this situation? Example. If $G=\langle\sigma\rangle/\sigma^n$ ...
Grigory M's user avatar
  • 726
4 votes
1 answer
331 views

objects in the derived category with flat homology

This is my first MO question, so please go easy on me if you think this is too vague. Is there anything to say about the collection of chain complexes with flat homology? Is there a name for them, ...
Luke Wolcott's user avatar
21 votes
1 answer
8k views

When is a quasi-isomorphism necessarily a homotopy equivalence?

Under what circumstances is a quasi-isomorphism between two complexes necessarily a homotopy equivalence? For instance, this is true for chain complexes over a field (which are all homotopy ...
Dylan Thurston's user avatar
35 votes
4 answers
3k views

References for sign conventions in homological algebra

There is no shortage of sign conventions in homological algebra. And once these conventions are set out, there is no shortage of diagrams where an obvious commutative diagram on the underlying ...
30 votes
6 answers
3k views

Poincare duality and the $A_\infty$ structure on cohomology

If $X$ is a topological space then the rational cohomology of $X$ carries a canonical $A_\infty$ structure (in fact $C_\infty$) with differential $m_1: H^\ast(X) \to H^{\ast+1}(X)$ vanishing and ...
Jeffrey Giansiracusa's user avatar
128 votes
12 answers
12k views

Spectral sequences: opening the black box slowly with an example

My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials. ...
Dylan Wilson's user avatar
  • 13.5k
6 votes
1 answer
1k views

A chain homotopy that does not arise from a homotopy of spaces?

Algebraic topologists like to cook up algebraic invariants on topological spaces in order to answer questions, so they are often concerned with how strong those invariants are. Currently, I am ...
Dylan Wilson's user avatar
  • 13.5k
2 votes
1 answer
484 views

Extending a property of commutative algebras to C infinity algebras

If A is a commutative algebra and B is an X- algebra, then the tensor product $A \otimes B$ is an X-algebra (so for example, $Com \otimes Lie$ is a Lie algebra). This is seen using the language of ...
Micah Miller's user avatar
0 votes
1 answer
1k views

About universal coefficient theorem

Let $(X,A)$ be a finite CW-pair $m=p^r$ for some prime $p$. Unspecified coefficient is in $\mathbb{Z}$. From the universal coefficient theorem, We know that $H^1(A;\mathbb{Z}_m)=\textrm{Hom} (H_1(A),...
Topologieee's user avatar
5 votes
0 answers
517 views

A smooth twisted tensor product of dg algebras?

I want to consider a Z/2Z dg algebra. As an algebra, it is generated over $\mathbb{Q}$ by two elements where x is even and e is odd with the relations $xe=ex$ and $e^2=1$(this makes it in particular ...
Daniel Pomerleano's user avatar
4 votes
0 answers
479 views

Tor over graded rings

Let $R$ be a graded ring (concentrated in nonnegative dimensions and maybe bounded from above). For every positive natural number $n$, denote by $R\to\tau_{\leq n}R$ the $n$-truncation and by $\tau_{\...
Lennart Meier's user avatar
5 votes
0 answers
677 views

Is a certain A-infinity algebra (homologically) smooth?

An A-infinity algebra $A$ is smooth a'la Kontsevich if it is perfect as an $A$-$A$-bimodule. I am wondering about the standard tricks to show smoothness of given algebras. A relatively basic example ...
Daniel Pomerleano's user avatar
19 votes
0 answers
504 views

Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...
Jim Stasheff's user avatar
  • 3,880
4 votes
1 answer
3k views

Notation for algebras

Is there standard notation for (1) exterior algebras (2) free graded commutative algebras (3) divided polynomial algebras ? I've seen (and used) $\Lambda$, $\Gamma$, $\Delta$ etc. used for ...
Jeff Strom's user avatar
  • 12.5k
8 votes
2 answers
2k views

Splitting of the Universal Coefficients sequence

The really beautiful way to prove the Universal Coefficients theorem, to my taste, is to use the fibration sequence $K(\mathbb{Z}, n) \to K(\mathbb{Z}, n) \to K(\mathbb{Z}/k, n)$ (I'm using $\mathbb{...
Jeff Strom's user avatar
  • 12.5k
4 votes
1 answer
2k views

Tensor product of spectral sequences?

I'm wondering about a cross product for spectral sequences. I've got an idea, and I wonder if it is written up anywhere, or if it even holds water. Let's start with three spectral sequences, $E, F$ ...
Jeff Strom's user avatar
  • 12.5k
9 votes
1 answer
1k views

How does the Lefschetz-Poincare dual torsion linking pairing on manifolds with boundary interact with the maps of the long exact sequence of the manifold-boundary pair?

I'm wondering if anyone can point me to a reference on how the various Lefschetz-Poincare dual torsion pairings of a manifold with boundary fit together. To explain in more detail, consider a ...
Greg Friedman's user avatar
21 votes
6 answers
3k views

A ring such that all projectives are stably free but not all projectives are free?

This question is motivated by this recent question. Suppose $R$ is commutative, Noetherian ring and $M$ a finitely generated $R$-module. Let $FD(M)$ and $PD(M)$ be the shortest length of free and ...
Hailong Dao's user avatar
  • 30.5k
12 votes
2 answers
990 views

A-infinity structure on the ribbon graph complex and more general graph complexes

Moduli spaces of curves (with nonempty boundary or at least one marked point) admit cell decompositions in which the cells are labelled by ribbon graphs. In fact, the moduli space of normalised ...
Jeffrey Giansiracusa's user avatar
34 votes
2 answers
5k views

Example Wanted: When Does Čech Cohomology Fail to be the same as Derived Functor Cohomology?

I want to know exactly how derived functor cohomology and Cech cohomology can fail to be the same. I started worrying about this from Dinakar Muthiah's answer to an MO question, and Brian Conrad's ...
Chris Schommer-Pries's user avatar
22 votes
2 answers
6k views

Grothendieck's Tohoku Paper and Combinatorial Topology

I've read some discussions of Grothendieck's famous Tohoku Paper, and I understand that one reason it was a landmark paper was that it introduced abelian categories and gave us sheaf cohomology as a ...
Ben 's user avatar
  • 221
8 votes
1 answer
1k views

Convergence of spectral sequences of cohomological type

Following the first chapter of Hatcher's great book "Spectral Sequences in Algebraic Topology", I got into problems with spectral sequences of cohomological type. Fix a ring $R$ once and for all. ...
user4676's user avatar
  • 727
6 votes
1 answer
890 views

Serre spectral sequence with spectra

A friend recently asked me if i had heard anything about a stable Serre Spectral Sequence or one constructed with spectra, has any one else ever heard of this? is there any reason other than ...
Sean Tilson's user avatar
  • 3,726
38 votes
3 answers
6k views

What is so "spectral" about spectral sequences?

From recent mathematical conversations, I have heard that when Leray first defined spectral sequences, he never published an official explanation of his terminology, namely what is "spectral" about a ...
bhwang's user avatar
  • 1,764
25 votes
4 answers
3k views

A Peculiar Model Structure on Simplicial Sets?

I'm wondering if there is a Quillen model structure on the category of simplicial sets which generalizes the usual model structure, but where every simplicial set is fibrant? I want to use this to do ...
Chris Schommer-Pries's user avatar
22 votes
7 answers
3k views

Essential theorems in group (co)homology

I'm trying to fill in the gaps in my understanding of group (co)homology and I'm wondering what are considered the "must know" theorems and concepts. I'm thinking of things along the lines of Hopf's ...
23 votes
3 answers
6k views

Does homology detect chain homotopy equivalence?

Is the following true: If two chain complexes of free abelian groups have isomorphic homology modules then they are chain homotopy equivalent.
Stephen Bigelow's user avatar
20 votes
5 answers
2k views

Equivalence of ordered and unordered cech cohomology.

Given a topological space X and a finite cover X = $\cup X_i$, one can define Cech cohomology of a sheaf of abelian groups F with respect to the cover $\{X_i\}$ in two different ways: (Ordered): ...
David Zureick-Brown's user avatar
90 votes
5 answers
7k views

Algorithm or theory of diagram chasing

One of the standard parts of homological algebra is "diagram chasing", or equivalent arguments with universal properties in abelian categories. Is there a rigorous theory of diagram chasing, and ...
Greg Kuperberg's user avatar
7 votes
4 answers
685 views

Realizing complexes with bases as cellular complexes

This is a question a friend of mine asked me some time ago. I suspect the answer is "no" but can't prove it. Every free complex of abelian groups is isomorphic to the reduced cellular complex of some ...
algori's user avatar
  • 23.5k
32 votes
8 answers
2k views

Noncommutative rational homotopy type

Ok, this question is much less ambitious than it might sound, but still: Two commutative differential graded algebras (cdga's) are quasi-isomorphic if they can be connected by a chain of cdga quasi-...
algori's user avatar
  • 23.5k
40 votes
4 answers
3k views

Chain homotopy: Why du+ud and not du+vd?

When one wants to prove that a morphism $f_*$ between two chain complexes $\left(C_*\right)$ and $\left(D_*\right)$ is zero in homology, one of the standard approaches is to look for a chain homotopy, ...
darij grinberg's user avatar
32 votes
5 answers
4k views

Some intuition behind the five lemma?

Slightly simplified, the five lemma states that if we have a commutative diagram (in, say, an abelian category) $$\require{AMScd} \begin{CD} A_1 @>>> A_2 @>>> A_3 @>>> A_4 @...
Armin Straub's user avatar
  • 1,412
58 votes
12 answers
29k views

Homological Algebra texts

I would like to hear the communities' ideas on good Homological Algebra textbooks / references. The standard example is of course Weibel (which I'll leave for someone else to describe). As usual, ...
8 votes
2 answers
1k views

Differentials in the Lyndon-Hochschild spectral sequence

The Lyndon-Hochschild(-Serre) spectral sequence applies to group extensions in a manner analogous to the Serre-Leray spectral sequence applied to a fibration. Does anyone know of a good description (...
Josh's user avatar
  • 1,422

1
4 5 6 7
8