Showing 1–29 of 29 results for author: Stevenson, D

The Weyl map and bundle gerbes

Authors: Kimberly E. Becker, Michael K. Murray, Daniel Stevenson

Abstract: We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(n)-equivariant bundle gerbes. Both bundle gerbes come equipped with connections… ▽ More We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(n)-equivariant bundle gerbes. Both bundle gerbes come equipped with connections and curvings and by considering the holonomy of these we show that these bundle gerbes are not D-stably isomorphic. △ Less

Submitted 11 December, 2019; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: This paper is based on the MPhil thesis of the first author: arXiv:1910.01776. To appear in Journal of Geometry and Physics

MSC Class: 53C08 55N45

Notes on the Joyal model structure

Authors: Danny Stevenson

Abstract: We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and use this characterization to establish the inner model structure on the category of simplicial sets whose set of zero-simplices is equal to a fixed set $O$. We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and use this characterization to establish the inner model structure on the category of simplicial sets whose set of zero-simplices is equal to a fixed set $O$. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: 45 pages

MSC Class: 55U10; 55U35; 18G30

Model Structures for Correspondences and Bifibrations

Authors: Danny Stevenson

Abstract: We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over $A\times B$ with the structure of a model category for which the fibrant objects are the bifibrations from $A$ to $B$. We also equip the category of correspondences… ▽ More We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over $A\times B$ with the structure of a model category for which the fibrant objects are the bifibrations from $A$ to $B$. We also equip the category of correspondences of simplicial sets from $A$ to $B$ with the structure of a model category. We describe several Quillen equivalences relating these model structure with the covariant model structure on the category of simplicial sets over $B^{\mathrm{op}}\times A$. △ Less

Submitted 21 July, 2018; originally announced July 2018.

Comments: 41 pages

MSC Class: 55U35 (Primary) 18G30; 18G55 (Secondary)

Stability for inner fibrations revisited

Authors: Danny Stevenson

Abstract: In this paper we prove a stability result for inner fibrations in terms of the wide, or fat join operation on simplicial sets. We also prove some additional results on inner anodyne morphisms that may be of independent interest. In this paper we prove a stability result for inner fibrations in terms of the wide, or fat join operation on simplicial sets. We also prove some additional results on inner anodyne morphisms that may be of independent interest. △ Less

Submitted 21 July, 2018; v1 submitted 27 August, 2016; originally announced August 2016.

Comments: v4: published version; 12 pages

MSC Class: 55U10 (Primary) 55U35; 18G30 (Secondary)

Journal ref: Theory and Application of Categories, Vol. 33, 2018, No. 19, pp. 523-536

Covariant Model Structures and Simplicial Localization

Authors: Danny Stevenson

Abstract: In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model structure on the category of simplicial presheaves on the simplex category $Δ/B$ of $B$. We extend this result to give a new Quillen equivalence between this covariant model structure and the projective mod… ▽ More In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model structure on the category of simplicial presheaves on the simplex category $Δ/B$ of $B$. We extend this result to give a new Quillen equivalence between this covariant model structure and the projective model structure on the category of simplicial presheaves on the simplicial category $\mathfrak{C}[B]$. We study the relationship with Lurie's straightening theorem. Along the way we prove some results on localizations of simplicial categories and quasi-categories. △ Less

Submitted 4 October, 2017; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: v3: corrected some errors, final version, 49 pages

MSC Class: 55U35 (Primary); 18G55; 18G30 (Secondary)

Journal ref: North-West. Eur. J. Math. Vol. 3 (2017) pp. 141-202

Equivariant bundle gerbes

Authors: Michael K. Murray, David Michael Roberts, Danny Stevenson, Raymond F. Vozzo

Abstract: We develop the theory of simplicial extensions for bundle gerbes and their characteristic classes with a view towards studying descent problems and equivariance for bundle gerbes. Equivariant bundle gerbes are important in the study of orbifold sigma models. We consider in detail two examples: the basic bundle gerbe on a unitary group and a string structure for a principal bundle. We show that the… ▽ More We develop the theory of simplicial extensions for bundle gerbes and their characteristic classes with a view towards studying descent problems and equivariance for bundle gerbes. Equivariant bundle gerbes are important in the study of orbifold sigma models. We consider in detail two examples: the basic bundle gerbe on a unitary group and a string structure for a principal bundle. We show that the basic bundle gerbe is equivariant for the conjugation action and calculate its characteristic class; we show also that a string structure gives rise to a bundle gerbe which is equivariant for a natural action of the String 2-group. △ Less

