Cohomology of Artin groups of type tilde{A}_n, B_n and applications

We consider two natural embeddings between Artin groups: the group G_{tilde{A}_{n-1}} of type tilde{A}_{n-1} embeds into the group G_{B_n} of type B_n; G_{B_n} in turn embeds into the classical braid group Br_{n+1}:=G_{A_n} of type A_n. The cohomologies of these groups are related, by standard results, in a precise way. By using techniques developed in previous papers, we give precise formulas (sketching the proofs) for the cohomology of G_{B_n} with coefficients over the module Q[q^{+-1},t^{+-1}], where the action is (-q)-multiplication for the standard generators associated to the first n-1 nodes of the Dynkin diagram, while is (-t)-multiplication for the generator associated to the last node. As a corollary we obtain the rational cohomology for G_{tilde{A}_n} as well as the cohomology of Br_{n+1} with coefficients in the (n+1)-dimensional representation obtained by Tong, Yang and Ma. We stress the topological significance, recalling some constructions of explicit finite CW-complexes for orbit spaces of Artin groups. In case of groups of infinite type, we indicate the (few) variations to be done with respect to the finite type case. For affine groups, some of these orbit spaces are known to be K(pi,1) spaces (in particular, for type tilde{A}_n). We point out that the above cohomology of G_{B_n} gives (as a module over the monodromy operator) the rational cohomology of the fibre (analog to a Milnor fibre) of the natural fibration of K(G_{B_n},1) onto the 2-torus.Comment: This is the version published by Geometry & Topology Monographs on 22 February 200

T-structures on some local Calabi-Yau varieties

Let $Z$ be a Fano variety satisfying the condition that the rank of the Grothendieck group of $Z$ is one more than the dimension of $Z$. Let $\omega_Z$ denote the total space of the canonical line bundle of $Z$, considered as a non-compact Calabi-Yau variety. We use the theory of exceptional collections to describe t-structures on the derived category of coherent sheaves on $\omega_Z$. The combinatorics of these t-structures is determined by a natural action of an affine braid group, closely related to the well-known action of the Artin braid group on the set of exceptional collections on $Z$.Comment: 30 page

Braid groups of imprimitive complex reflection groups

We obtain new presentations for the imprimitive complex reflection groups of type $(de,e,r)$ and their braid groups $B(de,e,r)$ for $d,r \ge 2$. Diagrams for these presentations are proposed. The presentations have much in common with Coxeter presentations of real reflection groups. They are positive and homogeneous, and give rise to quasi-Garside structures. Diagram automorphisms correspond to group automorphisms. The new presentation shows how the braid group $B(de,e,r)$ is a semidirect product of the braid group of affine type $\widetilde A_{r-1}$ and an infinite cyclic group. Elements of $B(de,e,r)$ are visualized as geometric braids on $r+1$ strings whose first string is pure and whose winding number is a multiple of $e$. We classify periodic elements, and show that the roots are unique up to conjugacy and that the braid group $B(de,e,r)$ is strongly translation discrete.Comment: published versio

K(π,1)K(\pi,1) and word problems for infinite type Artin-Tits groups, and applications to virtual braid groups

Let $\Gamma$ be a Coxeter graph, let $(W,S)$ be its associated Coxeter system, and let $(A,\Sigma$) be its associated Artin-Tits system. We regard $W$ as a reflection group acting on a real vector space $V$. Let $I$ be the Tits cone, and let $E_\Gamma$ be the complement in $I +iV$ of the reflecting hyperplanes. Recall that Charney, Davis, and Salvetti have constructed a simplicial complex $\Omega(\Gamma)$ having the same homotopy type as $E_\Gamma$. We observe that, if $T \subset S$, then $\Omega(\Gamma_T)$ naturally embeds into $\Omega (\Gamma)$. We prove that this embedding admits a retraction $\pi_T: \Omega(\Gamma) \to \Omega (\Gamma_T)$, and we deduce several topological and combinatorial results on parabolic subgroups of $A$. From a family \SS of subsets of $S$ having certain properties, we construct a cube complex $\Phi$, we show that $\Phi$ has the same homotopy type as the universal cover of $E_\Gamma$, and we prove that $\Phi$ is CAT(0) if and only if \SS is a flag complex. We say that $X \subset S$ is free of infinity if $\Gamma_X$ has no edge labeled by $\infty$. We show that, if $E_{\Gamma_X}$ is aspherical and $A_X$ has a solution to the word problem for all $X \subset S$ free of infinity, then $E_\Gamma$ is aspherical and $A$ has a solution to the word problem. We apply these results to the virtual braid group $VB_n$. In particular, we give a solution to the word problem in $VB_n$, and we prove that the virtual cohomological dimension of $VB_n$ is $n-1$