Topological equivalence for multiple saddle connections

Topological equivalence for multiple saddle connections

CLEMENTA ALONSO¹, MARIA IZABEL CAMACHO² and FELIPE CANO¹

¹Dpto. Algebra y Geometría y Topología, Fac. Ciencias, E-47002 Valladolid, Spain

²Instituto de Matemática, UFRJ, Rio de Janeiro, Brasil

Manuscript received on July 24, 2002; accepted for publication on July 29, 2002;

presented by CÉSAR CAMACHO

ABSTRACT

We study the topological equivalence between two vector fields defined in the neighborhood of the skeleton of a normal crossings divisor in an ambient space of dimension three. We deal with singularities obtained from local ones by ambient blowing-ups: we impose thus the non-degeneracy condition that they are all hyperbolic without certain algebraic resonances in the set of eigenvalues. Once we cut-out the attractors, we get the result if the corresponding graph has no cycles. The case of cycles is of another nature, as the Dulac Problem in dimension three.

Key words: saddle connections, singular vector fields, topological equivalence, blowing ups.

1. INTRODUCTION

This note is motivated by the study of the topological equivalence between a real analytic three-dimensional germ of vector field and its principal part given by the Newton diagram. The work (Brunella and Miari 1990) solves the problem in dimension two. One of the main difficulties in dimension three is the presence of rigid saddle connections in the intersections of the irreducible components of the divisor after reduction of singularities. Here we deal with saddle connections along the skeleton of a divisor. The complete study of the topological equivalence for a vector field and its principal part will be given in a forthcoming paper.

Let M be a real analytic ambient space and D Ì M be a normal crossings divisor on M. The skeleton of D is the union of the intersections of pairs of irreducible components of D. The corners of D are the points of triple intersections: we assume they are finitely many. Let us consider two vector fields x and x¢ defined on a neighborhood of the skeleton and assume that the following properties are fulfilled:

1. The irreducible components of D are invariant for x and x¢.

2. The equilibrium points of x and x¢ are just the corners of D and they are hyperbolic saddle singularities.

3. At each corner C Î the eigenvalues of x and x¢ corresponding to each line in the skeleton are the same ones.

Also we will consider a generic hypothesis on the whole set of the eigenvalues: this condition is given by a finite number of algebraic relations, in particular it will be satisfied in the case that all the eigenvalues are algebraically independent.

The skeleton supports a graph whose vertices are the corners . The main result in this paper is the following one:

THEOREM 1. Assume is satisfied and the skeleton has no cycles. Then there are two neighborhoods V and V' of and a topological equivalence h : V ® V' between x and x¢ that respects the divisor and induces the identity over the skeleton.

Let us made some comments on the hypothesis. After blowing-up, we generically get hyperbolic singularities, but not necessarily of saddle type nor just corners. Anyway, we can make a excision by cutting a small ball around attractor-type singularities to get only saddle type singularities. The topological equivalence extends in a standard way to the attractors. Also, we can do the same procedure with a non-corner saddle such that the invariant variety of dimension two is contained in the divisor. Moreover, if we have a saddle not in a corner, we can add the (transversal) invariant variety of dimension two as a new small component of the divisor to get in this way a corner.

The hypothesis that the eigenvalues for x and x¢ are the same ones is satisfied in the case of a vector field and its principal part. In fact, one can get more accurate properties defined in terms of the distribution of eigenvalues, see (Alonso 2002) that guarantee the existence of a topological equivalence and that give even a complete invariant system for the topological moduli.

The case of two opposite saddles is completely solved in (Alonso 2002) in a framework that is exactly the complement of (Bonatti and Dufraine 2001), where they need to consider complex eigenvalues.

2. DIRECT PROPAGATION OF THE EQUIVALENCE

Let us first give a description of the equivalence neighborhoods V and V'. We construct V in reference to x and V' will be constructed in the same way in reference to x¢.

Around each corner C Î we fix a coordinate system (x, y, z) such that the divisor is locally given by xyz = 0 and we have the push properties

d (x² + y²) < 0, outside x=y=0; dz² > 0, outside z=0.

Working in a small box B₊(a, b) = {0 £ z £ a;0 £ x² + y²£ b²}, we define the chimney Ch₊(a, b, r) to be the saturation by the flow of x of the top of the chimney W₊ = {z = a;x² + y²£ r²}. In a similar way we get the chimney Ch_(a, b, r) in z £ 0. The region å = Ch₊(a, b,r) Ç {x² + y² = b²} is called the fence and D = Ch₊(a, b,r) Ç {z = 0}the basis of the chimney.