Submitted 5 May, 2016; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: v2 35 pages, introduction rewritten, references added, no other substantial changes; v1 33 pages. Comments welcome. License is CC-BY

MSC Class: 53C80; 18G30; 55R91

Journal ref: Advances in Theoretical and Mathematical Physics 21 (2017) no. 4 pp 921-975

Circle packing and interpolation in Fock spaces

Authors: Daniel Stevenson, Kehe Zhu

Abstract: It was shown by James Tung in 2005 that if a sequence $Z=\{z_n\}$ of points in the complex plane satisfies $$\inf_{n\not=m}|z_n-z_m|>2/\sqrtα,$$ then $Z$ is a sequence of interpolation for the Fock space $F^p_α$. Using results from circle packing, we show that the constant above can be improved to $$\sqrt{2π/(\sqrt3\,α)},$$ which is strictly smaller than $2/\sqrtα$. A similar result will also be o… ▽ More It was shown by James Tung in 2005 that if a sequence $Z=\{z_n\}$ of points in the complex plane satisfies $$\inf_{n\not=m}|z_n-z_m|>2/\sqrtα,$$ then $Z$ is a sequence of interpolation for the Fock space $F^p_α$. Using results from circle packing, we show that the constant above can be improved to $$\sqrt{2π/(\sqrt3\,α)},$$ which is strictly smaller than $2/\sqrtα$. A similar result will also be obtained for sampling sequences. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: 7 pages

MSC Class: 30H20; 52C26

Principal infinity-bundles - Presentations

Authors: Thomas Nikolaus, Urs Schreiber, Danny Stevenson

Abstract: We discuss two aspects of the presentation of the theory of principal infinity-bundles in an infinity-topos, introduced in [NSSa], in terms of categories of simplicial (pre)sheaves. First we show that over a cohesive site C and for G a presheaf of simplicial groups which is C-acyclic, G-principal infinity-bundles over any object in the infinity-topos over C are classified by hyper-Cech-cohomolog… ▽ More We discuss two aspects of the presentation of the theory of principal infinity-bundles in an infinity-topos, introduced in [NSSa], in terms of categories of simplicial (pre)sheaves. First we show that over a cohesive site C and for G a presheaf of simplicial groups which is C-acyclic, G-principal infinity-bundles over any object in the infinity-topos over C are classified by hyper-Cech-cohomology with coefficients in G. Then we show that over a site C with enough points, principal infinity-bundles in the infinity-topos are presented by ordinary simplicial bundles in the sheaf topos that satisfy principality by stalkwise weak equivalences. Finally we discuss explicit details of these presentations for the discrete site (in discrete infinity-groupoids) and the smooth site (in smooth infinity-groupoids, generalizing Lie groupoids and differentiable stacks). In the companion article [NSSc] we use these presentations for constructing classes of examples of (twisted) principal infinity-bundles and for the discussion of various applications. △ Less

Submitted 1 July, 2012; originally announced July 2012.

Comments: 55 pages

Journal ref: Journal of Homotopy and Related Structures, Volume 10, Issue 3 (2015), pages 565-622

Principal infinity-bundles -- General theory

Authors: Thomas Nikolaus, Urs Schreiber, Danny Stevenson

Abstract: The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric model for structured higher nonabelian cohomology and controls general fiber bundles in terms of associated bundles. For suitable choices of structure infinity-… ▽ More The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric model for structured higher nonabelian cohomology and controls general fiber bundles in terms of associated bundles. For suitable choices of structure infinity-group G these G-principal infinity-bundles reproduce the theories of ordinary principal bundles, of bundle gerbes/principal 2-bundles and of bundle 2-gerbes and generalize these to their further higher and equivariant analogs. The induced associated infinity-bundles subsume the notions of gerbes and higher gerbes in the literature. We discuss here this general theory of principal infinity-bundles, intimately related to the axioms of Giraud, Toen-Vezzosi, Rezk and Lurie that characterize infinity-toposes. We show a natural equivalence between principal infinity-bundles and intrinsic nonabelian cocycles, implying the classification of principal infinity-bundles by nonabelian sheaf hyper-cohomology. We observe that the theory of geometric fiber infinity-bundles associated to principal infinity-bundles subsumes a theory of infinity-gerbes and of twisted infinity-bundles, with twists deriving from local coefficient infinity-bundles, which we define, relate to extensions of principal infinity-bundles and show to be classified by a corresponding notion of twisted cohomology, identified with the cohomology of a corresponding slice infinity-topos. In a companion article [NSSb] we discuss explicit presentations of this theory in categories of simplicial (pre)sheaves by hyper-Cech cohomology and by simplicial weakly-principal bundles; and in [NSSc] we discuss various examples and applications of the theory. △ Less

