Let W be a finite irreducible Coxeter group and let X_W be the classifying space for G_W, the associated Artin group. If A is a commutative unitary ring, we consider the two local systems L_q and L_q' over X_W, respectively over the modules A[q,q^{-1}] and A[[q,q^{-1}]], given by sending each standard generator of G_W into the automorphism given by the multiplication by q. We show that H^*(X_W,L_q') = H^{*+1}(X_W,L_q) and we generalize this relation to a particular class of algebraic complexes. We remark that H^*(X_W,L_q') is equal to the cohomology with trivial coefficients A of the Milnor fiber of the discriminant bundle of the associated reflection group.
The aim of this short survey is to give a quick introduction to the Salvetti complex as a tool for the study of the cohomology of Artin groups. In particular we show how a spectral sequence induced by a filtration on the complex provides a very natural and useful method to study recursively the cohomology of Artin groups, simplifying many computations. In the last section some examples of applications are presented.
In this paper, we investigate free actions of some compact groups on cohomology real and complex Milnor manifolds. More precisely, we compute the mod 2 cohomology algebra of the orbit space of an arbitrary free $\mathbb{Z}_2$ and $\mathbb{S}^1$-action on a compact Hausdorff space with mod 2 cohomology algebra of a real or a complex Milnor manifold. As applications, we deduce some Borsuk-Ulam type results for equivariant maps between spheres and these spaces. For the complex case, we obtain a lower bound on the Schwarz genus, which further establishes the existence of coincidence points for map…
Let $\A$ be an arrangement of affine lines in $\C^2,$ with complement $\M(\A).$ The (co)homo-logy of $\M(\A)$ with twisted coefficients is strictly related to the cohomology of the Milnor fibre associated to the conified arrangement, endowed with the geometric monodromy. Although several partial results are known, even the first Betti number of the Milnor fiber is not understood. We give here a vanishing conjecture for the first homology, which is of a different nature with respect to the known results. Let $Γ$ be the graph of \emph{double points} of $\A:$ we conjecture that if $Γ$ is connecte…
The result of this paper is the determination of the cohomology of Artin groups of type A_n, B_n and \tilde{A}_{n} with non-trivial local coefficients. The main result is an explicit computation of the cohomology of the Artin group of type B_n with coefficients over the module \Q[q^{\pm 1},t^{\pm 1}]. Here the first (n-1) standard generators of the group act by (-q)-multiplication, while the last one acts by (-t)-multiplication. The proof uses some technical results from previous papers plus computations over a suitable spectral sequence. The remaining cases follow from an application of Shapi…
We describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get some of our results. In all the examples computed so far this conjecture holds.
In this paper we prove that the complement to the affine complex arrangement of type \widetilde{B}_n is a K(π, 1) space. We also compute the cohomology of the affine Artin group G of type \widetilde{B}_n with coefficients over several interesting local systems. In particular, we consider the module Q[q^{\pm 1}, t^{\pm 1}], where the first n-standard generators of G act by (-q)-multiplication while the last generator acts by (-t)-multiplication. Such representation generalizes the analog 1-parameter representation related to the bundle structure over the complement to the discriminant hypersurf…
Texas Christian University（德克萨斯基督教大学）；University of Pennsylvania（宾夕法尼亚大学）；University of Louisiana at Lafayette（路易斯安那大学拉斐特分校）；University of Oregon（俄勒冈大学）；University of the Virgin Islands（维尔京群岛大学）
本文提出链环补空间的 bar 上同调作为同调球中链环的新不变量，它构成 Hopf 代数，可通过曲面及其交曲线计算，并定义了张量 Hopf 代数的典范子空间，编码并超越 Milnor 不变量。
On the category of pairs of topological spaces having a homotopy type of $CW$ complexes the singular (co)homology theory was axiomatically studied by J.Milnor. In particular, Milnor gave additivity axiom for a (co)homology theory and proved that any additive (co)homology theory on the given category is isomorphic to the singular (co)homology. On the other hand, the singular homology is a homology with compact support \cite{3}. In the paper \cite{6}, L. Mdzinarishvili proposed {\it partially compact support property} for a cohomology theory and gave another axiomatic characterization of the sin…
We employ the perverse vanishing cycles to show that each reduced cohomology group of the Milnor fiber, except the top two, can be computed from the restriction of the vanishing cycle complex to only singular strata with a certain lower bound in dimension. Guided by geometric results, we alternately use the nearby and vanishing cycle functors to derive information about the Milnor fiber cohomology via iterated slicing by generic hyperplanes. These lead to the description of the reduced cohomology groups, except the top two, in terms of the vanishing cohomology of the nearby section. We use it …
We study a topological method to calculate the first Milnor fiber cohomology of a defining polynomial of a reduced projective hyperplane arrangement $X$ of degree $d$. We can show the vanishing of a monodromy eigenspace of the first Milnor fiber cohomology with eigenvalue of order $m\ge 2$ if $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle})$ or more generally $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle}\cup X_d)$ is connected. Here $X^{[(m)]}$ is the set of points of $X$ with multiplicity divisible by $m$, and $X^{\langle 3\rangle}:=\bigcup_{i,j,k}X_i\cap X_j\cap X_k$ with $X_i$ the irreducib…
We compute: * the cohomology with group ring coefficients of Artin groups (or actually, of their associated Salvetti complexes), Bestvina-Brady groups, and graph products of groups, * the L^2-Betti numbers of Bestvina-Brady groups and of graph products of groups, * the weighted L^2-Betti numbers of graph products of Coxeter groups. In the case of arbitrary graph products there is an additional proviso: either all factors are infinite or all are finite.(However, for graph products of Coxeter groups this proviso is unnecessary.)
The structure of the BP<n>-cohomology of elementary abelian p-groups is studied, obtaining a presentation expressed in terms of BP-cohomology and mod-p singular cohomology, using the Milnor derivations. The arguments are based on a result on multi-Koszul complexes which is related to Margolis's criterion for freeness of a graded module over an exterior algebra.
Let G be a compact Lie group. We present two induction theorems for certain generalized G-equivariant cohomology theories. The theory applies to G-equivariant K-theory K_G, and to the Borel cohomology associated to any complex oriented cohomology theory. The coefficient ring of K_G is the representation ring R(G) of G. When G is a finite group the induction theorems for K_G coincide with the classical Artin and Brauer induction theorems for R(G).
We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we prove Milnor's conjecture relating Galois cohomology to quadratic forms via the filtration of the Witt ring by its fundamental ideal. In a related computation we express hermitian K-groups in terms of motivic cohomology.
We prove that Friedlander's generalized isomorphism conjecture on the cohomology of algebraic groups, and hence the Isomorphism Conjecture for the cohomology of the complex algebraic Lie group G(C) made discrete, are equivalent to the existence of an isoperimetric inequality in the homological bar complex of G(F), where F is the algebraic closure of a finite field.
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
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…
We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of hyperplane arrangements and free, locally quasi-homogeneous hypersurfaces, and assuming a key conjecture, this algorithm is much faster than for a hypersurface as above. Our conjecture is supported by the results due to L. Narv\' ez Macarro and M. Saito on the roots of Bernstein-Sato polynomials of such hypersurfaces, by all the examples computed so far, and by one p…
Let $\mathcal{L}$ be the noncrossing partition lattice associated to a finite Coxeter group $W$. In this paper we construct explicit bases for the top homology groups of intervals and rank-selected subposets of $\mathcal{L}$. We define a multiplicative structure on the Whitney homology of $\mathcal{L}$ in terms of the basis, and the resulting algebra has similarities to the Orlik-Solomon algebra. As an application, we obtain four chain complexes which compute the integral homology of the Milnor fibre of the reflection arrangement of $W$, the Milnor fibre of the discriminant of $W$, the hyperpl…
We have shown that the n-th Morava K-theory K^*(X) for a CW-spectrum X with action of Morava stabilizer group G_n can be recovered from the system of some height-(n+1) cohomology groups E^*(Z) with G_{n+1}-action indexed by finite subspectra Z. In this note we reformulate and extend the above result. We construct a symmetric monoidal functor F from the category of E^{vee}_*(E)-precomodules to the category of K_{*}(K)-comodules. Then we show that K^*(X) is naturally isomorphic to the inverse limit of F(E^*(Z)) as a K_{*}(K)-comodule.
Let $f$ and $g$ be reduced homogeneous polynomials in separate sets of variables. We establish a simple formula that relates the eigenspace decomposition of the monodromy operator on the Milnor fiber cohomology of $fg$ to that of $f$ and $g$ separately. We use a relation between local systems and Milnor fiber cohomology that has been established by D. Cohen and A. Suciu.
In this paper, we study the mod(p) motivic cohomology of twisted complete flag varieties over some restricted fields k. Here we take k such that the mod(p) Milnor K-theory KM_i(k)/p=0 for i>3.
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 …
We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is equivalent to a pair of motivic spectra over $B$ and $A/I$ that are identified over $B/IB$. Consequently, any cohomology theory represented by a motivic spectrum satisfies Milnor excision. We also prove Milnor excision for Ayoub's étale motives over schemes of finite virtual cohomological dimension.
A simplicial complex L on n vertices determines a subcomplex T_L of the n-torus, with fundamental group the right-angled Artin group G_L. Given an epimorphism χ\colon G_L\to \Z, let T_L^χbe the corresponding cover, with fundamental group the Artin kernel N_χ. We compute the cohomology jumping loci of the toric complex T_L, as well as the homology groups of T_L^χwith coefficients in a field \k, viewed as modules over the group algebra \k\Z. We give combinatorial conditions for H_{\le r}(T_L^χ;\k) to have trivial \Z-action, allowing us to compute the truncated cohomology ring, H^{\le r}(T_L^χ;\k…
The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{Γ_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(Γ_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of \emph{vector space expanders}, a novel struc…
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
Let $Γ$ be a finite connected graph. The (unlabelled) configuration space $UC^n Γ$ of $n$ points on $Γ$ is the space of $n$-element subsets of $Γ$. The $n$-strand braid group of $Γ$, denoted $B_nΓ$, is the fundamental group of $UC^n Γ$. We use the methods and results of our paper "Discrete Morse theory and graph braid groups" to get a partial description of the cohomology rings $H^*(B_n T)$, where $T$ is a tree. Our results are then used to prove that $B_n T$ is a right-angled Artin group if and only if $T$ is linear or $n<4$. This gives a large number of counterexamples to Ghrist's conjecture…
Let F be a field, let G be its absolute Galois group, and let R(G, k) be the representation ring of G over a suitable field k. In this preprint we construct a ring homomorphism from the mod 2 Milnor K-theory k_*(F) to the graded ring gr R(G, k) associated to Grothendieck's γ-filtration. We study this map in particular cases, as well as a related map involving the W-group of F rather than G. The latter is an isomorphism in all cases considered. Naturally this echoes the Milnor conjecture (now a theorem), which states that k_*(F) is isomorphic to the mod 2 cohomology of the absolute Galois group…
We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.
