Skip to main content
addendum added
Source Link
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

I'm not an expert and this might be wrong, but I think that Cerf theory should be impossible for orbifolds, and therefore all that comes from it, e.g. Kirby Calculus. Could somebody who knows please confirm this? I'm guessing that this comes not from orbifolds having singularities, but rather from orbifolds having built-in symmetries which mess up the necessary stratifications of the space of smooth functions to $\mathbb{R}$.

For example, Kirby's Theorem comes from the fact that a generic path between Morse functions in the space of smooth functions to $\mathbb{R}$ involves only finitely many which are not Morse-Smale (these correspond to handleslides). But I think that this is just wrong for smooth orbifolds. In the orbifold case, Morse functions satisfying the Morse-Smale condition (transversality between stable and unstable manifolds at a critical point) are not dense among smooth functions to $\mathbb{R}$, so perhaps a generic path between two Morse functions in the space of smooth functions might contain all kinds of craziness, and I doubt that there exists a sensible finite set of local moves between handle decompositions to parallel the Kirby moves.


Upon further thought, the answer above can be generalized. In topology, there are various constructions of manifolds as cell decompositions of various flavours (e.g. triangulations, surgery presentations...), along with which there are sets of moves telling us how to go between any two such constructions (e.g. Kirby moves, Pachner moves, subdivision...). These give us the possibility to use the constructions in order to construct manifold invariants, for example.

For orbifolds, you might have good analogues of the constructions, but I am not aware of good analogues for the "sets of moves" between them for any construction. I think that the issue is that orbifolds don't really form a category, but rather they form a 2-category of some sort. I suspect that the point now is something like that the relevant notion of a 2-functor makes the relevant diagrams commute not `on the nose', but up to some sort of morphism; and that such a setup can't give rise to a nice set of local moves which relate all of our constructions. I don't know the precise statement though.

I'm not an expert and this might be wrong, but I think that Cerf theory should be impossible for orbifolds, and therefore all that comes from it, e.g. Kirby Calculus. Could somebody who knows please confirm this? I'm guessing that this comes not from orbifolds having singularities, but rather from orbifolds having built-in symmetries which mess up the necessary stratifications of the space of smooth functions to $\mathbb{R}$.

For example, Kirby's Theorem comes from the fact that a generic path between Morse functions in the space of smooth functions to $\mathbb{R}$ involves only finitely many which are not Morse-Smale (these correspond to handleslides). But I think that this is just wrong for smooth orbifolds. In the orbifold case, Morse functions satisfying the Morse-Smale condition (transversality between stable and unstable manifolds at a critical point) are not dense among smooth functions to $\mathbb{R}$, so perhaps a generic path between two Morse functions in the space of smooth functions might contain all kinds of craziness, and I doubt that there exists a sensible finite set of local moves between handle decompositions to parallel the Kirby moves.

I'm not an expert and this might be wrong, but I think that Cerf theory should be impossible for orbifolds, and therefore all that comes from it, e.g. Kirby Calculus. Could somebody who knows please confirm this? I'm guessing that this comes not from orbifolds having singularities, but rather from orbifolds having built-in symmetries which mess up the necessary stratifications of the space of smooth functions to $\mathbb{R}$.

For example, Kirby's Theorem comes from the fact that a generic path between Morse functions in the space of smooth functions to $\mathbb{R}$ involves only finitely many which are not Morse-Smale (these correspond to handleslides). But I think that this is just wrong for smooth orbifolds. In the orbifold case, Morse functions satisfying the Morse-Smale condition (transversality between stable and unstable manifolds at a critical point) are not dense among smooth functions to $\mathbb{R}$, so perhaps a generic path between two Morse functions in the space of smooth functions might contain all kinds of craziness, and I doubt that there exists a sensible finite set of local moves between handle decompositions to parallel the Kirby moves.


Upon further thought, the answer above can be generalized. In topology, there are various constructions of manifolds as cell decompositions of various flavours (e.g. triangulations, surgery presentations...), along with which there are sets of moves telling us how to go between any two such constructions (e.g. Kirby moves, Pachner moves, subdivision...). These give us the possibility to use the constructions in order to construct manifold invariants, for example.

For orbifolds, you might have good analogues of the constructions, but I am not aware of good analogues for the "sets of moves" between them for any construction. I think that the issue is that orbifolds don't really form a category, but rather they form a 2-category of some sort. I suspect that the point now is something like that the relevant notion of a 2-functor makes the relevant diagrams commute not `on the nose', but up to some sort of morphism; and that such a setup can't give rise to a nice set of local moves which relate all of our constructions. I don't know the precise statement though.

Source Link
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

I'm not an expert and this might be wrong, but I think that Cerf theory should be impossible for orbifolds, and therefore all that comes from it, e.g. Kirby Calculus. Could somebody who knows please confirm this? I'm guessing that this comes not from orbifolds having singularities, but rather from orbifolds having built-in symmetries which mess up the necessary stratifications of the space of smooth functions to $\mathbb{R}$.

For example, Kirby's Theorem comes from the fact that a generic path between Morse functions in the space of smooth functions to $\mathbb{R}$ involves only finitely many which are not Morse-Smale (these correspond to handleslides). But I think that this is just wrong for smooth orbifolds. In the orbifold case, Morse functions satisfying the Morse-Smale condition (transversality between stable and unstable manifolds at a critical point) are not dense among smooth functions to $\mathbb{R}$, so perhaps a generic path between two Morse functions in the space of smooth functions might contain all kinds of craziness, and I doubt that there exists a sensible finite set of local moves between handle decompositions to parallel the Kirby moves.