Submitted 30 June, 2023; v1 submitted 1 July, 2012; originally announced July 2012.

Comments: 49 pages; v2: published version; v3: missing assumption added to Lemma 3.9

Journal ref: Journal of Homotopy and Related Structures, Volume 10, Issue 4 (2015), pages 749-801

Classifying theory for simplicial parametrized groups

Authors: Danny Stevenson

Abstract: In this paper we describe a classifying theory for families of simplicial topological groups. If $B$ is a topological space and $G$ is a simplicial topological group, then we can consider the non-abelian cohomology $H(B,G)$ of $B$ with coefficients in $G$. If $G$ is a topological group, thought of as a constant simplicial group, then the set $H(B,G)$ is the set of isomorphism classes of principal… ▽ More In this paper we describe a classifying theory for families of simplicial topological groups. If $B$ is a topological space and $G$ is a simplicial topological group, then we can consider the non-abelian cohomology $H(B,G)$ of $B$ with coefficients in $G$. If $G$ is a topological group, thought of as a constant simplicial group, then the set $H(B,G)$ is the set of isomorphism classes of principal $G$ bundles, or $G$ torsors, on $B$. For more general simplicial groups $G$, the set $H(B,G)$ parametrizes the set of equivalence classes of higher $G$ torsors on $B$. In this paper we consider a more general setting where $G$ is replaced by a simplicial group in the category of spaces over $B$. The main result of the paper is that under suitable conditions on $B$ and $G$ there is an isomorphism between $H(B,G)$ and the set of isomorphism classes of fiberwise principal bundles on $B$, with structure group $|G|$ given by the fiberwise geometric realization of $G$. △ Less

Submitted 28 April, 2016; v1 submitted 12 March, 2012; originally announced March 2012.

Comments: 30 pages, uses xy-pic; v2 added missing fibrancy condition, corrected minor typos and updated references

MSC Class: 18G55 (Primary); 18F20; 55R35 (Secondary)

Simplicial principal bundles in parametrized spaces

Authors: David Michael Roberts, Danny Stevenson

Abstract: In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplici… ▽ More In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplicial parametrized principal bundles to ordinary parametrized principal bundles. As an application we show that the fiberwise geometric realization of the universal simplicial principal bundle for a simplicial group G in the category of spaces over B gives rise to a parametrized principal bundle with structure group |G|. △ Less

Submitted 6 April, 2016; v1 submitted 12 March, 2012; originally announced March 2012.

Comments: v2 Corrected errors in discussion of latching objects; re-organized sections 4,5 & 6; 30 pages; uses xy-pic. v3 fixes some technical LaTeX issues preventing arrows from rendering. v4 Final version, to appear in New York J. Math

MSC Class: 55R35; 55U10

Journal ref: New York Journal of Mathematics Volume 22 (2016) 405-440

The Faddeev-Mickelsson-Shatashvili anomaly and lifting bundle gerbes

Authors: Pedram Hekmati, Michael K. Murray, Danny Stevenson, Raymond F. Vozzo

Abstract: In gauge theory, the Faddeev-Mickelsson-Shatashvili anomaly arises as a prolongation problem for the action of the gauge group on a bundle of projective Fock spaces. In this paper, we study this anomaly from the point of view of bundle gerbes and give several equivalent descriptions of the obstruction. These include lifting bundle gerbes with non-trivial structure group bundle and bundle gerbes re… ▽ More In gauge theory, the Faddeev-Mickelsson-Shatashvili anomaly arises as a prolongation problem for the action of the gauge group on a bundle of projective Fock spaces. In this paper, we study this anomaly from the point of view of bundle gerbes and give several equivalent descriptions of the obstruction. These include lifting bundle gerbes with non-trivial structure group bundle and bundle gerbes related to the caloron correspondence. △ Less

