Showing 1–11 of 11 results for author: McClure, J E

Computing cohomology groups that classify bundles of strongly self-absorbing $C^*$-algebras

Authors: Marius Dadarlat, James E. McClure, Ulrich Pennig

Abstract: Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In this paper we compute these groups by expressing them in terms of ordinary cohomology and connective $K$-theory. To compare the $C^*$-algebraic version of… ▽ More Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In this paper we compute these groups by expressing them in terms of ordinary cohomology and connective $K$-theory. To compare the $C^*$-algebraic version of $gl_1(KU)$ with its classical counterpart we also develop a uniqueness result for the unit spectrum of complex periodic topological $K$-theory. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Intersection homology duality and pairings: singular, PL, and sheaf-theoretic

Authors: Greg Friedman, James E. McClure

Abstract: We compare the sheaf-theoretic and singular chain versions of Poincare duality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between the singular intersection cohomology cup product, the hypercohomology product induced by the Goresky-MacPherson sheaf pairing, and, for PL pseudomanifolds, the… ▽ More We compare the sheaf-theoretic and singular chain versions of Poincare duality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between the singular intersection cohomology cup product, the hypercohomology product induced by the Goresky-MacPherson sheaf pairing, and, for PL pseudomanifolds, the Goresky-MacPherson PL intersection product. We also show that the de Rham isomorphism of Brasselet, Hector, and Saralegi preserves product structures. △ Less

Submitted 22 July, 2020; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: 69 pages; revised from previous version; to appear in Algebraic & Geometric Topology

MSC Class: 55N33; 55N45 (Primary); 55N30; 57Q99 (Secondary)

Journal ref: Algebr. Geom. Topol. 21 (2021) 3221-3301

The L-Homology Fundamental Class for IP-Spaces and the Stratified Novikov Conjecture

Authors: Markus Banagl, Gerd Laures, James E. McClure

Abstract: An IP-space is a pseudomanifold whose defining local properties imply that its middle perversity global intersection homology groups satisfy Poincaré duality integrally. We show that the symmetric signature induces a map of Quinn spectra from IP bordism to the symmetric $L$-spectrum of $\Z$, which is, up to weak equivalence, an $E_\infty$ ring map. Using this map, we construct a fundamental $L$-ho… ▽ More An IP-space is a pseudomanifold whose defining local properties imply that its middle perversity global intersection homology groups satisfy Poincaré duality integrally. We show that the symmetric signature induces a map of Quinn spectra from IP bordism to the symmetric $L$-spectrum of $\Z$, which is, up to weak equivalence, an $E_\infty$ ring map. Using this map, we construct a fundamental $L$-homology class for IP-spaces, and as a consequence we prove the stratified Novikov conjecture for IP-spaces. △ Less

Submitted 23 October, 2018; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: final version

MSC Class: 55N33; 57R67; 57R20; 57N80; 19G24

Commutativity properties of Quinn spectra

Authors: Gerd Laures, James E. McClure

Abstract: We give a simple sufficient condition for Quinn's "bordism-type" spectra to be weakly equivalent to commutative symmetric ring spectra. We also show that the symmetric signature is (up to weak equivalence) a monoidal transformation between symmetric monoidal functors, which implies that the Sullivan-Ranicki orientation of topological bundles is represented by a ring map between commutative symmetr… ▽ More We give a simple sufficient condition for Quinn's "bordism-type" spectra to be weakly equivalent to commutative symmetric ring spectra. We also show that the symmetric signature is (up to weak equivalence) a monoidal transformation between symmetric monoidal functors, which implies that the Sullivan-Ranicki orientation of topological bundles is represented by a ring map between commutative symmetric ring spectra. In the course of proving these statements we give a new description of symmetric L theory which may be of independent interest. △ Less

Submitted 24 September, 2024; v1 submitted 17 April, 2013; originally announced April 2013.

Comments: 86 pages; final version

MSC Class: 55P43; 57R67; 57P10

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 154 (2024) 1848-1936

On semisimplicial sets satisfying the Kan condition

Authors: James E. McClure

Abstract: A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof of this fact and a generalization to multisemisimplicial sets. A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof of this fact and a generalization to multisemisimplicial sets. △ Less

Submitted 20 October, 2012; originally announced October 2012.

Comments: 10 pages

MSC Class: 55U10

Multiplicative properties of Quinn spectra

Authors: Gerd Laures, James E. McClure

Abstract: We give a simple sufficient condition for Quinn's "bordism-type spectra" to be weakly equivalent to strictly associative ring spectra. We also show that Poincare bordism and symmetric L-theory are naturally weakly equivalent to monoidal functors. Part of the proof of these statements involves showing that Quinn's functor from bordism-type theories to spectra lifts to the category of symmetric spec… ▽ More We give a simple sufficient condition for Quinn's "bordism-type spectra" to be weakly equivalent to strictly associative ring spectra. We also show that Poincare bordism and symmetric L-theory are naturally weakly equivalent to monoidal functors. Part of the proof of these statements involves showing that Quinn's functor from bordism-type theories to spectra lifts to the category of symmetric spectra. We also give a new account of the foundations. △ Less

Submitted 10 March, 2011; v1 submitted 14 July, 2009; originally announced July 2009.

Comments: 52 pages. Appendix added on the Quinn and Thom versions of MTop. Set-theoretic discussions added to show that certain objects are really sets and not classes. Various minor technical improvements

MSC Class: 55P43; 57R67; 57P10

On the chain-level intersection pairing for PL manifolds

Authors: J. E. McClure

