Under the generic situation, the cohomology with the coefficients in the local system on complements of hypersurfaces vanishes except in the highest dimension. Our problem is of when the local system cohomology does not vanish. In the case of arrangements of hyperplanes, many examples were founded. In this paper, we shall generalize their examples to hypersurfaces. We obtain that hypersurfaces given by some linear system have non-vanishing local system cohomologies.
We define twisted Alexander polynomials of a complex hypersurface with arbitrary singularities. These generalize the classical Alexander polynomials of high dimensional hypersurfaces and the twisted Alexander polynomial of plane curves. We recover the classical torsionness and divisibility results, which say that, under certain assumptions, the twisted Alexander modules of a complex hypersurface are torsion modules, and that their orders, the twisted Alexander polynomials, divide the product of certain `local polynomials' defined in terms of the topology near singularities.
We show that, in general, there exist non-vanishing triple Massey products in the cohomology with finite field coefficients of a complex hypersurface complement. In contrast, the Massey products, triple and higher, in the rational cohomology of such a space are all known to vanish.
We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. The main tools are polar curves and the affine Lefschetz theory developped by H. Hamm and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain an independant proof for the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result).
Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the infinite cyclic covering of $\mathcal{U}$ corresponding to the kernel of the linking number homomorphism. Using intersection homology theory, we give a new construction of the Alexander modules $H_i(\mathcal{U}^c;\mathbb{Q})$ of the hypersurface complement and show that, if $i \leq n$, these are torsion over the ring of rational Laurent polynomials. We also…
In \cite{DJL07} it was shown that if $\scra$ is an affine hyperplane arrangement in $\C^n$, then at most one of the $L^2$--Betti numbers $b_i^{(2)}(\C^n\sm \scra,\id)$ is non--zero. In this note we prove an analogous statement for complements of complex affine hyperurfaces in general position at infinity. Furthermore, we recast and extend to this higher-dimensional setting results of \cite{FLM,LM06} about $L^2$--Betti numbers of plane curve complements.
We revisit the octonionic eigenvalue problem from a geometric perspective. In particular, we study a tautological sheaf defined on a sextic related to this problem, the Ogievetskiî-Dray-Manogue sextic. We then define and study a twisted version of the octonionic eigenvalue problem. A new sextic arises in this setting and we study the corresponding tautological sheaf supported on it. This twisted version of the octonionic eigenvalue problem is eminently more symmetric than the original one, as reflected by the last result we prove in this paper : the automorphism group of the twisted octonionic…
We start with a discussion on Alexander invariants, and then prove some general results concerning the divisibility of the Alexander polynomials and the supports of the Alexander modules, via Artin's vanishing theorem for perverse sheaves. We conclude with explicit computations of twisted cohomology following an idea already exploited in the hyperplane arrangement case, which combines the degeneration of the Hodge to de Rham spectral sequence to the purity of some cohomology groups.
We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then…
We show that quasi-projective Bestvina-Brady groups are fundamental groups of complements to hyperplane arrangements. Furthermore we relate other normal subgroups of right-angled Artin groups to complements to arrangements of hypersurfaces. We thus obtain examples of hypersurface complements whose fundamental groups satisfy various finiteness properties.
We identify the twisted sectors of a compact simplicial toric variety. We do the same for a generic nondegenerate Calabi-Yau hypersurface of an $n$-dimensional simplicial Fano toric variety and then explicitly compute $h^{1,1}_{orb}$ and $h^{n-2,1}_{orb}$ for the hypersurface. We give applications to the orbifold string theory conjecture and orbifold mirror symmetry.
We investigate the complex analytic structure of the complement of a non-singular hypersurface with unitary flat normal bundle when the corresponding line bundle admits a Hermitian metric with semipositive curvature.
A new relation between a class of complex polynomials with a good behavior at infinity studied by A. Némethi and A. Zaharia and the cohomology groups of affine complex hyperplane arrangement complements with rank one local system coefficients is introduced and explored. This approach gives in particular new upper-bounds for the dimension of the twisted cohomology groups of line arrangement complements in the complex affine plane.
We study the complement problem in projective spaces $\mathbb{P}^n$ over any algebraically closed field: If $H, H' \subseteq \mathbb{P}^n$ are irreducible hypersurfaces of degree $d$ such that the complements $\mathbb{P}^n \setminus H$, $\mathbb{P}^n \setminus H'$ are isomorphic, are the hypersurfaces $H$, $H'$ isomorphic? For $n = 2$, the answer is positive if $d\leq 7$ and there are counterexamples when $d = 8$. In contrast we provide counterexamples for all $n, d \geq 3$ with $(n, d) \neq (3, 3)$. Moreover, we show that the complement problem has an affirmative answer for $d = 2$ and give p…
We study the space of loops into a hypersurface complement, and show that the corresponding topological algebra of Laurent series with coefficients in $\mathcal{O}(L\mathbf{A}^{d}_{f})$ is a topological localisation of $\mathcal{O}(L\mathbf{A}^{d})$. This requires introducing a small amount of non-Archimedean functional analysis. In particular we work with topological algebras whose topology is generated by a family of sub-multiplicative, non-Archimedean semi-norms.
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 prove the minimality of the CW-complex structure for complements of hyperplane arrangements in $\mathbb C^n$ by using the theory of Lefschetz pencils and results on the variation maps within a pencil of hyperplanes. This also provides a method to compute the Betti numbers of complements of arrangements via global polar invariants.
We consider an arbitrary polynomial map $f:{\mathbb C}^{n+1}\to {\mathbb C} $ and we study the Alexander invariants of ${\mathbb C}^{n+1}\setminus X$ for any fiber $X$ of $f$. The article has two major messages. First, the most important qualitative properties of the Alexander modules are completely independent of the behaviour of $f$ at infinity, or about the special fibers. Second, all the Alexander invariants of all the fibers of the polynomial $f$ are closely related to the monodromy representation of $f$. In fact, all the torsion parts of the Alexander modules (associated with all the pos…
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 rin…
We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed Hodge theory of smooth complex varieties. Our model is a global version of the Orlik-Solomon algebra, which computes the cohomology of the complement of a union of hyperplanes in an affine space. The main tool is the complex of logarithmic forms along a hypersurface arrangement, and its weight filtration. Connections with wonderful compactifications and the co…
We prove that every biregular automorphism of the affine algebraic variety ${\mathbb P}^M\setminus S$, $M\geqslant 3$, where $S\subset {\mathbb P}^M$ is a hypersurface of degree $m\geqslant M+1$ with a unique singular point of multiplicity $(m-1)$, resolved by one blow up, is a restriction of some automorphism of the projective space ${\mathbb P}^M$, preserving the hypersurface $S$; in particular, for a general hypersurface $S$ the group $\mathop{\rm Aut} ({\mathbb P}^M\setminus S)$ is trivial.
The homotopy group $π_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding a fundamental group of a plane curve. In addition we use a certain representation generalizing the Burau representation of the braid group. A divisibility theorem is proven that shows the dependence of this homotopy group on the local type of singularities and behavior at infinity. Examples are given showing that this group depends on certain global data in ad…
In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by S. Kobayashi in 1970. Our proof, based on the theory of jet differentials, is obtained by reducing the problem to the construction of a particular example with strong hyperbolicity properties. This approach relies the construction of higher order logarithmic connections allowing us to construct logarithmic Wronskians. These logarithmic Wronskians are the buil…
In this paper the codimension of the complement to the set of factorial hypersurfaces of degree $d$ in ${\mathbb P}^N$ is estimated for $d\geqslant 4$, $N\geqslant 7$.
We provide explicit counterexamples to the so-called Complement Problem in every dimension $n\geq3$, i.e. pairs of non-isomorphic irreducible hypersurfaces $H_1, H_2\subset\mathbb{C}^{n}$ whose complements $\mathbb{C}^{n}\setminus H_1$ and $\mathbb{C}^{n}\setminus H_2$ are isomorphic. Since we can arrange that one of the hypersurfaces is singular whereas the other is smooth, we also have counterexamples in the analytic setting.
State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学重点实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
We investigate the complement of the discriminant in the projective space PSym^d C^{n+1} of polynomials defining hypersurfaces of degree d in P^n. Following the ideas of Zariski we are able to give a presentation for the fundamental group of the discriminant complement which generalises the well-known presentation in case n=1, i.e. of the spherical braid group on d strands. In particular our argument proceeds by a geometric analysis of the discriminant polynomial as proposed by Bessis and draws on results and methods from previous work of the author addressing a comparable problem for any vers…
In this work, it is established that for a generic projective hypersurface $H\subset\mathbb{P}^n(\mathbb{C})$ of degree $d\geq(5n)^2\,n^{n}$, any holomorphic entire curve $f\colon\mathbb{C}\to\mathbb{P}^n(\mathbb{C})\setminus H$ has its image contained in a proper algebraic subvariety $Z\subsetneq\mathbb{P}^{n}(\mathbb{C})$, that does not depend on the curve $f$. Here generic means that the coefficients of the defining equation of $H$ have to lie outside of a proper algebraic subvariety of the projective space of coefficients of homogeneous polynomials of degree $d$ (that parametrizes the alge…
This is an introduction to topology of complement to plane curves and hypersurfaces in the projective space and is based on the lectures given in Lumini in February and in ICTP (Trieste) in August of 2005. We discuss key problems concerning the families of singular curves, the one variable Alexander polynomials and the module over ring of Laurent polynomials structure on the homotopy groups of the complements to hypersurfaces with isolated singularities. We also discuss multivariable generalizations of these invariants and the Hodge theory of infinite abelian covers used in calculations of mul…
We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.
We prove that for any germ of complex analytic set in $\CC^n$ there exists a hypersurface singularity whose Milnor fibration has trivial geometric monodromy and fibre homotopic to the complement of the germ of complex analytic set. As an application we show an example of a quasi-homogeneous hypersurface singularity, with trivial geometric monodromy and simply connected and non-formal Milnor fibre.
Given a hypersurface coamoeba of a Laurent polynomial f, it is an open problem to describe the structure of its set of connected complement components. In this paper we approach this problem by introducing the lopsided coamoeba. We show that the closed lopsided coamoeba comes naturally equipped with an order map, i.e. a map v from its set of connected complement components to a translated lattice inside the zonotope of a Gale dual of the point configuration supp(f). Under a natural assumption, the map v is a bijection. Finally we use this map to obtain new results concerning coamoebas of polyn…
In this paper, we provide two different resolutions of structural sheaves of projectivized tangent bundles of smooth complete intersections. These resolutions allow in particular to obtain convenient (and completely explicit) descriptions of cohomology of twisted symmetric powers of cotangent bundles of complete intersections, which are easily implemented on computer. We then provide several applications. First, we recover the known vanishing theorems on the subject, and show that they are optimal via some non-vanishing theorems. Then, we study the symmetric algebra of global sections of symme…
We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A).
The purpose of this paper is to show that, under certain combinatorial conditions on the graph, parametric Feynman integrals can be realized as periods on the complement of the determinant hypersurface in an affine space depending on the number of loops of the Feynman graph. The question of whether the Feynman integrals are periods of mixed Tate motives can then be reformulated (modulo divergences) as a question on a relative cohomology being a realization of a mixed Tate motive. This is the cohomology of the pair of the determinant hypersurface complement and a normal crossings divisor depend…
We introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
The monodromy action in the homology (generally with twisted coefficients) of complements of stratified complex analytic varieties depending on parameters is studied. For a wide class of local degenerations of such families (stratified Morse singularities) local monodromy and variation operators are reduced to similar operators acting in the transversal slices of corresponding strata. In particular, these results imply a main part of F. Pham's generalized Picard--Lefschetz formulae.
We study a Pfaffian of the system of differential equations annihilating Appell's hypergeometric series $F_4(a,b,c;x)$ by twisted cohomology groups associated with integrals representing solutions to this system. We simplify its connection matrix by the pull-back under a double cover of the complement of the singular locus. We express the simplified connection matrix in terms of the intersection form of the twisted cohomology groups.
In this article we prove that every entire curve in the complement of a generic hypersurface of degree $d\geq 586$ in $\mathbb{P}_{\mathbb{C}}^{3}$ is algebraically degenerate i.e there exists a proper subvariety which contains the entire curve.
We describe a multivariable polynomial invariant for certain class of non isolated hypersurface singularities generalizing the characteristic polynomial on monodromy. The starting point is an extension of a theorem due to Le Dung Trang and K.Saito on commutativity of the local fundamental groups of certain hypersurfaces. The description of multivariable polynomial invariants is given in terms of the ideals and polytopes of quasiadjunction generalizing corresponding data used in the study of the homotopy groups of the complements to projective hypersurfaces and Alexander invariants of plane red…
We introduce the twisted Bernoulli measures as a family of p-adic measures parametrized by the complement of the open disc with radius 1 and centered at 1 in the completion of an algebraic closure of p-adic numbers. These measures are the higher order versions of the measure used by Koblitz and Coleman to interpret (p-adic) polylogarithms. We also prove that these measures are the unique p-adic measures that can be obtained from polynomials over the field Q(y) which is similar to the uniqueness property of Bernoulli measures.
We obtain sufficient conditions for the vanishing of higher homotopy groups of the complements to hypersurfaces in ${\mathbb C}^n$ in terms of the behavior at infinity and relate the monodromy of non isolated singularities to the position of singularities in generic plane sections.
Let Y be a hypersurface in projective space having only ordinary double points as singularities. We prove a variant of a conjecture of L. Wotzlaw on an algebraic description of the graded quotients of the Hodge filtration on the top cohomology of the complement of Y except for certain degrees of the graded quotients, as well as its extension to the Milnor cohomology of a defining polynomial of Y for degrees a little bit lower than the middle. These partially generalize theorems of Griffiths and Steenbrink in the Y smooth case, and enable us to determine the structure of the pole order spectral…
We establish a new extension result for twisted canonical forms defined on a hypersurface with simple normal crossings of a projective manifold. Some of the examples presented in the appendix are showing that the bounds we obtain for the extension are sharp.
Given a projective or compact Kähler manifold X and a (smooth) hypersurface Y, we study conditions under which $X \setminus Y$ could be Stein. We apply this in particular to the case when X is the projectivization of the so-called canonical extension of the tangent bundle $T_M$ of a projective manifold M with Y being the projectivization of $T_M$ itself.
We consider two complexes. The first complex is the twisted de Rham complex of scalar meromorphic differential forms on projective line, holomorphic on the complement to a finite set of points. The second complex is the chain complex of the Lie algebra of $\mathfrak{sl}_2$-valued algebraic functions on the same complement, with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{{\mathfrak{sl}_2}}$. In [Schechtman V., Varchenko A., Mosc. Math. J. 17 (2017), 787-802] a construction of a monomorphism of the first complex to the second was suggested …
