Showing 1–15 of 15 results for author: Westerland, C

Structure theorems for braided Hopf algebras

Authors: Craig Westerland

Abstract: We develop versions of the Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore theorems in the setting of braided Hopf algebras. To do so, we introduce new analogues of a Lie algebra in the setting of a braided monoidal category, using the notion of a braided operad. We develop versions of the Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore theorems in the setting of braided Hopf algebras. To do so, we introduce new analogues of a Lie algebra in the setting of a braided monoidal category, using the notion of a braided operad. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: Comments welcome

MSC Class: 18M60; 16T05

Hyperelliptic curves, the scanning map, and moments of families of quadratic L-functions

Authors: Jonas Bergström, Adrian Diaconu, Dan Petersen, Craig Westerland

Abstract: We compute the stable homology of the braid group with coefficients in any Schur functor applied to the integral reduced Burau representation. This may be considered as a hyperelliptic analogue of the Mumford conjecture (Madsen--Weiss theorem) with twisted coefficients. We relate the result to the function field case of conjectures of Conrey-Farmer-Keating-Rubinstein-Snaith on moments of families… ▽ More We compute the stable homology of the braid group with coefficients in any Schur functor applied to the integral reduced Burau representation. This may be considered as a hyperelliptic analogue of the Mumford conjecture (Madsen--Weiss theorem) with twisted coefficients. We relate the result to the function field case of conjectures of Conrey-Farmer-Keating-Rubinstein-Snaith on moments of families of quadratic $L$-functions. Combined with a recent homological stability theorem of Miller-Patzt-Petersen-Randal-Williams, our homological calculations confirm the Conrey-Farmer-Keating-Rubinstein-Snaith predictions for all large enough prime powers $q$. △ Less

Submitted 8 February, 2024; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: 93 pages. v2, updated to reflect recent work of Miller--Patzt--Petersen--Randal-Williams

Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

Authors: Jordan S. Ellenberg, TriThang Tran, Craig Westerland

Abstract: The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection… ▽ More The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras. △ Less

Submitted 5 March, 2023; v1 submitted 17 January, 2017; originally announced January 2017.

Comments: 81 pages. Substantially revised. The most significant change is a new approach to controlling the homological algebra of connected graded algebras in terms of their Koszul complex

MSC Class: 11G20; 11S20; 55R80; 20J06; 14H10; 16T05

Twisted iterated algebraic K-theory and topological T-duality for sphere bundles

Authors: John A. Lind, Hisham Sati, Craig Westerland

Abstract: We introduce a periodic form of the iterated algebraic K-theory of ku, the (connective) complex K-theory spectrum, as well as a natural twisting of this cohomology theory by higher gerbes. Furthermore, we prove a form of topological T-duality for sphere bundles oriented with respect to this theory. We introduce a periodic form of the iterated algebraic K-theory of ku, the (connective) complex K-theory spectrum, as well as a natural twisting of this cohomology theory by higher gerbes. Furthermore, we prove a form of topological T-duality for sphere bundles oriented with respect to this theory. △ Less

Submitted 3 September, 2019; v1 submitted 23 January, 2016; originally announced January 2016.

Comments: 45 pages. Update includes rationality results for spectra admitting a T-duality isomorphism, and extended comments on higher categorical aspects of iterated K-theory. Title changed from "A higher categorical analogue of topological T-duality for sphere bundles." To appear in Annals of K-theory

MSC Class: 55N15; 55R25; 19L50; 18D05; 18F25

Journal ref: Ann. K-Th. 5 (2020) 1-42

Topological T-duality is twisted Atiyah duality

Authors: Craig Westerland

Abstract: We show that the topological T-duality for circle bundles introduced in work of Bouwknegt-Evslin-Mathai can be interpreted as a form of Atiyah duality for twisted K-theory. We show that the topological T-duality for circle bundles introduced in work of Bouwknegt-Evslin-Mathai can be interpreted as a form of Atiyah duality for twisted K-theory. △ Less

Submitted 28 February, 2015; originally announced March 2015.

Comments: 13 pages

MSC Class: 55N15; 55N45; 55N91; 55P43; 55R50; 19L50;

Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields, II

Authors: Jordan S. Ellenberg, Akshay Venkatesh, Craig Westerland

Abstract: We prove a version of the Cohen--Lenstra conjecture over function fields (completing the results of our prior paper). This is deduced from two more general theorems, one topological, one arithmetic: We compute the direct limit of homology, over puncture-stabilization, of spaces of maps from a punctured manifold to a fixed target; and we compute the Galois action on the set of stable components of… ▽ More We prove a version of the Cohen--Lenstra conjecture over function fields (completing the results of our prior paper). This is deduced from two more general theorems, one topological, one arithmetic: We compute the direct limit of homology, over puncture-stabilization, of spaces of maps from a punctured manifold to a fixed target; and we compute the Galois action on the set of stable components of Hurwitz schemes. △ Less

