Ralph Cohen | Stanford University (original) (raw)

Papers by Ralph Cohen

Research paper thumbnail of The Kervaire invariant of immersions

Inventiones Mathematicae, Feb 1, 1985

Research paper thumbnail of Umkehr maps

Homology, Homotopy and Applications, 2009

Research paper thumbnail of Gauge theory and string topology

arXiv (Cornell University), Apr 2, 2013

Given a principal bundle over a closed manifold, G → P → M , let P Ad → M be the associated adjoi... more Given a principal bundle over a closed manifold, G → P → M , let P Ad → M be the associated adjoint bundle. In Gruher and Salvatore showed that the Thom spectrum (P Ad ) -T M is a ring spectrum whose corresponding product in homology is a Chas-Sullivan type string topology product. We refer to this spectrum as the "string topology spectrum of P", S(P ). In the universal case when P is contractible, S(P ) ≃ LM -T M where LM is the free loop space of the manifold. This ring spectrum was introduced by the authors in [8] as a homotopy theoretic realization of the Chas-Sullivan string topology of M . The main purpose of this paper is to introduce an action of the gauge group of the principal bundle, G(P ) on the string topology spectrum S(P ), and to study this action in detail. Indeed we study the entire group of units and the induced representation G(P ) → GL1(S(P )). We show that this group of units is the group of homotopy automorphisms of the fiberwise suspension spectrum of P . More generally we describe the homotopy type of the group of homotopy automorphisms of any E-line bundle for any ring spectrum E. We import some of the basic ideas of gauge theory, such as the action of the gauge group on the space of connections to the setting of E-line bundles over a manifold, and do explicit calculations. We end by discussing a functorial perspective, which describes a sense in which the string topology spectrum S(P ) of a principal bundle is the "linearization" of the gauge group G(P ). Contents 1 Parameterized spectra, Poincaré duality, and the loop space 7 2 Gauge groups and the units of string topology 11 * The first author was partially supported by a grant from the NSF. 1 3 Connections on an E-line bundle 15 4 Loop groups and string topology 17 5 String topology as the linearization of the gauge group 19

Research paper thumbnail of Monopoles, braid groups, and the dirac operator

Communications in Mathematical Physics, Nov 1, 1993

Research paper thumbnail of Stability for holomorphic spheres and Morse theory

Contemporary mathematics, 2000

Research paper thumbnail of Homotopy automorphisms of R-module bundles, and the K-theory of string topology

arXiv (Cornell University), Oct 17, 2013

Research paper thumbnail of The homotopy invariance of the string topology loop product and string bracket

Journal of Topology, Apr 1, 2008

Research paper thumbnail of Holomorphic spheres in loop groups and Bott periodicity

Asian Journal of Mathematics, 1999

Research paper thumbnail of A homotopy theoretic realization of string topology

arXiv (Cornell University), Jul 25, 2001

Research paper thumbnail of A homotopy theoretic realization of string topology

Mathematische Annalen, Dec 1, 2002

Let M be a closed, oriented manifold of dimension d. Let LM be the space of smooth loops in M. In... more Let M be a closed, oriented manifold of dimension d. Let LM be the space of smooth loops in M. In [2] Chas and Sullivan defined a product on the homology H * (LM) of degree −d. They then investigated other structure that this product induces, including a Batalin-Vilkovisky structure, and a Lie algebra structure on the S 1 equivariant homology H S 1 * (LM). These algebraic structures, as well as others, came under the general heading of the "string topology" of M. In this paper we will describe a realization of the Chas-Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. We also show that an operad action on the homology of the loop space discovered by Voronov has a homotopy theoretic realization on the level of Thom spectra. This is the "cactus operad" defined in [6] which is equivalent to operad of framed disks in R 2. This operad action realizes the Chas-Sullivan BV structure on H * (LM). We then describe a cosimplicial model of this ring spectrum, and by applying the singular cochain functor to this cosimplicial spectrum we show that this ring structure can be interpreted as the cup product in the Hochschild cohomology, HH * (C * (M); C * (M)).

Research paper thumbnail of Surfaces in a background space and the homology of mapping class groups

Proceedings of symposia in pure mathematics, 2009

Research paper thumbnail of Higher String Topology on General Spaces

Proceedings of the London Mathematical Society, 2006

