On the diffeomorphic type of the complement to a line arrangement in a projective plane

We show that the diffeomorphic type of the complement to a line arrangement in a complex projective plane P ² depends only on the graph of line intersections if no line in the arrangement contains more than two points in which at least two lines intersect. This result also holds for some special arrangements which do not satisfy this property. However it is not true in general, see [Rybnikov G., On the fundamental group of the complement of a complex hyperplane arrangement, Funct. Anal. Appl., 2011, 45(2), 137–148].     

Arrangements of hyperplanes with property D

We denote by the complement of the complexification of a real arrangement of hyperplanes. It is known that there is a certain technical property, called property D, on real arrangements of hyperplanes such that: if a real arrangement of hyperplanes is simplicial then has property D, and if has property D then is aK(, 1) space. Our main goal is to prove that: if has property D then is simplicial. We also prove that a quasi-simplicial arrangement is always simplicial.     

Periodicity of hyperplane arrangements with integral coefficients modulo positive integers

We study central hyperplane arrangements with integral coefficients modulo positive integers q. We prove that the cardinality of the complement of the hyperplanes is a quasi-polynomial in two ways, first via the theory of elementary divisors and then via the theory of the Ehrhart quasi-polynomials. This result is useful for determining the characteristic polynomial of the corresponding real arrangement. With the former approach, we also prove that intersection lattices modulo q are periodic except for a finite number of q’s. This work was supported by the MEXT and the JSPS.     

Gauss-Manin connections for arrangements, III Formal connections

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.

     

CR Structures on the 3‐Sphere and the Blow‐Up of the Projective Plane

Motivated by a problem of characterizing CR‐structures on the 3‐sphere, we give a geometric construction of formal deformations of a complex surface, which is the complement of a ball in the projective plane. They are described by cohomology groups of the blow‐up X of the projective plane. Moreover it will be shown that the space of these formal deformations is an infinite dimensional space with a natural stratification by finite dimensional subspaces. This stratification re ects algebro‐geometric properties of X. It is expected that our construction will clarify the complex geometric nature of the space of non‐embeddable CR‐structures on the 3‐sphere.     

Gauss–Man i n Conne ction s for Arrangements, I E igenvalues

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.     

Torus Actions, Equivariant Moment-Angle Complexes, and Coordinate Subspace Arrangements

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in the m-dimensional complex space is isomorphic to the cohomology algebra of the StanleyReisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) After that we calculate the latter cohomology algebra by means of the standard Koszul resolution of a polynomial ring. To prove these facts, we construct a homotopy equivalence (equivariant with respect to the torus action) between the complement of a coordinate subspace arrangement and the moment-angle complex defined by a simplicial complex. The moment-angle complex is a certain subset of the unit polydisk in the m-dimensional complex space invariant with respect to the action of the m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere; otherwise, the complex has a more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the EilenbergMoore spectral sequence. We also relate our results with well-known facts in the theory of toric varieties and symplectic geometry. Bibliography: 23 titles.     

On cohomology algebras of complex subspace arrangements

The integer cohomology algebra of the complement of a complex subspace arrangement with geometric intersection lattice is completely determined by the combinatorial data of the arrangement. We give a combinatorial presentation of the cohomology algebra in the spirit of the Orlik-Solomon result on the cohomology algebras of complex hyperplane arrangements. Our methods are elementary: we work with simplicial models for the complements that are induced by combinatorial stratifications of complex space. We describe simplicial cochains that generate the cohomology. Among them we distinguish a linear basis, study cup product multiplication, and derive an algebra presentation in terms of generators and relations.

     

Formality of Donaldson submanifolds