Submitted 19 November, 2013; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: This article has been temporarily withdrawn owing to a gap which affects Section 6, 12 and some theorems of the introduction: the homological stabilization maps used in this paper and the previous paper are not exactly the same. We have been able to fix this under additional restrictions, although not in general. A modified version will be posted in the next few weeks

A higher chromatic analogue of the image of J

Authors: Craig Westerland

Abstract: We prove a higher chromatic analogue of Snaith's theorem which identifies the K-theory spectrum as the localisation of the suspension spectrum of CP^\infty away from the Bott class; in this result, higher Eilenberg-MacLane spaces play the role of CP^\infty = K(Z,2). Using this, we obtain a partial computation of the part of the Picard-graded homotopy of the K(n)-local sphere indexed by powers of a… ▽ More We prove a higher chromatic analogue of Snaith's theorem which identifies the K-theory spectrum as the localisation of the suspension spectrum of CP^\infty away from the Bott class; in this result, higher Eilenberg-MacLane spaces play the role of CP^\infty = K(Z,2). Using this, we obtain a partial computation of the part of the Picard-graded homotopy of the K(n)-local sphere indexed by powers of a spectrum which for large primes is a shift of the Gross-Hopkins dual of the sphere. Our main technical tool is a K(n)-local notion generalising complex orientation to higher Eilenberg-MacLane spaces. As for complex-oriented theories, such an orientation produces a one-dimensional formal group law as an invariant of the cohomology theory. As an application, we prove a theorem that gives evidence for the chromatic redshift conjecture. △ Less

Submitted 3 September, 2015; v1 submitted 8 October, 2012; originally announced October 2012.

Comments: 43 pages, comments welcome. Version 4: further clarified sign character, streamlined arguments with homotopy fixed point spectra, added a new section on the monochromatic J-homomorphism

MSC Class: 55P42; 55P20; 55N15; 19L20; 55Q51

Journal ref: Geom. Topol. 21 (2017) 1033-1093

Hochschild homology of structured algebras

Authors: Nathalie Wahl, Craig Westerland

Abstract: We give a general method for constructing explicit and natural operations on the Hochschild complex of algebras over any PROP with $A_\infty$--multiplication---we think of such algebras as $A_\infty$--algebras "with extra structure". As applications, we obtain an integral version of the Costello-Kontsevich-Soibelman moduli space action on the Hochschild complex of open TCFTs, the Tradler-Zeinalian… ▽ More We give a general method for constructing explicit and natural operations on the Hochschild complex of algebras over any PROP with $A_\infty$--multiplication---we think of such algebras as $A_\infty$--algebras "with extra structure". As applications, we obtain an integral version of the Costello-Kontsevich-Soibelman moduli space action on the Hochschild complex of open TCFTs, the Tradler-Zeinalian action of Sullivan diagrams on the Hochschild complex of strict Frobenius algebras, and give applications to string topology in characteristic zero. Our main tool is a generalization of the Hochschild complex. △ Less

Submitted 6 July, 2015; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: Substantial revision in sections 2 (graph models) and 6 (the examples). Introduction revised

Report number: CPH-SYM-00

Journal ref: Advances in Mathematics 288 (2016), pp. 240-307

Twisted Morava K-theory and E-theory

Authors: Hisham Sati, Craig Westerland

Abstract: For an integral cohomology class H of degree n+2 on a space X, we define twisted Morava K-theory K(n)(X; H) at the prime 2, as well as an integral analogue. We explore properties of this twisted cohomology theory, study a twisted Atiyah-Hirzebruch spectral sequence, and give a universal coefficient theorem (in the spirit of Khorami). We extend the construction to define twisted Morava E-theory, an… ▽ More For an integral cohomology class H of degree n+2 on a space X, we define twisted Morava K-theory K(n)(X; H) at the prime 2, as well as an integral analogue. We explore properties of this twisted cohomology theory, study a twisted Atiyah-Hirzebruch spectral sequence, and give a universal coefficient theorem (in the spirit of Khorami). We extend the construction to define twisted Morava E-theory, and provide applications to string theory and M-theory. △ Less

Submitted 28 April, 2015; v1 submitted 18 September, 2011; originally announced September 2011.

Comments: 30 pages. Updated: Results for Morava E-theory have been corrected to only apply to deformations of the "standard" Morava K-theory. Additionally, they have been extended to work at all primes. Typos have been fixed and minor changes in terminology made. The paper has been accepted for publication by the Journal of Topology

Operads of moduli spaces of points in C^d

Authors: Craig Westerland

Abstract: We compute the structure of the homology of an operad built from the spaces TH_{d,n} of configurations of points in C^d, modulo translation and homothety. We find that it is a mild generalization of Getzler's gravity operad, which occurs in dimension d = 1. We compute the structure of the homology of an operad built from the spaces TH_{d,n} of configurations of points in C^d, modulo translation and homothety. We find that it is a mild generalization of Getzler's gravity operad, which occurs in dimension d = 1. △ Less

Submitted 12 May, 2010; originally announced May 2010.

Comments: 6 pages

