1 problem

Main conjecture. The following conditions are equivalent: $(M,\phi,s)$ and $(M',\phi',s')$ are $Y$-equivalent; and there is a homology isomorphism from $(M,\phi)$ to $(M',\phi')$ s…