On the vanishing topology of isolated Cohen-Macaulay codimension 2 singularities

DOI10.2140/GT.2021.25.2167MaRDI QIDQ1983183zbMATH OpenOpenAlexFDO

Authors Anne Frühbis-Krüger, Matthias Zach

Publication date 16 September 2021

Published in Geometry \& Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.01915

zbMATH Keywords

determinantal singularity Milnor fiber simple singularity Tjurina transformation vanishing homology

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Deformations of complex singularities; vanishing cycles (32S30)

Abstract: Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their findings further by determining the Betti numbers explicitly and explain the new phenomena. An important tool here is the Tjurina modification relating a Cohen-Macaulay codimension 2 singularity to a finite number of complete intersection singularities.

Review text

The authors study the Milnor fibre of a class of determinantal singularities with special attention to the case of simple isolated Cohen-Macaulay codimension-2 (ICMC2) singularities. Those were classified by [the first author and \textit{A. Neumer}, Commun. Algebra 38, No. 2, 454--495 (2010; Zbl 1193.32015)]. The main tool is a partial resolution called Tjurina transformation. In this paper this modification is first studied in more generality than needed for the present application. For a generic determinantal variety consisting of \((t+1) \times t\) matrices of rank less than \(t\) the transform is the closure of the graph of the rational map sending a matrix to its kernel, the latter considered as element of the Grassmannian of lines in \(t\)-space. For a special determinantal singularity the transform is defined by pullback from the generic set-up. The first application is a description of \(T^1\), the space of infinitesimal deformations, for the case \(t=2\) in terms of deformations of the Tjurina transform. The second is that all simple ICMC2 singularities of dimension \(d\leq2\) are rational. They have at most A-D-E singularities on their Tjurina transform. The main result concerns the homology of the Milnor fibre \(F\) of an ICMC2 threefold singularity \(X\) with only isolated singularities (necessarily complete intersections) on the Tjurina transform \(Y\): \(H_1(F)=0\), \(H_2(F)=\mathbb Z\) and \(H_3(F)=\mathbb Z^r\) with \(r\) the sum \(\mu_{\text{tot}}\) of the Milnor numbers of the singularities on the Tjurina transform if \(t=2\) and \(r=\mu_{\text{tot}}-1\) otherwise. In particular, the reduced Euler characteristic of the Milnor fibre is \(b_2-b_3\). It can be the case that \(b_3=0\). For the simple singularities, \(\tau=\dim T^1\) is compared to the topological invariants: \(\tau = h^1(Y,\mathcal{T}_Y^0)+b_3\). The authors discuss an example of a series of singularities where \(b_3=0\) and \( \tau\) grows linearly with the maximal number of determinantal singularities in which the given one can deform.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: On the vanishing topology of isolated Cohen-Macaulay codimension 2 singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1983183)