Showing 1–39 of 39 results for author: Cohen, D C

On the topological complexity of manifolds with abelian fundamental group

Authors: Daniel C. Cohen, Lucile Vandembroucq

Abstract: We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on the topological complexity of spaces with small fundamental group. Relaxing the commutativity condition on the fundamental group, we also generalize results of D… ▽ More We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on the topological complexity of spaces with small fundamental group. Relaxing the commutativity condition on the fundamental group, we also generalize results of Dranishnikov on the Lusternik-Schnirelmann category of the cofibre of the diagonal map $Δ: M \to M \times M$ for nonorientable surfaces by establishing the nonmaximality of this invariant for a large class of manifolds. △ Less

Submitted 8 September, 2021; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: Forum Mathematicum, to appear

MSC Class: 55M30; 55S40; 57N65

Parametrized topological complexity of collision-free motion planning in the plane

Authors: Daniel C. Cohen, Michael Farber, Shmuel Weinberger

Abstract: Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without col… ▽ More Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without collision and avoiding multiple distinct obstacles with a priori unknown positions. This complements our prior work [arXiv:2009.06023], where parameterized motion planning algorithms were introduced, and the obstacle-avoiding collision-free motion planning problem in three-dimensional space was fully investigated. The planar case requires different algebraic and topological tools than its spatial analog. △ Less

Submitted 14 October, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: revision includes an appendix on fibrations of certain map** spaces

MSC Class: 55S40; 55M30; 55R80; 70Q05

Topology of parametrised motion planning algorithms

Authors: Daniel C. Cohen, Michael Farber, Shmuel Weinberger

Abstract: In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the pa… ▽ More In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the parameterised topological complexity of obstacle-avoiding collision-free motion of many particles (robots) in 3-dimensional space. Our results show that the parameterised topological complexity can be significantly higher than the standard (nonparametrised) invariant. △ Less

Submitted 21 May, 2021; v1 submitted 13 September, 2020; originally announced September 2020.

Comments: To appear in SIAM Journal of Applied Algebra and Geometry

MSC Class: 55S40; 55M30; 55R80; 70Q05

Journal ref: SIAM Journal on Applied Algebra and Geometry, 5 (2021), 229-249

On graphic arrangement groups

Authors: Daniel C Cohen, Michael J Falk

Abstract: A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is… ▽ More A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is residually free, torsion-free, residually torsion-free nilpotent, and acts properly on a CAT(0) cube complex. We also show $P_Γ$ is of homological finiteness type $F_{m-1}$, but not $F_m$, where $m$ is the number of copies of $K_3$ in $Γ$, except in trivial cases. The embedding result is extended to graphs whose 4-cliques share at most one edge, giving an injection of $P_Γ$ into the product of pure braid groups corresponding to maximal cliques of $Γ$. We give examples showing that this map may inject in more general circumstances. We define the graphic braid group $B_Γ$ as a natural extension of $P_Γ$ by the automorphism group of $Γ$, and extend our homological finiteness result to these groups. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Comments: 25 pages, 1 figure

MSC Class: 20F36; 32S22; 52C35; 20E26

Journal ref: Advances in Applied Mathematics 126 (2021), Paper No. 102130, 22 pp

Motion planning in connected sums of real projective spaces

Authors: Daniel C. Cohen, Lucile Vandembroucq

Abstract: The topological complexity ${\sf TC}(X)$ is a homotopy invariant of a topological space $X$, motivated by robotics, and providing a measure of the navigational complexity of $X$. The topological complexity of a connected sum of real projective planes, that is, a high genus nonorientable surface, is known to be maximal. We use algebraic tools to show that the analogous result holds for connected su… ▽ More The topological complexity ${\sf TC}(X)$ is a homotopy invariant of a topological space $X$, motivated by robotics, and providing a measure of the navigational complexity of $X$. The topological complexity of a connected sum of real projective planes, that is, a high genus nonorientable surface, is known to be maximal. We use algebraic tools to show that the analogous result holds for connected sums of higher dimensional real projective spaces. △ Less

Submitted 26 July, 2018; originally announced July 2018.

Comments: 10 pages

MSC Class: Primary 55S40; 55M30; Secondary 55N25; 70Q05

Journal ref: Top. Proc. 54 (2019), 323-334

Topological complexity of classical configuration spaces and related objects

Authors: Daniel C. Cohen

Abstract: We survey results on the topological complexity of classical configuration spaces of distinct ordered points in orientable surfaces and related spaces, including certain orbit configuration spaces and Eilenberg-Mac Lane spaces associated to certain discrete groups. We survey results on the topological complexity of classical configuration spaces of distinct ordered points in orientable surfaces and related spaces, including certain orbit configuration spaces and Eilenberg-Mac Lane spaces associated to certain discrete groups. △ Less

