Title: |
Finding non-trivial splittings in groups, and similar results in geometry |

Speaker: |
Maurice Chiodo (Melbourne) |

Abstract: |
It is well known that there is no algorithm to decide if a finitely presented group splits as a non-trivial free product, nor is there an algorithm to decide if a closed 4-manifold can be written as a connect sum of two non simply connected summands. In this talk I will show that, even if we know that a given finitely presented group splits as a non-trivial free product, we cannot always algorithmically split it. I will use this to show an analogous result in geometry: even if we know that a given closed 4-manifold splits as a connect sum of two non simply connected summands, we cannot always algorithmically split it. |