Symmetric products, duality and homological dimension of configuration spaces
Sadok Kallel
备注：
This is the version published by Geometry & Topology Monographs on 26 July 2008. arXiv-admin note: this is the same article as the author's version arXiv:math/0611436
We discuss various aspects of `braid spaces' or configuration spaces of unordered points on manifolds. First we describe how the homology of these spaces is affected by puncturing the underlying manifold, hence extending some results of Fred Cohen, Goryunov and Napolitano. Next we obtain a precise bound for the cohomological dimension of braid spaces. This is related to some sharp and useful connectivity bounds that we establish for the reduced symmetric products of any simplicial complex. Our methods are geometric and exploit a dual version of configuration spaces given in terms of truncated symmetric products. We finally refine and then apply a theorem of McDuff on the homological connectivity of a map from braid spaces to some spaces of `vector fields'.
We consider discontinuous operations of a group $G$ on a contractible $n$-dimensional manifold $X$. Let $E$ be a finite dimensional representation of $G$ over a field $k$ of characteristics 0. Let $\mathcal{E}$ be the sheaf on the quotient space $Y=G \setminus X$ associated to $E$. Let $H^{\bullet}_{\textbf{!}}(Y;\mathcal{E})$ be the image in $H^{\bullet}(Y;\mathcal{E})$ of the cohomology with compact support. In the cases where both $H^{\bullet}_{\textbf{!}}(Y;\mathcal{E})$ and $H^{\bullet}_{\textbf{!}}(Y;\mathcal{E}^*)$ ($\mathcal{E}^*$ being the the sheaf associated to the representation du…
We prove a homological stability theorem for certain complements of symmetric spaces. This is a variant of a conjecture by Vakil and Matchett Wood for subspaces of $\mathrm{Sym}^n(X)$ where $X$ is an open manifold admitting a boundary. To do this we prove a homological stability result for a type of "coloured" configuration space by adding points of the same colour.
Given a multifunction from $X$ to the $k-$fold symmetric product $Sym_k(X)$, we use the Dold-Thom Theorem to establish a homological selection Theorem. This is used to establish existence of Nash equilibria. Cost functions in problems concerning the existence of Nash Equilibria are traditionally multilinear in the mixed strategies. The main aim of this paper is to relax the hypothesis of multilinearity. We use basic intersection theory, Poincaré Duality in addition to the Dold-Thom Theorem.
Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher homotopies typically arise when a huge object, e. g. a chain complex defining various invariants of a certain geometric situation, is cut to a small model, and the higher homotopies can then be dealt with concisely in the language of sh-structures (strong homotopy structures). This amounts to precise ways of handling the requisite additional structure encapsulatin…
By proving that several new complexes of embedded disks are highly connected, we obtain several new homological stability results. Our main result is homological stability for topological chiral homology on an open manifold with coefficients in certain partial framed $E_n$-algebras. Using this, we prove a special case of a conjecture of Vakil and Wood on homological stability for complements of closures of particular strata in the symmetric powers of an open manifold and we prove that the bounded symmetric powers of closed manifolds satisfy homological stability rationally.
We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of the Thom class of the negative tangent bundle, and in terms of the vanishing of top-degree cohomology operations. We also indicate how the existence of such an operation-preserving duality implies the int…
The Beilinson-Bloch type conjectures predict that the low degree rational Chow groups of intersections of quadrics are one dimensional. This conjecture was proved by Otwinowska. Making use of homological projective duality and the recent theory of (Jacobians of) noncommutative Chow motives, we give an alternative proof of this conjecture in the case of a complete intersection of either two quadrics or three odd-dimensional quadrics. Moreover, without the use of the powerful Lefschetz theorem, we prove that in these cases the unique non-trivial algebraic Jacobian is the middle one. As an applic…
We discuss various aspects of "braid spaces'' or configuration spaces of unordered points on manifolds. First we describe how the homology of these spaces is affected by puncturing the underlying manifold, hence extending some results of Fred Cohen, Goryunov and Napolitano. Next we obtain a precise bound for the cohomological dimension of braid spaces. This is related to some sharp and useful connectivity bounds that we establish for the reduced symmetric products of any simplicial complex. Our methods are geometric and exploit a dual version of configuration spaces given in terms of truncated…
Conjecture F from [VW12] states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. We prove a generalization of this conjecture to the case of connected manifolds of dimension at least 2 and give an explicit homological stability range.
We construct small cylinders for cellular non-symmetric DG-operads over an arbitrary commutative ring by using the basic perturbation lemma from homological algebra. We show that our construction, applied to the A-infinity operad, yields the operad parametrizing A-infinity maps whose linear part is the identity. We also compute some other examples with non-trivial operations in arities 1 and 0.
Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham cohomology in terms of a suitable relative differential graded Ext, defined on the appropriate category of (G,Cg)-modules. The meaning of "relative" is made precise via the dual standard construction associated with the monad involving the aforementioned functor and the associated f…
We study homological representations of mapping class groups, including the braid groups. These arise from the twisted homology of certain configuration spaces, and come in many different flavours. Our goal is to give a unified general account of the fundamental relationships (non-degenerate pairings, embeddings, isomorphisms) between the many different flavours of homological representations. Our motivating examples are the Lawrence-Bigelow representations of the braid groups, which are of central importance in the study of the braid groups themselves, as well as their connections with quantu…
In this paper we discuss two general models of random simplicial complexes which we call the lower and the upper models. We show that these models are dual to each other with respect to combinatorial Alexander duality. The behaviour of the Betti numbers in the lower model is characterised by the notion of critical dimension, which was introduced by A. Costa and M. Farber: random simplicial complexes in the lower model are homologically approximated by a wedge of spheres of dimension equal the critical dimension. In this paper we study the Betti numbers in the upper model and introduce new noti…
Let M be an open, connected manifold. A classical theorem of McDuff and Segal states that the sequence of configuration spaces of n unordered, distinct points in M is homologically stable with coefficients in Z: in each degree, the integral homology is eventually independent of n. The purpose of this note is to prove that this phenomenon also holds for homology with twisted coefficients. We first define an appropriate notion of finite-degree twisted coefficient system for configuration spaces and then use a spectral sequence argument to deduce the result from the untwisted homological stabilit…
We prove that the factorization homologies of a scheme with coefficients in truncated polynomial algebras compute the cohomologies of its generalized configuration spaces. Using Koszul duality between commutative algebras and Lie algebras, we obtain new expressions for the cohomologies of the latter. As a consequence, we obtain a uniform and conceptual approach for treating homological stability, homological densities, and arithmetic densities of generalized configuration spaces. Our results categorify, generalize, and in fact provide a conceptual understanding of the coincidences appearing in…
We explore the relationship between a certain "abelian duality" property of spaces and the propagation properties of their cohomology jump loci. To that end, we develop the analogy between abelian duality spaces and those spaces which possess what we call the "EPY property." The same underlying homological algebra allows us to deduce the propagation of jump loci: in the former case, characteristic varieties propagate, and in the latter, the resonance varieties. We apply the general theory to arrangements of linear and elliptic hyperplanes, as well as toric complexes, right-angled Artin groups,…
Given a family of groups admitting a braided monoidal structure (satisfying mild assumptions) we construct a family of spaces on which the groups act and whose connectivity yields, via a classical argument of Quillen, homological stability for the family of groups. We show that stability also holds with both polynomial and abelian twisted coefficients, with no further assumptions. This new construction of a family of spaces from a family of groups recovers known spaces in the classical examples of stable families of groups, such as the symmetric groups, general linear groups and mapping class …
Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of degree $d$ in $\mathrm{R}^n$ due to Petrovski{\uı} and Ole{\uı}nik, Thom and Milnor). Moreover, we show there exists $c > 1$, such that given a sequence $(B_n)_{n >0}$ where $B_n$ is a closed ball in…
We study homological structure of the filtrations of the spaces of self-adjoint operators by the multiplicity of the ground state. We consider only operators acting in a finite dimensional complex or real Hilbert space but infinite dimensional generalizations are easily guessed.
