Motivated by the Lawrence-Krammer-Bigelow representations of the classical braid groups, we study the homology of unordered configurations in an orientable genus-$g$ surface with one boundary component, over non-commutative local systems defined from representations of the discrete Heisenberg group. Mapping classes act on the local systems and for a general representation of the Heisenberg group we obtain a representation of the mapping class group that is twisted by this action. For the linearisation of the affine translation action of the Heisenberg group we obtain a genuine, untwisted representation of the mapping class group. In the case of the generic Schrödinger representation, by composing with a Stone-von Neumann isomorphism we obtain a projective representation by bounded operators on a Hilbert space, which lifts to a representation of the stably universal central extension of the mapping class group. We also discuss the finite dimensional Schrödinger representations, especially in the even case. Based on a natural intersection pairing, we show that our representations preserve a sesquilinear form.
We obtain representations of the f-based Mapping Class Group of oriented punctured surfaces from an action of mapping classes on Heisenberg homologies of a circle bundle over surface configurations.
We let the mapping class group $Γ_{g,1}$ of a genus $g$ surface $Σ_{g,1}$ with one boundary component act on the homology $H_*(F_{n}(Σ_{g,1});\mathbb{Q})$ of the $n^{th}$ ordered configuration space of the surface. We prove that the action is non-trivial when restricted to the $(n-1)^{st}$ stage of the Johnson filtration, for all $n\ge 1$ and $g\ge 2$. We deduce an analogous result for closed surfaces.
For a given bundle $ξ\colon E \to M$ over a manifold, configuration-section spaces on $ξ$ parametrise finite subsets $z \subseteq M$ equipped with a section of $ξ$ defined on $M \smallsetminus z$, with prescribed "charge" in a neighbourhood of the points $z$. These spaces may be interpreted physically as spaces of fields that are permitted to be singular at finitely many points, with constrained behaviour near the singularities. As a special case, they include the Hurwitz spaces, which parametrise branched covering spaces of the $2$-disc with specified deck transformation group. We prove that …
M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsevich-Kuperberg-Thurston construction and we provide detailed and elementary proofs for the invariance of Z. This article is the preliminary part of a work that aims to prove splitting formulae for this powerful invariant of rational homology spheres. It contains the needed backgro…
We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we define the higher indices, which invariants of knots in $\R^3$ define at arbitrary singular knots. More generally, for any finite-order cohomology class of the space of knots we define its principal symbol, which lies in a cohomology group of a certain finite-dimensional configuration space and characterizes our class modulo the classes of smaller filtration.
We show that the second homology of the configuration spaces of a planar graph is generated under the operations of embedding, disjoint union, and edge stabilization by three atomic graphs: the cycle graph with one edge, the star graph with three edges, and the theta graph with four edges. We give an example of a non-planar graph for which this statement is false.
We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell complexes. After developing a version of Morse theory for subdivisional spaces, we decompose $X$ and show that the homology of the configuration spaces of $X$ is computed by the derived tensor product of the Morse complexes of the pieces of the decomposition, an analogue of the monoidal excision property of factorization homology. Applying this theory to the co…
In this article we give an explicit description of the representation matrix of a Heisenberg type action constructed by Blanchet, Habegger, Masbaum and Vogel. We give the matrix in terms of a ribbon graph and its admissible colorings. We show that components of the representation matrix satisfies the {\it external edge condition}, which is a natural combinatorial/geometric condition for maps from the first homology of the graph. We give the explicit formula of the trace of the action in the case of surfaces with colored structure using the external edge condition, the Verlinde formula and elem…
We introduce a novel type of stabilization map on the configuration spaces of a graph, which increases the number of particles occupying an edge. There is an induced action on homology by the polynomial ring generated by the set of edges, and we show that this homology module is finitely generated. An analogue of classical homological and representation stability for manifolds, this result implies eventual polynomial growth of Betti numbers. We calculate the exact degree of this polynomial, in particular verifying an upper bound conjectured by Ramos. Because the action arises from a family of …
For any tangle $T$ (up to isotopy) and integer $k\geq 1$ we construct a group $F(T)$ (up to isomorphism). It is the fundamental group of the configuration space of $k$ points in a horizontal plane avoiding the tangle, provided the tangle is in what we call Heegaard position. This is analogous to the first half of Lawrence's homology construction of braid group representations. We briefly discuss the second half: homology groups of $F(T)$.
In a previous article, we constructed an invariant Z for null-homologous knots in rational homology spheres, from equivariant intersections in configuration spaces. Here we present an equivalent definition of Z in terms of configuration space integrals, we prove that Z is multiplicative under connected sum, and we prove null Lagrangian-preserving surgery formulae for Z. Our formulae generalize similar formulae that are satisfied by the Kricker rational lift of the Kontsevich integral for null Borromean surgeries. They imply that Z is universal with respect to a natural filtration. According to…
The first part of this paper is a short review of the construction [dg-ga/9710001] of invariants of rational homology 3-spheres and knots in terms of configuration space integrals. The second part describes the relationship between the above construction and Kontsevich's proposal of removing one point from the rational homology sphere. Explicit formulae are computed. In the case of the "Theta" invariant, a comparison with Taubes's construction is briefly discussed.
This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even). The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the h…
We conjecture the existence of four independent gradings in the colored HOMFLY homology. We describe these gradings explicitly for the rectangular colored homology of torus knots and make qualitative predictions of various interesting structures and symmetries in the colored homology of general knots. We also give a simple representation-theoretic model for the HOMFLY homology of the unknot colored by any representation. While some of these structures have a natural interpretation in the physical realization of knot homologies based on counting supersymmetric configurations (BPS states, instan…
