WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Spectral sequence

Revision #303 → #1576 · back to history

addedCohomological spectral sequence47b06a788ef4
addedSheet, page, and differentialcb74613824da
addedBigraded spectral sequence3bb39b895521
addedComplementary degree7cbdac70ce98
addedHomological spectral sequencef73425e6a4d1
addedSpectral sequence from a chain complex1964ec230119
addedMorphism of spectral sequences5544e69efad0
addedMultiplicative structure6dd2a97cbb34
addedSerre spectral sequence multiplicative structure83117d1edb33
addedExact couple66bcf2cc46eb
addedDerived couple9fc1136276dd
addedSpectral sequence of a filtered complex4878082a458c
addedDouble complex02ef73d1bce1
addedTotal complex8279eac6c399
addedDouble complex E0, E1, E2 terms92e93af9135a
addedLimiting terme504097ce82e
addedWeak convergence98a4a1412f17
addedConvergence to a graded object7754210d6566
addedAbutmentaf5202df7062
addedRegular / degenerates33651d84dfc7
addedCollapse093ac69f1684
addedDegeneration for finite filtration79d380ec6d1f
addedConvergence for bounded filtration57c724892e16
addedAbutment of filtered complex spectral sequence88adb7885409
addedLong exact sequence from filtered complex18f22a559536
addedTwo gradings are distinctb7e09bb2e013
addedCommutativity of Tor1ffbd4377912
addedFirst-quadrant spectral sequenceb0cadb9099c0
addedFirst-quadrant sequence abutsd18fdb02cb41
addedTwo non-zero adjacent columnsd300d2008b78
addedTwo non-zero adjacent rows0d471266b70a
addedWang sequence57646804ad4e
addedFive-term exact sequence10a9ac5b9f52
addedEdge maps (homological)f995d9e26291
addedTransgression (homological)0e922c45d427
addedEdge maps (cohomological)21826c1ca70d
addedTransgression (cohomological)5b3c2d567e38
addedTransgression determines differential842c0487b91c