Showing 1–14 of 14 results for author: Stacey, A

Investigations of Higher Order Links

Authors: Nils A. Baas, Andrew Stacey

Abstract: The following is an amalgamation of four preprints and some computer programs which together represent the current state of our investigations of higher order links. This investigation was motivated by questions discussed and raised in the first author's paper "New States of Matter Suggested by New Topological Structures". An important motivation has been to suggest the synthesis of new types of m… ▽ More The following is an amalgamation of four preprints and some computer programs which together represent the current state of our investigations of higher order links. This investigation was motivated by questions discussed and raised in the first author's paper "New States of Matter Suggested by New Topological Structures". An important motivation has been to suggest the synthesis of new types of molecules (see the relevant articles listed in the bibliography). This discussion is not final, but we think that the results and methods are worth making public and would be useful for other investigators. △ Less

Submitted 20 February, 2016; originally announced February 2016.

Comments: 150 pages, 129 figures

MSC Class: 57M25

Yet More Smooth Mapping Spaces and Their Smoothly Local Properties

Authors: Andrew Stacey

Abstract: Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of smoothly local properties. In realising the definition of a local property at a particular point it may be that there are choices that need to be made. To say t… ▽ More Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of smoothly local properties. In realising the definition of a local property at a particular point it may be that there are choices that need to be made. To say that the local property is smoothly local is to say that those choices can be made smoothly dependent on the point. In particular, that a manifold has charts is a local property. A local addition is the structure needed to say that there is a way to choose a chart about each point so that it varies smoothly with that point. To be able to extend these ideas beyond that of the local additivity of manifolds we work in a category of generalised smooth spaces. We are thus are able to consider more general mapping spaces than just those arising from the maps from one smooth manifold to another and thus able to generalise the standard result on when this space of maps is again a smooth manifold. As applications of this generalisation we show that the mapping spaces involving the various figure 8s from String Topology are manifolds, and that they embed as submanifolds with tubular neighbourhoods in the corresponding loop spaces. We also show that applying the mapping space functor to a regular map of manifolds produces a regular map on the mapping spaces. △ Less

Submitted 23 January, 2013; originally announced January 2013.

MSC Class: 58D15

Tall-Wraith Monoids

Authors: Andrew Stacey, Sarah Whitehouse

Abstract: Tall-Wraith monoids were introduced in MR2559638 ("The hunting of the Hopf ring") to describe the algebraic structure on the set of unstable operations of a suitable generalised cohomology theory. In this paper we begin the study of Tall-Wraith monoids in an algebraic and categorical setting. We show that for V a variety of algebras, applying the free V-algebra functor to a monoid in Set produces… ▽ More Tall-Wraith monoids were introduced in MR2559638 ("The hunting of the Hopf ring") to describe the algebraic structure on the set of unstable operations of a suitable generalised cohomology theory. In this paper we begin the study of Tall-Wraith monoids in an algebraic and categorical setting. We show that for V a variety of algebras, applying the free V-algebra functor to a monoid in Set produces a Tall-Wraith monoid. We also study the example of the Tall-Wraith monoid defined by the self set-maps of a finite ring, an example closely related to the original motivation for Tall-Wraith monoids. △ Less

Submitted 17 February, 2011; originally announced February 2011.

Comments: 35 pages, 6 figures (produced using TikZ and then externalised)

MSC Class: 18D35 (primary); 55S25; 16W30 (secondary)

The co-Riemannian Structure of Smooth Loop Spaces

Authors: Andrew Stacey

Abstract: We construct a natural co-Riemannian structure on the manifold of smooth loops in a Riemannian manifold. We show that the smooth loop space of a string manifold is a per-Hilbert-Schmidt locally equivalent co-spin manifold and thus admits a Dirac operator. We construct a natural co-Riemannian structure on the manifold of smooth loops in a Riemannian manifold. We show that the smooth loop space of a string manifold is a per-Hilbert-Schmidt locally equivalent co-spin manifold and thus admits a Dirac operator. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 30 pages. Together with arXiv:0809.3401 this replaces math.DG/0505077

MSC Class: 58B20 (Primary); 58D15; 53C15 (Secondary)

How to Construct a Dirac Operator in Infinite Dimensions

Authors: Andrew Stacey

Abstract: We define the notion of a co-Riemannian structure and show how it can be used to define the Dirac operator on an appropriate infinite dimensional manifold. In particular, this approach works for the smooth loop space of a so-called string manifold. We define the notion of a co-Riemannian structure and show how it can be used to define the Dirac operator on an appropriate infinite dimensional manifold. In particular, this approach works for the smooth loop space of a so-called string manifold. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 10 pages. Together with arXiv:0809.3108 this replaces math.DG/0505077