PROPOSITION 2 (M.I. Camacho 1985). Any homeomorphism : å ®å¢ between the fences of two chimneys associated respectively to x and x¢ extends to a topological equivalence between x and x¢ in the chimneys. Moreover, if respects the divisor and induces the identity over the skeleton, then h can be taken also with this property.

Now we put a small cylinder that connects two chimneys along each edge of the skeleton: the edges being the segments of the skeleton connecting two adjacent corners. In this way we get the equivalence neighborhood V.

Our results of topological equivalence will be first obtained in the basic zones, that are the closures of the connected components in the equivalence neighborhood of the complement of the divisor. Two basic zones intersect either in a point, or in an edge, or in a wall. A wall W is defined as follows: we consider an irreducible component D of the divisor and we take W to be one of the connected components in D of the complement of the other components of the divisor.

The propagation of the topological equivalence will be compatible with a global push function g defined in the equivalence neighborhood. The function g restricts to a wall, acting there as a push function for the restrictions of the vector fields. In this way, to know the equivalence in a wall it is enough to know it in the transversal sections between attractor type points (that is, the wall contains the corresponding invariant variety of dimension two) or/and the ends of the wall. Also, we always get the identity over the skeleton.

The basic result of direct propagation of the topological equivalence given in proposition 2 allows us to get a topological equivalence in the case we have not a connection of saddles by the invariant varieties of dimension one. To be precise, each edge G of the skeleton connecting two corners C₁ and C₂ is of one of the following types:

A. The invariant variety of dimension one in C₁ coincides with G and G is contained in the invariant variety of dimension two in C₂.

B. The invariant varieties of dimension two in C₁ and C₂ contain both G. (Here there are two possible positions: following the fact that the invariant varieties either coincide or cut transversely along G).

C. The edge G is transversal to the two invariant varieties of dimension two and hence it coincides with the corresponding invariant varieties of dimension one. This edge will be called an essential saddle connection edge.

PROPOSITION 3. Let Z be a basic zone for x and Z' the corresponding basic zone for x¢ without essential saddle connection edges. Let us fix a topological equivalence h_W for each wall in the frontier of Z. Then there is a topological equivalence h : Z ® Z' between x and x¢ that respects the given h_W.

Let us give an idea of the proof of this result. We construct an oriented graph (Z) as follows. Each edge G of the type A will be provided of an arrow going from C₁ to C₂, in the case that C₁ is the vertex (corner) such the invariant variety of dimension one coincides with G. In this way, a topological equivalence in a pair of chimneys at C₁ will propagate to a partial topological datum for a homeomorphism in the fences of a pair of chimneys at C₂: always respecting the frontier data. Several data like this can be integrated in a homeomorphism between the fences at C₂, that can be extended to the chimneys and so on. In the edges of the type B, we chose the arrow arbitrarily: this choice will determine our global procedure of propagation of the topological equivalence. Also a topological equivalence at the lower vertex in the edge will provide a partial topological datum for a homeomorphism in the fences of the higher vertex in the edge, that can eventually be integrated in a homeomorphism between the fences.

We know that (Z) is an oriented tree, since the skeleton has no cycles. Hence we can propagate a topological equivalence from the minimal points to the whole zone Z.

COROLLARY 4. If there are not essential saddle connection edges, we get a topological equivalence h : V ® V' between x and x¢ that respects the divisor and induces the identity over the skeleton.

In fact, the basic zones are like in the proposition. We can do the topological equivalence zone by zone, respecting the frontiers.

We say that a zone Z without edges of the type C is a direct propagation zone or a zone of type I.

3. ESSENTIAL SADDLE CONNECTIONS. FIRST ZONES

Let us deal with a skeleton having edges of the type C and assume in this section that there are no edges of the type B. Then, we have two types of basic zones: direct propagation zones as above and basic zones having at least one edge of the type C and the other ones of the type A, that we call zones of type II. In this section we will give an idea of the proof of the following result.

THEOREM 5. Let Z be a basic zone of type II for x and Z' the corresponding basic zone for x¢. Consider a topological equivalence h_W for each wall W of Z. Then there is a topological equivalence h : Z ® Z' between x and x¢ that respects the given h_W .

And it produces as above the corollary.

COROLLARY 6. If there are no edges edges of type B, we get a topological equivalence h : V ® V' between x and x¢that respects the divisor and induces the identity over the skeleton.

Since the skeleton has no cycles, a zone of type II has exactly one edge of type C. Moreover a wall W contains at most one corner corresponding to the basis of a chimney, that is, of attractor type. The walls without attractor type points are exactly those containing the edge of type C. In order to fix a topological equivalence in a wall W is enough to give the data at a small circle around the attractor type point or at a transversal section at the edge of type C.