Submitted 12 March, 2017; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: This survey expands on lectures given at the Spring 2016 Mathematisches Forschungsinstitut Oberwolfach Mini-Workshop "Topological Complexity and Related Topics." To appear in the Contemporary Mathematics volume of the same title (M. Grant, G. Lupton, L. Vandembroucq, eds.)

MSC Class: 20F36; 55M30; 55R80

Journal ref: in: Contemporary Mathematics 702, pp. 41-60, Amer. Math. Soc. 2018

Topological Complexity of the Klein bottle

Authors: Daniel C. Cohen, Lucile Vandembroucq

Abstract: We show that the (normalized) topological complexity of the Klein bottle is $4$. We also show that, for any $g\geq 2$, $TC(N_g)=4$. This completes the recent work by Dranishnikov on the topological complexity of non-orientable surfaces. We show that the (normalized) topological complexity of the Klein bottle is $4$. We also show that, for any $g\geq 2$, $TC(N_g)=4$. This completes the recent work by Dranishnikov on the topological complexity of non-orientable surfaces. △ Less

Submitted 9 March, 2017; v1 submitted 9 December, 2016; originally announced December 2016.

Comments: Improvements in the exposition. References added. To appear in Journal of Applied and Computational Topology

Journal ref: J Appl. and Comput. Topology (2017) 1: 199-213

Chen ranks and resonance

Authors: Daniel C. Cohen, Henry K. Schenck

Abstract: The Chen groups of a group $G$ are the lower central series quotients of the maximal metabelian quotient of $G$. Under certain conditions, we relate the ranks of the Chen groups to the first resonance variety of $G$, a jump locus for the cohomology of $G$. In the case where $G$ is the fundamental group of the complement of a complex hyperplane arrangement, our results positively resolve Suciu's Ch… ▽ More The Chen groups of a group $G$ are the lower central series quotients of the maximal metabelian quotient of $G$. Under certain conditions, we relate the ranks of the Chen groups to the first resonance variety of $G$, a jump locus for the cohomology of $G$. In the case where $G$ is the fundamental group of the complement of a complex hyperplane arrangement, our results positively resolve Suciu's Chen ranks conjecture. We obtain explicit formulas for the Chen ranks of a number of groups of broad interest, including pure Artin groups associated to Coxeter groups, and the group of basis-conjugating automorphisms of a finitely generated free group. △ Less

Submitted 20 March, 2023; v1 submitted 12 December, 2013; originally announced December 2013.

Comments: final version, to appear in Advances in Mathematics; erroneous proof of Thm. 5.1 in published version corrected

MSC Class: 20F14; 14M12; 20F36; 52C35

Journal ref: Adv. Math. 285 (2015), 1-27

Pure braid groups are not residually free

Authors: Daniel C. Cohen, Michael Falk, Richard Randell

Abstract: We show that the Artin pure braid group on at least four strands is not residually free. Our results also show that the pure braid group on at least three strands has corank two. We show that the Artin pure braid group on at least four strands is not residually free. Our results also show that the pure braid group on at least three strands has corank two. △ Less

Submitted 22 June, 2011; originally announced June 2011.

MSC Class: 20F36; 20E26

Journal ref: in: Configuration spaces, 213-230, CRM Series, 14, Ed. Norm., Pisa, 2012

Automorphism groups of some pure braid groups

Authors: Daniel C. Cohen

Abstract: We find finite presentations for the automorphism group of the Artin pure braid group and the automorphism group of the pure braid group associated to the full monomial group. We find finite presentations for the automorphism group of the Artin pure braid group and the automorphism group of the pure braid group associated to the full monomial group. △ Less

Submitted 24 June, 2011; v1 submitted 21 June, 2011; originally announced June 2011.

MSC Class: 20F36; 20E36

Journal ref: Topology Appl. 159 (2012), 3404-3416

Vanishing products of one-forms and critical points of master functions

Authors: Daniel C. Cohen, Graham Denham, Michael Falk, Alexander Varchenko

