Floris van Doorn
ea402f56ea
finish first part of constructing gysin sequence
...
We have a long exact sequence, we still need to show that it consists of the correct groups
2018-11-12 18:07:05 -05:00
Floris van Doorn
94066a6ba8
some more algebra
2018-11-12 13:02:20 -05:00
Floris van Doorn
eb8601dc93
prove some properties about is_built_from
...
One property in this commit which we will use is the resulting short exact sequence if you have only two nontrivial subgroups.
2018-11-12 13:02:20 -05:00
Floris van Doorn
179575794a
Prove basic properties of spectral sequences
...
Also separate exact_couple and spectral_sequence in separate files
2018-10-02 13:09:18 -04:00
Floris van Doorn
68345f75ce
move more and update after changes
2018-09-11 19:24:51 +02:00
Floris van Doorn
e4db64ae9a
fixes after changes in the library
2018-09-10 18:04:28 +02:00
Floris van Doorn
12a9345df1
Restructure spectral sequences, compute cohomology of projective space
...
This is still work in progress. Spectral sequences should be more usable, and probably the degrees of graded maps should be group homomorphisms so that we can reindex spectral sequences.
2017-11-22 16:14:07 -05:00
Floris van Doorn
7b3d1649fa
finish sufficient condition when infinity page of spectral sequence is contractible
...
also refactor convergence a bit
2017-07-02 01:12:55 +01:00
Floris van Doorn
f8f0157df5
define ==> notation for convergence of spectral sequences
2017-06-30 13:55:39 +01:00
Floris van Doorn
ed7de51d02
move basic lemmas from the spectral repository to the main repository
2017-06-02 12:15:31 -04:00
Floris van Doorn
bdf0d1bb0e
small cleanup on modules
2017-05-24 08:26:50 -04:00
Floris van Doorn
798a57e546
construct the derived couple for graded modules
2017-05-22 21:27:34 -04:00
Floris van Doorn
b953850362
define Z-modules from abelian groups
2017-05-21 00:39:53 -04:00
Floris van Doorn
a5a174ef0c
prove convergence theorem, assuming we can derive an exact couple
2017-05-03 23:41:25 -04:00
Floris van Doorn
1b4c40413e
work on graded modules
2017-05-03 23:40:54 -04:00
Floris van Doorn
bb209af2e8
continue with derived couple of graded R-modules, almost finish defining the maps
2017-04-20 22:58:33 -04:00
Floris van Doorn
aefc8eccc1
define submodules, quotient modules and homology of module morphisms
2017-04-13 20:39:04 -04:00
Floris van Doorn
d828120216
checkpoint, additive homs
2017-04-13 14:51:43 -04:00
Floris van Doorn
5bb2c7859d
checkpoint for direct sum of graded modules
2017-04-10 20:34:49 -04:00
Floris van Doorn
dc2b905a7c
rename module to left_module
2017-03-30 18:33:33 -04:00