The above theorem 5 has already been proven in (Alonso 2002) for the special case that the basic zone has just one edge of type C and two corners. There it was used a pair of standard foliations of the disc. For general case we will need to introduce the more complicated notions of mills of foliations and seeds of homeomorphisms.

Let us work on the first quadrant

_{+ +} of the disc and choose coordinates x, y. The standard foliation of weight a > 0 is by definition the foliation _a defined by xdy – aydx = 0, whose leaves are y = cx^a. Consider the weighted blowing-up

p_a: [0, 1] ´ [0, 1] ® _{+ +}

given by (s, t) (s cos tp/2, s^asin tp/2). Note that _a is the direct image by p_a of the horizontal foliation ds = 0. We say that a topological foliation over _{+ +} is a-compatible if it is the direct image by p_a of a foliation , where is the direct image of ds = 0 by a homeomorphism of [0, 1] x [0, 1] respecting the borders.

Let us recall the basic fact on the extension of a homeomorphism at the top of a chimney to a topological equivalence in the chimney. Consider two first quadrant chimneys C_{+ +} and C¢_{+ +} associated at a point with x and x¢ respectively. Let us denote by W _{+ +} and W¢_{+ +} the corresponding tops of the chimneys, that we identify in coordinates compatible with the chimneys with the disc _{+ +}. Denote by a, a¢ the quotient of the eigenvalues in the basis of the chimney (invariant variety of dimension two) for x and x¢.

PROPOSITION 7 (Alonso 2002). A homeomorphism h : W _{+ +}® W¢_{+ +} extends to a topological equivalence in C_{+ +} and C¢_{+ +} between x and x¢ if and only if h_*

_a is an a¢ -compatible foliation. Equivalently, it sends any a -compatible foliation to an a¢-compatible foliation.

Another tool in our proof is the remark that the flow along the chimney C_{+ +} modifies the b-compatible foliations in a controlled way. Actually, assume that b ¹ a , then any b-compatible foliation at the top of the chimney concentrates in a -compatible foliation in one of the two windows of the fence, depending on the fact that b < a or b > a . Moreover = (b - a )/a m where m corresponds to the eigenvalue associated to the invariant variety of dimension one (in the case b > a ). The windows are the regions of the fence at the intersection points with the skeleton. Conversely, any g -compatible foliation at the fence goes by the flow to a g*-compatible foliation at the top, where g* depends algebraically from g , a and m .

A mill of length n consists in a list of weights = {b_i} such that 0 < b_i < b_i+1 and a list of points = {P_i = (x_i, y_i) Î _{+ +}} such that 0 < x_i < x_{i + 1} < 1. Associated to each index i we consider the leaf _i given by y = c_ix^bi and passing through the point P_i. The leaves ₀ and _{n + 1} are respectively the vertical and the horizontal semi-axes. The region _i is the region of _{+ +} contained between _{i - 1} and _{i + 1}, for i = 1, 2,..., n. As a corollary of proposition 7 we have that

Assume that a = b_i, then any homeomorphism of the top of the chimney that respects the standard foliation _a on the region _i extends to a homeomorphism of the chimney that gives a topological equivalence between x and x¢.

Here we identify, without loss of genericity the chimneys corresponding to x and x_¢. Recall also that we have the same eigenvalues for both vector fields.

Define by

_i, for i = 0, 1,..., n + 1 the arc joining P_i and P_{i + 1} over the frontier of the disc. A seed of homeomorphisms for the mill is a list of homeomorphisms:

t_i : _i® _i; r_j: _j ® _j ,

for i = 0, 1,..., n + 1 and j = 0, 1,..., n.

Let us detail now one of the key remarks for our construction of the topological equivalence. For each index i = 1, 2,..., n, the seed provides a homeomorphism fi: [0, 1] ® [0, 1] as follows. First we do the b_i-weighted blowing-up pb_i. We recover fi from t_i-1, r_i, r_i+1and t_ion the exceptional divisor [0, 1], by knowing that b_i transforms into the horizontal foliation, the leaves _i-1 and _i+1 are transverse to it and they go one to the top and the other one to the bottom of the exceptional divisor. Assume that b_i= a , if we have a homeomorphism h : _{+ +}® _{+ +} that respects the region _i and the foliation _a on it, then h extends to a topological equivalence H between x and x¢ in the chimney, moreover

The restriction of H to the border of the basis of the chimney is conjugated to the morphism f_i by the flow of the vector fields, after a weighted blowing-up with center the invariant variety of dimension one. In particular the morphism f_iis determined by the restriction of H to that border and conversely.