Abstract: Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement $U$. Let $f_1, \..., f_n$ be linear polynomials defining the hyperplanes of \A, and $A^\cdot$ the algebra of differential forms generated by the 1-forms $d \log f_1, \..., d \log f_n$. To each $l \in \C^n$ we associate the master function $Φ=Φ_l = \prod_{i=1}^n f_i^{l_i}$ on $U$ and the closed logarithmic 1-form $ω= d \log Φ$.… ▽ More Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement $U$. Let $f_1, \..., f_n$ be linear polynomials defining the hyperplanes of \A, and $A^\cdot$ the algebra of differential forms generated by the 1-forms $d \log f_1, \..., d \log f_n$. To each $l \in \C^n$ we associate the master function $Φ=Φ_l = \prod_{i=1}^n f_i^{l_i}$ on $U$ and the closed logarithmic 1-form $ω= d \log Φ$. We assume $ω$ is an element of a rational linear subspace $D$ of $A^1$ of dimension $q>1$ such that the multiplication map $\bigwedge^k(D) \to A^k$ is zero for $p<k\leq q$. With this assumption, we prove every component of the critical locus $\crit(Φ)$ of $Φ$ has codimension at most $p$, and $\crit(Φ)$ is a union of intersections of level sets of rational master functions. We give conditions that guarantee $\crit(Φ)$ is nonempty and every component has codimension equal to $p$, in terms of syzygies among polynomial master functions. If \A is $p$-generic, then $D$ is contained in the degree $p$ resonance variety $\R^p(\A)$ -- in this sense the present work complements previous work on resonance and critical loci of master functions. Any arrangement is 1-generic; in case $p=1$ we give a precise description of $\crit(Φ_l)$ in case $l$ lies in an isotropic subspace $D$ of $A^1$, using the multinet structure on \A corresponding to $D\subseteq \R^1(\A)$. This is carried out in detail for the Hessian arrangement. Finally, for arbitrary $p$ and \A, we establish necessary and sufficient conditions for a set of integral one-forms to span such a subspace, in terms of nested sets of \A, using tropical implicitization. △ Less

Submitted 5 March, 2012; v1 submitted 18 October, 2010; originally announced October 2010.

Comments: v2: Major revision. Example 3.17 added to illustrate effects of singularities, thanks to an anonymous referee. To appear in "Arrangements of Hyperplanes - Sapporo 2009," Adv. Studies in Pure Math., in press. v3: final version; minor corrections

MSC Class: 32S22; 55N25; 52C35; 14T04

Discriminantal bundles, arrangement groups, and subdirect products of free groups

Authors: Daniel C. Cohen, Michael J. Falk, Richard C. Randell

Abstract: We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such… ▽ More We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such families \F\ for rank two arrangements, reflection arrangements of types $A_\ell$, $B_\ell$, $D_\ell$, $F_4$, and for arrangements supporting multinet structures with three classes, with the resulting bundles having nontrivial monodromy around each hyperplane. The construction extends to arbitrary arrangements by pulling back these bundles along products of inclusions arising from subarrangements of these types. We then consider the faithfulness of the resulting representations of the arrangement group $π_1(M)$. We describe the kernel of the product $ρ_\X \colon G \to \prod_{S \in \X} G_S$ of homomorphisms of a finitely-generated group $G$ onto quotient groups $G_S$ determined by a family \X\ of subsets of a fixed set of generators of $G$, extending a result of T.~Stanford about Brunnian braids. When the projections $G \to G_S$ split in a compatible way, we show the image of $ρ_\X$ is normal with free abelian quotient, and identify the cohomological finiteness type of $G$. These results apply to some well-studied arrangements, implying several qualitative and residual properties of $π_1(M)$, including an alternate proof of a result of Artal, Cogolludo, and Matei on arrangement groups and Bestvina-Brady groups, and a dichotomy for a decomposable arrangement \A: either $π_1(M)$ has a conjugation-free presentation or it is not residually nilpotent. △ Less

Submitted 14 May, 2020; v1 submitted 2 August, 2010; originally announced August 2010.

Comments: 34 pages, 7 figures. Further corrections and refinements based on referee comments. To appear in European Journal of Mathematics

MSC Class: 20F36 (Primary); 32S22; 52C35; 55R80 (Secondary)

The homotopical dimension of random 2-complexes

Authors: Daniel C. Cohen, Michael Farber, Thomas Kappeler

Abstract: In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0. In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0. △ Less

Submitted 19 May, 2010; originally announced May 2010.

Topological complexity of collision-free motion planning on surfaces

Authors: Daniel C. Cohen, Michael Farber

Abstract: The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik-Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute t… ▽ More The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik-Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute the topological complexity of the configuration space of n distinct ordered points on an orientable surface. Our main tool is a theorem of B. Totaro describing the cohomology of configuration spaces of algebraic varieties. △ Less

Submitted 7 January, 2009; originally announced January 2009.

MSC Class: 20F36; 55M30; 55R80

Journal ref: Compositio Mathematica 147 (2011), 649-660

Resonance of basis-conjugating automorphism groups

Authors: Daniel C. Cohen

Abstract: We determine the structure of the first resonance variety of the cohomology ring of the group of automorphisms of a finitely generated free group which act by conjugation on a given basis. We determine the structure of the first resonance variety of the cohomology ring of the group of automorphisms of a finitely generated free group which act by conjugation on a given basis. △ Less

Submitted 9 November, 2008; originally announced November 2008.

Comments: 7 pages

MSC Class: 20F28; 14M12; 20J06

Journal ref: Proc. Amer. Math. Soc. 137 (2009), 2835-2841

Cohomology rings of almost-direct products of free groups

Authors: Daniel C. Cohen

Abstract: An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity of the associated Eilenberg-Mac Lane space. An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity of the associated Eilenberg-Mac Lane space. △ Less

