Showing 1–22 of 22 results for author: Hepworth, R

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.

Comments: 57 pages

MSC Class: 18G90; 05C25 (Primary); 05C31; 05C38; 18G35; 55U35 (Secondary)

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.

Comments: 20 pages. Version 2: acknowledgements and references updated; a few typos corrected; minor improvements to the exposition. Version 3: references updated. This is the final version, published in International Mathematics Research Notices

MSC Class: 18G90; 05C25 (Primary) 05C31; 05C38; 18G35 (Secondary)

Journal ref: International Mathematics Research Notices, 2025(3):1-18, 2025

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.

Comments: 23 pages. Final version, to appear in Pacific Journal of Mathematics

MSC Class: 20J06; 16E40 (primary); 20B30 (secondary)

Journal ref: Pacific J. Math. 327 (2023) 1-27

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.

Comments: 19 pages

MSC Class: 28A75; 52A20 (Primary) 52B45; 19D99 (Secondary)

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.

Comments: 28 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 20J06; 16E40 (primary); 20B30 (secondary)

Journal ref: Sel. Math. 27 (2021), no. 5, 85

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.

Comments: 27 pages. Version 2 is updated in response to referees comments. arXiv admin note: text overlap with arXiv:2006.04256

MSC Class: 05E45 (primary); 05E15; 16E40 (secondary)

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.

Comments: 67 pages. Multiple changes following referee's suggestions. Final version, to appear in Geometry & Topology

MSC Class: 20J06; 16E40 (primary); 20F36 (secondary)

Journal ref: Geom. Topol. 28 (2024) 1437-1499

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.

Comments: 44 pages. Minor changes. To appear in the Journal of Topology

MSC Class: 20J06; 16E40 (primary); 20F36 (secondary)

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.

Comments: 43 pages, 9 figures. v2: Modifications in response to referee comments. Final version, to appear in Journal of Pure and Applied Algebra

MSC Class: 55N99 (Primary); 55N35; 51F99; 11A25 (Secondary)

Journal ref: J. Pure Appl. Algebra 225 (2021), no. 3, Paper No. 106517

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.

Comments: 27 pages. Accepted version

MSC Class: 55N35 (primary); 18F99; 18D20; 51F99 (secondary)

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.

Comments: 43 pages; v2: corrected some statements and edited introduction

MSC Class: 20J06 (primary); 20F28; 57M07; 55R40 (secondary)

Journal ref: Mathematische Annalen (2020) 377:123-181

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.

Comments: 29 pages, one figure and many tables. v2: minor changes

MSC Class: 55N35; 05C31

Journal ref: Homology, Homotopy and Applications, vol. 19(2), 2017, pp.31-60

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.

Comments: 16 pages

MSC Class: 20F55; 20J06

Journal ref: Algebr. Geom. Topol. 16 (2016) 2779-2811

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.

Comments: 93 pages; v4: minor changes; to appear in Advances in Mathematics

Report number: CPH-SYM-DNRF92 MSC Class: 55P50 (Primary) 81T40; 55R35 (Secondary)

Journal ref: Advances in Mathematics 281 (2015) 394-507

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.

Comments: 12 pages

Report number: SYM-CPH-DNRF92 MSC Class: 55R80; 18D05

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.

Comments: 40 pages

Report number: CPH-SYM-00 MSC Class: 55P48; 18D50; 57T99

Journal ref: Trans. Amer. Math. Soc. 365 (2013), 2597-2636

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.

Comments: 41 pages

Report number: CPH-SYM-00 MSC Class: 57R19; 58D99

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.

Comments: 22 pages

Report number: CPH-SYM-00 MSC Class: 57R19; 58D99; 57T10

Journal ref: Journal of Topology 2010 3(2):424-442

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.

Comments: 41 pages

MSC Class: 37C10; 14A20; 18D05

Journal ref: Theory Appl. Categ. 22 (2009), 542-587

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.

MSC Class: 57R70; 57N65

Journal ref: Algebr. Geom. Topol. 9 (2009), no. 2, 1105-1175

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.

Comments: 11 pages. Example added and minor errors corrected

Report number: CPH-SYM-00

Journal ref: Bull. London Math. Soc. (2010) 42(5): 868-878

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.

Comments: 24 pages

MSC Class: 53C25 (Primary); 57R19 (Secondary)

Journal ref: Math. Ann. 339 (2007), no. 4, 733-755