The next lemma allows us to do this argument in a multi-valuate way.

LEMMA 8. There is a homeomorphism h :

_{+ +}® _{+ +} that respects the points P_i, the leaves _i, that extends the seed data and such that for each region _i it respects the pair of foliations b_i, b_i+1 (when the index has a sense).

Such a homeomorphism h is said to respect the mill and the seed data .

Now let us give the construction of a mill and a seed associated to a basic zone Z of type II, jointly with a homeomorphism data in the walls. Let us put a transversal section W_{+ +} at the edge of type C, that we identify with the disc-quadrant _{+ +}. Given each corner in the zone, we have a weight corresponding to the quotient of the eigenvalues in the saddle. The corners "goes'' naturally to the transversal section W_{+ +} following the edges of the type A (the one dimensional invariant varieties ) and the weights vary as we have explained before. We get a list of weights b_i at W_{+ +}. We enrich it by putting b_i(-) < b_i < b_i(+) close enough to b_i, in such a way that the corresponding regions _i(–), _i and _i(+) are such that _i and _j do not intersect for i ¹ j. The data h_W of the walls determine one of the seed datum f_i as we explained above. We complete with f_i(-), f_i(+) in order to get the complete seed data . Let us remark that our hypothesis on genericity of the eigenvalues allow us to suppose that all the weights b_i are different.

The next proposition extends the proposition 7.

PROPOSITION 9. A homeomorphism h : W_{+ +}® W_{+ +} that respects the mill and the seed data above extends to a topological equivalence in the whole zone Z between x and x¢ that respects the fixed homeomorphisms in the walls.

Now the theorem 5 follows straightforward.

4. THE GENERAL SITUATION

Let us allow now edges of the type B in the skeleton. We consider a zone Z of type III: it contains at least one edge of type C and edges of the type A and B. We can do the same statements as above in order to end the proof of the main theorem, but this time the zone Z has a composed structure. Let us describe it in a non-detailed way.

First we have not necessarily just one edge of the type C. To each type C edge G we associated its direct influence zone I(G ) defined by the edges and corners that connect to G by a sequence of edges of the type A. The outer edges of I(G ) are necessarily of type B. We call a cloud the maximal unions of direct influence zones connected just by one edge of type B. The basic zone Z is then a union of clouds by parts that behave like the direct propagation zones of type I.

The main difficulty in the construction of the topological equivalence is then inside each cloud , one cloud being quite independent from another one. We construct mills in a sequential way at each edge G of type C by considering the travelling of the weights in the saddles as explained before: one mill can receive weights from another direct influence zone. The first mill we construct interfers also in the next one, by creating a connection sector that accumulates the information coming from the previous mills. In this way a saddle in the cloud is controlled just by one mill and we assure the compatibility in the extension of a homeomorphism from the other ones. This allows us to get a topological equivalence at the cloud that respects data on the walls and on the B edges connecting with the other parts of the zone Z. We extend then to the whole zone.

RESUMO

Estudamos a equivalência topológica entre dois campos de vetores na vizinhança do esqueleto de um divisor com cruzamento normal, num ambiente de dimensão três. Consideramos singularidades obtidas por explosões a partir de uma singularidade local: isto justifica a condição de hiperbolicidade e não ressonância no conjunto dos autovalores. O resultado principal se obtém quando, depois de retirar os atratores, o grafo resultante não tem ciclos. O caso dos ciclos é de natureza semelhante ao problema de Dulac em dimensão três.

Palavras-chave: ligações de selas, campos de vetores singular, equivalência topológica, explosões.

Estrada Dona Castorina, 110, Jardim Botânico

22460-320 Rio de Janeiro, Brazil

E-mail: [e-mail]

E-mail: [e-mail] / [e-mail]

• ALONSO C. 2002. Topological Equivalence for Saddle Connections. Qualitative Theory of Dynamical Systems, 1, 2, to appear.
• BONATTI C AND DUFRAINE E. 2001. Equivalence topologique de connexions de selles en dimension trois. Preprint, Univ. Bourgogne.
• BRUNELLA M AND MIARI M. 1990. Topological Equivalence of a Plane Vector Field with its Principal Part Defined through Newton Polyedra. J Differ Equations 85: 338-366.
• CAMACHO MI. 1985. A Contribution to the Topological Classification of Homogeneous Vector Fields in ${\mathbb R}^3$. J Differ Equations 57: 150-171.

Publication Dates

• Publication in this collection
  24 Jan 2003
• Date of issue
  Dec 2002

History

• Accepted
  29 July 2002
• Received
  24 July 2002