Submitted 7 February, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: 15 pages, v2: minor terminology changed, v3: references added

MSC Class: 53C08; 57R22; 81T13

Journal ref: Comm. Math. Phys. 319(2):379-393, 2013

Décalage and Kan's simplicial loop group functor

Authors: Danny Stevenson

Abstract: Given a bisimplicial set, there are two ways to extract from it a simplicial set: the diagonal simplicial set and the less well known total simplicial set of Artin and Mazur. There is a natural comparison map between these two simplicial sets, and it is a theorem due to Cegarra and Remedios and independently Joyal and Tierney, that this comparison map is a weak equivalence for any bisimplicial set… ▽ More Given a bisimplicial set, there are two ways to extract from it a simplicial set: the diagonal simplicial set and the less well known total simplicial set of Artin and Mazur. There is a natural comparison map between these two simplicial sets, and it is a theorem due to Cegarra and Remedios and independently Joyal and Tierney, that this comparison map is a weak equivalence for any bisimplicial set. In this paper we will give a new, elementary proof of this result. As an application, we will revisit Kan's simplicial loop group functor G. We will give a simple formula for this functor, which is based on a factorization, due to Duskin, of Eilenberg and Mac Lane's classifying complex functor Wbar. We will give a new, short, proof of Kan's result that the unit map for the adjunction (G,Wbar) is a weak equivalence for reduced simplicial sets. △ Less

Submitted 24 February, 2012; v1 submitted 2 December, 2011; originally announced December 2011.

Comments: 20 pages, added references and table of contents, corrected typos and hopefully improved exposition

MSC Class: 18G30

On the existence of bibundles

Authors: Michael Murray, David Michael Roberts, Danny Stevenson

Abstract: We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer automorphisms of $G$. We also develop a classifying theory for bibundles. The theory is developed in full generality for $(H, G)$ bibundles for a crossed-module… ▽ More We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer automorphisms of $G$. We also develop a classifying theory for bibundles. The theory is developed in full generality for $(H, G)$ bibundles for a crossed-module $(H, G)$ and we show with examples the close links with loop group bundles. △ Less

Submitted 12 February, 2012; v1 submitted 21 February, 2011; originally announced February 2011.

Comments: This version accepted to appear in the Proceedings of the London Mathematical Society. Various changes made at referee's suggestion

MSC Class: 55R65; 53C08; 18D05

Journal ref: Proc. London Math. Soc. (2012) 105 (6): 1290-1314

A note on bundle gerbes and infinite-dimensionality

Authors: Michael Murray, Danny Stevenson

Abstract: Let $(P, Y)$ be a bundle gerbe over a fibre bundle $Y \to M$. We show that if $M$ is simply-connected and the fibres of $Y \to M$ are connected and finite-dimensional then the Dixmier-Douady class of $(P, Y)$ is torsion. This corrects and extends an earlier result of the first author. Let $(P, Y)$ be a bundle gerbe over a fibre bundle $Y \to M$. We show that if $M$ is simply-connected and the fibres of $Y \to M$ are connected and finite-dimensional then the Dixmier-Douady class of $(P, Y)$ is torsion. This corrects and extends an earlier result of the first author. △ Less

Submitted 28 July, 2010; originally announced July 2010.

MSC Class: 53C08

The basic bundle gerbe on unitary groups

Authors: Michael K Murray, Danny Stevenson

Abstract: We consider the construction of the basic bundle gerbe on SU(n) introduced by Meinrenken and show that it extends to a range of groups with unitary actions on a Hilbert space including U(n), diagonal tori and the Banach Lie group of unitary operators differing from the identity by an element of a Schatten ideal. In all these cases we give an explicit connection and curving on the basic bundle ge… ▽ More We consider the construction of the basic bundle gerbe on SU(n) introduced by Meinrenken and show that it extends to a range of groups with unitary actions on a Hilbert space including U(n), diagonal tori and the Banach Lie group of unitary operators differing from the identity by an element of a Schatten ideal. In all these cases we give an explicit connection and curving on the basic bundle gerbe and calculate the real Dixmier-Douady class. Extensive use is made of the holomorphic functional calculus for operators on a Hilbert space. △ Less

Submitted 22 April, 2008; originally announced April 2008.

MSC Class: 55R65; 47A60

Geometry of infinite dimensional Grassmannians and the Mickelsson-Rajeev cocycle

Authors: Danny Stevenson