MSC Class: 58B20 (Primary); 58D15; 53C15 (Secondary)

The Smooth Structure of the Space of Piecewise-Smooth Loops

Authors: Andrew Stacey

Abstract: We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the action of the diffeomorphism group of the circle. It is not a useful action on the manifold that we define. We consider how one might fix this problem and c… ▽ More We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the action of the diffeomorphism group of the circle. It is not a useful action on the manifold that we define. We consider how one might fix this problem and conclude that it can only be done by completing to the space of loops of bounded variation. △ Less

Submitted 5 March, 2008; originally announced March 2008.

Comments: 36 pages, 7 figures (uses xy and pxfonts)

MSC Class: 57N20; 58B05

Comparative Smootheology

Authors: Andrew Stacey

Abstract: We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Frölicher spaces sitting at its centre. Our… ▽ More We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Frölicher spaces sitting at its centre. Our method of study involves finding a general context into which these categories can be placed. This involves considering categories wherein objects are considered in relation to a certain collection of standard test objects. This therefore applies beyond the question of categories of smooth spaces. △ Less

Submitted 21 May, 2010; v1 submitted 15 February, 2008; originally announced February 2008.

Comments: 48 pages, uses tikz and pxfonts, considerably rewritten

MSC Class: 58A40; 18B99

The Hunting of the Hopf Ring

Authors: Andrew Stacey, Sarah Whitehouse

Abstract: We provide a new algebraic description of the structure on the set of all unstable cohomology operations for a suitable generalised cohomology theory, E^*. Our description is as a graded and completed version of a Tall-Wraith monoid. The E^*-cohomology of a space X is a module for this Tall-Wraith monoid. We also show that the corresponding Hopf ring of unstable co-operations is a module for the… ▽ More We provide a new algebraic description of the structure on the set of all unstable cohomology operations for a suitable generalised cohomology theory, E^*. Our description is as a graded and completed version of a Tall-Wraith monoid. The E^*-cohomology of a space X is a module for this Tall-Wraith monoid. We also show that the corresponding Hopf ring of unstable co-operations is a module for the Tall-Wraith monoid of unstable operations. Further examples are provided by considering operations from one theory to another. △ Less

Submitted 23 November, 2007; originally announced November 2007.

Comments: 61 pages, no figures; uses xy, pxfonts

MSC Class: 55S25; 55N20; 16W99

Constructing Smooth Loop Spaces

Authors: Andrew Stacey

Abstract: We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions for the model space which, if satisfied, mean that a smooth structure exists. We also show how various desired properties can be derived from the model spa… ▽ More We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions for the model space which, if satisfied, mean that a smooth structure exists. We also show how various desired properties can be derived from the model space; for example, topological properties such as paracompactness. We pay particular attention to the fact that the loop spaces that can be defined in this way are all homotopy equivalent; and also to the action of the circle by rigid rotations. △ Less

Submitted 4 December, 2006; originally announced December 2006.

Comments: 24 pages, no figures; uses pxfonts

MSC Class: 58D15

Stable and Unstable Operations in mod p Cohomology Theories

Authors: Andrew Stacey, Sarah Whitehouse

Abstract: We consider operations between two multiplicative, complex orientable cohomology theories. Under suitable hypotheses, we construct a map from unstable to stable operations, left-inverse to the usual map from stable to unstable operations. In the main example, where the target theory is one of the Morava K-theories, this provides a simple and explicit description of a splitting arising from the B… ▽ More We consider operations between two multiplicative, complex orientable cohomology theories. Under suitable hypotheses, we construct a map from unstable to stable operations, left-inverse to the usual map from stable to unstable operations. In the main example, where the target theory is one of the Morava K-theories, this provides a simple and explicit description of a splitting arising from the Bousfield-Kuhn functor △ Less

Submitted 17 October, 2006; v1 submitted 17 May, 2006; originally announced May 2006.

Comments: 28 pages; corrected proof of proposition 3.2, other minor improvements

MSC Class: 55S25; 55P47

Journal ref: Algebr. Geom. Topol. 8 (2008) 1059-1091

The differential topology of loop spaces

Authors: Andrew Stacey

