I am currently pondering the following theorem and its implications for the problem of combinatorializing/topologizing Perutz's vision of counting holomorphic multisections of broken Lefschetz fibrations: (I heard about this theorem in relation to Legendrian knots and generating families, and in particular, normal graded rulings. I also may not have this theorem exactly right, I haven't looked it up I'm just guessing at what it says.)
Here, a "lower-triangular change of basis" is the kind of change of basis you have when performing handle slides in which you are not allowed to change the heights of handles: you can add multiples of a basis element to a a basis element only when , and you cannot switch the order of basis elements. So, if this chain complex came from the gradient flow lines of a Morse function, this theorem sort of says that, over a field, and only algebraically, there is a unique way to perform handle slides without reordering the critical points, so that you end up with at most one gradient flow line between any two critical points of successive index, and that the pairing of "cancelling" critical points that results is uniquely determined by the original ordering of the corresponding critical values.
Some questions (more to follow):
If the chain complex is not acyclic, does a spin structure give you a way to treat it as if it were acyclic?
In the special case of a 3-manifold Morse complex in which you have removed the 0- and 3-handle, does the "admissibility" criterion in Heegard-Floer theory guarantee that every ordering of the -curves gives a unique pairing between the 's and 's?