arXiv subjects

Colin Rourke

Publications and source records attributed to Colin Rourke.

15 recordsLinked to original sources

arXiv2019

A geometric alternative to dark matter

The existence of "dark matter", inferred from the observed rotation curves of galaxies, is a hypothesis which is widely regarded as problematic. This paper proposes an alternative hypothesis based on the space-time geometry near a rotating body and formulated in terms of the dragging of inertial frames. This hypothesis is true in a certain linear approximation to General Relativity (D Sciama, Mon. Not. Roy. Astron. Soc. 113 (1953) 34--42) and is justified in general by Mach's principle. Dark matter corrects the rotation curve but does not predict the ubiquitous spiral structure of galaxies. The geometric alternative suggested here deals with both problems and allows the construction of a simple model for the dynamics of spiral galaxies which fits observations well.

physics.gen-ph↗

arXiv2005

The adjunction problem over torsion-free groups

In this note we prove injectivity and relative asphericity for "layered" systems of equations over torsion-free groups, when the exponent matrix is invertible over Z. We also give elementary geometric proofs of results due to Bogley-Pride and Serre that are used in the proof of the main theorem.

math.GR↗

arXiv2004

Diagrams and the second homotopy group

We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove that, if a 1-cell and a 2-cell are added to a complex with torsion-free fundamental group, and with the 2-cell attached by an amenable t-shape, then pi_2 changes by extension of scalars. It then follows using a result of Bogley and Pride, Proc. Edinburgh Math. Soc. 35 (1992) 1--39, that the resulting fundamental group is also torsion free. We also prove that the normal closure of the attaching word contains no words of smaller complexity.

math.AT↗

arXiv2003

A new paradigm for the universe

This book provides a completely new approach to understanding the universe. 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, and main innovative idea of this work, is a proper formulation of "Mach's principle" using Sciama's ideas. In essence, what is provided here is a totally new paradigm for the universe. In this paradigm, there is no big bang, and the universe is many orders of magnitude older than current estimates for its age. Indeed there is no natural limit for its age.

astro-ph↗

arXiv2003

The rack space

The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995) 321--356]) and the classifying bundle is the first James bundle (defined in "James bundles" math.AT/0301354). We investigate the algebraic topology of this classifying space and report on calculations given elsewhere. Apart from defining many new knot and link invariants (including generalised James--Hopf invariants), the classification theorem has some unexpected applications. We give a combinatorial interpretation for π_2 of a complex which can be used for calculations and some new interpretations of the higher homotopy groups of the 3--sphere. We also give a cobordism classification of virtual links.

math.GT↗

arXiv2003

James bundles

We study cubical sets without degeneracies, which we call square sets. These sets arise naturally in a number of settings and they have a beautiful intrinsic geometry; in particular a square set C has an infinite family of associated square sets J^i(C), i=1,2,..., which we call James complexes. There are mock bundle projections p_i:|J^i(C)|-->|C| (which we call James bundles) defining classes in unstable cohomotopy which generalise the classical James--Hopf invariants of Omega(S^2). The algebra of these classes mimics the algebra of the cohomotopy of Omega(S^2) and the reduction to cohomology defines a sequence of natural characteristic classes for a square set. An associated map to BO leads to a generalised cohomology theory with geometric interpretation similar to that for Mahowald orientation [M Mahowald, Ring Spectra which are Thom complexes, Duke Math. J. 46 (1979) 549--559] and [B Sanderson, The geometry of Mahowald orientations, SLN 763 (1978) 152--174].

math.AT↗

arXiv2003

The compression theorem III: applications

This is the third of three papers about the Compression Theorem: if M^m is embedded in Q^q X R with a normal vector field and if q-m > 0, then the given vector field can be straightened (ie, made parallel to the given R direction) by an isotopy of M and normal field in Q X R. The theorem can be deduced from Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer--Verlag (1986) 2.4.5 C'] and the first two parts (math.GT/9712235 and math.GT/0003026) gave proofs. Here we are concerned with applications. We give short new (and constructive) proofs for immersion theory and for the loops--suspension theorem of James et al and a new approach to classifying embeddings of manifolds in codimension one or more, which leads to theoretical solutions. We also consider the general problem of controlling the singularities of a smooth projection up to C^0--small isotopy and give a theoretical solution in the codimension > 0 case.

