CC BY
9
Владикавказский математический журнал 2015, Том 17, Выпуск 3, С. 5^13
УДК 514.765+517.938
ON TOPOLOGICAL STRUCTURE OF SOME SETS RELATED TO THE NORMALIZED RICCI FLOW ON GENERALIZED WALLACH SPACES1
N. A. Abiev
To Бе-тёп Kutateladze on occasion of his 70th birthday
We study topological structures of the sets (0,1/2)3 П О and (0,1/2)3 \ О, where О is one special algebraic surface defined by a symmetric polynomial of degree 12. These problems arise in studying of general properties of degenerate singular points of dynamical systems obtained from the normalized Ricci flow on generalized Wallach spaces. Our main goal is to prove the connectedness of (0,1/2)3 П О and to determine the number of connected components of (0,1/2)3 \ Q.
Mathematics Subject Classification (2010): 53C30, 53C44, 37C10, 34C05, 14P05, 14Q10.
Key words: Riemannian metric, generalized Wallach space, normalized Ricci flow, dynamical system, degenerate singular point of dynamical system, real algebraic surface, singular point of real algebraic surface.
1. Introduction and the Main Result
It is known that determining the connectedness (or the number of connected components) of real algebraic surfaces is a very hard classical problem in algebraic geometry (see e.g. [4, 13]). In this paper we deal with similar problems relating to the normalized Ricci flow on generalized Wallach spaces. The importance of these problems is due to the need to develop a special apparatus for studying general properties of degenerate singular points of Ricci flows initiated in [1-3]. More concretely, in the above papers, the authors considered some problems concerning the topological structure of the sets (0,1/2)3 П Q and (0,1/2)3 \ Q, where
Q = {(аьа2,аз) € R3 : Q(ai,a2,аз) = 0} is an algebraic surface (see Fig. 1 and 2) in R3 defined by a symmetric polvnomial Q(a1, а2, а3) а1, а2, а3 12
Q(ai,a2,a3) = (2si + 4s3 - 1)(64sf - 64si + 8s3 + 12s2 - 6si + 1 + 240S3S? - 240s3Si - 1536s3si - 4096s3 + 6OS3 + 768s3)
- 8si(2si + 4s3 - 1)(2si - 32s3 - 1)(10si + 32s3 - 5)s2 (1)
- 16s2(13 - 52si + 640s3Si + 1024s3 - 320s3 + 52s?)s2 + 64(2si - 1)(2si - 32s3 - 1)s3 + 2048si(2si - 1)s4,
si = ai + а2 + а3, S2 = aia2 + aia3 + а2а3, S3 = aia2a3.
© 2015 Abiev N. A.
1 The study was supported by a grant of Ministry of Education and Sciences of the Republic of Kazakhstan
for 2015-2017, projects № 1452/GF4.
oTr^V 1 1 014 ' ' 0!3' 0I2 0.1 0
al
Fig. 1. Singular points of the surface (0,1/2)3 n Q.
Fig. 2. The surface (0,1/2)3 n Q.
The surface Q naturally arises in studying of general properties of degenerate singular points of the following dynamical system (see fl 3]):
dx ~dt
- = f(x I,x2,x3), ^ = g(x I,x2,x3),
dt
dx3
= h(x 1,X2,X3),
(2)
where Xj = Xj(t) > 0, i = 1, 2, 3,
f (x1,x2,x3) = —1 — a1x1
g(x i,X2,X3) = —1 — a2x2 h(x1,x2,x3) = —1 — a3x3
x1 x2
x3
(
x2x3 x1 x3 x1 x2
X2 X3 X\
x1 x3 x1 x2 X2x3
X3 x1 X'2
x1x2 x2x3 x1x3
+ X1B,
+ X2 B,
+ X3B,
a1x1 a2x2 a3x3 x2x3 x1x3 x1x2 a1 a2 a3
aj € (0,1/2], i = 1, 2, 3.
It should be noted that the system (2) can be obtained from the normalized Ricci flow equation
|g(i) = -2Ricg+2g(i)^,
where g(t) means a 1-parameter family of Riemannian metrics, Ricg is the Ricci tensor and Sg is the scalar curvature of the Riemannian metric g, considered on one special class of compact homogeneous spaces called three-locallv-symmetric or generalized Wallach spaces, see [9, 12]. In the recent papers [7] and [11], the complete classification of these spaces was obtained.
A more detailed information concerning geometric aspects of this problem and the Ricci flows could be found in [8-10] and [14].
In [1], the authors noted that the set (0,1/2)3 n Q is connected, and the set (0,1/2)3 \ Q consists of three connected components O1; O2 and O3 (see Fig. 1) containing the points (1/6,1/6,1/6), (7/15, 7/15, 7/15) and (1/6,1/4,1/3) respectively.
The present work is devoted to detailed proof of this observation. The main result is the following
Theorem 1. The following assertions hold with respect to the standard topology of R3 : (0, 1/2)3 n Q (0, 1/2)3 \ Q
We note also the following
Corollary 1. The assertions of Theorem 1 are preserved if (0,1/2)3 isreplaced by (0,1/2]3.
Remark 1. The symmetry of Q with respect to a1; a2, a3 implies the invariance of Q under the permutation a1 — a2 — a3 — a1.
Remark 2. Proof of Theorem 1 is based on the idea of Remark 8 in [2]: One should consider a segment I with one endpoint at (0,0,0) and with the second endpoint at an
(0, 1/2)3 (1/2, 1/2, 1/2) I
parametric equations
a1 := at, a2 := bt, a3 := t/2, (3)
where t € [0,1], a, b € (0,1/2). Substituting (3) into (1) we obtain some polynomial p(t) := Q(at, bt, t/2) in t of degree 12. Thus the problems under consideration could be reduced to the problem of determining the possible number of roots of p(t) in [0,1] when (a, b) € (0,1/2)2.
2. Proof of the Main Result
Using Maple we have the following explicit expression for p(t):
p(t) = -256b2a2(2a + 1)2(2b + 1)2(b + a)2t12 + 32(16b3 a3 + 4b3 a2 + 2b3 a + 2b3 + 8b2 a2 + b2a + 4b2 a3 + 2ba3 + ba2 + 2a3)(2a + 1)(2b + 1)(2b + 1 + 2a)(b + a)t10 - 32(2a + 1)(2b + 1)(b + a)(16b3 a3 + 4b3 a2 + 2b3a + 2b3 + 8b2 a2 + b2a + 4b2 a3 + 2ba3 + ba2 + 2a3)t9 - (72b2a2 + 104ba3 + 208b3a2 + 104b3a + 208b2a3 + 52b4 + 176a4 b + 208b4a2 + 176b4a + 52ba2 + 52b2a + 208a4b2 + 52a4 + 352b3 a3 + 13b2 + 13a2 + 44a3 + 44b3 + 22ba)(2b + 1 + 2a)2t8 + 2(2b + 1 + 2a)(72b2a2 + 104ba3 + 208b3 a2 + 104b3 a + 208b2 a3 + 52b4 + 176a4 b + 208b4 a2 + 176b4 a + 52ba2 + 52b2 a + 208a4 b2 + 52a4 + 352b3 a3 + 13b2 + 13a2 + 44a3 + 44b3 + 22ba)t7 + (600b2 a2 + 392ba3 + 784b3 a2 + 392b3a + 784b2 a3 + 108b4 + 14b + 14a + 128a6 + 448ba5 + 224a5 + 528a4 b + 432b4 a2 + 528b4 a + 196ba2 + 196b2 a + 432a4 b2 + 108a4 + 288b3 a3 + 224b5 + 448b5 a + 128b6 + 2 + 27b2 + 27a2 + 36a3 + 36b3 + 66ba)t6 - 6(8b3 + 4b2 a + 2b2 + 8ba + b + 4ba2 + 2a2 + 8a3 + 1 + a)(2b + 1 + 2a)2t5 + (2b + 1 + 2a)(40b3 + 24ba + 5 + 40a3)t4 + (22b + 22a + 88ba2 + 88b2a + 2 + 44b2 + 44a2 + 16a3 + 16b3 + 80ba)t3 - 6(2b + 1 + 2a)2t2 + (8a + 8b + 4)t - 1.
Consider the following set
K := {(a, b) € R2 : a, b € (0,1/2)}.
Lemma 1. If (a, b) € K then the discriminant D of the polynomial p(t) equals to zero if and only if a = b.
< Easy calculations show that D is non-negative, moreover, D has the same zeroes as the following polynomial:
(2b - 1)12(2a - 1)12(a - b)12(F(a,b))2, (5)
where
F (a, b) := 40a3 - 24a2b - 24ab2 + 40b3 - 12a2 + 12ba - 12b2 - 6a - 6b + 5.
Denote by 7 the curve determined by F (a, b) = 0 (see Fig. 3). We will prove that 7 has no common point with the square K.
Changing the variables by the formula
x — y = aV2, x + y = bV2 , we get a new equation for 7, from that we can express y explicitelv:
F(x,y) := 36(8x - V2)y2 + (8a: + 5y/2 ) (2x - y/2 f =0. (6)
Note that the point (x',yr) = (\/2/2,0) belongs to 7, moreover, this is an unique singular point of 7. Since
FXXFyy - Fxy = 3888 > 0
at (x',y'), then (x',y') is isolated according to the well-known result in differential geometry of planar curves. It is clear that the point (a, b) = (1/2,1/2) € K corresponds to (x',y') in the initial variables.
It is obvious that every regular point of 7 satisfies the condition x < x0 := Hence
only we need is to show that 7 can not intersect the part of K, described by the conditions x € (0, x0), - x < y < x. In fact, it suffices to prove the inequality x < ^>(x), where
V2-2x 8x + 5\/2
is a function determining a part of the curve 7 in (6). Note that limx^x0_0 ^>(x) = It is easy to show that the inequality x < ^(x) is equivalent to the inequality
ip(x) := 320x3 - 48\/2x2 - 24x + I0V2 > 0,
which holds for all x € (0,x0), since ^(x) is positive at x = x0 and decreases:
ip (x0) = 27V2/4 > 0, tp'(x) = 960x2 - 96\/2x - 24 < 0.
Therefore, F(a, b) = 0 for (a, b) € K. Hence there is a unique possibility a = b in order to D = 0 in K by (5). >
Lemma 2. Let (a, b) € K. Then a point of local extremum of p(t) can not be a multiple root of p(t).
< Multiple roots of p(t) are possible onlv for a = b by Lemma 1. Therefore, we may b=a
p(t) = -(t +1) P2(t) p3(t), P2(t) := (2 + 4a)t2 - 2(1 + 2a)t + 1, P3(t) := 8a2(2a + 1)t3 - (1 + 4a)t + 1. Denote by D^d D3 the discriminants of p2(t) and p3(t) respectively:
D2 := 4(2a + 1)(2a - 1), D3 := -32(2a + 1)(2a - 1)(22a2 + 14a + 1)a2.
Since D2 < 0 D3 > 0 for a € (0,1/2), then it is clear that the polvnomial p(t) has exactly three distinct real roots (each of multiplicity 3) for every such a. It follows from this fact that there is no points of local extrema of p(t) among the roots of p(t). >
Further we need the curve r (see Fig. 4), which can be obtained as a result of the intersection Q with the piane a3 = 1/2 for 0 < ai, a2 ^ 1/2 Recall some properties of r (see details in [2]): r determined by the equality G(ai,a2) = 0, where
G(ai,a2) := 4(ai + a2)(4aia2 — 1)(4aia2 — ai — a2 + 1)(4aia2 + ai + a2 + 1) + (16aia2 + 1)(13ai + 22aia2 + 13a2) — 4(a2 + a2)(11a2 + 18aia2 + 11a2), ^
T is homeomorphic to the segment [0,1] with the endpoints (a/2/4, 1/2), (1/2, \/2/4) and with the unique singular point (a cusp) at (fli, a,2) = (a, a), where a := ( \/5 —1)/4 & 0.3090169942.
It is easy to check that r separates K into disjoint connected components Ki and K2 containing the points
(a', b') := (3/10, 3/10) and (a'', b'') := (31/100, 31/100)
respectively.
0.3-
b
0.2-
0 0.1 0.2 0.3 0.4 0.5
a
Fig. 4. The intersection Q with the plane a3 = 1/2 for 0 < ai,a2 < 1/2.
Lemma 3. In the segment [0,1], the polynomial p(t) has
(1) one root, if (a, 6) € Ki;
(2) two distinct roots, if (a, 6) € K2 U T.
< Let t* € [0,1] be a root of p(i) given by (4). We say that t* is a robust root of p(t) in [0,1], if small perturbations of the parameters a and b imply a small perturbation of t* keeping it in (t* — e, t* + e) C [0,1] for some small e > 0 (see e. g. [6] for more details on singularities of curves and some related problems).
Now, assume that t* is a non-robust root of p(t). Then there exist exactly two possibility t* € [0, 1] t* = 0 t* = 1
Case 2. t* belongs to the interval (0,1) and provides p(t) a local extremum.
Now, we consider these cases separately.
Case 2. Assume that t* is a point of local extremum of p(t). Then t* is a multiple root of p(t). This contradicts to Lemma 2, hence, the case 2 is impossible.
Case 1. Since p(0) = -1 then there exists no pair (a, b) such that t = 0 is a root of p(t).
Suppose that t = 1 is a root of p(t). Since
p(1) = -4(a + b)2G(a,b),
where G is given by (7), then the equality p(1) = 0 is possible if and only if G(a, b) = 0.
Recall that the curve r is determined by G(a, b) = 0. Since p(t) has only robust roots for every pair (a, b) € Ki U K2 by our construction, then the number of roots of p(t) in [0,1] is constant both in K1 and in K2. Hence, it is sufficient to calculate the number of such roots only for the representative points (a',b') € K1 and (a'',b'') € K2.
(1) Suppose that (a, b) = (a',b') € K1. Then (4) takes the following form
V{t) = ~976^625 (t + l)(16i2 - 161 + 5)(144t3 - 2751 + 125)3.
Taking into account Lemma 2, we conclude that p(t) has three distinct real roots of multiplicity 3 besides the root t = -1. Since we does not need exact values of these roots then their approximated values are:
-1.569348118, 0.5345099430, 1.034838175.
(2) Now, suppose that (a, b) = (a'', b'') € K2. Then in (4) we obtain
^ = ~6103515625000000 « + ^ " 8" + 25><77841i3 " 14°°00i + 6250°>3'
3
-1.524828329 ..., 0.5285082631..., 0.9963200660 ...
It is easy to see that for (a, b) € r the polynomial (4) has two roots in [0,1], one of which is 1 by the definition of T.
Hence, in the segment [0,1], the polynomial (4) has one root for (a, b) € K1 and two roots for (a, b) € K2 U r. >
< Proof of Theorem 1 is based on Lemma 3 and Remark 2. Let (a, b) € K. Then the number of intersection points of Q with the segment / equals to 1 or 2 depending on the number of roots of the polynomial p(t) (see (4)) containing in [0,1].
(1) Connectedness of the set (0,1/2)3 n Q. Let t1,t2 be roots of p(t) such that 0 < t1 < t2 ^ 1. Then, obviously, t1 and t2 correspond to the "lower" and "upper" (see Fig. 2) parts of the surface Q n (0,1/2)3 respectively. These parts of Q have a unique common point (a1,a2,a3) = (1/4,1/4,1/4) (an elliptic umbilic of Q according to [1]).
(2) The number of the connected components of the set, (0,1/2)3 \ Q. Since the maximal number of roots of p(t) in [0,1] is equal to 2 and Q n (0,1/2)3 is the union of two surfaces
(0, 1/2)3 \ Q
3>
In order to prove Corollary 1 we need the following
Lemma 4. Let b = 1/2. Then in the segment [0,1], the polynomial p(t) has
(1) one root for a € (0, a/2/4) ;
(2) two roots for a € [v^/4,1/2) ;
(3) one root (of multiplicity 8) for a = 1/2.
< (1), (2) At b = 1/2 a € (0,1/2) we have
p(t) = —(2ta + 1) p2(t) P3(t)
in (4), where
P2(t) := 4a(2a + 1)t2 — 2(1 + 2a)t + 1, P3(t) := 2(1 + 2a)t3 — 2(a + 1)t + 1. For the discriminants D2 and D3 of the polvnomials p2(t) and p3(t) we have
D2 := —4(2a — 1)(2a + 1) > 0,
D3 := 4(2a + 1)(2a — 1)(8a2 + 28a + 11) < 0.
Since the cubic polynomial p3(t) achieves a positive local maximum at the point t = — < unique real root must be a negative number. Therefore, the
required roots of p(t) can be provided only by p2(t), moreover, first of them belongs to [0,1] for all a € (0,1/2); the second of them — only for a € [a/2/4, 1/2). (3) b = a = 1/2
p(t) = —(t + 1)4(2t — 1)8
with the unique root t = 1/2 of multiplicity 8 on [0,1]. It should be noted that we get an elliptic umbilic (ai,a2,a3) = (1/4,1/4,1/4) of the surface Q in this case. >
< Proof of Corollary 1. According to Theorem 1 it is sufficient to consider the case when a = 1/2 or b = 1/2. Taking into account Remark 1, assume without loss of generality that b = 1/2. Then the proof of Corollary 1 follows from Lemma 4 and Remark 2. >
Remark 3. When this paper had been written the author was informed about the recent paper [5], where a more detailed description of the surface Q was obtained without the restriction (ai,a2,a3) € (0,1/2)3.
The author is indebted to Prof. Yu. G. Nikonorov and to Prof. A. Arvanitoyeorgos for helpful discussions concerning this paper.
References
1. Ahiev N. A., Arvanitoyeorgos A., Nikonorov Yu. G. and Siasos P. The dynamics of the Ricci flow on generalized Wallach spaces // Differ. Geom. Appl.—2014.—Vol. 35.^P. 26-43.
2. Ahiev N. A., Arvanitoyeorgos A., Nikonorov Yu. G. and Siasos P. The Ricci flow on some generalized Wallach spaces // Geometry and its Applications (Eds. V. Rovenski, P. Walczak).^Switzerland: Springer, 2014.^P. 3-37.^(Springer Proceedings in Math. & Statistics; Vol. 72).
3. Ahiev N. A., Arvanitoyeorgos A., Nikonorov Yu. G., Siasos P. The normalized Ricci flow on generalized Wallach spaces // Math. Forum; Vol. 8, p. 1. Stud. Math. Anal—Vladikavkaz: SMI VSC RAS, 2014.—P. 25 12. (Review of Science: The South of Russia).—[in Russian].
4. Basu S., Pollack R. and Roy M.-F. Algorithms in Real Algebraic Geometry.—Berlin: Springer-Verlag, 2006.—x+662 p.—(Algorithms and Computation in Math. Vol. 10).
5. Batkhin A. B. and Bruno A. D. Investigation of a real algebraic surface I I Programming and Computer Software.—2015.—Vol. 41, № 2.-P. 74-83.
6. Bruce J. W. and Giblin P. J. Curves and Singularities. A Geometrical Introduction to Singularity Theory.—Cambridge: Cambridge Univ. Press, 1984.—xii+222 p.
7. Chen Zhiqi, Kang Yifang and Liang Ke. Invariant Einstein Metrics on Three-Locally-Symmetric Spaces. 2011. l"HI.: arXiv: 1411,2694.^(Preprint).
8. Chow B. and Knopf D. The Ricci Flow: an Introduction.—Providence, RI: AMS, 2004.—xii+325 p.— (Math. Surveys and Monogr.; Vol. 110).
9. Lomshakov A. M., Nikonorov Yu. G. and Firsov E. V. On invariant Einstein metrics on three-locally-symmetric spaces // Dokl. Math—2002—Vol. 66, № 2—P. 224-227.
10. Nikonorov Yu. G. On a class of homogeneous compact Einstein manifolds // Sib. Mat. Zh.—2000.— Vol. 41, № l.-P. 200-205.—[in Russian]; English transi.: Sib. Math. J.-2000.-Vol. 41, № l.-P. 168172.
11. Nikonorov Yu. G. Classification of Generalized Wallach Spaces.—2014.—URL: arXiv: 1411.3131.— (Preprint).
12. Nikonorov Yu. G., Rodionov E. D. and Slavskii V. V. Geometry of homogeneous Riemannian manifolds // J. Math. Sci.-2007.-Vol. 146, № 7.-P. 6313-6390.
13. Silhol R. Real Algebraic Surfaces.—Berlin: Springer-Verlag, 1989.—x+215 p.—(Lecture Notes Math.; Vol. 1392).
14. Topping P. Lectures on the Ricci Flow.—Cambridge: Cambridge Univ. Press, 2006— x+113 p.— (London Math. Soc. Lecture Note Ser.; Vol. 325).
Received December 2, 2015.
Abiev Nurlan Abievich M. Kh. Dulaty Taraz State University, Head of the Department of Mathematics 60 Tole bi street, Taraz, 080000, Kazakhstan E-mail: [email protected]
О ТОПОЛОГИЧЕСКОЙ СТРУКТУРЕ НЕКОТОРЫХ МНОЖЕСТВ, ПОЛУЧАЕМЫХ ИЗ НОРМАЛИЗОВАННЫХ ПОТОКОВ РИЧЧИ НА ОБОБЩЕННЫХ ПРОСТРАНСТВАХ УОЛЛАХА
Абиев Н. А.
В работе изучается топологическая структура множеств (0,1/2)3 П О и (0,1/2)3 \ О, где О — алгебраическая поверхность, определенная симметрическим многочленом степени 12. Подобные задачи возникают при изучении общих свойств вырожденных особых точек динамических систем, получаемых из нормализованных потоков Риччи на обобщенных пространствах Уоллаха. Основная цель работы — доказать связность множества (0,1/2)3 П О и определить количество связных компонент множества (0,1/2)3 \ О.
Ключевые слова: риманова метрика, обобщенное пространство Уоллаха, нормализованный поток Риччи, динамическая система, вырожденная особая точка динамической системы, действительная алгебраическая поверхность, особая точка действительной алгебраической поверхности.
