1991 Mathematics Subject Classification. 14B05, 58A10, 55S99.Partially supported by the DFG-programme ”Global methods in complex geometry” (Eb 102/4–3), grants RFBR–04–01–00762, NSh–1972.2003.1.
<ph f="cmbx">Chern obstructions for collections of 1-forms on singular varieties</ph>

W. Ebeling

S. M. Gusein-Zade

Dedicated to Jean-Paul Brasselet on the occasion of his 60th birthday
Universitat Hannover, Institut fur Mathematik, Postfach 6009, D-30060 Hannover, Germany. E-mail address : ebeling@math.uni-hannover.de Moscow State University, Faculty of Mechanics and Mathematics, Moscow, 119992, Russia. E-mail address : sabir@mccme.ru

Introduction

The aim of this paper is to bring together some ideas of [3] and [6] .
A germ of a vector field or of a 1-form on the complex affine space C n   at the origin not vanishing in a punctured neighbourhood of it has a topological invariant — the Poincaré–Hopf index. The sum of the Poincaré–Hopf indices of the singular points of a vector field on a compact complex manifold is equal to the Euler characteristic of the manifold. There are several generalizations of this notion to vector fields and/or to 1-forms on complex analytic varieties with singularities (isolated or not) started by M.-H. Schwartz: [11, 4, 8, 1, 12, 5, 3,...] . For the case of an isolated complete intersection singularity there is defined an index which is sometimes called the GSV index: [8, 12, 5] . Another generalization which makes sense not only for isolated complete intersection singularities and also not only for varieties with isolated singularities is the so called local Euler obstruction: [2, 3] (its analogue for 1-forms was considered in [7] ). One can say that in some sense all these invariants correspond to the Euler characteristic, which, for a compact complex analytic manifold M n   , coincides with the top Chern number 〈 c n ( M ) , [ M ] 〉   .
A generalization of the GSV-index corresponding to other Chern numbers (different from the top one) was introduced and studied in [6] . It is defined for a collection of germs of 1-forms on an isolated complete intersection singularity. For a collection of 1-forms on a projective complex complete intersection with isolated singularities, the sum of these indices of the singular points is equal to plus-minus the corresponding Chern number of a smoothing of the variety.
Here we define and study an index of a collection of germs of 1-forms on a germ of a singular variety which is an analogue of the local Euler obstruction corresponding to a Chern number different from the top one.

1 Special points of 1-forms

Let ( X n , 0 ) ⊂ ( C N , 0 )   be the germ of a purely n   -dimensional reduced complex analytic variety at the origin (generally speaking with a non-isolated singularity). Let k = { k i }   , i = 1 , … , s   , be a fixed partition of n   (i.e., k i   are positive integers, ∑ i = 1 s k i = n   ). Let { ω j ( i ) }   ( i = 1 , … , s   , j = 1 , … , n − k i + 1   ) be a collection of germs of 1-forms on ( C N , 0 )   (not necessarily complex analytic; it suffices that the forms ω j ( i )   are complex linear functions continuously depending on a point of C N   ).
Let ɛ > 0   be small enough so that there is a representative X   of the germ ( X , 0 )   and representatives ω j ( i )   of the germs of 1-forms inside the ball B ɛ ( 0 ) ⊂ C N   .
Definition: A point P ∈ X   is called a special point of the collection { ω j ( i ) }   of 1-forms on the variety X   if there exists a sequence { P m }   of points from the non-singular part X r e g   of the variety X   converging to P   such that the sequence T P m X r e g   of the tangent spaces at the points P m   has a limit L   as m → ∞   (in the Grassmann manifold of n   -dimensional vector subspaces of C N   ) and the restrictions of the 1-forms ω 1 ( i )   , . . . , ω n − k i + 1 ( i )   to the subspace L ⊂ T P C N   are linearly dependent for each i = 1 , … , s   .
Definition: The collection { ω j ( i ) }   of 1-forms has an isolated special point on the germ ( X , 0 )   if it has no special points on X   in a punctured neighbourhood of the origin.
Remarks. 1. If the 1-forms ω j ( i )   are complex analytic, the property to have an isolated special point is a condition on the classes of these 1-forms in the module Ω X , 0 1 = Ω C N , 0 1 / { f ⋅ Ω C N , 0 1 + d f ⋅ O C N , 0 | f ∈ J X }   of germs of 1-forms on the variety X   ( J X   is the ideal of germs of holomorphic functions vanishing on X   ).
2. For the case s = 1   (and therefore k 1 = n   ), i.e. for one 1-form ω   , there exists a notion of a singular point of the 1-form ω   on X   (see, e.g., [7] ). It is defined in terms of a Whitney stratification of the variety X   . A point x ∈ X   is a singular point of the 1-form ω   on the variety X   if the restriction of the 1-form ω   to the stratum of X   containing x   is equal to zero at the point x   . (One should consider points of all zero-dimensional strata as singular ones.) One can easily see that a special point of the 1-form ω   on the variety X   is singular, but not vice versa. (E.g. the origin is a singular point of the 1-form d x   on the cone { x 2 + y 2 + z 2 = 0 }   , but not a special one.) On a smooth variety these two notions coincide.
The notion of a non-degenerate special (singular) point of a collection of germs of 1-forms on a smooth variety was introduced in [6] . The index of a non-degenerate point of a collection of germs of holomorphic 1-forms is equal to 1.
Let ℒ k = ∏ i = 1 s ∏ j = 1 n − k i + 1 C i j N *   be the space of collections of linear functions on C N   (i.e. of 1-forms with constant coefficients).
Proposition 1. There exists an open and dense subset U ⊂ ℒ k   such that each collection { ℓ j ( i ) } ∈ U   has only isolated special points on X   and, moreover, all these points belong to the smooth part X r e g   of the variety X   and are non-degenerate.
  • Proof. Let Y ⊂ X × ℒ k   be the closure of the set of pairs ( x , { ℓ j ( i ) } )   where x ∈ X r e g   and the restrictions of the linear functions ℓ 1 ( i )   , . . . , ℓ n − k i + 1 ( i )   to the tangent space T x X r e g   are linearly dependent for each i = 1 , … , s   .
    Let π : Y → ℒ k   be the projection to the second factor. One has c o d i m Y = ∑ i = 1 s k i = n   and therefore dim Y = dim ℒ k   . Moreover, Y \ ( X r e g × ℒ k )   is a proper subvariety of Y   and therefore its dimension is strictly smaller than dim ℒ k   . A generic point of the space ℒ k   is a regular value of the map π   which means that it has only finitely many preimages, all of them belong to X r e g × ℒ k   and the map π   is non-degenerate at them. This implies the statement. □
