Colin P. Rourke

Last updated

Colin Rourke (born 1 January 1943) is a British mathematician who worked in PL topology, low-dimensional topology, differential topology, group theory, relativity and cosmology. He is an emeritus professor at the Mathematics Institute of the University of Warwick and a founding editor of the journals Geometry & Topology and Algebraic & Geometric Topology , published by Mathematical Sciences Publishers, where he is the vice chair of its board of directors. [1]

Contents

Early career

Rourke obtained his Ph.D. at the University of Cambridge in 1965 under the direction of Christopher Zeeman.

Most of Rourke's early work was carried out in collaboration with Brian Sanderson. They solved a number of outstanding problems: the provision of normal bundles for the PL category (which they called "Block bundles"), [2] the non-existence of normal microbundles (top and PL), [3] and a geometric interpretation for all (generalized) homology theories (joint work with Sandro Buoncristiano, see bibliography).

Rourke was an invited speaker at the International Congress of Mathematicians in 1970 at Nice. [4] [5]

Open University

From 1976-1981 Rourke was acting professor of pure mathematics at the Open University (on secondment from Warwick) where he masterminded the rewriting of the pure mathematics course.

Poincaré Conjecture

In September 1986 Rourke and his graduate student, Eduardo Rêgo (later at University of Oporto), claimed to have solved the Poincaré Conjecture. [6] Reaction by the topological community at the time was highly skeptical, and during a special seminar at University of California, Berkeley given by Rourke, a fatal error was found in the proof. [7] [8]

The part of the proof that was salvaged was a constructive characterization and enumeration of Heegaard diagrams for homotopy 3-spheres. [9] A later-discovered algorithm of J. Hyam Rubinstein and Abigail Thompson identified when a homotopy 3-sphere was a topological 3-sphere. [10] Together, the two algorithms provided an algorithm that would find a counterexample to the Poincaré Conjecture, if one existed. [11]

In 2002, Martin Dunwoody posted a claimed proof of the Poincaré Conjecture. [12] Rourke identified its fatal flaw. [13] [14] [15]

Geometry & Topology

In 1996, dissatisfied with the rapidly rising fees charged by the major publishers of mathematical research journals, Rourke decided to start his own journal, and was ably assisted by Robion Kirby, John Jones and Brian Sanderson. That journal became Geometry & Topology. Under Rourke's leadership, GT has become a leading journal in its field while remaining one of the least expensive per page. GT was joined in 1998 by a proceedings and monographs series, Geometry & Topology Monographs, and in 2000 by a sister journal, Algebraic & Geometric Topology. Rourke wrote the software and fully managed these publications until around 2005 when he cofounded Mathematical Sciences Publishers (with Rob Kirby) to take over the running. Mathematical Sciences Publishers has now grown to become a formidable force in academic publishing.

Cosmology

In 2000 Rourke started taking an interest in cosmology and published his first substantial foray on the arXiv preprint server in 2003. For the past ten years he has collaborated with Robert MacKay, also of Warwick University, with papers on redshift, gamma-ray bursts and natural observer fields. He is currently working on a completely new paradigm for the universe, one that involves neither dark matter nor a Big Bang. This new paradigm is presented in "A new paradigm for the universe" (see bibliography).

The main idea is that the principal objects in the universe form a spectrum unified by the presence of a massive or hypermassive black hole. These objects are variously called quasars, active galaxies and spiral galaxies. The key to understanding their dynamics is angular momentum and the key tool is a proper formulation of "Mach's principle" using Sciama's ideas. This is added to standard general relativity in the form of hypothesized "inertial drag fields" which carry the forces that realize Mach's principle. This formulation solves the causal problems that occur in a naive formulation of the principle.

The new approach provides an explanation for the observed dynamics of spiral galaxies without needing dark matter and gives a framework that fits the observations of Halton Arp and others that show that quasars typically exhibit instrinsic redshift.

Bibliography

Related Research Articles

<span class="mw-page-title-main">Conjecture</span> Proposition in mathematics that is unproven

In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's Last Theorem, have shaped much of mathematical history as new areas of mathematics are developed in order to prove them.

<span class="mw-page-title-main">Differential topology</span> Branch of mathematics

