Application To Classification of Manifolds
The origin and main application of surgery theory lies in the classification of manifolds of dimension greater than four. Loosely, the organizing questions of surgery theory are:
- Is X a manifold?
- Is f a diffeomorphism?
More formally, one must ask whether up to homotopy:
- Does a space X have the homotopy type of a smooth manifold of the same dimension?
- Is a homotopy equivalence f: M → N between two smooth manifolds homotopic to a diffeomorphism?
It turns out that the second ("uniqueness") question is a relative version of a question of the first ("existence") type; thus both questions can be treated with the same methods.
Note that surgery theory does not give a complete set of invariants to these questions. Instead, it is obstruction-theoretic: there is a primary obstruction, and a secondary obstruction called the surgery obstruction which is only defined if the primary obstruction vanishes, and which depends on the choice made in verifying that the primary obstruction vanishes.
Read more about this topic: Surgery Theory
Famous quotes containing the words application to and/or application:
““Five o’clock tea” is a phrase our “rude forefathers,” even of the last generation, would scarcely have understood, so completely is it a thing of to-day; and yet, so rapid is the March of the Mind, it has already risen into a national institution, and rivals, in its universal application to all ranks and ages, and as a specific for “all the ills that flesh is heir to,” the glorious Magna Charta.”
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“It is known that Whistler when asked how long it took him to paint one of his “nocturnes” answered: “All of my life.” With the same rigor he could have said that all of the centuries that preceded the moment when he painted were necessary. From that correct application of the law of causality it follows that the slightest event presupposes the inconceivable universe and, conversely, that the universe needs even the slightest of events.”
—Jorge Luis Borges (1899–1986)