math.GT↗

arXiv2002

A new classification of links and some calculations using it

A new classification theorem for links by the authors and Roger Fenn leads to computable link invariants. As an illustration we distinguish the left and right trefoils and recover the result of Carter et al that the 2-twist-spun trefoil is not isotopic to its orientation reverse. We sketch the proof the classification theorem. Full details will appear elsewhere

math.GT↗

arXiv2001

Equivariant configuration spaces

We use the compression theorem (arxiv:math.GT/9712235) cf section 7, to prove results for equivariant configuration spaces analogous to the well-known non-equivariant results of May, Milgram and Segal.

math.GT↗

arXiv2000

The surjectivity problem for one-generator,, one-relator extensions of torsion-free groups

We use Klyachko's methods to prove that the natural map G to G-hat, where G is a torsion-free group and G-hat is obtained by adding a new generator t and a new relator w, is surjective only if w is conjugate to gt or gt^{-1} for some g in G. This solves a special case of the surjectivity problem for group extensions, raised by Cohen [Whitehead torsion, group extensions, and Zeeman's conjecture in high dimensions, Topology, 16 (1977) 79--88].

math.GR↗

arXiv2000

The compression theorem II: directed embeddings

This is the second of three papers about the Compression Theorem. We give proofs of Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer--Verlag (1986); 2.4.5 C'] and of the Normal Deformation Theorem [The compression theorem I; 4.7], arxiv:math.GT/9712235.

math.GT↗

arXiv1999

Homology stratifications and intersection homology

A homology stratification is a filtered space with local homology groups constant on strata. Despite being used by Goresky and MacPherson [Intersection homology theory: II, Inventiones Mathematicae, 71 (1983) 77-129] in their proof of topological invariance of intersection homology, homology stratifications do not appear to have been studied in any detail and their properties remain obscure. Here we use them to present a simplified version of the Goresky-MacPherson proof valid for PL spaces, and we ask a number of questions. The proof uses a new technique, homology general position, which sheds light on the (open) problem of defining generalised intersection homology.

math.GT↗

arXiv1998

Characterisation of a class of equations with solutions over torsion-free groups

We study equations over torsion-free groups in terms of their `t-shape' (the occurences of the variable t in the equation). A t-shape is good if any equation with that shape has a solution. It is an outstanding conjecture that all t-shapes are good. In [Klyachko's methods and the solution of equations over torsion-free groups, l'Enseign. Maths. 42 (1996) 49--74] we proved the conjecture for a large class of t-shapes called amenable. In [Tesselations of S^2 and equations over torsion-free groups, Proc. Edinburgh Maths. Soc. 38 (1995) 485--493] Clifford and Goldstein characterised a class of good t-shapes using a transformation on t-shapes called the Magnus derivative. In this note we introduce an inverse transformation called blowing up. Amenability can be defined using blowing up; moreover the connection with differentiation gives a useful characterisation and implies that the class of amenable t-shapes is strictly larger than the class considered by Clifford and Goldstein.

math.GR↗

arXiv1998

Ordering the braid groups

We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can be put into such a form using either positive or negative exponent in the smallest generator but not both. Our definition of order is strongly connected with Mosher's normal form and this leads to an algorithm to decide whether a given braid is positive, trivial, or negative which is quadratic in the length of the braid word.

math.GT↗

arXiv1997

The compression theorem I

This the first of a set of three papers about the Compression Theorem: if M^m is embedded in Q^q X R with a normal vector field and if q-m > 0, then the given vector field can be straightened (ie, made parallel to the given R direction) by an isotopy of M and normal field in Q X R. The theorem can be deduced from Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer-Verlag (1986); 2.4.5 C'] and is implicit in the preceeding discussion. Here we give a direct proof that leads to an explicit description of the finishing embedding. In the second paper in the series we give a proof in the spirit of Gromov's proof and in the third part we give applications.

math.GT↗