Submitted 9 November, 2008; originally announced November 2008.

Comments: 16 pages

MSC Class: 20J06; 20F28; 20F36; 55M30

Journal ref: Compositio Math. 146 (2010) 465-479

Topological complexity of basis-conjugating automorphism groups

Authors: Daniel C. Cohen, Goderdzi Pruidze

Abstract: We compute the topological complexity of Eilenberg-Mac Lane spaces associated to the group of automorphisms of a finitely generated free group which act by conjugation on a given basis, and to certain subgroups. We compute the topological complexity of Eilenberg-Mac Lane spaces associated to the group of automorphisms of a finitely generated free group which act by conjugation on a given basis, and to certain subgroups. △ Less

Submitted 10 April, 2008; originally announced April 2008.

Comments: 12 pages

MSC Class: 20F28; 55M30 (Primary); 20J06; 20F65 (Secondary)

Journal ref: Pacific J. Math. 238 (2008), 233-248

Motion planning in tori

Authors: Daniel C. Cohen, Goderdzi Pruidze

Abstract: Let X be a subcomplex of the standard CW-decomposition of the n-dimensional torus. We exhibit an explicit optimal motion planning algorithm for X. This construction is used to calculate the topological complexity of complements of general position arrangements and Eilenberg-Mac Lane spaces associated to right-angled Artin groups. Let X be a subcomplex of the standard CW-decomposition of the n-dimensional torus. We exhibit an explicit optimal motion planning algorithm for X. This construction is used to calculate the topological complexity of complements of general position arrangements and Eilenberg-Mac Lane spaces associated to right-angled Artin groups. △ Less

Submitted 11 May, 2007; v1 submitted 2 March, 2007; originally announced March 2007.

Comments: Results extended to arbitrary subcomplexes of tori. Results on products of even spheres added

MSC Class: 20F36; 52C35; 55M30

Journal ref: Bull. London Math. Soc. 40 (2008), 249-262

The boundary manifold of a complex line arrangement

Authors: Daniel C Cohen, Alexander I Suciu

Abstract: We study the topology of the boundary manifold of a line arrangement in CP^2, with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial Delta(G), and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm,… ▽ More We study the topology of the boundary manifold of a line arrangement in CP^2, with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial Delta(G), and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm, and use it to analyze certain Bieri-Neumann-Strebel invariants of G. From the Alexander polynomial, we also obtain a complete description of the first characteristic variety of G. Comparing this with the corresponding resonance variety of the cohomology ring of G enables us to characterize those arrangements for which the boundary manifold is formal. △ Less

Submitted 3 April, 2009; v1 submitted 12 July, 2006; originally announced July 2006.

Comments: This is the version published by Geometry & Topology Monographs on 22 February 2008

MSC Class: 32S22; 57M27

Journal ref: Geom. Topol. Monogr. 13 (2008) 105-146

Stratified Morse Theory in Arrangements

Authors: Daniel C. Cohen, Peter Orlik

Abstract: This paper is a survey of our work based on the stratified Morse theory of Goresky and MacPherson. First we discuss the Morse theory of Euclidean space stratified by an arrangement. This is used to show that the complement of a complex hyperplane arrangement admits a minimal cell decomposition. Next we review the construction of a cochain complex whose cohomology computes the local system cohomo… ▽ More This paper is a survey of our work based on the stratified Morse theory of Goresky and MacPherson. First we discuss the Morse theory of Euclidean space stratified by an arrangement. This is used to show that the complement of a complex hyperplane arrangement admits a minimal cell decomposition. Next we review the construction of a cochain complex whose cohomology computes the local system cohomology of the complement of a complex hyperplane arrangement. Then we present results on the Gauss-Manin connection for the moduli space of arrangements of a fixed combinatorial type in rank one local system cohomology. △ Less

Submitted 19 March, 2006; originally announced March 2006.

Comments: For Robert MacPherson on the occasion of his sixtieth birthday

MSC Class: 32S22; 14D05; 52C35; 55N25

Journal ref: Pure Appl. Math. Q. 2 (2006), 673-697

Centralizers of Lie Algebras Associated to the Descending Central Series of Certain Poly-Free Groups

Authors: Daniel C. Cohen, F. R. Cohen, Stratos Prassidis

