Область наук:

  • Математика

  • Рік видавництва: 2009


    Журнал: Наукові відомості Бєлгородського державного університету. Серія: Математика. фізика


    Наукова стаття на тему 'Logarithmic differential forms and analysis of complex dynamical systems'

    Текст наукової роботи на тему «Logarithmic differential forms and analysis of complex dynamical systems»

    ?YflR 515.17

    LOGARITHMIC DIFFERENTIAL FORMS AND ANALYSIS OF COMPLEX DYNAMICAL SYSTEMS A.G. Aleksandrov1), A.A. Castro, Jr.2), V.A. Gruzman1)

    ^ Institute for Control Sciences, Russian Academy of Sciences,

    Profsojuznaja str., 65, Moscow, 117997, Russian Federation, e-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її. 2) Departamento de Matematica, Universidade Federal da Bahia Avenida Ademar de Barros,

    s / n Campus Universitario de Ondina Salvador, Bahia, 40170-110, Brazil, e-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.

    Abstract. A wide class of complex dynamical systems can be described by evolutionary processes given by a vector field with polynomial, analytic or smooth coefficients in phase space. Such systems are investigated by perturbation analysis of the control and behavioral spaces together with associated bifurcation sets and discriminants. Our approach is based essentially on the theory of logarithmic differential forms, deformations theory and integrable connections associated with deformations. Such a connection can be represented as a holonomic system of differential equations of Fuchsian type whose coefficients have logarithmic poles along the bifurcation set or discriminant of a deformation. In addition we also describe another interesting application, a new method for computing the topological index of a complex vector field on hypersurfaces with arbitrary singularities.

    Keywords: logarithmic differential forms, hypersurface singularity, torsion differentials, regular meromorphic differential forms, residue-map, index of vector fields.

    Introduction

    Let us consider a complex dynamical system given by an evolutionary process described by a vector field in phase space. A point of phase space defines the state of such system. The vector at this point indicates the velocity of change of the state. The points where the vector field vanishes are called equilibrium points, equilibrium positions or singularities of the vector field.

    It was shown by [9] that the typical phase portraits in the neighbourhood of an equilibrium point of a generic system can be classified so that the corresponding list consists of the five simple types: two stable (focus, node) and three unstable (saddle , focus, node).

    Of course, generic systems or, in other words, systems which are in general position correspond to real evolutionary processes and vice versa. Such a system always depends on parameters that are never known exactly. A small generic change of parameters transforms a non-generic system into a generic one. Thus, at the first sight, more complicated cases might not be considered since they turn into combinations of the above types after a small generic perturbation of the system.

    However, if one is interested not in an individual system but in systems depending on parameters the situation is quite different and more complex. Thus, let us consider the space

    A.G. Aleksandrov partially supported by the Russian Foundation of Basic Research (RFBR) and by the National Natural Science Foundation of China (NSFC) in the framework of the bilateral project "Complex Analysis and its applications" (project No. 08-01-92208), and by the National Counsel of Technological and Scientific Development CNPq of Brazil (project No. 454594 / 2007-0)

    A.A. Castro, Jr. partially supported by the National Counsel of Technological and Scientific Development CNPq of Brazil (project No. 454594 / 2007-0)

    of all systems divided into domains of generic systems. The dividing sets (hypersurfaces) correspond to degenerate systems. Under a small change of the parameters a degenerate system becomes non-degenerate. A one-parameter family of systems is presented by a curve which can intersect transversely the boundary separating different domains of nondegenerate systems.

    Hence, although for each fixed value of the parameter the system can be always transformed by a small perturbation into a nondegenerate one, it is impossible to do this simultaneously for all values ​​of the parameter. In fact, every curve closed to the one considered intersects the boundary of the separate hypersurface at a close enough value of the parameter.

    Thus, if one studies not an individual system only but the whole family, the degenerate cases are not removable. If the family depends on a one parameter than the simplest degeneracies are unremovable one, those represented by boundaries of codimension one (that is, boundaries given by one equation) in the space of all systems. The more complicated degenerate systems, forming a set of codimension two in the space of all systems, may be gotten rid of by a small perturbation of the one-parameter family.

    If one analyzes two-parameter families then one needs not to consider degenerate systems forming a set of codimension three and so on. Therefore at first it ought to analyze all generic systems, then degeneracies of codimension one, then - two and so on (see [4]). Herewith one must not restrict the study of degenerate systems to the picture at the moment of degeneracy, but must also include a description of the reorganizations that take place when the parameter passes through the degenerate value.

    1 Control space and parameters

    Let us consider a family of smooth functions

    f: Rn x Rr ^ R,

    describing a certain process happening in various copies of Rn governed by the function f and affected by the point in Rr. The coordinate space Rn is usually called the space of internal variables while Rr the space of external variables over which each copy sits. Such terminology is suitable when the variables in Rr label in physical space as in mechanics, optics, biology or ecology, and so on.

    For systems which one alters something and then to observe what happens the variables in Rr are called the control parameters while the variables in Rn are called the behavioral parameters. Accordingly the space Rr is referred to as the control space while Rn as the behavior space. In the strictly mathematical context it natural to call the space Rr the deformation space while its points (or their coordinates) the parameters of a deformation. The number r is correspondingly the external or control dimension, or the dimension of deformation.

    Suppose that a submanifold M З Rn x Rr is given by the equation

    Dfu (x) = 0,

    where fu (x) = f (x, u), (x, u) G Rn x Rr, and D is the usual differential of the image

    fu: Rn R.

    In other words, the manifold M is the set of all critical points of all the potentials fu in the family f. Denote by? the restriction to M of the natural projection

    n: Rn x Rr -> Rr, n (x, u) = u.

    The critical set is identified with the subset C C M ​​consisting of singular points of the image?. In other words, C consists of points in which the map? is singular, that is, the rank of the derivative is less than r. The image of the critical set? (C) C Rr is called the bifurcation set B.

    It is not difficult to see, by computing that C is the set of points (x, u) G M, at which fu (x) has a degenerate critical point. It follows that B is the locus where the number and nature of critical points change (that is, it happens jump changes in the state of a control system); for by structural stability of Morse functions such changes can only occur by passing through a degenerate critical point. In most applications (for instance, in problems of stability, optimization, in studying caustics, wave fronts and so on) it is the bifurcation set that is the most important, for it lies in the control space, hence is "observable and all delay convention jumps occur in it.

    Investigations show that a bifurcation set as variety possesses highly complicated topological, analytic, algebraic and geometric structures. Herewith it appears that characteristics of such a variety depend mainly on the structure of its subvariety of singularities, which, in turn, also can possess singularities and so on. This observation directly leads to the notion of a stratification variety, but in the most general context the study of bifurcation sets is reduced to the study of stratified varieties (see [11]).

    Remark that in virtue of the well-known splitting lemma a smooth function f can be represented around a point, where it has corank k, in the form:

    /(xi,...,xfc) ± x2 + i ± ... ± x;

    (Perhaps with parameters in Rr for /). Herewith the variables x1; ... are called essential while xk + 1, ... - unessential. Certainly, such presentation is very far from unique. It should

    be also noted that most singularities met by an r-dimensional family will even when not regular or Morse, have codimension less than r. However, it is possible to write an r-parameter family f, around a point, where it meets transversely a singularity of codimension v, in a way in which only v control parameters appear. When one has done so, one may call the coordinates on Rr that no longer appear, disconnected or dummy control parameters.

    2 Deformations

    In fact, general evolutionary processes can be described with the help of polynomial, analytical or smooth functions and systems of equations as well as in a wider context by systems of differential equations. In particular, using properties of associated bifurcation sets, the discriminants or, more generally, singular loci, basic properties of the corresponding systems are investigated. One of the most efficient tools of the investigation is a general notion of integrable connection associated naturally with any deformation of a system. Let us shortly discuss basic ideas of the theory. Consider the system of polynomial or analytic equations

    {F1 (Z1, Z2, ..., Zm) = 0

    . (2.1)

    fk (Z1, Z2,..., Zm) = 0

    given in a neighbourhood U of the origin in Cm. For simplicity we shall assume that k = m - 1 and the set X0 of the solutions of our system in the neighbourhood U is one-dimensional. We

    shall say that a point, laying on the curve X0, is nonsingular if the differential form df1 A ... A dfm-1 does not vanish on it. Otherwise, this point (and the curve) refers to as singular, or shortly a singularity. Without loss of generality one can suppose that X0 has the only singularity at the origin {0} G X0 C Cm, that is, X0 is the germ of a reduced curve.

    We shall assume now that the equations of the system (2.1) can be perturbed:

    f1 (z1, z2,..., Zm) = t1

    : (2.2)

    fm-1 (z1 j z2 j... j zm) tm- 1

    in such a manner that at each sufficiently small value of parameters t = (t1; ..., tm-1) G Cm-1 in the chosen neighbourhood U the set Xt of the solutions of the system (2.2) is also onedimensional. In other words, we shall consider the principal (flat) deformation of the curve

    singularity X0 given by the holomorphic map:

    f: X -> Cm-1. (2.3)

    Let X be the intersection of a ball of a small radius e > 0 centered at the distinguished point {0} G X0 with f-1 (T), where T C Cm-1 is a punctured ball of a radius 0 < 8 ^ e centered at the origin 0 = f (0). Consider the natural restriction f: X -> T of the mapping (2.3). Then for some values ​​of parameters t G T the fibres Xt are non-singular curve germs, for other ones the corresponding fibres may have singular points called the critical points of map f.

    3 Period integrals

    Denote by C C X the set of critical points of f and by D its image f (C) C T. Thus,

    parameters corresponding to the fibres with singularities form the set D which refers to as

    the discriminant set, or the discriminant of the principal deformation X0. In many important cases the discriminant is the zero-set of the only equation h (t1; ..., tk) = 0, that is, D is a hypersurface. Set

    T '= T - D, X' = X - C.

    The restriction f: X '^ T' is a local trivial differentiable fibre bundle called the Milnor fibration of f, that is, fibres Xt = f-1 (t) fl X (of real dimension two) form a smooth fibre bundle over T '. Fix a point t0 G T '. Then for each smooth closed path y0 C Xt0, corresponding to the 1-cycle in H 1 (Xt0, C), it is possible to construct a family of 1-cycles Y (t) C Xt, t G T ', such that

    Y (to) = Yo.

    If one takes a holomorphic differential form u = g (z) dz1 A ... A of the maximal degree in a neighbourhood of the origin in Cm, then using the identity df1 A ... A dfm-1 A ^ = u one can find a differential form ^, which is the result of the division of u by df1 A ... A dfm-1. The form ^ is not determined uniquely, but up to the summands containing differentials of the functions f1; ..., fm-1. It is easy to prove, that for all parameters t, rather close to zero, the integral

    = F * = [Wf A Wf t3'1)

    JY (t) JY (t) 4/1 A ... A dJm-1

    is determined correctly. Moreover, the integral I (t) is an analytic function in the variable t. Integrals of such type are called the period integrals.

    Replacing the differential form u with another, the integral (3.1), generally speaking, will also change. However, it is possible to prove that the set of all such integrals contains a finite number of the elements I1 (t), ..., IM (t) so that any integral of the type (3.1) may be expressed by means of these generators as a linear combination with holomorphic coefficients. In the present context ^ is the Milnor number which is a topological invariant of the singularity X0.

    The same observation holds, if one fixes the form u and takes various families Y (t). For definiteness, we shall fix a family of vanishing cycles y (t) and consider ^ independent period integrals of the following type

    I________

    A d / m-1

    where 1 < j < ^. The period integrals Ij (t) can be differentiated with respect to the parameter t. Between integrals and their derivatives there arose linear relations (syzygies) with polynomial coefficients in t. These relations generate a system of differential equations for the integrals Ij (t) expressed through a finite number of independent integrals.

    Ij (t)

    u

    f y (t)

    4 Connection

    In such a way a system of differential equations in the variable t is associated with the germ X0; this system is defined correctly outside of the discriminant and refers to as Gauss-Manin connection, or Gauss-Manin system, associated with the principal deformation of X0. The main problem is to describe a system of differential equations defined on the whole space of parameters, which is equivalent to the initial one outside of the discriminant (or, in other words, to extend the initial system to the discriminant set). It is possible to show that the solution of this problem depends mainly on properties of the discriminants as well as on properties of fibres of the deformation.

    It turns out that the connection in question can be represented in a quite elegant form. In order to explain this idea we need the following notion. Let u be a meromorphic differential form on S having poles along a reduced divisor D C S. Then u is called the logarithmic along D differential form if and only if u and its total differential du have poles along D at worst of the first order. That is, hu as well as hdu are holomorphic differential forms on S where h is a local equation of the hypersurface D C S.

    The OS-module of logarithmic differential q-forms is usually denoted by QqS (log D). Logarithmic differential forms have many remarkable analytic and algebraic properties (for example, see [1]).

    Following [10] denote by DerS (log D) the OS-module of logarithmic vector fields along D on

    S. This module consists of germs of holomorphic vector fields n on S for which n (h) belongs to the principal ideal (h) OS. In particular, the vector field n is tangent to D at its smooth points. The inner multiplication of vector fields and differential forms induces a natural pairing of OS-modules

    DerS (log D) x QqS (log D) -> ^ S-1 (log D).

    For q = 1 this OS-bilinear mapping is a non-degenerate pairing so that DerS (log D) and ^ S (log D) are OS-dual.

    Let H be a free OS-module. Then a connection V on H with logarithmic poles along D C S is a C-linear morphism

    Vx / s: H - ^ H ®0s ^ S (log D) (4.1)

    satisfying the following conditions:

    1) V (w + w ') = V (w) + V (w'),

    2) V (fu) = і 0 df + f V (u), f e Os.

    Consider the case where ^ S (log D) is a free Os-module of rank m. Obviously, in such a case (logD) = Др (logD), p > 1. It is often said that the divisor D is free or, equivalently, D is a Saito free divisor. The following characteristic property of such divisors was discovered by [10].

    Proposition 4.1 Suppose that there exist m logarithmic vector fields V1, ..., Vm e DerS (log D) such that for the (mxm) -matrix M whose entries are the coefficients of V1, i = 1, ..., m , one has det (M) = ch, where c is a unit. Then V1, ..., Vm form a basis of the free Os-module

    DerS (logD). In particular, ^ S (logD) is a free Os-module with the dual basis u1, ..., wm.

    For example, ^ S (log D) is free when D is the discriminant of the minimal versal deformation of the system defined by a function with isolated singularity.

    Now let D be a Saito free divisor. Then we can describe the logarithmic connection (4.1) on (log D) itself. In other words, let us consider the case when H = ^ S (log D):

    V: ^ S (logD) ^ ^ S (logD) 0os ^ S (logD).

    Let u1, ..., um be free generators of the module ^ S (logD). Then the connection V can be

    expressed in terms of Christoffel symbols in the following way:

    m m

    Vui = і 0, rjfcufc.

    j = 1 k = 1

    The connection V is called torsion free if

    mm

    duj = Л Uj = rjfcuk Л Uj,

    j = 1 k, j = 1

    and V is called integrable if

    duj = m = 1 Л wj, that is, dV = V Л V,

    where V = || wj || is the coefficient matrix of the connection V. In particular, it means that the composition

    H H 0 ^ S (log D) H 0 Л2 ^ (log D)

    is zero.

    5 Holonomic systems

    It is possible to associate with any integrable and torsion free connection V on the module nS (log D) a holonomic system of Fuchsian type in the following way.

    It is known (see [1]) that the multiplication by h induces the surjection

    QS (log D) - ^ TorsQD -> 0, (5.1)

    whose kernel coincides with an OS-module

    o.f + ni.

    Here QS is the module of holomorphic differential 1-forms on S generated by the differentials dz1, ..., dzm over OS,

    QD = QS / (h QS + OS dh)

    is the module of regular differential 1-forms on the divisor D, and TorsQD is the torsion submodule of QD. The support of TorsQD is contained in the singular locus Sing D of the hypersurface D. The torsion OD-module TorsQD has a system of generators containing at least m - 1 elements.

    By definition, the generalized Fuchsian system is a holonomic system of linear differential equations on S with meromorphic coefficients containing in QS (log D):

    d I = Q I, (5.2)

    where I = tr (I1, ..., Ik) is a vector-column of unknown functions and the matrix differential form Q is defined as follows:

    . dh v-r .

    n = A + ^ A, T

    i = 1

    Here the differential 1-forms ^ G QS, * = 1, ..., I, correspond via (5.1) to non-zero elements of the torsion submodule Tors QD, and AG End (Ck) ® OS, i = 0, 1, ..., I, are coefficient matrices with holomorphic entries such that the integrability condition d Q = QAQ holds.

    It is not difficult to show that one can associate to any integrable and torsion free connection

    V on the module QS (logD) the generalized Fuchsian system of type (5.2) (see [3]). Moreover, using the Christoffel symbols of such connection, it is possible to express the integrability condition in terms of commuting relations of the coefficient matrices Aj, i = 1, ..., 1.

    Under some additional assumptions on entries of the coefficient matrices Aj it is possible to investigate the system of type (5.2) and to describe its explicit solutions. In fact, such solutions are quite useful in describing the control of evolutionary processes, perturbations of multidimensional systems, and many applications in dynamical systems, bifurcation theory, etc. (For example, see [8], [4]).

    6 Topological index

    The index of a vector field is one of the very first concepts in topology and geometry of smooth manifolds, and its properties underlie important results of the theory, including the Poincare-Hopf theorem, which states that the total index of a vector field on a closed smooth orientable manifold is independent of the field and coincides with the Euler-Poincare characteristic of the manifold. When studying singular varieties such as bifurcation sets, discriminants, etc., it is natural to ask whether there exists a similar invariant in a more general context. One possible

    generalization of this type, which originally arose in topology of foliations, turned out to be well suited for use in the theory of singular varieties. In this section, we shortly describe a new method for the calculation of the index of vector fields on a hypersurface on the basis of the theory of logarithmic differential forms and vector fields. The main idea of ​​our approach is to describe the index in terms of meromorphic differential forms defined on the ambient variety and having logarithmic poles along the hypersurface (see [2]). We shall see that the systematic use of the theory of logarithmic forms permits one not only to simplify the calculations dramatically but also to clarify the meaning of the basic constructions underlying many papers on the subject (for example, see [6]).

    6.1 Regular differential forms

    Let S be a complex manifold of dimension m = n +1, n > 1, and let «D be the OD-module of germs of regular (Kahler) differentials of order q on D, so that

    «D.x =« L + dh Л О »-1), q > 0,

    where x G S. By analogy with smooth case, elements of «D x are usually called germs of regular holomorphic forms on D. Now let Der (D) = HomOD (« D, OD) be the sheaf of germs of regular

    vector fields on D and let us consider an element V G Der (D). By V G Der (S) we denote a

    holomorphic vector field on S such that V | D = V. Then the interior multiplication (contraction) iV: «S -> «S-1 of vector fields and differential forms defines the structure of a complex on« », since iV = 0. The contraction iV induces a homomorphism:« D -> «D" 1 of OD-modules and also the structure of a complex on «D. The corresponding -homology sheaves and groups are denoted by H * (« D,) and H * ( «D) X,), respectively.

    6.2 Homological index

    If the vector field V has an isolated singularity at a point x G D, then -homology groups of the complex «D, x are finite dimensional vector spaces, so that the Euler characteristic

    n + 1

    x ( «D.x ^ v) = J ^ (- 1) Mim (« D.x ^ v),

    i = 0

    of the complex of regular differentials is well-defined. It is called the homological index of the vector field V at the point x G D and denoted by Indhom, D, x (V) (see [7]). At nonsingular points of D the homological index coincides with the topological index, or, equivalently, with the Poincare-Hopf local index.

    6.3 Logarithmic index

    Let us consider a vector field V G DerS (logD). The interior multiplication iV defines the structure of a complex on "" (log D).

    Lemma 6.1 If all singularities of the vector field V are isolated, then iV-homology groups of the complex «» (log D) are finite dimensional vector spaces.

    Proof. Assume that S = Cm, m = n +1, and the point x0 = 0 GDCS is an isolated singularity of the field V, so that V (x0) = 0. Then V (x) = 0 at each point x in a sufficiently small punctured neighbourhood of x0. In a suitable neighbourhood of x there exists a coordinate system (t, zl, ..., z'n) such that V = d / dt. Since V (h) C (h) OS, 0, it follows that D = T x D0, where T is a small disc in the variable t and D0 is a hypersurface in Cn. It is easy to show that

    nC "+ i, 0 (logD) = (QCn, 0 (logDo) ® ^ CnyiogDo) A dt) ®o Oc, o.

    Indeed, for germs of holomorphic forms one has the isomorphism fiD 0 = (^ D0 0 ® Adt) ®C OC, 0 which can readily be obtained by considering of the canonical projections of the analytic set T x D0 onto the first and second factors and the definition of fiD, 0. The desired isomorphism for germs of logarithmic forms can be obtained by a similar argument with the use of the exact sequence

    0 ->| NqCn + l Q + f A nq ~ rXl Q ->| N *, "+ li0 (logD) QqD0 ->| QqD0 / ToTsQqD0 ->| 0, which follows from the exact sequence expressing the torsion subsheaves Tors fiD in terms of logarithmic differential forms (see [2]).

    Further, in the q-th piece of the complex (fiS0 (log D), iv) one has

    Ker (id / dt) = Im (is / a *) = (fiCn, 0 (logDo) ® (0)) ®c Oc, o.

    That is, the corresponding homology groups vanish for all q. The same conclusion readily follows for the point x0 G S \ D. Consequently the iv-homology groups of the complex fiS (log D) may be non-trivial only at singular points of the field. Since the sheaves of logarithmic forms as well as their cohomology are coherent, we arrive at the statement of the Lemma.

    Thus if the vector field V has isolated singularities, then the Euler characteristic

    n + l

    x (fiS, x (log D), 1v) = ^ (- 1) 'dim nS, x (log D), 1v)

    i = 0

    of the complex of logarithmic differential forms is well defined for any point x G S. It is called the logarithmic index of the field V at the point x and denoted by Indiog D, x (V). It follows from the preceding that IndlogD, x (V) = 0 whenever V (x) = 0.

    6.4 The index of vector fields on hypersurfaces

    To study the iv-homology of the complex fiD, one can use an approach based on a representation of regular holomorphic differential forms on the hypersurface D via meromorphic forms with logarithmic poles along D (see [2]). Recall [loc. cite] that for all q = 0,1, ..., n +1, there exist exact sequences

    of OS, x-modules, where Adh is the homomorphism of exterior multiplication. Hence one obtains the exact sequence

    0 i (fiSx / hnUlog D), iv) [1] -i (n;, x / hflS.x.'v) i (OD.X-1V) i 0 ^

    of complexes. Indeed, the fact that the multiplication by Adh induces a morphism of complexes follows from the identity

    iv (u) A dh = iv (u A dh) + (- 1) q-lu A V (h),

    since the second summand from the right-hand side vanishes in the quotient complex fiS / hfiS in view of the condition V (h) G (h) OS, x. Now note that from the exact sequence

    0 ----> (^ S ^ 1V) ^ S.x, 1V) ----> (FiS, x / hfiS, x, 1V) --> 0

    of complexes it follows that x (fiS x / hfiS x, iV) = 0. Thus from the exact sequence (6.1) one obtains

    Indhom, D, x (V) = -X ((fiS) x / hfiS, x (log D), 1V) [1]) = X (fiS, x / hfiS, x (log D), 1V).

    Proposition 6.2 Suppose that x GD is an isolated singularity of a vector field VG Der (log D), the germs v G OS, x are determined by the expansion V = iv ^ d / dz ^ and JxV = (vl, ... , vm) OS, x. Then

    Indhom, D, x (V) = dim Os, x / JxV - IndlogD, x (V).

    Let us consider the case when D is a Saito free divisor. Then the complex (fiS x (logD), iv) is naturally isomorphic to the Koszul complex K. ((al, ..., am); Os, x) on the generators ei =

    i = 1, ..., m, where the germs a G Os, x are determined as coefficients of the expansion

    V = i ajVj of V in the basis of logarithmic vector fields. In this case one readily obtains the following identity:

    Indiogd, x (V) = x (K. ((Ai, ..., am); Os, x)).

    Corollary 6.3 Let Jlog D.xV = (al, ..., am) OS, x. Suppose that the coefficients (al, ..., am) form a regular OS, x-sequence. Then

    Indhom, D, x (V) = dim Os, x / JxV - dim Os.x / Jiogd, xV.

    6.5 Normal hypersurfaces

    Let Z = Sing D be the singular locus of a reduced divisor D, and let c = codim (Z, D) be the codimension of Z in D. It is well-known (see [1]) that c = 1 for Saito free divisors, that is, in a sense, the singularities of D form the maximal possible subset of the divisor. For c > 2, Serre's criterion implies that the hypersurface D is a normal variety. For further analysis of this case we use the following reformulation due to [10] of the notion of logarithmic forms.

    Lemma 6.4 The germ u of a meromorphic differential q-form at a point x G S with poles along D is the germ of a logarithmic form (that is, u G fi | x (log D)) if and only if when there

    exists a holomorphic function germ g G OS.x, a holomorphic (q - 1) -form germ? G fi | x and a

    holomorphic q-form germ n G «» x, such that

    (I) dimCD П {z G M: g (z) = 0} < n - 1,

    s x, such that .v dh

    (Рр) gu = f Л? + /?.

    Let q: fiSx (logD) -> fiSx be the homomorphism of multiplication by h, and let u G fiS x (logD). Then there exists an element g G OS, x in Lemma 6.4 such that ghu G hfi | x + dhAfiS-1, that is, ghu = 0 in fiD x. Since the germ g defines a zero non-divisor in Od. x, in particular, this means that hu G Tors fiD. x, where the torsion submodule of the sheaf of regular q-differentials is denoted by Tors fiD. x. Thus, Im (q) C Tors fiD. x (actually one has the equality). If Tors fiD. x = 0, then the germ g in (ii) can only be an invertible element; consequently,

    dh

    fiL (logB) = fiL + -Afi | - \ (6.2)

    In fact, this isomorphism can be obtained without the preceding argument if one directly makes use of the exact sequence for the torsion submodules Tors fiD x (for example, see [1]).

    Theorem 6.5 Let D be a normal hypersurface. Then

    Indhom, d, x (V) = dimOs.x / (h, JxV) + (-1) jdimHj (fiD .x, iv),

    where d = '2 [? yL] + 1, the square brackets denote the integer part, of rational numbers, and the sum is zero by convention if the lower limit is greater than the upper limit.

    Proof. It is well-known that Tors fiD = 0 if 0 < q < c. Hence, together with the isomorphism

    (6.2), this means that fiSx / hfiSx (logD) = fiD, x for all such q. Therefore, it follows from the

    exact sequence (6.1) that

    Hi (fiD, 1v) = Hi-i (fiD [- ^ 1v) = Hi-2 (fiD, 1v)

    for all i = 3, ..., c + 1. In particular, in this range the dimensions of the iV-homology groups of the complex fiD x in the two series H2i and H2i-l coincide. Further, one can readily see that the dimensions of groups Hl and H2 also coincide (see [2]), whence the desirable formula follows. The integer part in the lower limit of the sum is needed in order to distinguish between the cases of even and odd codimension.

    Corollary 6.6 Suppose that a point x G D is an isolated singularity of the hypersurface D as well as of a vector field V G Der (log D), V (h) = ^ h and p G Os, x. Then

    Indhom, d, x (V) = dim Os, x / (h, JxV) + edimAnn bx (h) / (p) Bx,

    where e = -1 if n is even and e = 0 otherwise, and Bx is the local ring Os, x / JxV.

    7 Conclusion

    In many applications (say, in the theory of dynamical systems, bifurcation theory, in economic, biology, chemistry, etc.) a stable equilibrium state describes the established conditions in the corresponding real system (see [8], [5]). When it merges with an unstable equilibrium state the system must jump to a completely different state: as the parameter is changed the equilibrium condition in the neighbourhood considered suddenly disappears. The described results allow one to investigate in detail jumps of this kind with the use of invariants of bifurcation sets and discriminants associated with deformations of a complex system.

    Bibliography

    1. A.G. Aleksandrov. Nonisolated hypersurface singularities. In V.I. Arnold, editor, Theory of singularities and its applications, Advances in Soviet Mathematics, volume 1, pages 211-246. Amer. Math. Soc., Providence, RI, 1990..

    2. A.G. Aleksandrov. Index of vector fields and logarithmic differential forms. Funct. Anal. and Appl., 39 (4): 1-13, 2005.

    3. A.G. Aleksandrov. Generalized Fuchsian systems of differential equations. Journal of Mathematical Sciences (N.Y.), 39 (6): 689-699, 2006.

    4. V.I. Arnol'd. Catastrophe theory. Znanie, Moscow, 1981.

    5. D.K. Arrowsmith, C.M. Place. Ordinary differential equations. A qualitative approach with applications. Chapman and Hall, London New York, 1982.

    6. N.A. Bobylev. Topological index of extremals of multidimensional variational problems. Funct. Anal. and Appl., 20 (2): 8-13, 1986.

    7. X. Gomez-Mont. An algebraic formula for the index of a vector field on a hypersurface with an isolated singularity. Journal of Algebraic Geometry, 7 (4): 731-752.

    8. J.E. Marsden, M. McCracken. The Hopf bifurcation and its applications. Springer-Verlag, New York, 1976.

    9. H. Poincare. Sur les proprietes des fonctions definies par les equations aux differences partielles. These inaugurale, Paris, 1879.

    10. K. Saito. On the uniformization of complements of discriminant loci. In: Hyperfunctions and Linear partial differential equations, RIMS Kokyuroku, volume 287, pages 117-137. RIMS Kyoto University, Kyoto, 1977.

    11. H. Whitney. On singularities of mappings of Euclidean spaces I. Mappings of the plane into the plane. Annals of Mathematics (2), 62: 374-410, 1956.

    Логарифмічна ДИФЕРЕНЦІАЛЬНІ ФОРМИ ТА КОМПЛЕКСНІ ДИНАМІЧНІ СИСТЕМИ

    А.Г. Александров1), А.А. Кастро, мл.2), В.А. Грузман1)

    1) Інститут проблем управління РАН, вул. Профспілкова, 65, Москва, 117997, Росія, e-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.

    2) Федеральний університет штату Баїя, університет, Баїя, 40170-110, Бразилія, e-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.

    Анотація. Широкий клас складних динамічних систем може бути описаний як еволюційний процес, заданий векторних полем з поліноміальними, аналітичними або гладкими коефіцієнтами в фазовому просторі. Такі системи досліджуються методом збурень і аналізом просторів управління і поведінки разом з відповідним біфуркаційним безліччю і дискримінантом. Описується підхід до вивчення таких систем, заснований на методах теорії логарифмічних диференціальних форм, теорії деформацій і інтегрованих зв'язності, асоційованих з деформаціями. Така зв'язність може бути представлена ​​у вигляді голономних системи диференціальних рівнянь фуксових типу, коефіцієнти якої мають логарифмічними полюсами уздовж бифуркационного безлічі або дискримінанту деформації. Коротко обговорюється і інше цікаве додаток - новий метод обчислення топологічного індексу комплексного векторного поля на гіперповерхні з довільними особливостями.

    Ключові слова: логарифмічні диференціальні форми, гіперповерхность з особливостями, крутіння диференціалів, регулярні мероморфних диференціальні форми, форма-відрахування, індекс векторного поля.


    Ключові слова: logarithmic differential forms /hypersurface singularity /torsion differentials /regular meromorphic differential forms /residue-map /index of vector fields

    Завантажити оригінал статті:

    Завантажити