We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n−1), is formal if and only if M is (n−1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson submanifolds of symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic submanifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem. An erratum to this article is available at .     

Resonant Local Systems on Complements of Discriminantal Arrangements and Sl2Representations

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 . For a discriminantal arrangement in ^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 criticalpoints. 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.     

Derivation modules of orthogonal duals of hyperplane arrangements

Let A be an n × d matrix having full rank n. An orthogonal dual A^⊥ of A is a (d-n) × d matrix of rank (d−n) such that every row of A^⊥ is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n × d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. When n ≥ 5, we show that if the matroid (or the lattice of intersection) of an n-dimensional essential arrangement contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement ^⊥ has projective dimension at least ⌈ n(n+2)/4 ⌉ - 3.Hal Schenck partially supported by NSF DMS 03-11142, NSA MDA 904-03-1-0006, and ATP 010366-0103.     

Generic section of a hyperplane arrangement and twisted Hurewicz maps

We consider a twisted version of the Hurewicz map on the complement of a hyperplane arrangement. The purpose of this paper is to prove surjectivity of the twisted Hurewicz map under some genericity conditions. As a corollary, we also prove that a generic section of the complement of a hyperplane arrangement has nontrivial homotopy groups.     

The ring structure on the cohomology of coordinate subspace arrangements

Every simplicial complex on the vertex set defines a real resp. complex arrangement of coordinate subspaces in resp. via the correspondence The linear structure of the cohomology of the complement of such an arrangement is explicitly given in terms of the combinatorics of and its links by the Goresky–MacPherson formula. Here we derive, by combinatorial means, the ring structure on the integral cohomology in terms of data of . We provide a non-trivial example of different cohomology rings in the real and complex case. Furthermore, we give an example of a coordinate arrangement that yields non-trivial multiplication of torsion elements. Received March 3, 1999; in final form June 24, 1999     

Formal asymptotic solution of a singularly perturbed nonlinear optimal control problem

A system of equations that arises in a singularly perturbed optimal control problem is studied. We give conditions under which a formal asymptotic solution exists. This formal asymptotic solution consists of an outer expansion and left and right boundary-layer expansions. A feature of our procedure is that we do nota priori eliminate the control function from the problem. In particular, we construct a formal asymptotic expansion for the control directly. We apply our procedure to a Mayer-type problem. The paper concludes with a worked example.     

On the total weight of arrangements of halfplanes

An arrangement ofn halfplanes (or oriented lines) divides the plane into a certain number of convex cells. The weight of a cell is the number of halfplanes containing it, Presumably the sum of the weights of all cells of an arrangement ofn halfplanes attains its maximum if the halfplanes define an (almost) regularn-gon. We show that this is true at least for oddn.     

Polynomial realization of pseudoline arrangements

An arrangement of pseudolines is called d-stretchable if it is isomorphic to an arrangement of graphs of polynomial functions, each of degree at most d; in particular, it is 1-stretchable (classically: “stretchable”) if and only if it is isomorphic to an arrangement of lines. We show that (i) if every arrangement of n pseudolines is d-stretchable, then d ≦ cn^1/2, and (ii) every arrangement of n pseudolines is d-stretchable with d = cn².     

Rank and biclique partitions of the complement of paths

The problem was posed of determining the biclique partition number of the complement of a Hamiltonian path (Monson, Rees, and Pullman, Bull. Inst. Combinatorics and Appl. 14 (1995), 17–86). We define the complement of a path P, denoted P , as the complement of P in K_m,n where P is a subgraph of K_m,n for some m and n. We give an exact formula for the biclique partition number of the complement of a path. In particular, we solve the problem posed in [9]. We also summarize our more general results on biclique partitions of the complement of forests. © 1998 John Wiley & Sons, Inc. J Graph Theory 27: 111–122, 1998     

Homotopy types of line arrangements

Summary We prove that the complement of a real affine line arrangement inC ² is homotopy equivalent to the canonical 2-complex associated with Randell's presentation of the fundamental group. This provides a much smaller model for the homotopy type of the complement of a real affine 2- or central 3-arrangement than the Salvetti complex and its cousins. As an application we prove that these exist (infinitely many) pairs of central arrangements inC ³ with different underlying matroids whose complements are homotopy equivalent. We also show that two real 3-arrangements whose oriented matroids are connected by a sequence of flips are homotopy equivalent.Oblatum 17-X-1991 & 8-VII-1992Author partially supported by NSF grant DMS-9004202