In this paper, I give a generalized analogue of the string topology results of Chas and Sullivan,... more In this paper, I give a generalized analogue of the string topology results of Chas and Sullivan, and of Cohen and Jones. For a finite simplicial complex XXX and kgeq1k \geq 1kgeq1, I construct a spectrum Maps(Sk,X)S(X)Maps(S^k, X)^{S(X)}Maps(Sk,X)S(X), which is obtained by taking a generalization of the Spivak bundle on XXX (which however is not a stable sphere bundle unless XXX is a Poincaré space), pulling back to Maps(Sk,X)Maps(S^k, X)Maps(Sk,X) and quotienting out the section at infinity. I show that the corresponding chain complex is naturally homotopy equivalent to an algebra over the (k+1)(k + 1)(k+1)-dimensional unframed little disk operad mathcalCk+1\mathcal{C}_{k + 1}mathcalCk+1. I also prove a conjecture of Kontsevich, which states that the Quillen cohomology of a based mathcalCk\mathcal{C}_kmathcalCk-algebra (in the category of chain complexes) is equivalent to a shift of its Hochschild cohomology, as well as prove that the operad CastmathcalCkC_{\ast}\mathcal{C}_kCastmathcalCk is Koszul-dual to itself up to a shift in the derived category. This gives one a natural notion of (derived) Ko...

Research paper thumbnail of The free loop space and the algebraic k-theory of spaces

K-Theory, 1987

Let A(X) be the space defined by Waldhausen whose homotopy groups define the algebraic K-groups o... more Let A(X) be the space defined by Waldhausen whose homotopy groups define the algebraic K-groups of the space X and let B(X) = QZ(SE 1 x sIA(X)). Here A(X) denotes the free loop space of X and Q denotes the functor f~o~% For X = ZY, the suspension of a connected space Y, we shall prove that the homotopy fibers ,4(X),/](X) of the maps A(X) ~ A (point), B(X) ~ B (point) are equivalent as infinite loop spaces.

Research paper thumbnail of Universal moduli spaces of surfaces with flat bundles and cobordism theory

Advances in Mathematics, Jul 1, 2009

For a compact, connected Lie group G, we study the moduli of pairs (Σ, E), where Σ is a genus g R... more For a compact, connected Lie group G, we study the moduli of pairs (Σ, E), where Σ is a genus g Riemann surface and E → Σ is a flat G-bundle. Varying both the Riemann surface Σ and the flat bundle leads to a moduli space M G g , parametrizing families Riemann surfaces with flat G-bundles. We show that there is a stable range in which the homology of M G g is independent of g. The stable range depends on the genus of the surface. We then identify the homology of this moduli space in the stable range, in terms of the homology of an explicit infinite loop space. Rationally, the stable cohomology of this moduli space is generated by the Mumford-Morita-Miller κ-classes, and the ring of characteristic classes of principal G-bundles, H * (BG). Equivalently, our theorem calculates the homology of the moduli space of semi-stable holomorphic bundles on Riemann surfaces. We then identify the homotopy type of the category of one-manifolds and surface cobordisms, each equipped with a flat G-bundle. Our methods combine the classical techniques of Atiyah and Bott, with the new techniques coming out of Madsen and Weiss's proof of Mumford's conjecture on the stable cohomology of the moduli space of Riemann surfaces.

Research paper thumbnail of Universal moduli spaces of surfaces with flat connections and cobordism theory

arXiv (Cornell University), Jan 22, 2008

Given a semisimple, compact, connected Lie group G with complexification G c , we show there is a... more Given a semisimple, compact, connected Lie group G with complexification G c , we show there is a stable range in the homotopy type of the universal moduli space of flat connections on a principal G-bundle on a closed Riemann surface, and equivalently, the universal moduli space of semistable holomorphic G c-bundles. The stable range depends on the genus of the surface. We then identify the homology of this moduli space in the stable range in terms of the homology of an explicit infinite loop space. Rationally this says that the stable cohomology of this moduli space is generated by the Mumford-Morita-Miller κ-classes, and the ring of characteristic classes of principal G-bundles, H * (BG). We then identify the homotopy type of the category of onemanifolds and surface cobordisms, each equipped with a flat G-bundle. We also explain how these results may be generalized to arbitrary compact connected Lie groups. Our methods combine the classical techniques of Atiyah and Bott, with the new techniques coming out of Madsen and Weiss's proof of Mumford's conjecture on the stable cohomology of the moduli space of Riemann surfaces.

Research paper thumbnail of Stability for closed surfaces in a background space

Homology, Homotopy and Applications, 2011