Abstract: Poly-free groups are constructed as iterated semidirect products of free groups. The class of poly-free groups includes the classical pure braid groups, fundamental groups of fiber-type hyperplane arrangements, and certain subgroups of the automorphism groups of free groups. The purpose of this article is to compute centralizers of certain natural Lie subalgebras of the Lie algebra obtained from… ▽ More Poly-free groups are constructed as iterated semidirect products of free groups. The class of poly-free groups includes the classical pure braid groups, fundamental groups of fiber-type hyperplane arrangements, and certain subgroups of the automorphism groups of free groups. The purpose of this article is to compute centralizers of certain natural Lie subalgebras of the Lie algebra obtained from the descending central series of poly-free groups G including some of the geometrically interesting classes of groups mentioned above. The main results here extend results of Cohen and Prassidis for such groups. These results imply that a homomorphism out of G is faithful, essentially, if it is faithful when restricted to the level of Lie algebras obtained from the descending central series for the product F x Z, where F is the "top" free group in the semidirect products of free groups and Z is the center of G. The arguments use a mixture of homological, and Lie algebraic methods applied to certain choices of extensions. The limitations of these methods are illustrated using the "poison groups" of Formanek and Procesi, poly-free groups whose Lie algebras do not have certain properties considered here. △ Less

Submitted 21 January, 2007; v1 submitted 19 March, 2006; originally announced March 2006.

Comments: minor revisions

MSC Class: Primary 20E22; 20F14; Secondary 20F28; 20F36; 20F40; 32S22; 55R80

Journal ref: Journal of Lie Theory 17 (2007), 379-397

Boundary manifolds of projective hypersurfaces

Authors: Daniel C. Cohen, Alexander I. Suciu

Abstract: We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially determines that of the boundary. When the hypersurface defines a hyperplane arrangement, the cohomology of the boundary is completely determined by the combinat… ▽ More We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially determines that of the boundary. When the hypersurface defines a hyperplane arrangement, the cohomology of the boundary is completely determined by the combinatorics of the underlying arrangement and the ambient dimension. We also study the LS category and topological complexity of the boundary manifold, as well as the resonance varieties of its cohomology ring. △ Less

Submitted 15 October, 2005; v1 submitted 23 February, 2005; originally announced February 2005.

Comments: 31 pages; accepted for publication in Advances in Mathematics

MSC Class: 14J70; 32S22; 16W50; 32S35; 55M30

Journal ref: Advances in Mathematics 206 (2006), no. 2, 538-566

Gauss-Manin connections for arrangements, IV Nonresonant eigenvalues

Authors: Daniel C. Cohen, Peter Orlik

Abstract: An arrangement is a finite set of hyperplanes in a finite dimensional complex affine space. A complex rank one local system on the arrangement complement is determined by a set of complex weights for the hyperplanes. We study the Gauss-Manin connection for the moduli space of arrangements of fixed combinatorial type in the cohomology of the complement with coefficients in the local system determ… ▽ More An arrangement is a finite set of hyperplanes in a finite dimensional complex affine space. A complex rank one local system on the arrangement complement is determined by a set of complex weights for the hyperplanes. We study the Gauss-Manin connection for the moduli space of arrangements of fixed combinatorial type in the cohomology of the complement with coefficients in the local system determined by the weights. For nonresonant weights, we solve the eigenvalue problem for the endomorphisms arising in the 1-form associated to the Gauss-Manin connection. △ Less

Submitted 5 February, 2005; originally announced February 2005.

MSC Class: 32S22; 14D05; 52C35; 55N25

Journal ref: Comment. Math. Helv. 81 (2006), 883-909

Gauss-Manin connections for arrangements, III Formal connections

Authors: Daniel C. Cohen, Peter Orlik

Abstract: We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a complex rank one local system. We define formal Gauss-Manin connection matrices in the Aomoto complex and prove that, for all arrangements and all local systems, these formal connection matrices specialize to Gauss-Manin connection matrices. We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a complex rank one local system. We define formal Gauss-Manin connection matrices in the Aomoto complex and prove that, for all arrangements and all local systems, these formal connection matrices specialize to Gauss-Manin connection matrices. △ Less

Submitted 15 July, 2003; originally announced July 2003.

MSC Class: 32S22; 14D05; 52C35; 55N25

Journal ref: Trans. Amer. Math. Soc. 357 (2005), 3031-3050

Torsion in Milnor fiber homology

Authors: Daniel C. Cohen, Graham Denham, Alexander I. Suciu

Abstract: In a recent paper, Dimca and Nemethi pose the problem of finding a homogeneous polynomial f such that the homology of the complement of the hypersurface defined by f is torsion-free, but the homology of the Milnor fiber of f has torsion. We prove that this is indeed possible, and show by construction that, for each prime p, there is a polynomial with p-torsion in the homology of the Milnor fiber… ▽ More In a recent paper, Dimca and Nemethi pose the problem of finding a homogeneous polynomial f such that the homology of the complement of the hypersurface defined by f is torsion-free, but the homology of the Milnor fiber of f has torsion. We prove that this is indeed possible, and show by construction that, for each prime p, there is a polynomial with p-torsion in the homology of the Milnor fiber. The techniques make use of properties of characteristic varieties of hyperplane arrangements. △ Less

Submitted 10 July, 2003; v1 submitted 12 February, 2003; originally announced February 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-16.abs.html

