-
Long-lived multilevel coherences and spin-1 dynamics encoded in the rotational states of ultracold molecules
Authors:
Tom R. Hepworth,
Daniel K. Ruttley,
Fritz von Gierke,
Philip D. Gregory,
Alexander Guttridge,
Simon L. Cornish
Abstract:
Rotational states of ultracold polar molecules possess long radiative lifetimes, microwave-domain coupling, and tunable dipolar interactions. The availability of numerous rotational states has inspired many proposed applications, including simulations of quantum magnetism, encodings of information in high-dimensional qudits, and synthetic dimensions with many synthetic lattice sites. Many of these…
▽ More
Rotational states of ultracold polar molecules possess long radiative lifetimes, microwave-domain coupling, and tunable dipolar interactions. The availability of numerous rotational states has inspired many proposed applications, including simulations of quantum magnetism, encodings of information in high-dimensional qudits, and synthetic dimensions with many synthetic lattice sites. Many of these applications are yet to be realised, primarily because engineering long-lived coherent superpositions of multiple rotational states is highly challenging. Here, we investigate how multilevel coherences between rotational states can be engineered by using optical tweezer traps operating close to a magic wavelength for a given pair of states. By performing precision Ramsey spectroscopy we find the exact magic wavelengths and sensitivities to detuning errors for multiple rotational state superpositions. We find that, for a trap polarised parallel to the quantisation axis, the magic wavelengths are closely clustered enabling long-lived coherence across multiple rotational states simultaneously. As an example, we demonstrate simultaneous second-scale coherence between three rotational states. Utilising this extended coherence, we perform multiparameter estimation using a generalised Ramsey sequence and demonstrate coherent spin-1 dynamics encoded in the rotational states. With modest experimental improvements, we predict that second-scale coherent dynamics of ten rotational states should be readily achievable.
△ Less
Submitted 27 May, 2025; v1 submitted 19 December, 2024;
originally announced December 2024.
-
Individual assembly of two-species Rydberg molecules using optical tweezers
Authors:
Alexander Guttridge,
Tom R. Hepworth,
Daniel K. Ruttley,
Aileen A. T. Durst,
Matthew T. Eiles,
Simon L. Cornish
Abstract:
We present a new approach to investigating Rydberg molecules by demonstrating the formation and characterization of individual Rb$^{*}$Cs Rydberg molecules using optical tweezers. By employing single-atom detection of Rb and Cs, we observe molecule formation via correlated loss of both species and study the formation dynamics with single-particle resolution. We control the interatomic distances by…
▽ More
We present a new approach to investigating Rydberg molecules by demonstrating the formation and characterization of individual Rb$^{*}$Cs Rydberg molecules using optical tweezers. By employing single-atom detection of Rb and Cs, we observe molecule formation via correlated loss of both species and study the formation dynamics with single-particle resolution. We control the interatomic distances by manipulating the relative wavefunction of atom pairs using the tweezer intensity, optimizing the coupling to molecular states and exploring the effect of the tweezer on these states. Additionally, we demonstrate molecule association with atoms trapped in separate tweezers, paving the way for state-selective assembly of polyatomic molecules. The observed binding energies, molecular alignment, and bond lengths are in good agreement with theory. Our approach is broadly applicable to Rydberg tweezer platforms, expanding the range of available molecular systems and enabling the integration of Rydberg molecules into existing quantum science platforms.
△ Less
Submitted 13 March, 2025; v1 submitted 19 December, 2024;
originally announced December 2024.
-
Long-lived entanglement of molecules in magic-wavelength optical tweezers
Authors:
Daniel K. Ruttley,
Tom R. Hepworth,
Alexander Guttridge,
Simon L. Cornish
Abstract:
Realising quantum control and entanglement of particles is crucial for advancing both quantum technologies and fundamental science. Significant developments in this domain have been achieved in a variety of systems. In this context, ultracold polar molecules offer new and unique opportunities due to their more complex internal structure associated with vibration and rotation, coupled to the existe…
▽ More
Realising quantum control and entanglement of particles is crucial for advancing both quantum technologies and fundamental science. Significant developments in this domain have been achieved in a variety of systems. In this context, ultracold polar molecules offer new and unique opportunities due to their more complex internal structure associated with vibration and rotation, coupled to the existence of long-range interactions. However, the same properties make molecules highly sensitive to their environment, impacting their coherence and utility in some applications. Here we show that by engineering an exceptionally controlled environment using rotationally-magic optical tweezers, we can achieve long-lived entanglement between pairs of molecules using hertz-scale interactions. We demonstrate the highest reported fidelity to date for a two-molecule Bell state ($0.976^{+0.014}_{-0.016}$) and present the first realisation of a microwave-driven entangling gate between two molecules, preparing the molecules in a decoherence-free subspace. We show that the magic-wavelength trap preserves the entanglement, with no measurable decay over 0.5 s, opening new avenues for quantum-enhanced metrology, ultracold chemistry and the use of rotational states for quantum simulation, quantum computation and as quantum memories. The extension of precise quantum control to complex molecular systems will allow their additional degrees of freedom to be exploited across many domains of quantum science.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Enhanced quantum state transfer via feedforward cancellation of optical phase noise
Authors:
Benjamin P. Maddox,
Jonathan M. Mortlock,
Tom R. Hepworth,
Adarsh P. Raghuram,
Philip D. Gregory,
Alexander Guttridge,
Simon L. Cornish
Abstract:
Many experimental platforms for quantum science depend on state control via laser fields. Frequently, however, the control fidelity is limited by optical phase noise. This is exacerbated in stabilized laser systems where high-frequency phase noise is an unavoidable consequence of feedback. Here we implement an optical feedforward technique to suppress laser phase noise in the STIRAP state transfer…
▽ More
Many experimental platforms for quantum science depend on state control via laser fields. Frequently, however, the control fidelity is limited by optical phase noise. This is exacerbated in stabilized laser systems where high-frequency phase noise is an unavoidable consequence of feedback. Here we implement an optical feedforward technique to suppress laser phase noise in the STIRAP state transfer of ultracold RbCs molecules, across 114 THz, from a weakly bound Feshbach state to the rovibrational ground state. By performing over 100 state transfers on single molecules, we measure a significantly enhanced transfer efficiency of 98.7(1)% limited only by available laser intensity.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Bigraded path homology and the magnitude-path spectral sequence
Authors:
Richard Hepworth,
Emily Roff
Abstract:
Two important invariants of directed graphs, namely magnitude homology and path homology, have recently been shown to be intimately connected: there is a 'magnitude-path spectral sequence' or 'MPSS' in which magnitude homology appears as the first page, and in which path homology appears as an axis of the second page. In this paper we study the homological and computational properties of the spect…
▽ More
Two important invariants of directed graphs, namely magnitude homology and path homology, have recently been shown to be intimately connected: there is a 'magnitude-path spectral sequence' or 'MPSS' in which magnitude homology appears as the first page, and in which path homology appears as an axis of the second page. In this paper we study the homological and computational properties of the spectral sequence, and in particular of the full second page, which we now call 'bigraded path homology'. We demonstrate that every page of the MPSS deserves to be regarded as a homology theory in its own right, satisfying excision and Kunneth theorems (along with a homotopy invariance property already established by Asao), and that magnitude homology and bigraded path homology also satisfy Mayer-Vietoris theorems. We construct a homotopy theory of graphs (in the form of a cofibration category structure) in which weak equivalences are the maps inducing isomorphisms on bigraded path homology, strictly refining an existing structure based on ordinary path homology. And we provide complete computations of the MPSS for two important families of graphs - the directed and bi-directed cycles - which demonstrate the power of both the MPSS, and bigraded path homology in particular, to distinguish graphs that ordinary path homology cannot.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Enhanced quantum control of individual ultracold molecules using optical tweezer arrays
Authors:
Daniel K. Ruttley,
Alexander Guttridge,
Tom R. Hepworth,
Simon L. Cornish
Abstract:
Control over the quantum states of individual molecules is crucial in the quest to harness their rich internal structure and dipolar interactions for applications in quantum science. In this paper, we develop a toolbox of techniques for the control and readout of individually trapped polar molecules in an array of optical tweezers. Starting with arrays of up to eight Rb and eight Cs atoms, we asse…
▽ More
Control over the quantum states of individual molecules is crucial in the quest to harness their rich internal structure and dipolar interactions for applications in quantum science. In this paper, we develop a toolbox of techniques for the control and readout of individually trapped polar molecules in an array of optical tweezers. Starting with arrays of up to eight Rb and eight Cs atoms, we assemble arrays of RbCs molecules in their rovibrational and hyperfine ground state with an overall efficiency of 48(2)%. We demonstrate global microwave control of multiple rotational states of the molecules and use an auxiliary tweezer array to implement site-resolved addressing and state control. We show how the rotational state of the molecule can be mapped onto the position of Rb atoms and use this capability to readout multiple rotational states in a single experimental run. Further, using a scheme for the mid-sequence detection of molecule formation errors, we perform rearrangement of assembled molecules to prepare small defect-free arrays. Finally, we discuss a feasible route to scaling to larger arrays of molecules.
△ Less
Submitted 25 January, 2024; v1 submitted 24 January, 2024;
originally announced January 2024.
-
The reachability homology of a directed graph
Authors:
Richard Hepworth,
Emily Roff
Abstract:
The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequen…
▽ More
The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.
△ Less
Submitted 26 March, 2025; v1 submitted 3 December, 2023;
originally announced December 2023.
-
The homology of the partition algebras
Authors:
Rachael Boyd,
Richard Hepworth,
Peter Patzt
Abstract:
We show that the homology of the partition algebras, interpreted as appropriate Tor-groups, is isomorphic to that of the symmetric groups in a range of degrees that increases with the number of nodes. Furthermore, we show that when the defining parameter $δ$ of the partition algebra is invertible, the homology of the partition algebra is in fact isomorphic to the homology of the symmetric group in…
▽ More
We show that the homology of the partition algebras, interpreted as appropriate Tor-groups, is isomorphic to that of the symmetric groups in a range of degrees that increases with the number of nodes. Furthermore, we show that when the defining parameter $δ$ of the partition algebra is invertible, the homology of the partition algebra is in fact isomorphic to the homology of the symmetric group in all degrees. These results parallel those obtained for the Brauer algebras in the authors' earlier work, but with significant differences and difficulties in the inductive resolution and high acyclicity arguments required to prove them. Our results join the growing literature on homological stability for algebras, which now encompasses the Temperley-Lieb, Brauer and partition algebras, as well as the Iwahori-Hecke algebras of types A and B.
△ Less
Submitted 3 January, 2024; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Groups of convex bodies
Authors:
Richard Hepworth
Abstract:
In this paper we introduce and study a topological abelian group of convex bodies, analogous to the scissors congruence group and McMullen's polytope algebra, with the universal property that continuous valuations on convex bodies correspond to continuous homomorphisms on the group of convex bodies. To study this group, we first obtain a version of McMullen polynomiality for valuations that take v…
▽ More
In this paper we introduce and study a topological abelian group of convex bodies, analogous to the scissors congruence group and McMullen's polytope algebra, with the universal property that continuous valuations on convex bodies correspond to continuous homomorphisms on the group of convex bodies. To study this group, we first obtain a version of McMullen polynomiality for valuations that take values not in fields or vector spaces, but in abelian groups. Using this, we are able to equip the group of convex bodies with a grading that consists of real vector spaces in all positive degrees, mirroring one of the main structural properties of the polytope algebra. It is hoped that this work can serve as the starting point for a K-theoretic interpretation of valuations on convex bodies.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
The Beyond the Fence Musical and Computer Says Show Documentary
Authors:
Simon Colton,
Maria Teresa Llano,
Rose Hepworth,
John Charnley,
Catherine V. Gale,
Archie Baron,
Francois Pachet,
Pierre Roy,
Pablo Gervas,
Nick Collins,
Bob Sturm,
Tillman Weyde,
Daniel Wolff,
James Robert Lloyd
Abstract:
During 2015 and early 2016, the cultural application of Computational Creativity research and practice took a big leap forward, with a project where multiple computational systems were used to provide advice and material for a new musical theatre production. Billed as the world's first 'computer musical... conceived by computer and substantially crafted by computer', Beyond The Fence was staged in…
▽ More
During 2015 and early 2016, the cultural application of Computational Creativity research and practice took a big leap forward, with a project where multiple computational systems were used to provide advice and material for a new musical theatre production. Billed as the world's first 'computer musical... conceived by computer and substantially crafted by computer', Beyond The Fence was staged in the Arts Theatre in London's West End during February and March of 2016. Various computational approaches to analytical and generative sub-projects were used to bring about the musical, and these efforts were recorded in two 1-hour documentary films made by Wingspan Productions, which were aired on SkyArts under the title Computer Says Show. We provide details here of the project conception and execution, including details of the systems which took on some of the creative responsibility in writing the musical, and the contributions they made. We also provide details of the impact of the project, including a perspective from the two (human) writers with overall control of the creative aspects the musical.
△ Less
Submitted 11 May, 2022;
originally announced June 2022.
-
The homology of the Brauer algebras
Authors:
Rachael Boyd,
Richard Hepworth,
Peter Patzt
Abstract:
This paper investigates the homology of the Brauer algebras, interpreted as appropriate Tor-groups, and shows that it is closely related to the homology of the symmetric group. Our main results show that when the defining parameter of the Brauer algebra is invertible, then the homology of the Brauer algebra is isomorphic to the homology of the symmetric group, and that when the parameter is not in…
▽ More
This paper investigates the homology of the Brauer algebras, interpreted as appropriate Tor-groups, and shows that it is closely related to the homology of the symmetric group. Our main results show that when the defining parameter of the Brauer algebra is invertible, then the homology of the Brauer algebra is isomorphic to the homology of the symmetric group, and that when the parameter is not invertible, this isomorphism still holds in a range of degrees that increases with n.
△ Less
Submitted 2 August, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Combinatorics of injective words for Temperley-Lieb algebras
Authors:
Rachael Boyd,
Richard Hepworth
Abstract:
This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine n…
▽ More
This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine number. We obtain an alternating sum formula for the representation given by its top-dimensional homology module and, under further restrictions on the ground ring, we decompose this module in terms of certain standard Young tableaux. This trio of results - inspired by results of Reiner and Webb for the complex of injective words - can be viewed as an interpretation of the n-th Fine number as the 'planar' or 'Dyck path' analogue of the number of derangements of n letters. This interpretation has precursors in the literature, but here emerges naturally from considerations in homological stability. Our final result shows a surprising connection between the boundary maps of our complex and the Jacobsthal numbers.
△ Less
Submitted 26 February, 2021; v1 submitted 7 June, 2020;
originally announced June 2020.
-
The homology of the Temperley-Lieb algebras
Authors:
Rachael Boyd,
Richard Hepworth
Abstract:
This paper studies the homology and cohomology of the Temperley-Lieb algebra TL_n(a), interpreted as appropriate Tor and Ext groups. Our main result applies under the common assumption that a=v+v^{-1} for some unit v in the ground ring, and states that the homology and cohomology vanish up to and including degree (n-2). To achieve this we simultaneously prove homological stability and compute the…
▽ More
This paper studies the homology and cohomology of the Temperley-Lieb algebra TL_n(a), interpreted as appropriate Tor and Ext groups. Our main result applies under the common assumption that a=v+v^{-1} for some unit v in the ground ring, and states that the homology and cohomology vanish up to and including degree (n-2). To achieve this we simultaneously prove homological stability and compute the stable homology. We show that our vanishing range is sharp when n is even.
Our methods are inspired by the tools and techniques of homological stability for families of groups. We construct and exploit a chain complex of 'planar injective words' that is analogous to the complex of injective words used to prove stability for the symmetric groups. However, in this algebraic setting we encounter a novel difficulty: TL_n(a) is not flat over TL_m(a) for m<n, so that Shapiro's lemma is unavailable. We resolve this difficulty by constructing what we call 'inductive resolutions' of the relevant modules.
Vanishing results for the homology and cohomology of Temperley-Lieb algebras can also be obtained from the existence of the Jones-Wenzl projector. Our own vanishing results are in general far stronger than these, but in a restricted case we are able to obtain additional vanishing results via existence of the Jones-Wenzl projector.
We believe that these results, together with the second author's work on Iwahori-Hecke algebras, are the first time the techniques of homological stability have been applied to algebras that are not group algebras.
△ Less
Submitted 23 August, 2022; v1 submitted 7 June, 2020;
originally announced June 2020.
-
Homological stability for Iwahori-Hecke algebras
Authors:
Richard Hepworth
Abstract:
We show that the Iwahori-Hecke algebras H_n of type A_{n-1} satisfy homological stability, where homology is interpreted as an appropriate Tor group. Our result precisely recovers Nakaoka's homological stability result for the symmetric groups in the case that the defining parameter is equal to 1. We believe that this paper, and our joint work with Boyd on Temperley-Lieb algebras, are the first ti…
▽ More
We show that the Iwahori-Hecke algebras H_n of type A_{n-1} satisfy homological stability, where homology is interpreted as an appropriate Tor group. Our result precisely recovers Nakaoka's homological stability result for the symmetric groups in the case that the defining parameter is equal to 1. We believe that this paper, and our joint work with Boyd on Temperley-Lieb algebras, are the first time that the techniques of homological stability have been applied to algebras that are not group algebras.
△ Less
Submitted 3 August, 2022; v1 submitted 7 June, 2020;
originally announced June 2020.
-
Persistent Magnitude
Authors:
Dejan Govc,
Richard Hepworth
Abstract:
In this paper we introduce the persistent magnitude, a new numerical invariant of (sufficiently nice) graded persistence modules. It is a weighted and signed count of the bars of the persistence module, in which a bar of the form $[a,b)$ in degree $d$ is counted with weight $(e^{-a}-e^{-b})$ and sign $(-1)^d$. Persistent magnitude has good formal properties, such as additivity with respect to exac…
▽ More
In this paper we introduce the persistent magnitude, a new numerical invariant of (sufficiently nice) graded persistence modules. It is a weighted and signed count of the bars of the persistence module, in which a bar of the form $[a,b)$ in degree $d$ is counted with weight $(e^{-a}-e^{-b})$ and sign $(-1)^d$. Persistent magnitude has good formal properties, such as additivity with respect to exact sequences and compatibility with tensor products, and has interpretations in terms of both the associated graded functor, and the Laplace transform.
Our definition is inspired by Otter's notion of blurred magnitude homology: we show that the magnitude of a finite metric space is precisely the persistent magnitude of its blurred magnitude homology. Turning this result on its head, we obtain a strategy for turning existing persistent homology theories into new numerical invariants by applying the persistent magnitude. We explore this strategy in detail in the case of persistent homology of Morse functions, and in the case of Rips homology.
△ Less
Submitted 10 July, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Magnitude cohomology
Authors:
Richard Hepworth
Abstract:
Magnitude homology was introduced by Hepworth and Willerton in the case of graphs, and was later extended by Leinster and Shulman to metric spaces and enriched categories. Here we introduce the dual theory, magnitude cohomology, which we equip with the structure of an associative unital graded ring. Our first main result is a 'recovery theorem' showing that the magnitude cohomology ring of a finit…
▽ More
Magnitude homology was introduced by Hepworth and Willerton in the case of graphs, and was later extended by Leinster and Shulman to metric spaces and enriched categories. Here we introduce the dual theory, magnitude cohomology, which we equip with the structure of an associative unital graded ring. Our first main result is a 'recovery theorem' showing that the magnitude cohomology ring of a finite metric space completely determines the space itself. The magnitude cohomology ring is non-commutative in general, for example when applied to finite metric spaces, but in some settings it is commutative, for example when applied to ordinary categories. Our second main result explains this situation by proving that the magnitude cohomology ring of an enriched category is graded-commutative whenever the enriching category is cartesian. We end the paper by giving complete computations of magnitude cohomology rings for several large classes of graphs.
△ Less
Submitted 22 April, 2022; v1 submitted 18 July, 2018;
originally announced July 2018.
-
On the edge of the stable range
Authors:
Richard Hepworth
Abstract:
We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These last two unstable groups are the "edge" in our title.) Applying our results to automorphism groups of free groups yields a new proof of homological stability with…
▽ More
We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These last two unstable groups are the "edge" in our title.) Applying our results to automorphism groups of free groups yields a new proof of homological stability with an improved stable range, a description of the last unstable group up to a single ambiguity, and a lower bound on the rank of the penultimate unstable group. We give similar applications to the general linear groups of the integers and of the field of order 2, this time recovering the known stablility range. The results can also be applied to general linear groups of arbitrary principal ideal domains, symmetric groups, and braid groups. Our methods require us to use field coefficients throughout.
△ Less
Submitted 21 October, 2016; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Categorifying the magnitude of a graph
Authors:
Richard Hepworth,
Simon Willerton
Abstract:
The magnitude of a graph can be thought of as an integer power series associated to a graph; Leinster introduced it using his idea of magnitude of a metric space. Here we introduce a bigraded homology theory for graphs which has the magnitude as its graded Euler characteristic. This is a categorification of the magnitude in the same spirit as Khovanov homology is a categorification of the Jones po…
▽ More
The magnitude of a graph can be thought of as an integer power series associated to a graph; Leinster introduced it using his idea of magnitude of a metric space. Here we introduce a bigraded homology theory for graphs which has the magnitude as its graded Euler characteristic. This is a categorification of the magnitude in the same spirit as Khovanov homology is a categorification of the Jones polynomial. We show how properties of magnitude proved by Leinster categorify to properties such as a Kunneth Theorem and a Mayer-Vietoris Theorem. We prove that joins of graphs have their homology supported on the diagonal. Finally, we give various computer calculated examples.
△ Less
Submitted 24 July, 2015; v1 submitted 15 May, 2015;
originally announced May 2015.
-
Homological stability for families of Coxeter groups
Authors:
Richard Hepworth
Abstract:
We prove that certain families of Coxeter groups and inclusions $W_1\hookrightarrow W_2\hookrightarrow...$ satisfy homological stability, meaning that in each degree the homology $H_\ast(BW_n)$ is eventually independent of $n$. This gives a uniform treatment of homological stability for the families of Coxeter groups of type $A_n$, $B_n$ and $D_n$, recovering existing results in the first two case…
▽ More
We prove that certain families of Coxeter groups and inclusions $W_1\hookrightarrow W_2\hookrightarrow...$ satisfy homological stability, meaning that in each degree the homology $H_\ast(BW_n)$ is eventually independent of $n$. This gives a uniform treatment of homological stability for the families of Coxeter groups of type $A_n$, $B_n$ and $D_n$, recovering existing results in the first two cases, and giving a new result in the third. The key step in our proof is to show that a certain simplicial complex with $W_n$-action is highly connected. To do this we show that the barycentric subdivision is an instance of the 'basic construction', and then use Davis's description of the basic construction as an increasing union of chambers to deduce the required connectivity.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
On string topology of classifying spaces
Authors:
Richard Hepworth,
Anssi Lahtinen
Abstract:
Let G be a compact Lie group. By work of Chataur and Menichi, the homology of the space of free loops in the classifying space of G is known to be the value on the circle in a homological conformal field theory. This means in particular that it admits operations parameterized by homology classes of classifying spaces of diffeomorphism groups of surfaces. Here we present a radical extension of this…
▽ More
Let G be a compact Lie group. By work of Chataur and Menichi, the homology of the space of free loops in the classifying space of G is known to be the value on the circle in a homological conformal field theory. This means in particular that it admits operations parameterized by homology classes of classifying spaces of diffeomorphism groups of surfaces. Here we present a radical extension of this result, giving a new construction in which diffeomorphisms are replaced with homotopy equivalences, and surfaces with boundary are replaced with arbitrary spaces homotopy equivalent to finite graphs. The result is a novel kind of field theory which is related to both the diffeomorphism groups of surfaces and the automorphism groups of free groups with boundaries. Our work shows that the algebraic structures in string topology of classifying spaces can be brought into line with, and in fact far exceed, those available in string topology of manifolds. For simplicity, we restrict to the characteristic 2 case. The generalization to arbitrary characteristic will be addressed in a subsequent paper.
△ Less
Submitted 27 April, 2015; v1 submitted 28 August, 2013;
originally announced August 2013.
-
Configurations spaces and Theta_n
Authors:
David Ayala,
Richard Hepworth
Abstract:
We demonstrate that Joyal's category Theta_n, which is central to numerous definitions of (infinity,n)-categories, naturally encodes the homotopy type of configuration spaces of marked points in R^n. This article is largely self-contained and uses only elementary techniques in combinatorics and homotopy theory.
We demonstrate that Joyal's category Theta_n, which is central to numerous definitions of (infinity,n)-categories, naturally encodes the homotopy type of configuration spaces of marked points in R^n. This article is largely self-contained and uses only elementary techniques in combinatorics and homotopy theory.
△ Less
Submitted 13 February, 2012;
originally announced February 2012.
-
Groups, cacti and framed little discs
Authors:
Richard Hepworth
Abstract:
Let G be a topological group. Then the based loopspace of G is an algebra over the cacti operad, while the double loopspace of the classifying space of G is an algebra over the framed little discs operad. This paper shows that these two algebras are equivalent, in the sense that they are weakly equivalent E-algebras, where E is an operad weakly equivalent to both framed little discs and cacti. We…
▽ More
Let G be a topological group. Then the based loopspace of G is an algebra over the cacti operad, while the double loopspace of the classifying space of G is an algebra over the framed little discs operad. This paper shows that these two algebras are equivalent, in the sense that they are weakly equivalent E-algebras, where E is an operad weakly equivalent to both framed little discs and cacti. We recover the equivalence between cacti and framed little discs, and Menichi's isomorphism between the BV-algebras obtained by taking the homology of the loopspace of G and of the double loopspace of BG.
△ Less
Submitted 16 September, 2010;
originally announced September 2010.
-
String topology for complex projective spaces
Authors:
Richard A. Hepworth
Abstract:
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a complete description of this Batalin-Vilkovisky algebra for complex projective spaces. This builds on a description of the ring structure that is due to Cohen, Jones and Yan. In the course of the proof we establish several…
▽ More
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a complete description of this Batalin-Vilkovisky algebra for complex projective spaces. This builds on a description of the ring structure that is due to Cohen, Jones and Yan. In the course of the proof we establish several new general results. These include a description of how symmetries of a manifold can be used to understand its string topology, and a relationship between characteristic classes and circle actions on sphere bundles.
△ Less
Submitted 7 August, 2009;
originally announced August 2009.
-
String Topology for Lie Groups
Authors:
Richard A. Hepworth
Abstract:
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a direct description of this Batalin-Vilkovisky algebra in the case that the manifold is a compact Lie group G. Our answer is phrased in terms of the homology of G, the homology of the space of based loops on G, and the homo…
▽ More
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a direct description of this Batalin-Vilkovisky algebra in the case that the manifold is a compact Lie group G. Our answer is phrased in terms of the homology of G, the homology of the space of based loops on G, and the homology suspension. The result is applied to compute the Batalin-Vilkovisky algebra associated to the special orthogonal groups SO(n) with coefficients in the rational numbers and in the integers modulo two.
△ Less
Submitted 8 May, 2009;
originally announced May 2009.
-
Vector Fields and Flows on Differentiable Stacks
Authors:
Richard A. Hepworth
Abstract:
This paper introduces the notions of vector field and flow on a general differentiable stack. Our main theorem states that the flow of a vector field on a compact proper differentiable stack exists and is unique up to a uniquely determined 2-cell. This extends the usual result on the existence and uniqueness of flows on a manifold as well as the author's existing results for orbifolds. It sets t…
▽ More
This paper introduces the notions of vector field and flow on a general differentiable stack. Our main theorem states that the flow of a vector field on a compact proper differentiable stack exists and is unique up to a uniquely determined 2-cell. This extends the usual result on the existence and uniqueness of flows on a manifold as well as the author's existing results for orbifolds. It sets the scene for a discussion of Morse Theory on a general proper stack and also paves the way for the categorification of other key aspects of differential geometry such as the tangent bundle and the Lie algebra of vector fields.
△ Less
Submitted 6 October, 2008;
originally announced October 2008.
-
Morse Inequalities for Orbifold Cohomology
Authors:
Richard A. Hepworth
Abstract:
This paper begins the study of Morse theory for orbifolds, or more precisely for differentiable Deligne-Mumford stacks. The main result is an analogue of the Morse inequalities that relates the orbifold Betti numbers of an almost-complex orbifold to the critical points of a Morse function on the orbifold. We also show that a generic function on an orbifold is Morse. In obtaining these results we…
▽ More
This paper begins the study of Morse theory for orbifolds, or more precisely for differentiable Deligne-Mumford stacks. The main result is an analogue of the Morse inequalities that relates the orbifold Betti numbers of an almost-complex orbifold to the critical points of a Morse function on the orbifold. We also show that a generic function on an orbifold is Morse. In obtaining these results we develop for differentiable Deligne-Mumford stacks those tools of differential geometry and topology -- flows of vector fields, the strong topology -- that are essential to the development of Morse theory on manifolds.
△ Less
Submitted 14 December, 2007;
originally announced December 2007.
-
The age grading and the Chen-Ruan cup product
Authors:
Richard A. Hepworth
Abstract:
We prove that the obstruction bundle used to define the cup-product in Chen-Ruan cohomology is determined by the so-called `age grading' or `degree-shifting numbers'. Indeed, the obstruction bundle can be directly computed using the age grading. We obtain a Kunneth Theorem for Chen-Ruan cohomology as a direct consequence of an elementary property of the age grading, and explain how several other…
▽ More
We prove that the obstruction bundle used to define the cup-product in Chen-Ruan cohomology is determined by the so-called `age grading' or `degree-shifting numbers'. Indeed, the obstruction bundle can be directly computed using the age grading. We obtain a Kunneth Theorem for Chen-Ruan cohomology as a direct consequence of an elementary property of the age grading, and explain how several other results - including associativity of the cup-product - can be proved in a similar way.
△ Less
Submitted 20 October, 2008; v1 submitted 28 June, 2007;
originally announced June 2007.
-
The topology of certain 3-Sasakian 7-manifolds
Authors:
Richard A. Hepworth
Abstract:
We calculate the integer cohomology ring and stable tangent bundle of a family of compact, 3-Sasakian 7-manifolds constructed by Boyer, Galicki, Mann, and Rees. Previously only the rational cohomology ring was known. The most important part of the cohomology ring is a torsion group that we describe explicitly and whose order we compute. There is a surprising connection with the combinatorics of…
▽ More
We calculate the integer cohomology ring and stable tangent bundle of a family of compact, 3-Sasakian 7-manifolds constructed by Boyer, Galicki, Mann, and Rees. Previously only the rational cohomology ring was known. The most important part of the cohomology ring is a torsion group that we describe explicitly and whose order we compute. There is a surprising connection with the combinatorics of trees.
△ Less
Submitted 2 December, 2005; v1 submitted 30 November, 2005;
originally announced November 2005.