In this paper we present a new proof of the homological stability of the moduli space of closed s... more In this paper we present a new proof of the homological stability of the moduli space of closed surfaces in a simply connected background space K, which we denote by Sg(K). The homology stability of surfaces in K with an arbitrary number of boundary components, Sg,n(K) was studied by the authors in [4]. The study there relied on stability results for the homology of mapping class groups, Γg,n with certain families of twisted coefficients. It turns out that these mapping class groups only have homological stability when n, the number of boundary components, is positive, or in the closed case when the coefficient modules are trivial. Because of this we present a new proof of the rational homological stability for Sg(K), that is homotopy theoretic in nature. We also take the opportunity to prove a new stability theorem for closed surfaces in K that have marked points.

Research paper thumbnail of A New AMS Journal Launching in 2021

Notices of the American Mathematical Society, 2021

Research paper thumbnail of String Topology and Cyclic Homology

Research paper thumbnail of K and L-theory

Research paper thumbnail of Twisted Calabi–Yau ring spectra, string topology, and gauge symmetry

Tunisian Journal of Mathematics

In this paper we import the theory of "Calabi-Yau" algebras and categories from symplectic topolo... more In this paper we import the theory of "Calabi-Yau" algebras and categories from symplectic topology and topological field theories, to the setting of spectra in stable homotopy theory. Twistings in this theory will be particularly important. There will be two types of Calabi-Yau structures in the setting of ring spectra: one that applies to compact algebras and one that applies to smooth algebras. The main application of twisted compact Calabi-Yau ring spectra that we will study is to describe, prove, and explain a certain duality phenomenon in string topology. This is a duality between the manifold string topology of Chas and Sullivan (1999) and the Lie group string topology of Chataur and Menichi (2012). This will extend and generalize work of Gruher (2007). Then, generalizing work of Cohen and Jones (2017), we show how the gauge group of the principal bundle acts on this compact Calabi-Yau structure, and we compute some explicit examples. We then extend the notion of the Calabi-Yau structure to smooth ring spectra, and prove that Thom ring spectra of (virtual) bundles over the loop space, M, have this structure. In the case when M is a sphere, we will use these twisted smooth Calabi-Yau ring spectra to study Lagrangian immersions of the sphere into its cotangent bundle. We recast the work of Abouzaid and Kragh (2016) to show that the topological Hochschild homology of the Thom ring spectrum induced by the h-principle classifying map of the Lagrangian immersion detects whether that immersion can be Lagrangian isotopic to an embedding. We then compute some examples. Finally, we interpret these Calabi-Yau structures directly in terms of topological Hochschild homology and cohomology.

Research paper thumbnail of The Kervaire invariant of immersions

Inventiones Mathematicae, Feb 1, 1985

Research paper thumbnail of Umkehr maps

Homology, Homotopy and Applications, 2009

Research paper thumbnail of Gauge theory and string topology

arXiv (Cornell University), Apr 2, 2013

Given a principal bundle over a closed manifold, G → P → M , let P Ad → M be the associated adjoi... more Given a principal bundle over a closed manifold, G → P → M , let P Ad → M be the associated adjoint bundle. In Gruher and Salvatore showed that the Thom spectrum (P Ad ) -T M is a ring spectrum whose corresponding product in homology is a Chas-Sullivan type string topology product. We refer to this spectrum as the "string topology spectrum of P", S(P ). In the universal case when P is contractible, S(P ) ≃ LM -T M where LM is the free loop space of the manifold. This ring spectrum was introduced by the authors in [8] as a homotopy theoretic realization of the Chas-Sullivan string topology of M . The main purpose of this paper is to introduce an action of the gauge group of the principal bundle, G(P ) on the string topology spectrum S(P ), and to study this action in detail. Indeed we study the entire group of units and the induced representation G(P ) → GL1(S(P )). We show that this group of units is the group of homotopy automorphisms of the fiberwise suspension spectrum of P . More generally we describe the homotopy type of the group of homotopy automorphisms of any E-line bundle for any ring spectrum E. We import some of the basic ideas of gauge theory, such as the action of the gauge group on the space of connections to the setting of E-line bundles over a manifold, and do explicit calculations. We end by discussing a functorial perspective, which describes a sense in which the string topology spectrum S(P ) of a principal bundle is the "linearization" of the gauge group G(P ). Contents 1 Parameterized spectra, Poincaré duality, and the loop space 7 2 Gauge groups and the units of string topology 11 * The first author was partially supported by a grant from the NSF. 1 3 Connections on an E-line bundle 15 4 Loop groups and string topology 17 5 String topology as the linearization of the gauge group 19

Research paper thumbnail of Monopoles, braid groups, and the dirac operator

Communications in Mathematical Physics, Nov 1, 1993

Research paper thumbnail of Stability for holomorphic spheres and Morse theory

Contemporary mathematics, 2000

