We construct cohomology classes in the space of knots by considering a bundle over this space and "integrating along the fiber" classes coming from the cohomology of configuration spaces using a Pontrjagin-Thom construction. The bundle we consider is essentially the one considered by Bott and Taubes, who integrated differential forms along the fiber to get knot invariants. By doing this "integration" homotopy-theoretically, we are able to produce integral cohomology classes. We then show how this integration is compatible with the homology operations on the space of long knots, as studied by Budney and Cohen. In particular we derive a product formula for evaluations of cohomology classes on homology classes, with respect to connect-sum of knots.
This work continues the study of a homotopy-theoretic construction of the author inspired by the Bott-Taubes integrals. Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots. Their techniques were later used by Cattaneo et al. to construct real "Vassiliev-type" cohomology classes in spaces of knots in higher-dimensional Euclidean space. By doing this integration via a Pontrjagin-Thom construction, we constructed cohomology classes in the knot space with arbitrary coefficients. We later showed that a refinement of this …
Bott and Taubes used integrals over configuration spaces to produce finite-type a.k.a. Vassiliev knot invariants. Cattaneo, Cotta-Ramusino and Longoni then used these methods together with graph cohomology to construct "Vassiliev classes" in the real cohomology of spaces of knots in higher-dimensional Euclidean spaces, as first promised by Kontsevich. Here we construct integer-valued cohomology classes in spaces of knots and links in Euclidean spaces of dimension greater than three. We construct such a class for any integer-valued graph cocycle, by the method of gluing compactified configurati…
We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology classes of the stages of the tower, just as they do for ordinary knots.
This belongs to a series of papers devoted to the study of the cohomology of classifying spaces of Lie groupoids. Our aim here is to introduce and study the notion of representation up to homotopy of Lie groupoids, the resulting derived category, and to show that the adjoint representation is well defined as a representation up to homotopy. As an application, we extend Bott's spectral sequence converging to the cohomology of classifying spaces from Lie groups to Lie groupoids.
We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and compute the effects of the realification homomorphism; these calculations breathe geometric life into Bahri and Bendersky's recent analysis of the Adams Spectral Sequence. By way of application we inves…
A torus manifold is a closed smooth manifold of dimension $2n$ having an effective smooth $T^n = (S^1)^n$-action with non-empty fixed points. Petrie \cite{petrie:1973} has shown that any homotopy equivalence between a complex projective space $\CP^n$ and a torus manifold homotopy equivalent to $\CP^n$ preserves their Pontrjagin classes. A \emph{generalized Bott manifold} is a closed smooth manifold obtained as the total space of an iterated complex projective space bundles over a point, where each fibration is a projectivization of the Whitney sum of a finite many complex line bundles. For ins…
We show that there is a homotopy cofiber sequence of spectra relating Carlsson's deformation K-theory of a group G to its "deformation representation ring," analogous to the Bott periodicity sequence relating connective K-theory to ordinary homology. We then apply this to study simultaneous similarity of unitary matrices.
Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain characteristic classes with values in Bott-Chern cohomology which refines the usual deRham cohomology. The main result of this paper shows that such characteristic classes are independent of the Hermitian metric and only dependent on the homotopy class of the cohesive module in the homotopy category. This extends the Bott-Chern cohomology to the bounded derived catego…
We use Richter's $2$-primary proof of Gray's conjecture to give a homotopy decomposition of the fibre $Ω^3S^{17}\{2\}$ of the $H$-space squaring map on the triple loop space of the $17$-sphere. This induces a splitting of the mod-$2$ homotopy groups $π_\ast(S^{17}; \mathbb{Z}/2\mathbb{Z})$ in terms of the integral homotopy groups of the fibre of the double suspension $E^2:S^{2n-1} \to Ω^2S^{2n+1}$ and refines a result of Cohen and Selick, who gave similar decompositions for $S^5$ and $S^9$. We relate these decompositions to various Whitehead products in the homotopy groups of mod-$2$ Moore spa…
We construct a canonical Thom isomorphism in Grojnowski's equivariant elliptic cohomology, for virtual T-oriented T-equivariant spin bundles with vanishing Borel-equivariant second Chern class, which is natural under pull-back of vector bundles and exponential under Whitney sum. It extends in the complex-analytic case the non-equivariant sigma orientation of Hopkins, Strickland, and the author. The construction relates the sigma orientation to the representation theory of loop groups and Looijenga's weighted projective space, and sheds light even on the non-equivariant case. Rigidity theorems …
We investigate when two generalized real Bott manifolds of height 2 have isomorphic cohomology rings with Z/2 coefficients and also when they are diffeomorphic. It turns out that cohomology rings with Z/2 coefficients do not distinguish those manifolds up to diffeomorphism in general. This gives a counterexample to the cohomological rigidity problem for real toric manifolds posed in \cite{ka-ma08}. We also prove that generalized real Bott manifolds of height 2 are diffeomorphic if they are homotopy equivalent.
We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains on the space of braids. The quasi-isomorphism is given by a configuration space integral followed by Chen's iterated integrals. This extends results of Kohno and of Cohen and Gitler on the cohomology of the space of braids to a CDGA suitable for integration. We show that this integration is compatible with Bott-Taubes configuration space integrals for long l…
We construct a new spectrum of units for a commutative symmetric ring spectrum that detects the difference between a periodic ring spectrum and its connective cover. It is augmented over the sphere spectrum. The homotopy cofiber of its augmentation map is a non-connected delooping of the usual spectrum of units whose bottom homotopy group detects periodicity. Our approach builds on the graded variant of E-infinity spaces introduced in joint work with Christian Schlichtkrull. We construct a group completion model structure for graded E-infinity spaces and use it to exhibit our spectrum of units…
Deformation K-theory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2-periodic above the rational cohomological dimension of G (minus 2), in the sense that T. Lawson's Bott map is an isomorphism on homotopy in these dimensions. We establish a periodicity theorem for crystallographic subgroups of the isometries of k-dimensional Euclidean space. For a certain subclass of torsion-free crystallographic groups, we prove a vanishing result for the homotopy groups of the stable moduli space o…
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…
Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable range, to mapping spaces associated to orthogonal Clifford representations. Given an oriented Euclidean bundle $V \to X$ of rank divisible by four over a finite complex $X$ we derive a stable decomposition result for vector bundles over the sphere bundle $\mathord{\mathbb S}( \mathbb{R} \oplus V)$ in terms of vector bundles and Clifford module bundles over $…
Let G be a connected, complex reductive Lie group with maximal compact subgroup K, and let X denote the moduli space of G- or K-valued representations of a rank r free group. In this article, we develop methods for studying the low-dimensional homotopy groups of these spaces and of their subspaces Y of irreducible representations. Our main result is that when G = GL(n,C) or SL(n,C), the second homotopy group of X is trivial. The proof depends on a new general position-type result in a singular setting. This result is proven in the Appendix and may be of independent interest. We also obtain new…
Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots, generalizing the Gauss linking integral. Their techniques were later used to construct real cohomology classes in spaces of knots and links in higher-dimensional Euclidean spaces. In previous work, we constructed cohomology classes in knot spaces with arbitrary coefficients by integrating via a Pontrjagin--Thom construction. We carry out a similar construction over the space of string links, but with a refinement in which configuration spaces are glued together acc…
We consider the topology for a class of hypersurfaces with highly nonisolated singularites which arise as exceptional orbit varieties of a special class of prehomogeneous vector spaces, which are representations of linear algebraic groups with open orbits. These hypersurface singularities include both determinantal hypersurfaces and linear free (and free*) divisors. Although these hypersurfaces have highly nonisolated singularities, we determine the topology of their Milnor fibers, complements and links. We do so by using the action of linear algebraic groups beginning with the complement, ins…
$S^1$-localisation by pseudocycles, lifts to $S^1$-localisation of moduli spaces, and application to invariants of $S^1$-equivariant symplectic cohomology