Corollary 1. Let { ω j ( i ) }   be a collection of 1-forms on X   with an isolated special point at the origin. Then there exists a deformation { ω ~ j ( i ) }   of the collection { ω j ( i ) }   whose special points lie in X r e g   and are non-degenerate. Moreover, as such a deformation one can use { ω j ( i ) + λ ℓ j ( i ) }   with a generic collection { ℓ j ( i ) } ∈ ℒ k   , λ ≠ 0   small enough.
Corollary 2. The set of collections of holomorphic 1-forms with a non-isolated special point at the origin has infinite codimension in the space of all holomorphic collections.

2 Local Chern obstructions

Let { ω j ( i ) }   be a collection of germs of 1-forms on ( X , 0 )   with an isolated special point at the origin. Let ν : X ^ → X   be the Nash transformation of the variety X ⊂ B ɛ ( 0 )   defined as follows. Let G ( n , N )   be the Grassmann manifold of n   -dimensional vector subspaces of C N   .
There is a natural map σ : X r e g → B ɛ ( 0 ) × G ( n , N )   which sends a point x ∈ X r e g   to ( x , T x X r e g )   . The Nash transform X ^   of the variety X   is the closure of the image I m σ   of the map σ   in B ɛ ( 0 ) × G ( n , N )   , ν   is the natural projection. The Nash bundle T ^   over X ^   is a vector bundle of rank n   which is the pullback of the tautological bundle on the Grassmann manifold G ( n , N )   . There is a natural lifting of the Nash transformation to a bundle map from the Nash bundle T ^   to the restriction of the tangent bundle T C N   of C N   to X   . This is an isomorphism of T ^   and T X r e g ⊂ T C N   over the non-singular part X r e g   of X   .
The collection of 1-forms { ω j ( i ) }   gives rise to a section ω ^   of the bundle T ^ = s ⊕ i = 1 n − k i + 1 ⊕ j = 1 T ^ i , j *   where T ^ i , j *   are copies of the dual Nash bundle T ^ *   over the Nash transform X ^   numbered by indices i   and j   . Let D ^ ⊂ T ^   be the set of pairs ( x , { α j ( i ) } )   where x ∈ X ^   and the collection { α j ( i ) }   of elements of T ^ x *   (i.e. of linear functions on T ^ x   ) is such that α 1 ( i )   , . . . , α n − k i + 1 ( i )   are linearly dependent for each i = 1 , . . . , s   . The image of the section ω ^   does not intersect D ^   outside of the preimage ν − 1 ( 0 ) ⊂ X ^   of the origin.
The map T ^ \ D ^ → X ^   is a fibre bundle. The fibre W x = T ^ x \ D ^ x   of it is ( 2 n − 2 )   -connected, its homology group H 2 n − 1 ( W x ; Z )   is isomorphic to Z   and has a natural generator: see, e.g., [6] . The latter fact implies that the fibre bundle T ^ \ D ^ → X ^   is homotopically simple in dimension 2 n − 1   , i.e. the fundamental group π 1 ( X ^ )   of the base acts trivially on the homotopy group π 2 n − 1 ( W x )   of the fibre, the last one being isomorphic to the homology group H 2 n − 1 ( W x ; Z )   : see, e.g., [14] .
Definition: The local Chern obstruction C h X , 0 { ω j ( i ) }   of the collections of germs of 1-forms { ω j ( i ) }   on ( X , 0 )   at the origin is the (primary, and in fact the only) obstruction to extend the section ω ^   of the fibre bundle T ^ \ D ^ → X ^   from the preimage of a neighbourhood of the sphere S ɛ = ∂ B ɛ   to X ^   , more precisely its value (as an element of H 2 n ( ν − 1 ( X ∩ B ɛ ) , ν − 1 ( X ∩ S ɛ ) ; Z )   ) on the fundamental class of the pair ( ν − 1 ( X ∩ B ɛ ) , ν − 1 ( X ∩ S ɛ ) )   .
The definition of the local Chern obstruction C h X , 0 { ω j ( i ) }   can be reformulated in the following way. Let D X k ⊂ C N × ℒ k   be the closure of the set of pairs ( x , { ℓ j ( i ) } )   such that x ∈ X r e g   and the restrictions of the linear functions ℓ 1 ( i )   , . . . , ℓ n − k i + 1 ( i )   to T x X r e g ⊂ C N   are linearly dependent for each i = 1 , … , s   . (For s = 1   , k = { n }   , D X k   is the (non-projectivized) conormal space of X   [15] .) The collection { ω j ( i ) }   of germs of 1-forms on ( C N , 0 )   defines a section ω ˇ   of the (trivial) fibre bundle C N × ℒ k → C N   . Then C h X , 0 { ω j ( i ) } = ( ω ˇ ( C N ) ∘ D X k ) 0   where ( ⋅ ∘ ⋅ ) 0   is the intersection number at the origin in C N × ℒ k   . This description can be considered as a generalization of an expression of the local Euler obstruction as a microlocal intersection number defined in [9] , see also [10,Sections5.0.3and5.2.1] .
Remarks. 1. On a smooth manifold X   the local Chern obstruction C h X , 0 { ω j ( i ) }   coincides with the index i n d X , 0 { ω j ( i ) }   of the collection { ω j ( i ) }   defined in [6] .
2. The local Euler obstruction is defined for vector fields as well as for 1-forms. One can see that vector fields are not well adapted to a definition of the local Chern obstruction. A more or less direct version of the definition above for vector fields demands to consider vector fields on a singular variety X ⊂ C N   to be sections v = v ( x )   of T C N | X   such that v ( x ) ∈ T x X ⊂ T x C N   ( dim T x X   is not constant).
(Traditionally vector fields tangent to smooth strata of the variety X   are considered.) There exist only continuous (non-trivial, i.e. with s > 1   ) collections of such vector fields ”on X   ” with isolated special points, but not holomorphic ones.
3. The definition of the local Chern obstruction C h X , 0 { ω j ( i ) }   may also be formulated in terms of a collection { ω ( i ) }   of germs of 1-forms with values in vector spaces L i   of dimensions n − k i + 1   . Therefore (via differentials) it is also defined for a collection { f ( i ) }   of germs of maps f ( i ) : ( C N , 0 ) → ( C n − k i + 1 , 0 )   (just as the Euler obstruction is defined for a germ of a function).
Being a (primary) obstruction, the local Chern obstruction satisfies the law of conservation of number, i.e. if a collection of 1-forms { ω ~ j ( i ) }   is a deformation of the collection { ω j ( i ) }   and has isolated special points on X   , then C h X , 0 { ω j ( i ) } = ∑ C h X , Q { ω ~ j ( i ) }   where the sum on the right hand side is over all special points Q   of the collection { ω ~ j ( i ) }   on X   in a neighbourhood of the origin. With Corollary  1 this implies the following statements.
Proposition 2. The local Chern obstruction C h X , 0 { ω j ( i ) }   of a collection { ω j ( i ) }   of germs of holomorphic 1-forms is equal to the number of special points on X   of a generic (holomorphic) deformation of the collection.
This statement is an analogue of Proposition 2.3 in [13] .
Proposition 3. If a collection { ω j ( i ) }   of 1-forms on a compact (say, projective) variety X   has only isolated special points, then the sum of the local Chern obstructions of the collection { ω j ( i ) }   at these points does not depend on the collection and therefore is an invariant of the variety.
It is reasonable to consider this sum as ( ( − 1 ) n   times) the corresponding Chern number of the singular variety X   .
Let ( X , 0 )   be an isolated complete intersection singularity. As it was mentioned above, a collection of germs of 1-forms { ω j ( i ) }   on ( X , 0 )   with an isolated special point at the origin has an index i n d X , 0 { ω j ( i ) }   which is an analogue of the GSV–index of a vector field: [5] . The fact that both the Chern obstruction and the index satisfy the law of conservation of number and they coincide on a smooth manifold yields the following statement.
Proposition 4. For a collection { ω j ( i ) }   of germs of 1-forms on an isolated complete intersection singularity ( X , 0 )   the difference i n d X , 0 { ω j ( i ) } − C h X , 0 { ω j ( i ) }   does not depend on the collection and therefore is an invariant of the germ of the variety.
Since, by Proposition  1 , C h X , 0 { ℓ j ( i ) } = 0   for a generic collection { ℓ j ( i ) }   of linear functions on C N   , one has the following statement.
Corollary 3. One has C h X , 0 { ω j ( i ) } = i n d X , 0 { ω j ( i ) } − i n d X , 0 { ℓ j ( i ) }   for a generic collection { ℓ j ( i ) }   of linear functions on C N   .
References

  1. Ch. Bonatti, X. Gómez-Mont: The index of holomorphic vector fields on singular varieties I. Astérisque 222, 9–35 (1994).
  2. J.-P. Brasselet, Lê Du͂ng Tráng, J. Seade: Euler obstruction and indices of vector fields. Topology 39, 1193–1208 (2000).
  3. J.-P. Brasselet, D. Massey, A. J. Parameswaran, J. Seade: Euler obstruction and defects of functions on singular varieties. J. London Math. Soc. (2) 70, 59–76 (2004).
  4. J.-P. Brasselet, M.-H. Schwartz: Sur les classes de Chern d'un ensemble analytique complexe. In: Caractéristique d'Euler-Poincaré, Astérisque 82–83, 93–147 (1981).
  5. W. Ebeling, S. M. Gusein-Zade: Indices of 1-forms on an isolated complete intersection singularity. Moscow Math. J. 3, 439–455 (2003).
  6. W. Ebeling, S. M. Gusein-Zade: Indices of vector fields or 1-forms and characteristic numbers. math.AG/0303330. Bull. London Math. Soc. (to appear).
  7. W. Ebeling, S. M. Gusein-Zade: Radial index and Euler obstruction of a 1-form on a singular variety. math.AG/0402388. Geom. Dedicata (to appear).
  8. X. Gómez-Mont, J. Seade, A. Verjovsky: The index of a holomorphic flow with an isolated singularity. Math. Ann. 291, 737–751 (1991).
  9. M. Kashiwara, P. Schapira: Sheaves on Manifolds. Springer-Verlag, 1990.
  10. J. Schürmann: Topology of Singular Spaces and Constructible Sheaves. Birkhäuser, 2003.
  11. M.-H. Schwartz: Classes caractéristiques définies par une stratification d'une variété analytique complexe. C. R. Acad. Sci. Paris Sér. I Math. 260, 3262–3264, 3535–3537 (1965).
  12. J. A. Seade, T. Suwa: A residue formula for the index of a holomorphic flow. Math. Ann. 304, 621–634 (1996).
  13. J. Seade, M. Tibǎr, A. Verjovsky: Milnor numbers and Euler obstruction. math.CV/0311109.
  14. N. Steenrod: The Topology of Fibre Bundles. Princeton Math. Series, Vol. 14, Princeton University Press, Princeton, N. J., 1951.
  15. B. Teissier: Variétés polaires. II. Multiplicités polaires, sections planes, et conditions de Whitney. In: Algebraic geometry (La Rábida, 1981), Lecture Notes in Math., Vol. 961, Springer, Berlin, 1982, pp. 314–491.

Universitat Hannover, Institut fur Mathematik, Postfach 6009, D-30060 Hannover, Germany. E-mail address : ebeling@math.uni-hannover.de Moscow State University, Faculty of Mechanics and Mathematics, Moscow, 119992, Russia. E-mail address : sabir@mccme.ru