Research paper thumbnail of Homotopy automorphisms of R-module bundles, and the K-theory of string topology

arXiv (Cornell University), Oct 17, 2013

Research paper thumbnail of The homotopy invariance of the string topology loop product and string bracket

Journal of Topology, Apr 1, 2008

Research paper thumbnail of Holomorphic spheres in loop groups and Bott periodicity

Asian Journal of Mathematics, 1999

Research paper thumbnail of A homotopy theoretic realization of string topology

arXiv (Cornell University), Jul 25, 2001

Research paper thumbnail of A homotopy theoretic realization of string topology

Mathematische Annalen, Dec 1, 2002

Let M be a closed, oriented manifold of dimension d. Let LM be the space of smooth loops in M. In... more Let M be a closed, oriented manifold of dimension d. Let LM be the space of smooth loops in M. In [2] Chas and Sullivan defined a product on the homology H * (LM) of degree −d. They then investigated other structure that this product induces, including a Batalin-Vilkovisky structure, and a Lie algebra structure on the S 1 equivariant homology H S 1 * (LM). These algebraic structures, as well as others, came under the general heading of the "string topology" of M. In this paper we will describe a realization of the Chas-Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. We also show that an operad action on the homology of the loop space discovered by Voronov has a homotopy theoretic realization on the level of Thom spectra. This is the "cactus operad" defined in [6] which is equivalent to operad of framed disks in R 2. This operad action realizes the Chas-Sullivan BV structure on H * (LM). We then describe a cosimplicial model of this ring spectrum, and by applying the singular cochain functor to this cosimplicial spectrum we show that this ring structure can be interpreted as the cup product in the Hochschild cohomology, HH * (C * (M); C * (M)).

Research paper thumbnail of Surfaces in a background space and the homology of mapping class groups

Proceedings of symposia in pure mathematics, 2009

Research paper thumbnail of Higher String Topology on General Spaces

Proceedings of the London Mathematical Society, 2006

In this paper, I give a generalized analogue of the string topology results of Chas and Sullivan,... more In this paper, I give a generalized analogue of the string topology results of Chas and Sullivan, and of Cohen and Jones. For a finite simplicial complex XXX and kgeq1k \geq 1kgeq1, I construct a spectrum Maps(Sk,X)S(X)Maps(S^k, X)^{S(X)}Maps(Sk,X)S(X), which is obtained by taking a generalization of the Spivak bundle on XXX (which however is not a stable sphere bundle unless XXX is a Poincaré space), pulling back to Maps(Sk,X)Maps(S^k, X)Maps(Sk,X) and quotienting out the section at infinity. I show that the corresponding chain complex is naturally homotopy equivalent to an algebra over the (k+1)(k + 1)(k+1)-dimensional unframed little disk operad mathcalCk+1\mathcal{C}_{k + 1}mathcalCk+1. I also prove a conjecture of Kontsevich, which states that the Quillen cohomology of a based mathcalCk\mathcal{C}_kmathcalCk-algebra (in the category of chain complexes) is equivalent to a shift of its Hochschild cohomology, as well as prove that the operad CastmathcalCkC_{\ast}\mathcal{C}_kCastmathcalCk is Koszul-dual to itself up to a shift in the derived category. This gives one a natural notion of (derived) Ko...

Research paper thumbnail of The free loop space and the algebraic k-theory of spaces

K-Theory, 1987

Let A(X) be the space defined by Waldhausen whose homotopy groups define the algebraic K-groups o... more Let A(X) be the space defined by Waldhausen whose homotopy groups define the algebraic K-groups of the space X and let B(X) = QZ(SE 1 x sIA(X)). Here A(X) denotes the free loop space of X and Q denotes the functor f~o~% For X = ZY, the suspension of a connected space Y, we shall prove that the homotopy fibers ,4(X),/](X) of the maps A(X) ~ A (point), B(X) ~ B (point) are equivalent as infinite loop spaces.

Research paper thumbnail of Universal moduli spaces of surfaces with flat bundles and cobordism theory

Advances in Mathematics, Jul 1, 2009