Abstract: In their study of the representation theory of loop groups, Pressley and Segal introduced a determinant line bundle over an infinite dimensional Grassmann manifold. Mickelsson and Rajeev subsequently generalized the work of Pressley and Segal and in the process introduced for any p >=1 another infinite dimensional Grassmann manifold and a determinant line bundle defined over it. The construction… ▽ More In their study of the representation theory of loop groups, Pressley and Segal introduced a determinant line bundle over an infinite dimensional Grassmann manifold. Mickelsson and Rajeev subsequently generalized the work of Pressley and Segal and in the process introduced for any p >=1 another infinite dimensional Grassmann manifold and a determinant line bundle defined over it. The construction of this determinant line bundle required the notion of a regularized determinant for bounded operators. In this note we specialize to the case p =2 and construct explicitly a connection on the corresponding determinant line bundle and give a simple and explicit formula for its curvature. As an application of our results we give a geometric derivation of the Mickelsson-Rajeev cocycle. △ Less

Submitted 25 February, 2008; originally announced February 2008.

MSC Class: 53C05; 53C80

The Classifying Space of a Topological 2-Group

Authors: John C. Baez, Danny Stevenson

Abstract: Categorifying the concept of topological group, one obtains the notion of a 'topological 2-group'. This in turn allows a theory of 'principal 2-bundles' generalizing the usual theory of principal bundles. It is well-known that under mild conditions on a topological group G and a space M, principal G-bundles over M are classified by either the first Cech cohomology of M with coefficients in G, or… ▽ More Categorifying the concept of topological group, one obtains the notion of a 'topological 2-group'. This in turn allows a theory of 'principal 2-bundles' generalizing the usual theory of principal bundles. It is well-known that under mild conditions on a topological group G and a space M, principal G-bundles over M are classified by either the first Cech cohomology of M with coefficients in G, or the set of homotopy classes [M,BG], where BG is the classifying space of G. Here we review work by Bartels, Jurco, Baas-Bokstedt-Kro, and others generalizing this result to topological 2-groups and even topological 2-categories. We explain various viewpoints on topological 2-groups and Cech cohomology with coefficients in a topological 2-group C, also known as 'nonabelian cohomology'. Then we give an elementary proof that under mild conditions on M and C there is a bijection between the first Cech cohomology of M with coefficients in C and [M,B|C|] where B|C| is the classifying space of the geometric realization of the nerve of C. Applying this result to the 'string 2-group' String(G) of a simply-connected compact simple Lie group G, it follows that principal String(G)-2-bundles have rational characteristic classes coming from elements of the rational cohomology of BG modulo the ideal generated by c, where c is any nonzero element in the 4th cohomology of BG. △ Less

Submitted 27 July, 2009; v1 submitted 24 January, 2008; originally announced January 2008.

Comments: 31 pages LaTeX, 2 eps figures, a few errors fixed

MSC Class: 18D05; 18D10; 55R35; 55R40

From Loop Groups to 2-Groups

Authors: John C. Baez, Alissa S. Crans, Danny Stevenson, Urs Schreiber

Abstract: We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group $\mathrm{String}(n)$. A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If $G$ is a simply-connected compact simple… ▽ More We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group $\mathrm{String}(n)$. A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If $G$ is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras $\mathfrak{g}_k$ each having $\mathrm{Lie}(G)$ as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on $G$. There appears to be no Lie 2-group having $\mathfrak{g}_k$ as its Lie 2-algebra, except when $k = 0$. Here, however, we construct for integral k an infinite-dimensional Lie 2-group whose Lie 2-algebra is equivalent to $\mathfrak{g}_k$. The objects of this 2-group are based paths in $G$, while the automorphisms of any object form the level-$k$ Kac-Moody central extension of the loop group of $G$. This 2-group is closely related to the $k$th power of the canonical gerbe over $G$. Its nerve gives a topological group that is an extension of $G$ by $K(\mathbb{Z},2)$. When $k = \pm 1$, this topological group can also be obtained by killing the third homotopy group of $G$. Thus, when $G = \mathrm{Spin}(n)$, it is none other than $\mathrm{String}(n)$. △ Less

Submitted 14 May, 2023; v1 submitted 6 April, 2005; originally announced April 2005.

Comments: 37 pages, sign mistakes corrected by David Roberts

MSC Class: 81R10 (Primary); 22E67; 17B67; 18D10 (Secondary)

