Vanishing cycle control by the lowest degree stalk cohomology
By David B. Massey
Abstract
Given the germ of an analytic function on affine space with a smooth critical locus, we prove that the constancy of the reduced cohomology of the Milnor fiber in lowest possible non-trivial degree off a codimension two subset of the critical locus implies that the vanishing cycles are concentrated in lowest degree and are constant.
1. Introduction
Suppose that $\mathcal{U}$ is a non-empty open neighborhood of the origin in $\mathbb{C}^{n+1}$, where $n\geq 1$, and let $f:(\mathcal{U}, \mathbf{0})\rightarrow (\mathbb{C},0)$ be a nowhere locally constant, complex analytic function. Then $V(f)=f^{-1}(0)$ is a hypersurface in $\mathcal{U}$ of pure dimension $n$, where for convenience we have assumed that $\mathbf{0}\in V(f)$.
Let $s$ denote the dimension, $\dim _{\mathbf{0}}\Sigma f$, of the critical locus of $f$ at the origin. As is well-known, the Curve Selection Lemma implies that, near $\mathbf{0}$,$\Sigma f\subseteq V(f)$, and we choose $\mathcal{U}$ small enough so that this containment holds everywhere in $\mathcal{U}$ and so ever irreducible component of $\Sigma f$ in $\mathcal{U}$ contains the origin.
Suppose that $\mathbf{p}\in \Sigma f$, and let $d\coloneq \dim _{\mathbf{p}}\Sigma f$; it is well-known (see Reference 1) that the reduced integral homology, $\widetilde{H}_k(F_{f, \mathbf{p}}; \mathbb{Z})$, of $F_{f, \mathbf{p}}$ can be non-zero only for $n-d\leq k\leq n$, and is free Abelian in degree $n$. Cohomologically, this implies that $\widetilde{H}^k(F_{f, \mathbf{p}}; \mathbb{Z})$ can be non-zero only for $n-d\leq k\leq n$, and is free Abelian in degree $n-d$.
The most basic form of our main result is:
We interpret this result in terms of the complex of sheaves of vanishing cycles and, of course, can combine it with the result of Lê-Ramanujam Reference 3 to reach a conclusion about the ambient topological-type of the hypersurface along $\Sigma f$.
The crux of the proof uses the main result of ours with Lê in Reference 2, the proof of which involves the geometry of the relative polar curve and distinguished bases for the vanishing cycles in the isolated critical point case.
In Section 2, we recall various equivalences for $\mu$-constant families, as described in Reference 2. In Section 3, we recall basic properties of Lê cycles that we need, recall our main result with Lê from Reference 2, and prove the main theorem. In the final section of this paper, we discuss possible generalizations and questions that naturally arise.
We continue with the notation from Section 1: $\mathcal{U}$ is a non-empty open neighborhood of the origin in $\mathbb{C}^{n+1}$, where $n\geq 1$,$f:(\mathcal{U}, \mathbf{0})\rightarrow (\mathbb{C},0)$ is a nowhere locally constant, complex analytic function, and $s=\dim _{\mathbf{0}}\Sigma f$.
We will use $\mathbf{x}\coloneq (x_0, \dots , x_n)$ to denote the standard coordinate functions on $\mathbb{C}^{n+1}$. We will use $\mathbf{z}\coloneq (z_0, \dots , z_n)$ to denote arbitrary analytic local coordinates on $\mathcal{U}$ near the origin. All of our constructions and results will depend only on the linear part of the coordinates $\mathbf{z}$; hence, when we say that the $\mathbf{z}$ are chosen generically, we mean that the linear part of $\mathbf{z}$ consists of a generic linear combination of $\mathbf{x}$ (generic in $\operatorname {PGL}(\mathbb{C}^{n+1})$).
We wish to consider families of singularities. Fix a set of local coordinates $\mathbf{z}$ for $\mathcal{U}$ at the origin. Let $G\coloneq (z_0, \dots , z_{s-1})$. If $\mathbf{q}\in \mathcal{U}$, we define $f_{\mathbf{q}}\coloneq f_{|_{G^{-1}(G(\mathbf{q}))}}$.
A simple $\mu$-constant family may seem like too strong a notion of a “$\mu$-constant family”. However, as we shall see in Theorem 2.2, all other reasonable concepts of $\mu$-constant families are equivalent. First, we need some notation.
Suppose that $\operatorname {dim}_{\mathbf{0}}\Sigma (f_{\mathbf{0}})=0$. Then, the analytic cycle
has the origin as a $0$-dimensional component, and $[\mathbf{0}]$ appears in this cycle with multiplicity $\mu _{\mathbf{0}}(f_{\mathbf{0}})$. Thus, at the origin, $C\coloneq \left[V\Big ( \frac{\partial f}{\partial z_s}, \dots , \frac{\partial f}{\partial z_n}\Big )\right]$ is purely $s$-dimensional and is properly intersected by $[V(z_0, \dots , z_{s-1})]$.
Let $\Gamma ^s_{f, \mathbf{z}}$ denote the sum of the components of $C$ which are not contained in $\Sigma f$, and let $\Lambda ^s_{f, \mathbf{z}}\coloneq C-\Gamma ^s_{f, \mathbf{z}}$. The cycles $\Gamma ^s_{f, \mathbf{z}}$and$\Lambda ^s_{f, \mathbf{z}}$ are, respectively, the $s$-dimensional polar cycle and $s$-dimensional Lê cycle; see Reference 4. It follows at once that, for all $\mathbf{q}\in \Sigma f$ near $\mathbf{0}$,
$$\begin{equation*} \mu _{\mathbf{q}}(f_{\mathbf{q}}) = \big (\Gamma ^s_{f, \mathbf{z}}\cdot V(z_0-q_0, \dots , z_{s-1}-q_{s-1})\big )_{\mathbf{q}}+\big (\Lambda ^s_{f, \mathbf{z}}\cdot V(z_0-p_0, \dots , z_{s-1}-p_{s-1})\big )_{\mathbf{q}}. \end{equation*}$$ Note that $\Gamma ^s_{f, \mathbf{z}}=0$ is equivalent to the equality of sets $\Sigma f= V\Big (\frac{\partial f}{\partial z_s}, \dots , \frac{\partial f}{\partial z_n}\Big )$.
For each $s$-dimensional component, $\nu$, of $\Sigma f$, for a generic point $\mathbf{p}\in \nu$, for a generic codimension $s$ (in $\mathcal{U}$) affine linear subspace, $N$ (a normal slice), containing $\mathbf{p}$, the function $f_{|_N}$ has an isolated critical point at $\mathbf{p}$ and the Milnor number at $\mathbf{p}$ is independent of the choices; we let ${\stackrel{\circ }{\mu }}_\nu$ denote this common value.
Then $\Lambda ^s_{f, \mathbf{z}}=\sum _\nu {\stackrel{\circ }{\mu }}_\nu [\nu ]$, where the sum is over the $s$-dimensional components $\nu$ of $\Sigma f$, and, by definition, $\lambda ^s_{f, \mathbf{z}}(\mathbf{0})= \big (\Lambda ^s_{f, \mathbf{z}}\cdot V(z_0, \dots , z_{s-1})\big )_{\mathbf{0}}$. Therefore, the $s$-dimensional Lê number Reference 4, $\lambda ^s_{f, \mathbf{z}}(\mathbf{0})$, at the origin is defined, and
If the coordinates $(z_0, \dots , z_{s-1})$ are sufficiently generic, then $\lambda ^s_{f, \mathbf{z}}(\mathbf{0})$ obtains its minimum value of $\sum _\nu {\stackrel{\circ }{\mu }}_\nu {\operatorname {mult}}_{\mathbf{0}}\nu$; we denote this generic value by $\lambda ^s_{f}(\mathbf{0})$ (with no subscript by the coordinates).
Note that $\operatorname {dim}_{\mathbf{0}}\Sigma (f_{\mathbf{0}})=0$ implies that, for all $\mathbf{q}\in \Sigma f$ near $\mathbf{0}$,$\dim _{\mathbf{q}}\Sigma (f_{\mathbf{q}})=0$.
There is one more piece of preliminary notation that we need. Consider the blow-up of $\mathcal{U}$ along the Jacobian ideal, $J(f)$ of $f$, i.e., $B\coloneq {\operatorname {Bl}}_{J(f)}\mathcal{U}$. This blow-up naturally sits inside $\mathcal{U}\times \mathbb{P}^n$. Thus, the exceptional divisor $E$ of the blow-up is a cycle in $\mathcal{U}\times \mathbb{P}^n$.
Of course, we say that $f$ defines a $\mu$-constant family near an arbitrary point $\mathbf{p}\in \Sigma f$ provided that conditions in (a)-(g) of Theorem 2.2 hold with the origin replaced with $\mathbf{p}$.
3. Lê cycles and the main theorem
We continue with $f$ as in the previous two sections; in particular, $\Sigma f\subseteq V(f)$ and $s\coloneq \dim \Sigma f=\dim _{\mathbf{0}}\Sigma f$. The reader is referred to Reference 4 and Reference 5 for details of Lê cycles and Lê numbers, but we shall summarize needed properties here. Recall that the cycle $\Gamma _{f, \mathbf{z}}^s$ was defined in the previous section.
Now we prove the main theorem; it is essentially an application of Theorem 3.2, but we find the statement surprising.
4. Remarks and questions
The most basic statement of the main theorem – that, if $f$ has a smooth $s$-dimensional critical locus and the shifted vanishing cycles in degree $-s$ have constant stalk cohomology off a set of codimension 2, then the shifted vanishing cycles on all of $\Sigma f$ consist merely of a shifted constant sheaf – is a surprising result which in no way refers to Lê cycles.
One could hope to generalize Theorem 3.3 by first proving a generalization of Theorem 3.2. Perhaps the hypothesis that $\widetilde{H}^{n-d}(F_{f, \mathbf{p}}; \mathbb{Z})\cong \mathbb{Z}^{\lambda ^d_{f, \mathbf{z}}(\mathbf{p})}$ could be replaced with $\widetilde{H}^{n-k}(F_{f, \mathbf{p}}; \mathbb{Z})\cong \mathbb{Z}^{\lambda ^k_{f, \mathbf{z}}(\mathbf{p})}$ for some $k<d$ or perhaps one could use the hypothesis that one of the maps in the Lê number chain complex from (5) of Proposition 3.1, other than $\mathbb{Z}^{\lambda ^{d}_{f, \mathbf{z}}(\mathbf{p})}\rightarrow \mathbb{Z}^{\lambda ^{d-1}_{f, \mathbf{z}}(\mathbf{p})}$, is zero. However, aside from trivial generalizations, we do not see such a result.
Finally, we mention that we originally hoped that Reference 4, Proposition 1.31 would enable us to produce a generalization of Theorem 3.3. That proposition says that, for prepolar coordinates $\mathbf{z}$ at a point $\mathbf{p}\in \Sigma f$, if pairs of distinct irreducible germs of $\Sigma f$ intersect in dimension at most $k-1$ at $\mathbf{p}$ and $\lambda ^k_{f, \mathbf{z}}(\mathbf{p})=0$, then, for all $j\leq k$,$\lambda ^j_{f, \mathbf{z}}(\mathbf{p})=0$ and so, by (5) of Proposition 3.1, $\widetilde{H}^{n-j}(F_{f, \mathbf{p}}; \mathbb{Z})=0$ for $j\leq k$.
Again, we have yet to see how this leads to a non-trivial generalization of Theorem 3.3 or Theorem 3.2.
Mitsuyoshi Kato and Yukio Matsumoto, On the connectivity of the Milnor fiber of a holomorphic function at a critical point, Manifolds—Tokyo 1973 (Proc. Internat. Conf., Tokyo, 1973), Univ. Tokyo Press, Tokyo, 1975, pp. 131–136. MR0372880, Show rawAMSref\bib{katomatsu}{article}{
author={Kato, Mitsuyoshi},
author={Matsumoto, Yukio},
title={On the connectivity of the Milnor fiber of a holomorphic function at a critical point},
conference={ title={Manifolds---Tokyo 1973}, address={Proc. Internat. Conf., Tokyo}, date={1973}, },
book={ publisher={Univ. Tokyo Press, Tokyo}, },
date={1975},
pages={131--136},
review={\MR {0372880}},
}
Reference [2]
Dũng Tráng Lê and David B. Massey, Hypersurface singularities and Milnor equisingularity, Pure Appl. Math. Q. 2 (2006), no. 3, Special Issue: In honor of Robert D. MacPherson., 893–914, DOI 10.4310/PAMQ.2006.v2.n3.a13. MR2252122, Show rawAMSref\bib{lemassey}{article}{
author={L\^{e}, D\~{u}ng Tr\'{a}ng},
author={Massey, David B.},
title={Hypersurface singularities and Milnor equisingularity},
journal={Pure Appl. Math. Q.},
volume={2},
date={2006},
number={3, Special Issue: In honor of Robert D. MacPherson.},
pages={893--914},
issn={1558-8599},
review={\MR {2252122}},
doi={10.4310/PAMQ.2006.v2.n3.a13},
}
Reference [3]
Lê Dũng Tráng and C. P. Ramanujam, The invariance of Milnor’s number implies the invariance of the topological type, Amer. J. Math. 98 (1976), no. 1, 67–78, DOI 10.2307/2373614. MR399088, Show rawAMSref\bib{leramanujam}{article}{
author={L\^{e} D\~{u}ng Tr\'{a}ng},
author={Ramanujam, C. P.},
title={The invariance of Milnor's number implies the invariance of the topological type},
journal={Amer. J. Math.},
volume={98},
date={1976},
number={1},
pages={67--78},
issn={0002-9327},
review={\MR {399088}},
doi={10.2307/2373614},
}
Reference [4]
David B. Massey, Lê cycles and hypersurface singularities, Lecture Notes in Mathematics, vol. 1615, Springer-Verlag, Berlin, 1995, DOI 10.1007/BFb0094409. MR1441075, Show rawAMSref\bib{lecycles}{book}{
author={Massey, David B.},
title={L\^{e} cycles and hypersurface singularities},
series={Lecture Notes in Mathematics},
volume={1615},
publisher={Springer-Verlag, Berlin},
date={1995},
pages={xii+131},
isbn={3-540-60395-6},
review={\MR {1441075}},
doi={10.1007/BFb0094409},
}
Reference [5]
David B. Massey, Non-isolated hypersurface singularities and Lê cycles, Real and complex singularities, Contemp. Math., vol. 675, Amer. Math. Soc., Providence, RI, 2016, pp. 197–227, DOI 10.1090/conm/675. MR3578726, Show rawAMSref\bib{nonisolle}{article}{
author={Massey, David B.},
title={Non-isolated hypersurface singularities and L\^{e} cycles},
conference={ title={Real and complex singularities}, },
book={ series={Contemp. Math.}, volume={675}, publisher={Amer. Math. Soc., Providence, RI}, },
date={2016},
pages={197--227},
review={\MR {3578726}},
doi={10.1090/conm/675},
}
Show rawAMSref\bib{4425277}{article}{
author={Massey, David},
title={Vanishing cycle control by the lowest degree stalk cohomology},
journal={Proc. Amer. Math. Soc. Ser. B},
volume={9},
number={25},
date={2022},
pages={266-271},
issn={2330-1511},
review={4425277},
doi={10.1090/bproc/93},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.