MSC Class: 32S55; 14J70; 32S22; 55N25

Journal ref: Algebr. Geom. Topol. 3 (2003) 511-535

Resonant local systems on complements of discriminantal arrangements and sl_2 representations

Authors: Daniel C. Cohen, Alexander N. Varchenko

Abstract: We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the compl… ▽ More We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines. △ Less

Submitted 16 November, 2002; originally announced November 2002.

Comments: LaTeX, 12 pages

MSC Class: 17B10; 32S22; 52C35; 55N25

Journal ref: Geom. Dedicata 101 (2003), 217-234

Gauss-Manin connections for arrangements, II Nonresonant weights

Authors: Daniel C. Cohen, Peter Orlik

Abstract: We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a nonresonant complex rank one local system. Aomoto and Kita determined this Gauss-Manin connection for arrangements in general position. We use their results and an algorithm constructed in this paper to determine this Gauss-Manin connection for all arrangements. We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a nonresonant complex rank one local system. Aomoto and Kita determined this Gauss-Manin connection for arrangements in general position. We use their results and an algorithm constructed in this paper to determine this Gauss-Manin connection for all arrangements. △ Less

Submitted 12 July, 2002; originally announced July 2002.

MSC Class: 32S22; 14D05; 52C35; 55N25

Journal ref: Amer. J. Math. 127 (2005), 569-594

On representations and K-theory of the braid groups

Authors: Alejandro Adem, Daniel C. Cohen, Frederick R. Cohen

Abstract: Let G be the fundamental group of the complement of a K(G,1) hyperplane arrangement (such as Artin's pure braid group) or more generally a homologically toroidal group (as defined in the paper). The subgroup of elements in the complex K-theory of BG which arises from complex unitary representations of G is shown to be trivial. In the case of real K-theory, this subgroup is an elementary abelian… ▽ More Let G be the fundamental group of the complement of a K(G,1) hyperplane arrangement (such as Artin's pure braid group) or more generally a homologically toroidal group (as defined in the paper). The subgroup of elements in the complex K-theory of BG which arises from complex unitary representations of G is shown to be trivial. In the case of real K-theory, this subgroup is an elementary abelian 2-group, which is characterized completely in terms of the first two Stiefel-Whitney classes of the representation. Furthermore, an orthogonal representation of G gives rise to a trivial bundle if and only if the representation factors through the spinor groups. In addition, quadratic relations in the cohomology algebra of the pure braid groups which correspond precisely to the Jacobi identity for certain choices of Poisson algebras are shown to give the existence of certain homomorphisms from the pure braid group to generalized Heisenberg groups. These cohomology relations correspond to non-trivial Spin representations of the pure braid groups which give rise to trivial bundles. △ Less

Submitted 26 January, 2002; v1 submitted 13 October, 2001; originally announced October 2001.

Comments: LaTeX, 24 pages. v2: 27 pages, minor changes, some remarks concerning more general representations are added

MSC Class: Primary 20F36; Secondary 32S22; 55N15; 55R50

Journal ref: Math. Ann. 326 (2003), 515-542

Gauss-Manin Connections for Arrangements

Authors: Daniel C. Cohen, Peter Orlik

Abstract: We construct a formal connection on the Aomoto complex of an arrangement of hyperplanes, and use it to study the Gauss-Manin connection for the moduli space of the arrangement in the cohomology of a complex rank one local system. We prove that the eigenvalues of the Gauss-Manin connection are integral linear combinations of the weights which define the local system. We construct a formal connection on the Aomoto complex of an arrangement of hyperplanes, and use it to study the Gauss-Manin connection for the moduli space of the arrangement in the cohomology of a complex rank one local system. We prove that the eigenvalues of the Gauss-Manin connection are integral linear combinations of the weights which define the local system. △ Less

Submitted 18 March, 2002; v1 submitted 9 May, 2001; originally announced May 2001.

Comments: LaTeX, 15 pages. v2: minor changes. v3: 16 pages, to appear in Compositio Math

MSC Class: 32S22; 14D05; 52C35; 55N25

Journal ref: Compositio Math. 136 (2003), 299-316

Triples of arrangements and local systems

Authors: Daniel C. Cohen

Abstract: For a triple of complex hyperplane arrangements, there is a well-known long exact sequence relating the cohomology of the complements. We observe that this result extends to certain local coefficient systems, and use this extension to study the characteristic varieties of arrangements. We show that the first characteristic variety may contain components that are translated by characters of any o… ▽ More For a triple of complex hyperplane arrangements, there is a well-known long exact sequence relating the cohomology of the complements. We observe that this result extends to certain local coefficient systems, and use this extension to study the characteristic varieties of arrangements. We show that the first characteristic variety may contain components that are translated by characters of any order, thereby answering a question of A. Suciu. △ Less

Submitted 9 May, 2001; originally announced May 2001.