Entire cyclic homology of continuous trace algebras

Authors: Varghese Mathai, Danny Stevenson

Abstract: A central result here is the computation of the entire cyclic homology of canonical smooth subalgebras of stable continuous trace C*-algebras having smooth manifolds M as their spectrum. More precisely, the entire cyclic homology is shown to be canonically isomorphic to the continuous periodic cyclic homology for these algebras. By an earlier result of the authors, one concludes that the entire… ▽ More A central result here is the computation of the entire cyclic homology of canonical smooth subalgebras of stable continuous trace C*-algebras having smooth manifolds M as their spectrum. More precisely, the entire cyclic homology is shown to be canonically isomorphic to the continuous periodic cyclic homology for these algebras. By an earlier result of the authors, one concludes that the entire cyclic homology of the algebra is canonically isomorphic to the twisted de Rham cohomology of M. △ Less

Submitted 15 February, 2005; v1 submitted 23 December, 2004; originally announced December 2004.

Comments: 7 pages, Latex2e, minor typos corrected

MSC Class: 19D55; 46L80

Journal ref: Bulletin of the London Mathematical Society, vol. 39, no.1 (2007) 71-75

Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories

Authors: Alan L. Carey, Stuart Johnson, Michael K. Murray, Danny Stevenson, Bai-Ling Wang

Abstract: We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dime… ▽ More We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dimensional Chern-Simons functionals and Wess-Zumino-Witten models associated to the group $G$. We do this by introducing a lifting to the level of bundle gerbes of the natural map from $H^4(BG, \ZZ)$ to $H^3(G, \ZZ)$. The notion of a multiplicative bundle gerbe accounts geometrically for the subtleties in this correspondence for non-simply connected Lie groups. The implications for Wess-Zumino-Witten models are also discussed. △ Less

Submitted 11 September, 2005; v1 submitted 1 October, 2004; originally announced October 2004.

Comments: 35 pages, xy-pic diagrams, published version

Journal ref: Commun.Math.Phys. 259 (2005) 577-613

On a generalized Connes-Hochschild-Kostant-Rosenberg theorem

Authors: Varghese Mathai, Danny Stevenson

Abstract: The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyclic homology with the twisted de Rham cohomology of X, thereby generalizing so… ▽ More The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyclic homology with the twisted de Rham cohomology of X, thereby generalizing some fundamental results of Connes and Hochschild-Kostant-Rosenberg. The Connes-Chern character is also identified here with the twisted Chern character. △ Less

Submitted 14 November, 2004; v1 submitted 19 April, 2004; originally announced April 2004.

Comments: 35 pages, latex2e, uses xypic. To appear in, Advances in Mathematics

MSC Class: 19D55; 46L80

Journal ref: Advances in Mathematics, vol. 200 no. 2 (2006) 303-335

Chern character in twisted K-theory: equivariant and holomorphic cases

Authors: Varghese Mathai, Danny Stevenson

Abstract: It has been argued by Witten and others that in the presence of a nontrivial B-field, D-brane charges in type IIB string theories are measured by twisted K-theory. In joint work with Bouwknegt, Carey and Murray it was proved that twisted K-theory is canonically isomorphic to bundle gerbe K-theory, whose elements are ordinary vector bundles on a principal projective unitary bundle, with an action… ▽ More It has been argued by Witten and others that in the presence of a nontrivial B-field, D-brane charges in type IIB string theories are measured by twisted K-theory. In joint work with Bouwknegt, Carey and Murray it was proved that twisted K-theory is canonically isomorphic to bundle gerbe K-theory, whose elements are ordinary vector bundles on a principal projective unitary bundle, with an action of the bundle gerbe determined by the principal projective unitary bundle. The principal projective unitary bundle is in turn determined by the twist. In this paper, we study in more detail the Chern-Weil representative of the Chern character of bundle gerbe K-theory that was introduced previously, and we also extend it to the equivariant and holomorphic cases. Included is a discussion of interesting examples. △ Less

Submitted 8 January, 2003; v1 submitted 3 January, 2002; originally announced January 2002.

Comments: 24 pages, Latex2e. To appear in CMP

Journal ref: Commun.Math.Phys.236:161-186,2003

Higgs fields, bundle gerbes and string structures

Authors: M. K. Murray, D. Stevenson