In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the geometric properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology.

In the mathematical field of geometric topology, the Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.

<span class="mw-page-title-main">Topology</span> Branch of mathematics

In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.

In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston (1982), and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

<span class="mw-page-title-main">Discrete geometry</span> Branch of geometry that studies combinatorial properties and constructive methods

Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object.

<span class="mw-page-title-main">Geometric topology</span> Branch of mathematics studying (smooth) functions of manifolds

In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.

<span class="mw-page-title-main">3-manifold</span> Mathematical space

In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small and close enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In algebraic topology, a branch of mathematics, a homotopy sphere is an n-manifold that is homotopy equivalent to the n-sphere. It thus has the same homotopy groups and the same homology groups as the n-sphere, and so every homotopy sphere is necessarily a homology sphere.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory.

In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.

In mathematics, specifically geometric topology, the Borel conjecture asserts that an aspherical closed manifold is determined by its fundamental group, up to homeomorphism. It is a rigidity conjecture, asserting that a weak, algebraic notion of equivalence should imply a stronger, topological notion.

John Willard Morgan is an American mathematician known for his contributions to topology and geometry. He is a Professor Emeritus at Columbia University and a member of the Simons Center for Geometry and Physics at Stony Brook University.

In the mathematical area of topology, the generalized Poincaré conjecture is a statement that a manifold which is a homotopy sphere is a sphere. More precisely, one fixes a category of manifolds: topological (Top), piecewise linear (PL), or differentiable (Diff). Then the statement is

In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain.

This is a timeline of manifolds, one of the major geometric concepts of mathematics. For further background see history of manifolds and varieties.

Martin George Scharlemann is an American topologist who is a professor at the University of California, Santa Barbara. He obtained his Ph.D. from the University of California, Berkeley under the guidance of Robion Kirby in 1974.

References

  1. ↑ "Board of Directors". Mathematical Sciences Publishers. Retrieved 8 October 2015.
  2. ↑ Rourke, C.P.; Sanderson, B.J. "Block Bundles I, II and III". Annals of Mathematics. 87 (1968): 1–28, 255–277, 431–483. doi:10.2307/1970591.
  3. ↑ Rourke, C.P.; Sanderson, B.J. "An embedding without a normal microbundle". Invent Math. 3 (1967): 293–299.
  4. ↑ "ICM Plenary and Invited Speakers since 1897". International Mathematical Union. Archived from the original on 24 November 2017. Retrieved 11 October 2015.
  5. ↑ Rourke, C. P. (1971). "Block structures in geometric and algebraic topology". Actes du Congrès International des Mathématiciens (Nice, 1970). Vol. Tome 2. Paris: Gauthier-Villars. pp. 127–32.
  6. ↑ Gleick, James (30 September 1986). "One of Math's Major Problems Reported Solved". The New York Times .
  7. ↑ Szpiro, George G. (2007). Poincaré's Prize . Dutton. pp.  177–79. ISBN   978-0-525-95024-0.
  8. ↑ O'Shea, Donal (2007). The Poincaré Conjecture. Walker Books. pp.  179–80. ISBN   978-0-8027-1532-6.
  9. ↑ Rêgo, Eduardo; Rourke, Colin (1988). "Heegaard diagrams and homotopy 3-spheres". Topology. 27 (2): 137–43. doi:10.1016/0040-9383(88)90033-x.
  10. ↑ The proof later of the Poincaré Conjecture simplified this to "always yes".
  11. ↑ Rourke, Colin (1997). "Algorithms to disprove the Poincaré conjecture". Turkish Journal of Mathematics. 21 (1): 99–110.
  12. ↑ Dunwoody, M. J. "A Proof of the Poincaré Conjecture ?" (PDF). Retrieved 9 October 2015.
  13. ↑ "Math whiz tackles old problem with new twist". Sarasota Herald-Tribune. 26 April 2002. p. 6A.
  14. ↑ Szpiro, George G. (2007). Poincaré's Prize . Dutton. pp.  181–82. ISBN   978-0-525-95024-0.
  15. ↑ O'Shea, Donal (2007). The Poincaré Conjecture. Walker Books. p.  187. ISBN   978-0-8027-1532-6.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.