For a compact, connected Lie group G, we study the moduli of pairs (Σ, E), where Σ is a genus g R... more For a compact, connected Lie group G, we study the moduli of pairs (Σ, E), where Σ is a genus g Riemann surface and E → Σ is a flat G-bundle. Varying both the Riemann surface Σ and the flat bundle leads to a moduli space M G g , parametrizing families Riemann surfaces with flat G-bundles. We show that there is a stable range in which the homology of M G g is independent of g. The stable range depends on the genus of the surface. We then identify the homology of this moduli space in the stable range, in terms of the homology of an explicit infinite loop space. Rationally, the stable cohomology of this moduli space is generated by the Mumford-Morita-Miller κ-classes, and the ring of characteristic classes of principal G-bundles, H * (BG). Equivalently, our theorem calculates the homology of the moduli space of semi-stable holomorphic bundles on Riemann surfaces. We then identify the homotopy type of the category of one-manifolds and surface cobordisms, each equipped with a flat G-bundle. Our methods combine the classical techniques of Atiyah and Bott, with the new techniques coming out of Madsen and Weiss's proof of Mumford's conjecture on the stable cohomology of the moduli space of Riemann surfaces.

Research paper thumbnail of Universal moduli spaces of surfaces with flat connections and cobordism theory

arXiv (Cornell University), Jan 22, 2008

Given a semisimple, compact, connected Lie group G with complexification G c , we show there is a... more Given a semisimple, compact, connected Lie group G with complexification G c , we show there is a stable range in the homotopy type of the universal moduli space of flat connections on a principal G-bundle on a closed Riemann surface, and equivalently, the universal moduli space of semistable holomorphic G c-bundles. The stable range depends on the genus of the surface. We then identify the homology of this moduli space in the stable range in terms of the homology of an explicit infinite loop space. Rationally this says that the stable cohomology of this moduli space is generated by the Mumford-Morita-Miller κ-classes, and the ring of characteristic classes of principal G-bundles, H * (BG). We then identify the homotopy type of the category of onemanifolds and surface cobordisms, each equipped with a flat G-bundle. We also explain how these results may be generalized to arbitrary compact connected Lie groups. Our methods combine the classical techniques of Atiyah and Bott, with the new techniques coming out of Madsen and Weiss's proof of Mumford's conjecture on the stable cohomology of the moduli space of Riemann surfaces.

Research paper thumbnail of Stability for closed surfaces in a background space

Homology, Homotopy and Applications, 2011

In this paper we present a new proof of the homological stability of the moduli space of closed s... more In this paper we present a new proof of the homological stability of the moduli space of closed surfaces in a simply connected background space K, which we denote by Sg(K). The homology stability of surfaces in K with an arbitrary number of boundary components, Sg,n(K) was studied by the authors in [4]. The study there relied on stability results for the homology of mapping class groups, Γg,n with certain families of twisted coefficients. It turns out that these mapping class groups only have homological stability when n, the number of boundary components, is positive, or in the closed case when the coefficient modules are trivial. Because of this we present a new proof of the rational homological stability for Sg(K), that is homotopy theoretic in nature. We also take the opportunity to prove a new stability theorem for closed surfaces in K that have marked points.

Research paper thumbnail of A New AMS Journal Launching in 2021

Notices of the American Mathematical Society, 2021

Research paper thumbnail of String Topology and Cyclic Homology

Research paper thumbnail of K and L-theory

Research paper thumbnail of Twisted Calabi–Yau ring spectra, string topology, and gauge symmetry

Tunisian Journal of Mathematics

In this paper we import the theory of "Calabi-Yau" algebras and categories from symplectic topolo... more In this paper we import the theory of "Calabi-Yau" algebras and categories from symplectic topology and topological field theories, to the setting of spectra in stable homotopy theory. Twistings in this theory will be particularly important. There will be two types of Calabi-Yau structures in the setting of ring spectra: one that applies to compact algebras and one that applies to smooth algebras. The main application of twisted compact Calabi-Yau ring spectra that we will study is to describe, prove, and explain a certain duality phenomenon in string topology. This is a duality between the manifold string topology of Chas and Sullivan (1999) and the Lie group string topology of Chataur and Menichi (2012). This will extend and generalize work of Gruher (2007). Then, generalizing work of Cohen and Jones (2017), we show how the gauge group of the principal bundle acts on this compact Calabi-Yau structure, and we compute some explicit examples. We then extend the notion of the Calabi-Yau structure to smooth ring spectra, and prove that Thom ring spectra of (virtual) bundles over the loop space, M, have this structure. In the case when M is a sphere, we will use these twisted smooth Calabi-Yau ring spectra to study Lagrangian immersions of the sphere into its cotangent bundle. We recast the work of Abouzaid and Kragh (2016) to show that the topological Hochschild homology of the Thom ring spectrum induced by the h-principle classifying map of the Lagrangian immersion detects whether that immersion can be Lagrangian isotopic to an embedding. We then compute some examples. Finally, we interpret these Calabi-Yau structures directly in terms of topological Hochschild homology and cohomology.