Search

A mixed function is a real analytic map $f\colon \mathbb{C}^n \to \mathbb{C}$ in the complex variables $z_1,\dots,z_n$ and their conjugates $\bar{z}_1,\dots,\bar{z}_n$. In this article we define an integer valued index for vector fields $v$ with isolated singularity at $\mathbf{0}$ on real analytic varieties $V_f:=f^{-1}(0)$ defined by mixed functions $f$ with isolated critical point at $\mathbf{0}$. We call this index the mixed GSV-index and it generalizes the classical GSV-index defined by Gomez-Mont, Seade and Verjovsky, i.e., if the function $f$ is holomorphic, then the mixed GSV-index coincides with the GSV-index. Furthermore, the mixed GSV-index is a lifting to $\mathbb{Z}$ of the $\mathbb{Z}_2$-valued real GSV-index defined by Aguilar, Seade and Verjovsky. As applications we prove that the mixed GSV-index is equal to the Poincar\'e-Hopf index of $v$ on a Milnor fiber. If $f$ also satisfies the strong Milnor condition, i.e., for every $\epsilon>0$ (small enough) the map $\frac{f}{\|f\|}\colon \mathbb{S}_\epsilon \setminus L_f \to \mathbb{S}^1$ is a fiber bundle, we prove that the mixed GSV-index is equal to the curvatura integra of $f$ defined by Cisneros-Molina, Grulha and Seade based on the curvatura integra defined by Kervaire.

Let $L$ be a compact oriented $3$-manifold and $\rho\colon\pi_1(L)\to \mathrm{GL}(n,\mathbb{C})$ a representation. Evaluating the Cheeger-Chern-Simons class $\widehat{c}_{\rho,k}\in H^{2k-1}(L;\mathbb{C}/\mathbb{Z})$ of $\rho$ at $\nu\in H_{2k-1}(L;\mathbb{Z})$ we get characteristic numbers that we call the $k$-th CCS-numbers of $\rho$. We prove that if $\rho$ is a topologically trivial representation, the 2-nd CCS-number $\widehat{c}_{\rho,2}([L])$ of the fundamental class $[L]$ of $L$ is given by the invariant $\tilde{\xi}_\rho(D)$ of the Dirac operator $D$ of $L$ twisted by $\rho$ defined by Atiyah, Patodi and Singer. If $L$ is a rational homology sphere, we also give a formula for $\widehat{c}_{\rho,2}([L])$ of any representation $\rho$ in terms of $\tilde{\xi}(D)$. Given a topologically trivial representation $\rho\colon\pi_1(L)\to\mathrm{GL}(n,\mathbb{C})$ we construct an element $\langle L,\rho\rangle$ in the $3$-rd algebraic K-theory group $K_3(\mathbb{C})$ of the complex numbers. For a finite subgroup $\Gamma$ of $\mathrm{SU(2)}$ and its irreducible representations, we compute the 1-st and 2-nd CCS-numbers. With this, we recover the spectrum of all rational double point singularities. Motivated by this result, we define the topological spectrum of rational surface singularities and Gorenstein singularities. Given a normal surface singularity $(X,x)$ with link a rational homology sphere $L$, we show how to compute the invariant $\tilde{\xi}_\rho(D)$ for the Dirac operator of $L$ using either a resolution or a smoothing of $(X,x)$.

The Image-Computing Spectral Sequence computes the homology of the image of a finite map from the alternating homology of the multiple point spaces of the map. A related spectral sequence was obtained by Gabrielov, Vorobjob and Zell which computes the homology of the image of a closed map from the homology of $k$-fold fibred products of the map. We give new proofs of these results, in case the map can be triangulated. Thanks to work of Hardt, this holds for a very wide range of maps, and in particular for most of the finite maps of interest in singularity theory. The proof seems conceptually simpler and more canonical than earlier proofs., Comment: 20 pages