Cohomological dimension of $\mathcal{B}_n$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T03:41:36Z http://mathoverflow.net/feeds/question/69117 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n Cohomological dimension of $\mathcal{B}_n$ unknown (google) 2011-06-29T14:37:47Z 2011-09-08T06:18:43Z <p>What is the cohomological dimension of the braid group $\mathcal{B}_n$ on n-strands ? A reference would be appreciated.</p> http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n/69119#69119 Answer by Richard Kent for Cohomological dimension of $\mathcal{B}_n$ Richard Kent 2011-06-29T15:21:31Z 2011-06-29T15:21:31Z <p>It's $n-1$.</p> <p>See Harer, The virtual cohomological dimension of the mapping class group of an orientable surface, Inventiones Mathematicae, Volume 84, Number 1, 157-176.</p> http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n/69122#69122 Answer by Fernando Muro for Cohomological dimension of $\mathcal{B}_n$ Fernando Muro 2011-06-29T15:38:00Z 2011-06-29T15:38:00Z <p>The homology of braid groups with rational and finite field coefficients (all with constant action) was computed by Cohen in the appendix to chapter III of "The homology of iterated loop spaces" LNM 533.</p> http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n/69123#69123 Answer by Igor Rivin for Cohomological dimension of $\mathcal{B}_n$ Igor Rivin 2011-06-29T15:42:53Z 2011-06-29T15:42:53Z <p>I also recommend M. Korkmaz' survey on low-dimensional homology of Mapping Class Groups:</p> <p>Korkmaz, Mustafa(TR-MET) Low-dimensional homology groups of mapping class groups: a survey. (English summary) Turkish J. Math. 26 (2002), no. 1, 101–114. 57M05 (20J05 57M07 57N05) </p> <p>Turkish JM is available for free...</p> http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n/69546#69546 Answer by Dai Tamaki for Cohomological dimension of $\mathcal{B}_n$ Dai Tamaki 2011-07-05T17:03:42Z 2011-07-05T17:03:42Z <p>There is a more geometric(?) method to obtain an upper bound of the cohomological dimension. Recall that the braid group $B_n$ is the fundamental group of the complement of the complexification of an essential hyperplane arrangement <code>$\mathcal{A}_{n-1}$</code> in an $(n-1)$-dimensional vector space $\mathfrak{h}_{n-1}$ divided out by the action of the symmetric group $\Sigma_n$ of $n$ letters. Namely <code>$$B_n = \pi_1((\mathfrak{h}_{n-1}\otimes\mathbb{C} - \cup_{H\in \mathcal{A}_{n-1}} H\otimes\mathbb{C})/\Sigma_n).$$</code> Since the complement is known to be $K(\pi,1)$, it serves as the classifying space of $B_n$. </p> <p>In general, for any real hyperplane arrangement $\mathcal{A}$, <a href="http://www.ams.org/mathscinet-getitem?mr=884802" rel="nofollow">Salvetti</a> constructed a cell complex $\mathrm{Sal}(\mathcal{A})$ which is homotopy equivalent to the complement of the complexification. Furthermore if $\mathcal{A}$ is essential in an $n$ dimensional vector space, then $\dim\mathrm{Sal}(\mathcal{A}) = n$.</p> <p>Thus the cohomological dimension of $B_n$ is bounded by $n-1$.</p> http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n/69571#69571 Answer by Agol for Cohomological dimension of $\mathcal{B}_n$ Agol 2011-07-05T21:18:44Z 2011-07-05T21:28:00Z <p>The other answers are correct, but I wanted to point out a quick way to see that $B_n$ has cohomological dimension $n-1$.</p> <p>One obtains a lower bound of $n-1$ since $\mathbb{Z}^{n-1}$ is a subgroup of $B_n$. Take $n-1$ disjoint non-isotopic loops forming a pants decomposition of the $n$ punctured plane, then Dehn twists about these give a subgroup isomorphic to $\mathbb{Z}^{n-1}$. </p> <p>For an upper bound, one may use the fact that the moduli space of $n$ points in $\mathbb{C}$ (normalized to have sum $=0$) is a Stein manifold of complex dimension $n-1$, and <a href="http://books.google.com/books?id=A9QZZ3S_QxwC&amp;lpg=PP1&amp;dq=milnor%2520morse%2520theory&amp;pg=PA39#v=onepage&amp;q&amp;f=false" rel="nofollow">therefore has a spine</a> of dimension $n-1$. The fundamental group of this space is $B_n$. This space is equivalent to the space of monic polynomials of degree $n$ with zero trace (coefficient of degree $n-1=0$) and non-zero discriminant, which is how one may see that it is Stein (actually, an affine variety). The fact that the moduli space is a $K(B_n,1)$ follows from Teichmuller theory, or one may pass to the finite-sheeted cover of $n$ marked points, and see that this is an iterated surface bundle, and therefore its universal cover is contractible.</p> http://mathoverflow.net/questions/69117/cohomological-dimension-of-mathcalb-n/74831#74831 Answer by Alexander Thumm for Cohomological dimension of $\mathcal{B}_n$ Alexander Thumm 2011-09-08T06:18:43Z 2011-09-08T06:18:43Z <p>I will sadly have to answer to this old post to elaborate on the lower bound part of Agol's answer. I would be grateful if someone could turn this into a comment.</p> <p>It is in fact quite easy to find a subgroup of $P_n$ isomorphic to $\mathbb Z^{n-1}$. It is generated by the full twist of the first $k$ strands, where $k= 2,3,\dots, n$.</p>