Timeline for 11/8-type inequality from Heegaard Floer theory?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 1, 2023 at 9:40 | review | Close votes | |||
| Jan 6, 2023 at 3:04 | |||||
| Dec 31, 2022 at 20:59 | comment | added | Shaoyun Bai | It looks like we've already known how this tool would roughly look based on recent advances, and I also put "homotopical" in parenthesis in case it might cause confusion. | |
| Dec 31, 2022 at 20:50 | comment | added | Chris Gerig | Are you asking if we can prove something with a tool that doesn't exist and we wouldn't know what a homotopical refinement would even be? | |
| Dec 31, 2022 at 20:05 | history | asked | Shaoyun Bai | CC BY-SA 4.0 |