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.
Making use of Gruson-Raynaud's technique of "platification par eclatement", Kerz and Strunk proved that the negative homotopy K-theory groups of a Noetherian scheme X of Krull dimension d vanish below -d. In this note, making use of noncommutative algebraic geometry, we improve this result in the case of quotient singularities by proving that the negative homotopy K-theory groups vanish below -1. Furthermore, in the case of cyclic quotient singularities, we provide an explicit "upper bound" for the first negative homotopy K-theory group.
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.
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.
We prove the "Gluing Conjecture" on the spectral side of the categorical geometric Langlands correspondence. The key tool is the structure of crystal on the category of singularities, which allows to reduce the conjecture to the question of homological triviality of certain homotopy types. These homotopy types are obtained by gluing from a global version of Springer fibers.
The abstract link L_d of the complex isolated singularity x^2 + y^2 + z^2 + v^{2d} = 0 is diffeomorphic to S^3 \times S^2. We classify the embedded links of these singularities up to regular homotopies precomposed with diffeomorphisms of S^3 \times S^2. Let us denote by i_d the inclusion of L_d in S^7. We show that for arbitrary diffeomorphisms φ_d of S^3 \times S^2 with L_d the compositions i_d \circ φ_d are image regularly homotopic for two values d_1 and d_2 if and only if d_1-d_2 is even.
Take n>k>1 such that n-k is odd. In this paper we consider mapping a from (n-k+1)-dimensional closed ball into the space of (n \times k)--matrices such that its restriction to a sphere goes into the Stiefel manifold V_k(R^n). We construct a homotopy invariant Λ of a|S^{n-k} which defines an isomorphism between (n-k)-th group of homotopy of V_k(\R^n) and Z_2. It can be used to calculate in an effective way the class of a|S^{n-k} in this homotopy group for a polynomial mapping a and to find the number mod 2 of cross-cap singularities of a mapping from a closed m-dimensional ball into R^{2m-1}, m…
C. Weibel and Thomason-Trobaugh proved (under some assumptions) that algebraic K-theory with coefficients is A1-homotopy invariant. In this article we generalize this result from schemes to the broad setting of dg categories. Along the way, we extend Bass-Quillen's fundamental theorem as well as Stienstra's foundational work on module structures over the big Witt ring to the setting of dg categories. Among other cases, the above A1-homotopy invariance result can now be applied to sheaves of (not necessarily commutative) dg algebras over stacks. As an application, we compute the algebraic K-the…
The dual complex can be associated to any resolution of singularities whose exceptional set is a divisor with simple normal crossings. It generalizes to higher dimensions the notion of the dual graph of a resolution of surface singularity. The homotopy type of the dual complex does not depend on the choice of a resolution and thus can be considered as an invariant of singularity. In this preprint we show that the dual complex is homotopy trivial for resolutions of 3-dimensional terminal singularities and for resolutions of Brieskorn singularities. We also review our earlier results on resoluti…
We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the fundamental groups. The calculation of supports of non vanishing homotopy groups as modules over the fundamental group in terms of the geometry of the locus of non-normal crossings is discussed. We review previous work on the local study of isolated non-normal crossings and relate the motivic zeta function to the local polytopes of quasiadjunction. As an appli…
We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with respect to a compatible symplectic form.
The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well defined up-to piecewise linear homeomorphism. This is derived from a more global result concerning dual complexes of dlt pairs. As an application, we also show that the dual complex of a log terminal singularity as well as the one of a simple normal crossing degeneration of a family of rationally connected manifolds are contractible.
We study the vanishing neighbourhood of non-isolated singularities of functions on singular spaces by associating a general linear function. We use the carrousel monodromy in order to show how to get a better control over the attaching of thimbles. For one dimensional singularities, we prove obstructions to integer (co)homology groups and to the eigenspaces of the monodromy via monodromies of nearby sections. Our standpoint allows to find, in certain cases, the structure of the Milnor fibre up to the homotopy type.
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…
All components of complements of discriminant varieties of simple real function singularities are explicitly listed. New invariants of such components (for not necessarily simple singularities) are introduced. A combinatorial algorithm enumerating topological types of morsifications of real function singularities is promoted.
We study the homotopy types of complements of arrangements of n transverse planes in R^4, obtaining a complete classification for n <= 6, and lower bounds for the number of homotopy types in general. Furthermore, we show that the homotopy type of a 2-arrangement in R^4 is not determined by the cohomology ring, thereby answering a question of Ziegler. The invariants that we use are derived from the characteristic varieties of the complement. The nature of these varieties illustrates the difference between real and complex arrangements.
We study the topology of the complements of discriminants of simple real boundary singularities by counting the connected components of these sets and assigning to them certain topological characteristics. Results of this paper serve as a generalization of those recently acquired by Vassiliev arXiv:2109.12287 for ordinary function singularities.
Let $X$ a complex projective variety of complex dimension $n$ with only isolated singularities of simply connected links. We show that we can endow the rational cohomology of the family of the $\overline{p}$-perverse intersection spaces $\{ I^{\overline{p}}X \}$ with compatible mixed Hodge structures.
We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Zπ_1-module presentation of π_p, the first non-vanishing higher homotopy group. We also give a combinatorial formula for the π_1-coinvariants of π_p. For affine line arrangements whose cones are hypersolvable, we provide a minimal resolution of π_2, and study some of the pro…
We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms that yield fiber sequences in ${\mathbb A}^1$-homotopy theory, and identify the final examples of motivic spheres that arise as homogeneous spaces for reductive groups.
We prove that a meromorphic map defined on the complement of a compact subset of a three-dimensional Stein manifold M and with values in a compact complex three-fold X extends to the complement of a finite set of points. If X is simply connected, then the map extends to all of M.
This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first non-trivial higher homotopy groups of the complements of singular projective hypersurfaces in terms of the homotopy variation operators introduced here.
Let $\mathcal{A} $ be a complexified-real arrangement of lines in $\mathbb{C}^2.$ Let $H$ be any line in $ \mathcal{A} $. Then, form a new complexified-real arrangement $ \mathcal{B}_H = \mathcal{A} \cup \mathcal{C} $ where $ \mathcal{C} \cup \{H\} $ is a pencil of lines with multiplicity $ m\geq 3 $, the intersection point in the pencil is not a multiple point in $ \mathcal{A}, $ and every line in $ \mathcal{C} $ intersects every line in $ \mathcal{A}\setminus \{H\} $ in points of multiplicity two. In this article, we show that for $ H_1, H_2 \in \mathcal{A} $ we may have that $ \mathcal{B}_{…
Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving a Mumford-type result about topological singularities; this resolves conjectures of Florentino-Lawton. In particular, we compute the codimension of the orbifold singular locus using facts about Borel-de Siebenthal subgroups. We then use the codimension bound to calculate higher homotopy groups of the smooth locus of X, proving conjectures of Florentino-Lawt…
The paper reviews recent developments in the study of Alexander invariants of quasi-projective manifolds using methods of singularity theory. Several results in topology of the complements to singular plane curves and hypersurfaces in projective space extended to the case of curves on simply connected smooth projective surfaces.
This paper is a sequel to [He11] and [GH17]. In [He11] a notion of marking of isolated hypersurface singularities was defined, and a moduli space $M_μ^{mar}$ for marked singularities in one $μ$-homotopy class of isolated hypersurface singularities was established. It is an analogue of a Teichmüller space. It comes together with a $μ$-constant monodromy group $G^{mar}\subset G_{\mathbb{Z}}$. Here $G_{\mathbb{Z}}$ is the group of automorphisms of a Milnor lattice which respect the Seifert form. It was conjectured that $M_μ^{mar}$ is connected. This is equivalent to $G^{mar}= G_{\mathbb{Z}}$. Als…
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 prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients. We introduce $(n,Γ_0)$-decomposable $\mathbb{R}$-complements, and show its existence for pairs with DCC coefficients.
Non-vanishing of homotopy groups of Manin--Schechtman arrangements
Institute for Chemical Reaction Design and Discovery, Hokkaido University(化学反应用设计发现研究所,北海道大学);Department of Applied Mathematics, Fukuoka University(福冈大学应用数学系)
This paper is a sequel to [He7]. There a notion of marking of isolated hypersurface singularities was defined, and a moduli space $M_μ^{mar}$ for marked singularities in one $μ$-homotopy class of isolated hypersurface singularities was established. One can consider it as a global $μ$-constant stratum or as a Teichmüller space for singularities. It comes together with a $μ$-constant monodromy group $G^{mar}\subset G_Z$. Here $G_Z$ is the group of automorphisms of a Milnor lattice which respect the Seifert form. It was conjectured that $M_μ^{mar}$ is connected. This is equivalent to $G^{mar}= G_…
We study singularities obtained by the contraction of the maximal divisor in compact (non kaehlerian) surfaces which contain global spherical shells. These singularities are of genus 1 or 2, may be Q-Gorenstein, numerically Gorenstein or Gorenstein. A family of polynomials depending on the configuration of the curves computes the discriminant of the quadratic forms of these singularities. We introduce a multiplicative branch topological invariant which determines the twisting of a non-vanishing holomorphic 1-form on the complement of the singular point.
Given a singular surface X, one can extract information on it by investigating the fundamental group $π_1(X - Sing_X)$. However, calculation of this group is non-trivial, but it can be simplified if a certain invariant of the branch curve of X - called the braid monodromy factorization - is known. This paper shows, taking the Cayley cubic as an example, how this fundamental group can be computed by using braid monodromy techniques and their liftings. This is one of the first examples that uses these techniques to calculate this sort of fundamental group.
For a convenient and Newton non-degenerate singularity, the Milnor number is computed from the complement of its Newton diagram in the first quadrant, so-called Kouchnirenko's formula. In this paper, we consider tropical curves dual to subdivisions of this complement for a plane curve singularity and show the existence of a tropical curve satisfying a certain formula, which looks like a well-known formula for a real morsification due to A'Campo and Gusein-Zade.
For analytic map germs $f: (\mathbb{R}^n, 0)\to (\mathbb{R}, 0)$ having an isolated critical value in the origin with $\dim V(f)>0$ and satisfying the transversality property of D.B. Massey we show that for $c>0$ a large enough constant, and $k$ a large enough natural number the local Milnor-Lê fibers of $f$ and of the isolated singularity $g=f-c(\sum_{i=1}^n x_i^2)^k$ satisfies the following. There exists a homotopy equivalence between the negative Milnor-Lê fiber of $f$, to which a cobordism between its boundary and the link of $f$ has been adjoined, and the negative Milnor-Lê fiber of $g$.
For a germ of a variety $\mathcal{V}, 0 \subset \mathbb C^N, 0$, a singularity $\mathcal{V}_0$ of type $\mathcal{V}$, is given by a germ $f_0 : \mathbb C^n, 0 \to \mathbb C^N, 0$ which is transverse to $\mathcal{V}$ in an appropriate sense so that $\mathcal{V}_0 = f_0^{-1}(\mathcal{V})$. For these singularities, we introduce "characteristic cohomology" to capture the contribution of the topology of $\mathcal{V}$ to that of $\mathcal{V}_0$, for the Milnor fiber (for $\mathcal{V}, 0$ a hypersurface), and complement and link of $\mathcal{V}_0$ (in the general case). The characteristic cohomology …
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…
It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an isolated hypersurface singularity is simply connected. As a consequence, we show that the dual complex associated to a resolution of a 3-dimensional Gorenstein terminal singularity has the homotopy type o…
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.
Let $\mathcal{V} \subset M$ denote any of the varieties of singular $m \times m$ complex matrices which may be general, symmetric, or skew-symmetric ($m$ even), or $m \times p$ matrices, in the corresponding space $M$ of such matrices. A "matrix singularity", $\mathcal{V}_0$ of "type $\mathcal{V}$", for any of the $\mathcal{V} \subset M$ is defined as $\mathcal{V}_0 = f_0^{-1}(\mathcal{V})$ by a germ $f_0 : \mathbb C^n, 0 \to M, 0$ (appropriately transverse to $\mathcal{V}$). In part I of this paper we introduced the notion of characteristic cohomology for a singularity $\mathcal{V}_0$ of type…