MSC Class: 55N91; 55P48; 55R12; 55R80; 14D22

Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields

Authors: Jordan S. Ellenberg, Akshay Venkatesh, Craig Westerland

Abstract: We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there exists Q = Q(A) such that, for q greater than Q and not congruent to 1 modulo l, a positive fraction of quadratic extensions of F_q(t) have the l-part of their cla… ▽ More We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there exists Q = Q(A) such that, for q greater than Q and not congruent to 1 modulo l, a positive fraction of quadratic extensions of F_q(t) have the l-part of their class group isomorphic to A. △ Less

Submitted 1 December, 2015; v1 submitted 2 December, 2009; originally announced December 2009.

Comments: 47 pages. Minor edits of sections 7-8. Final version; to appear in Annals of Mathematics

MSC Class: 11G20; 11S31; 55R80; 20J05; 14H10

The symplectic Verlinde algebras and string K-theory

Authors: Igor Kriz, Craig Westerland, Joshua T. Levin

Abstract: We construct string topology operations in twisted K-theory. We study the examples given by symplectic Grassmannians, computing the twisted K-theory of the loop spaces of quaternionic projective spaces in detail. Via the work of Freed-Hopkins-Teleman, these computations are related to completions of the Verlinde algebras of Sp(n). We compute these completions, and other relevant information abou… ▽ More We construct string topology operations in twisted K-theory. We study the examples given by symplectic Grassmannians, computing the twisted K-theory of the loop spaces of quaternionic projective spaces in detail. Via the work of Freed-Hopkins-Teleman, these computations are related to completions of the Verlinde algebras of Sp(n). We compute these completions, and other relevant information about the Verlinde algebras. We also identify the completions with the twisted K-theory of the Gruher-Salvatore pro-spectra. Further comments on the field theoretic nature of these constructions are made. △ Less

Submitted 14 January, 2009; originally announced January 2009.

Comments: 38 pages

MSC Class: 55R20; 19L47

String topology prospectra and Hochschild cohomology

Authors: Kate Gruher, Craig Westerland

Abstract: We study string topology for classifying spaces of connected compact Lie groups, drawing connections with Hochschild cohomology and equivariant homotopy theory. First, for a compact Lie group $G$, we show that the string topology prospectrum $LBG^{-TBG}$ is equivalent to the homotopy fixed-point prospectrum for the conjugation action of $G$ on itself, $G^{hG}$. Dually, we identify $LBG^{-ad}$ wi… ▽ More We study string topology for classifying spaces of connected compact Lie groups, drawing connections with Hochschild cohomology and equivariant homotopy theory. First, for a compact Lie group $G$, we show that the string topology prospectrum $LBG^{-TBG}$ is equivalent to the homotopy fixed-point prospectrum for the conjugation action of $G$ on itself, $G^{hG}$. Dually, we identify $LBG^{-ad}$ with the homotopy orbit spectrum $(DG)_{hG}$, and study ring and co-ring structures on these spectra. Finally, we show that in homology, these products may be identified with the Gerstenhaber cup product in the Hochschild cohomology of $C^*(BG)$ and $C_*(G)$, respectively. These, in turn, are isomorphic via Koszul duality. △ Less

Submitted 10 November, 2007; v1 submitted 7 October, 2007; originally announced October 2007.

Comments: 19 pages. Comments welcome. References added, some statements clarified

MSC Class: 55R10; 55R12; 55P35; 55P25; 16E40

Equivariant operads, string topology, and Tate cohomology

Authors: Craig Westerland

Abstract: From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this theory to the little disk operad C_2 (which is an S^1 operad) we obtain variations on Getzler's gravity operad, which we show governs the Chas-Sullivan string bra… ▽ More From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this theory to the little disk operad C_2 (which is an S^1 operad) we obtain variations on Getzler's gravity operad, which we show governs the Chas-Sullivan string bracket. △ Less

Submitted 1 August, 2007; v1 submitted 2 May, 2006; originally announced May 2006.

Comments: 36 pages, 1 figure. Changes: main proofs and exposition streamlined, new section on continuous cohomology of operads, font changed. To appear in Math. Ann

MSC Class: 55N91; 55P43; 55P92; 55R12; 14D22; 18D50

String homology of spheres and projective spaces

Authors: Craig Westerland

Abstract: We study a spectral sequence that computes the (mod 2) S^1-equivariant homology of the free loop space LM of a manifold M (the "string homology" of M). Using it and knowledge of the string topology operations on the homology of LM, we compute the string homology of M when M is a sphere or a projective space. We study a spectral sequence that computes the (mod 2) S^1-equivariant homology of the free loop space LM of a manifold M (the "string homology" of M). Using it and knowledge of the string topology operations on the homology of LM, we compute the string homology of M when M is a sphere or a projective space. △ Less

Submitted 23 February, 2006; originally announced February 2006.

Comments: 11 pages

MSC Class: 55N45; 55N91; 55S91

Journal ref: Algebr. Geom. Topol. 7 (2007) 309-325