Abstract: We use bundle gerbes and their connections and curvings to obtain an explicit formula for a de Rham representative of the string class of a loop group bundle. This is related to earlier work on calorons. We use bundle gerbes and their connections and curvings to obtain an explicit formula for a de Rham representative of the string class of a loop group bundle. This is related to earlier work on calorons. △ Less

Submitted 20 June, 2001; originally announced June 2001.

Comments: 15 pages

MSC Class: 538C80 (Primary) 81T50; 83E30 (Secondary)

Journal ref: Commun.Math.Phys. 243 (2003) 541-555

Bundle 2-gerbes

Authors: Danny Stevenson

Abstract: We make the category BGrb_M of bundle gerbes on a manifold M into a 2-category by providing 2-cells in the form of transformations of bundle gerbe morphisms. This description of BGrb_M as a 2-category is used to define the notion of a bundle 2-gerbe. To every bundle 2-gerbe on M is associated a class in H^4(M;Z). We define the notion of a bundle 2-gerbe connection and show how this leads to a cl… ▽ More We make the category BGrb_M of bundle gerbes on a manifold M into a 2-category by providing 2-cells in the form of transformations of bundle gerbe morphisms. This description of BGrb_M as a 2-category is used to define the notion of a bundle 2-gerbe. To every bundle 2-gerbe on M is associated a class in H^4(M;Z). We define the notion of a bundle 2-gerbe connection and show how this leads to a closed, integral differential 4-form on M which represents the image in real cohomology of the class in H^4(M;Z). Some examples of bundle 2-gerbes are discussed, including the bundle 2-gerbe associated to a principal G-bundle P \to M. It is shown that the class in H^4(M;Z) associated to this bundle 2-gerbe coincides with the first Pontryagin class of P --- this example was previously considered from the point of view of 2-gerbes by Brylinski and McLaughlin. △ Less

Submitted 4 June, 2001; originally announced June 2001.

Comments: 27 pages

MSC Class: 18D05; 55R65

Twisted K-theory and K-theory of bundle gerbes

Authors: P. Bouwknegt, A. L. Carey, V. Mathai, M. K. Murray, D. Stevenson

Abstract: In this note we introduce the notion of bundle gerbe K-theory and investigate the relation to twisted K-theory. We provide some examples. Possible applications of bundle gerbe K-theory to the classification of D-brane charges in non-trivial backgrounds are discussed. In this note we introduce the notion of bundle gerbe K-theory and investigate the relation to twisted K-theory. We provide some examples. Possible applications of bundle gerbe K-theory to the classification of D-brane charges in non-trivial backgrounds are discussed. △ Less

Submitted 16 September, 2001; v1 submitted 20 June, 2001; originally announced June 2001.

Comments: 29 pages, corrected typos, added references, included new section on twisted Chern character in non-torsion case

Journal ref: Commun.Math.Phys.228:17-49,2002

Yet another construction of the central extension of the loop group

Authors: Michael K. Murray, Daniel Stevenson

Abstract: We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop group. We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop group. △ Less

Submitted 30 January, 2001; originally announced January 2001.

Comments: Conference talk at the National Research Symposium on Geometric Analysis and Applications at the Centre for Mathematics and its Applications

MSC Class: 22E67

The Geometry of Bundle Gerbes

Authors: Danny Stevenson

Abstract: This thesis reviews the theory of bundle gerbes and then examines the higher dimensional notion of a bundle 2-gerbe. The notion of a bundle 2-gerbe connection and 2-curving are introduced and it is shown that there is a class in $H^{4}(M;\Z)$ associated to any bundle 2-gerbe. This thesis reviews the theory of bundle gerbes and then examines the higher dimensional notion of a bundle 2-gerbe. The notion of a bundle 2-gerbe connection and 2-curving are introduced and it is shown that there is a class in $H^{4}(M;\Z)$ associated to any bundle 2-gerbe. △ Less

Submitted 17 April, 2000; originally announced April 2000.

Comments: PhD thesis, 153 pages

MSC Class: 55R65; 18D05

Bundle gerbes: stable isomorphism and local theory

Authors: Michael K. Murray, Daniel Stevenson

Abstract: We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles. We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles. △ Less

Submitted 26 August, 1999; originally announced August 1999.

Comments: 13 pages, LaTeX

MSC Class: 55R65; 55R35

Journal ref: J.Lond.Math.Soc. 62 (2000) 925-937