Comments: LaTeX, 6 pages

MSC Class: 32S22; 52C35; 55N25; 14M12

Journal ref: Proc. Amer. Math. Soc. 130 (2002), 3025-3031

Lie algebras associated to fiber-type arrangements

Authors: Daniel C. Cohen, Frederick R. Cohen, Miguel Xicotencatl

Abstract: Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, the… ▽ More Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, then, apart from grading, the Lie algebra obtained from the descending central series for the fundamental group of the complement of the hyperplane arrangement is isomorphic to the Lie algebra of primitive elements in the homology of the loop space for the complement of the associated subspace arrangement. Furthermore, this last Lie algebra is given by the homotopy groups modulo torsion of the loop space of the complement of the subspace arrangement. Loo** further yields an associated Poisson algebra, and generalizations of the "universal infinitesimal Poisson braid relations." △ Less

Submitted 9 May, 2000; originally announced May 2000.

Comments: LaTeX, 19 pages

MSC Class: Primary 52C35; 55P35; Secondary 20F14; 20F36; 20F40

Journal ref: Int. Math. Res. Not. 2003, no. 29, 1591-1621

Some cyclic covers of complements of arrangements

Authors: Daniel C. Cohen, Peter Orlik

Abstract: Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers. Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers. △ Less

Submitted 29 January, 2000; v1 submitted 28 January, 2000; originally announced January 2000.

Comments: LaTeX, 9 pages

MSC Class: 52B30; 32S55; 57M10; 55N25

Journal ref: Topology Appl. 118 (2002), 3-15

Monodromy of fiber-type arrangements and orbit configuration spaces

Authors: Daniel C. Cohen

Abstract: We prove similar theorems concerning the structure of bundles involving complements of fiber-type hyperplane arrangements and orbit configuration spaces. These results facilitate analysis of the fundamental groups of these spaces, which may be viewed as generalizations of the Artin pure braid group. In particular, we resolve two disparate conjectures. We show that the Whitehead group of the fund… ▽ More We prove similar theorems concerning the structure of bundles involving complements of fiber-type hyperplane arrangements and orbit configuration spaces. These results facilitate analysis of the fundamental groups of these spaces, which may be viewed as generalizations of the Artin pure braid group. In particular, we resolve two disparate conjectures. We show that the Whitehead group of the fundamental group of the complement of a fiber-type arrangement is trivial, as conjectured by Aravinda, Farrell, and Rouchon. For the orbit configuration space corresponding to the natural action of a finite cyclic group on the punctured plane, we determine the structure of the Lie algebra associated to the lower central series of the fundamental group. Our results show that this Lie algebra is isomorphic to the module of primitives in the homology of the loop space of a related orbit configuration space, as conjectured by Xicotencatl. △ Less

Submitted 22 October, 1999; originally announced October 1999.

Comments: LaTeX, 19 pages with 3 figures

MSC Class: 20F36; 52B30 (Primary) 19B99; 20F40 (Secondary)

Journal ref: Forum Math. 13 (2001), 505-530

Arrangements and local systems

Authors: Daniel C. Cohen, Peter Orlik

Abstract: We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the Orlik-Solomon algebra with the connection operator. Using this result, we establish the relationship between the cohomology support loci of the complement and the re… ▽ More We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the Orlik-Solomon algebra with the connection operator. Using this result, we establish the relationship between the cohomology support loci of the complement and the resonance varieties of the Orlik-Solomon algebra for any arrangement, and show that the latter are unions of subspace arrangements in general, resolving a conjecture of Falk. We also obtain lower bounds for the local system Betti numbers in terms of those of the Orlik-Solomon algebra, recovering a result of Libgober and Yuzvinsky. For certain local systems, our results provide new combinatorial upper bounds on the local system Betti numbers. These upper bounds enable us to prove that in non-resonant systems the cohomology is concentrated in the top dimension, without using resolution of singularities. △ Less

Submitted 19 July, 1999; originally announced July 1999.

Comments: LaTeX, 14 pages

MSC Class: 52B30; 55N25

Journal ref: Math. Res. Lett. 7 (2000), 299-316

On the cohomology of discriminantal arrangements and Orlik-Solomon algebras

Authors: Daniel C. Cohen

Abstract: We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in a… ▽ More We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in an arbitrary complex rank one local system. We also establish the relationship between the cohomology support loci of the complement of a discriminantal arrangement and the resonant varieties of its Orlik-Solomon algebra. △ Less

Submitted 22 March, 1999; originally announced March 1999.

Comments: LaTeX2e, 16 pages, to appear in Singularities and Arrangements, Sapporo-Tokyo 1998, Advanced Studies in Pure Mathematics

MSC Class: 52B30 (Primary) 20F36 (Secondary)

Characteristic varieties of arrangements

Authors: Daniel C. Cohen, Alexander I. Suciu

