English

The Bruce-Roberts Numbers of a Function on an ICIS

Algebraic Geometry 2022-03-22 v1

Abstract

We give formulas for the Bruce-Roberts number μBR(f,X)\mu_{BR}(f,X) and its relative version μBR(f,X)\mu_{BR}^{-}(f,X) of a function ff with respect to an ICIS (X,0)(X,0). We show that μBR(f,X)=μ(f1(0)X,0)+μ(X,0)τ(X,0)\mu_{BR}^{-}(f,X)=\mu(f^{-1}(0)\cap X,0)+\mu(X,0)-\tau(X,0), where μ\mu and τ\tau are the Milnor and Tjurina numbers, respectively, of the ICIS. The formula for μBR(f,X)\mu_{BR}(f,X) is more complicated and also involves μ(f)\mu(f) and some lengths in terms of the ideals IXI_X and JfJf. We also consider the logarithmic characteristic variety, LC(X)LC(X), and its relative version, LC(X)LC(X)^{-}. We show that LC(X)LC(X)^{-} is Cohen-Macaulay and that LC(X)LC(X) is Cohen-Macaulay at any point not in X×{0}X\times\{0\}. We generalize previous results presented by the authors when (X,0)(X,0) has codimension one and by Bruce and Roberts when it is weighted homogeneous of any codimension.

Keywords

Cite

@article{arxiv.2203.11186,
  title  = {The Bruce-Roberts Numbers of a Function on an ICIS},
  author = {Bárbara K. Lima-Pereira and Juan José Nuño-Ballesteros and Bruna Oréfice-Okamoto and João Nivaldo Tomazella},
  journal= {arXiv preprint arXiv:2203.11186},
  year   = {2022}
}