Characteristic Cohomology I: Singularities of Given Type (1911.02092v1)

Abstract: 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 of both the Milnor fiber and complement are subalgebras of the cohomology of the Milnor fibers, respectively the complement. For a fixed $\mathcal{V}$, they are functorial over the category of singularities of type $\mathcal{V}$. In addition, for the link of $\mathcal{V}_0$ there is a characteristic cohomology subgroup of the cohomology of the link over a field of characteristic 0. The characteristic cohomologies for Milnor fiber and complement are shown to be invariant under the $\mathcal K{\mathcal{V}}$-equivalence of defining germs $f_0$, resp. for the link invariant under the $\mathcal K_{H}$-equivalence of $f_0$ for $H$ the defining equation of $\mathcal V, 0$. We give a geometric criteria involving "vanishing compact models", which detect nonvanishing subalgebras of the characteristic cohomologies, resp. subgroups for the link. In part II of this paper we specialize to the case of square matrix singularities, which may be general, symmetric or skew-symmetric.