Abstract: The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a direct sum of local Alexander invariants, we obtain a complete description of V_k(A). For any arrangement A, we show that the tangent cone at the identity of t… ▽ More The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a direct sum of local Alexander invariants, we obtain a complete description of V_k(A). For any arrangement A, we show that the tangent cone at the identity of this variety coincides with R^1_k(A), one of the cohomology support loci of the Orlik-Solomon algebra. Using work of Arapura and Libgober, we conclude that all positive-dimensional components of V_k(A) are combinatorially determined, and that R^1_k(A) is the union of a subspace arrangement in C^n, thereby resolving a conjecture of Falk. We use these results to study the reflection arrangements associated to monomial groups. △ Less

Submitted 11 April, 1998; v1 submitted 11 January, 1998; originally announced January 1998.

Comments: LaTeX2e, 20 pages. A reference to Libgober's recent work in math.AG/9801070 is added. Several points are clarified, a new example is included

MSC Class: 14M12; 52B30 (Primary); 14H30; 20F36; 57M05 (Secondary)

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society 127 (1999), no. 1, 33-53

Alexander Invariants of Complex Hyperplane Arrangements

Authors: Daniel C. Cohen, Alexander I. Suciu

Abstract: Let A be an arrangement of complex hyperplanes. The fundamental group of the complement of A is determined by a braid monodromy homomorphism from a finitely generated free group to the pure braid group. Using the Gassner representation of the pure braid group, we find an explicit presentation for the Alexander invariant of A. From this presentation, we obtain combinatorial lower bounds for the r… ▽ More Let A be an arrangement of complex hyperplanes. The fundamental group of the complement of A is determined by a braid monodromy homomorphism from a finitely generated free group to the pure braid group. Using the Gassner representation of the pure braid group, we find an explicit presentation for the Alexander invariant of A. From this presentation, we obtain combinatorial lower bounds for the ranks of the Chen groups of A. We also provide a combinatorial criterion for when these lower bounds are attained. △ Less

Submitted 22 March, 1997; originally announced March 1997.

Comments: 26 pages; LaTeX2e with amscd, amssymb packages

MSC Class: 14H30; 52B30; 57M05 (Primary); 20F14; 20F36 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 351 (1999), no. 10, 4043-4067

The Braid Monodromy of Plane Algebraic Curves and Hyperplane Arrangements

Authors: Daniel C. Cohen, Alexander I. Suciu

Abstract: To a plane algebraic curve of degree n, Moishezon associated a braid monodromy homomorphism from a finitely generated free group to Artin's braid group B_n. Using Hansen's polynomial covering space theory, we give a new interpretation of this construction. Next, we provide an explicit description of the braid monodromy of an arrangement of complex affine hyperplanes, by means of an associated ``… ▽ More To a plane algebraic curve of degree n, Moishezon associated a braid monodromy homomorphism from a finitely generated free group to Artin's braid group B_n. Using Hansen's polynomial covering space theory, we give a new interpretation of this construction. Next, we provide an explicit description of the braid monodromy of an arrangement of complex affine hyperplanes, by means of an associated ``braided wiring diagram.'' The ensuing presentation of the fundamental group of the complement is shown to be Tietze-I equivalent to the Randell-Arvola presentation. Work of Libgober then implies that the complement of a line arrangement is homotopy equivalent to the 2-complex modeled on either of these presentations. Finally, we prove that the braid monodromy of a line arrangement determines the intersection lattice. Examples of Falk then show that the braid monodromy carries more information than the group of the complement, thereby answering a question of Libgober. △ Less

Submitted 2 August, 1996; originally announced August 1996.

Comments: 27 pages with 7 figures, author-supplied DVI file available at ftp://ftp.math.neu.edu/Pub/faculty/Suciu_Alex/papers/bmono.dvi AMSTeX v 2.1, pictex, edge-vertex-graphs

MSC Class: 14H30; 20F36; 52B30 (Primary); 05B35; 32S25; 57M05 (Secondary)

Journal ref: Commentarii Mathematici Helvetici 72 (1997), no. 2, 285-315.

Homology of iterated semidirect products of free groups

Authors: Daniel C. Cohen, Alexander I. Suciu

Abstract: Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define representations of groups which act compatibly on $G$, generalizing classical constructions of Magnus, Burau, and Gassner. Our construction also yields algorithms for… ▽ More Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define representations of groups which act compatibly on $G$, generalizing classical constructions of Magnus, Burau, and Gassner. Our construction also yields algorithms for computing the homology of the Milnor fiber of a fiber-type hyperplane arrangement, and more generally, the homology of the complement of such an arrangement with coefficients in an arbitrary local system. △ Less

Submitted 7 March, 1995; originally announced March 1995.

Comments: 31 pages. AMSTeX v 2.1 preprint style

Journal ref: Journal of Pure and Applied Algebra 126 (1998), no. 1-3, 87-120