Abstract: Let M be a compact oriented PL manifold and let C_*M be its PL chain complex. The domain of the chain-level intersection pairing is a subcomplex G of C_*M\otimes C_*M. We prove that G is a "full" subcomplex, that is, the inclusion of G in C_*M \otimes C_*M is a quasi-isomorphism. An analogous result is true for the domain of the iterated intersection pairing. Using this, we show that the interse… ▽ More Let M be a compact oriented PL manifold and let C_*M be its PL chain complex. The domain of the chain-level intersection pairing is a subcomplex G of C_*M\otimes C_*M. We prove that G is a "full" subcomplex, that is, the inclusion of G in C_*M \otimes C_*M is a quasi-isomorphism. An analogous result is true for the domain of the iterated intersection pairing. Using this, we show that the intersection pairing gives C_*M a structure of partially defined commutative DGA, which in particular implies that C_*M is canonically quasi-isomorphic to an E_\infty chain algebra. An erratum is attached which corrects sign errors pointed out by Greg Friedman. △ Less

Submitted 12 March, 2009; v1 submitted 20 October, 2004; originally announced October 2004.

Comments: This is the version published by Geometry & Topology on 4 October 2006 and includes the erratum published 12 March 2009

MSC Class: 18D50; 57Q65

Journal ref: Geom. Topol. 10 (2006) 1391-1424

Operads and cosimplicial objects: an introduction

Authors: James E. McClure, Jeffrey H. Smith

Abstract: This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and combinatorial conditions for them to act on a given space or chain complex. The paper does not assume any prior knowledge of operads--Sections 2, 6 and 9, which can… ▽ More This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and combinatorial conditions for them to act on a given space or chain complex. The paper does not assume any prior knowledge of operads--Sections 2, 6 and 9, which can be read independently, are an introduction to the theory of operads. △ Less

Submitted 7 February, 2004; originally announced February 2004.

MSC Class: 18D50; 55P48

Journal ref: Axiomatic, Enriched and Motivic Homotopy Theory. Proceedings of a NATO Advanced Study Institute. Edited by J.P.C. Greenlees. Kluwer 2004

Cosimplicial Objects and little n-cubes. I

Authors: James E. McClure, Jeffrey H. Smith

Abstract: In this paper we show that if a cosimplicial space or spectrum $X^\bullet$ has a certain kind of combinatorial structure (we call it a $Ξ^n$-structure) then the total space of $X^\b$ has an action of a certain operad which is weakly equivalent to the little n-cubes operad. The $n\leq 2$ case was proved by a more complicated argument in our earlier paper A Solution of Deligne's Hochschild Cohomol… ▽ More In this paper we show that if a cosimplicial space or spectrum $X^\bullet$ has a certain kind of combinatorial structure (we call it a $Ξ^n$-structure) then the total space of $X^\b$ has an action of a certain operad which is weakly equivalent to the little n-cubes operad. The $n\leq 2$ case was proved by a more complicated argument in our earlier paper A Solution of Deligne's Hochschild Cohomology Conjecture (http://front.math.ucdavis.edu/math.QA/9910126). In the special case $n=\infty$, we define a symmetric monoidal structure $\boxtimes$ on cosimplicial spaces and show that if $X^\b$ is a commutative $\boxtimes$-monoid then the total space of $\X^\b$ is an $E_\infty$ space. △ Less

Submitted 7 February, 2004; v1 submitted 23 November, 2002; originally announced November 2002.

Comments: There are three new sections: Section 10 shows that $Ξ^2$-structures are essentially the same thing as operads with multiplication, Section 11 shows that the operad $\cal D_n$ acts on $n$-fold loop spaces, and Section 15 shows that the main results are still valid for the homotopy-invariant version of Tot

MSC Class: 18D50; 55P48

Multivariable cochain operations and little n-cubes

Authors: James E. McClure, Jeffrey H. Smith

Abstract: This is a revision of a paper first posted June 4, 2001. It will appear in the Journal of the AMS. In this paper we construct a small $E_\infty$ chain operad $§$ which acts naturally on the normalized cochains $S^*X$ of a topological space. We also construct, for each $n$, a suboperad $§_n$ which is quasi-isomorphic to the normalized singular chains of the little $n$-cubes operad. The case… ▽ More This is a revision of a paper first posted June 4, 2001. It will appear in the Journal of the AMS. In this paper we construct a small $E_\infty$ chain operad $§$ which acts naturally on the normalized cochains $S^*X$ of a topological space. We also construct, for each $n$, a suboperad $§_n$ which is quasi-isomorphic to the normalized singular chains of the little $n$-cubes operad. The case $n=2$ leads to a substantial simplification of our earlier proof of Deligne's Hochschild cohomology conjecture. △ Less

Submitted 5 December, 2002; v1 submitted 4 June, 2001; originally announced June 2001.

MSC Class: 18D50; 55P48; 16E40

A solution of Deligne's conjecture

Authors: James E. McClure, Jeffrey H. Smith

Abstract: Deligne asked in 1993 whether the Hochschild cochain complex of an associative ring has a natural action by the singular chains of the little 2-cubes operad. In this paper we give an affirmative answer to this question. We also show that the topological Hochschild cohomology spectrum of an associative ring spectrum has an action of an operad equivalent to the little 2-cubes. Deligne asked in 1993 whether the Hochschild cochain complex of an associative ring has a natural action by the singular chains of the little 2-cubes operad. In this paper we give an affirmative answer to this question. We also show that the topological Hochschild cohomology spectrum of an associative ring spectrum has an action of an operad equivalent to the little 2-cubes. △ Less

Submitted 2 February, 2001; v1 submitted 23 October, 1999; originally announced October 1999.

MSC Class: 18H15; 55P48; 55P43