Abstract: This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am posting them in the hope that they will be useful to people wishing to know a little about the basics of the subject. I have tried to make them readable by anyo… ▽ More This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am posting them in the hope that they will be useful to people wishing to know a little about the basics of the subject. I have tried to make them readable by anyone with a good grounding in finite dimensional differential topology. Any comments and suggestions for improvement will be very welcome. The topics covered are: the smooth structure of the space of smooth loops; constructions involving vector bundles; submanifolds and tubular neighbourhoods; and a short introduction to the geometry and semi-infinite structure of loop spaces. △ Less

Submitted 5 October, 2005; originally announced October 2005.

Comments: 55 pages

MSC Class: 58D15 (Primary); 58B10 (Secondary)

The Geometry of the Loop Space and a Construction of a Dirac Operator

Authors: Andrew Stacey

Abstract: We describe a construction of fibrewise inner products on the cotangent bundle of the smooth free loop space of a Riemannian manifold. Using this inner product, we construct an operator over the loop space of a string manifold which is directly analogous to the Dirac operator of a spin manifold. We describe a construction of fibrewise inner products on the cotangent bundle of the smooth free loop space of a Riemannian manifold. Using this inner product, we construct an operator over the loop space of a string manifold which is directly analogous to the Dirac operator of a spin manifold. △ Less

Submitted 4 May, 2005; originally announced May 2005.

Comments: 52 pages, no figures

MSC Class: 58B20 (Primary); 58D15; 53C15 (Secondary)

Fourier Decompositions of Loop Bundles

Authors: Ralph L. Cohen, Andrew Stacey

Abstract: In this paper we investigate bundles whose structure group is the loop group LU(n). Our main result is to give a necessary and sufficient criterion for there to exist a Fourier type decomposition of such a bundle $ξ$. This is essentially a decomposition of $ξ$ as $ζ\otimes L\mathbb C$, where $ζ$ is a finite dimensional subbundle of $ξ$ and $L\mathbb C$ is the loop space of the complex numbers. T… ▽ More In this paper we investigate bundles whose structure group is the loop group LU(n). Our main result is to give a necessary and sufficient criterion for there to exist a Fourier type decomposition of such a bundle $ξ$. This is essentially a decomposition of $ξ$ as $ζ\otimes L\mathbb C$, where $ζ$ is a finite dimensional subbundle of $ξ$ and $L\mathbb C$ is the loop space of the complex numbers. The criterion is a reduction of the structure group to the finite rank unitary group U(n) viewed as the subgroup of LU(n) consisting of constant loops. Next we study the case where $ξ$ is the loop space of an $n$ dimensional bundle $ζ\to M$. The tangent bundle of $LM$ is such a bundle. We then show how to twist such a bundle by elements of the automorphism group of the pull back of $ζ$ over $LM$ via the map $LM \to M$ that evaluates a loop at a basepoint. Given a connection on $ζ$, we view the associated parallel transport operator as an element of this gauge group and show that twisting the loop bundle by such an operator satisfies the criterion and admits a Fourier decomposition. △ Less

Submitted 22 October, 2002; originally announced October 2002.

Comments: 14 pages, 0 figures

MSC Class: 55R15; 57R22; 58D15

Percolation on finite graphs and isoperimetric inequalities

Authors: Noga Alon, Itai Benjamini, Alan Stacey

Abstract: Consider a uniform expanders family G_n with a uniform bound on the degrees. It is shown that for any p and c>0, a random subgraph of G_n obtained by retaining each edge, randomly and independently, with probability p, will have at most one cluster of size at least c|G_n|, with probability going to one, uniformly in p. The method from Ajtai, Komlos and Szemeredi [Combinatorica 2 (1982) 1-7] is a… ▽ More Consider a uniform expanders family G_n with a uniform bound on the degrees. It is shown that for any p and c>0, a random subgraph of G_n obtained by retaining each edge, randomly and independently, with probability p, will have at most one cluster of size at least c|G_n|, with probability going to one, uniformly in p. The method from Ajtai, Komlos and Szemeredi [Combinatorica 2 (1982) 1-7] is applied to obtain some new results about the critical probability for the emergence of a giant component in random subgraphs of finite regular expanding graphs of high girth, as well as a simple proof of a result of Kesten about the critical probability for bond percolation in high dimensions. Several problems and conjectures regarding percolation on finite transitive graphs are presented. △ Less

Submitted 30 March, 2005; v1 submitted 12 July, 2002; originally announced July 2002.

Comments: Published at http://dx.doi.org/10.1214/009117904000000414 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP262 MSC Class: 05C80; 60K35 (Primary)

Journal ref: Annals of Probability 2004, Vol. 32, No. 3, 1727-1745