On $\frak {F}$-normal Fitting classes of finite soluble groups

Let \frak X, \frak F,\frak X\subseteqq \frak F\frak {X}, \frak {F},\frak {X}\subseteqq \frak {F}, be non-trivial Fitting classes of finite soluble groups such that G_{\frak X}G_{\frak {X}} is an \frak X\frak {X}-injector of G for all G ? \frak FG\in \frak {F}. Then \frak X\frak {X} is called \frak F\frak {F}-normal. If \frak F=\frak S_p\frak {F}=\frak {S}_{\pi }, it is known that (1) \frak X\frak {X} is \frak F\frak {F}-normal precisely when \frak X^*=\frak F^*\frak {X}^{\ast }=\frak {F}^{\ast }, and consequently (2) \frak F í \frak X\frak N\frak {F}\subseteq \frak {X}\frak {N} implies \frak X^*=\frak F^*\frak {X}^{\ast }=\frak {F}^{\ast }, and (3) there is a unique smallest \frak F\frak {F}-normal Fitting class. These assertions are not true in general. We show that there are Fitting classes \frak F\not = \frak S_p\frak {F}\not =\frak {S}_{\pi } filling property (1), whence the classes \frak S_p\frak {S}_{\pi } are not characterized by satisfying (1). Furthermore we prove that (2) holds true for all Fitting classes \frak F\frak {F} satisfying a certain extension property with respect to wreath products although there could be an \frak F\frak {F}-normal Fitting class outside the Lockett section of \frak F\frak {F}. Lastly, we show that for the important cases \frak F=\frak Nⁿ, n\geqq 2\frak {F}=\frak {N}^{n},\ n\geqq 2, and \frak F=\frak S_p1?\frak S_pr, p_i \frak {F}=\frak {S}_{p_{1}}\cdots \frak {S}_{p_{r}},\ p_{i} primes, there is a unique smallest \frak F\frak {F}-normal Fitting class, which we describe explicitly.     

Engouffrement symplectique et intersections lagrangiennes

Let }L _t{,t ∈ [0, 1], be a path of exact Lagrangian submanifolds in an exact symplectic manifold that is convex at infinity and of dimension ≥6. Under some homotopy conditions, an engulfing problem is solved: the given path }L _t{ is conjugate to a path of exact submanifolds inT ^*L_o. This impliesL _t must intersectL _o at as many points as known by the generating function theory. Our Engulfing theorem depends deeply on a new flexibility property of symplectic structures which is stated in the first part of this work.

     

Euler configurations and quasi-polynomial systems

Consider the problem of three point vortices (also called Helmholtz’ vortices) on a plane, with arbitrarily given vorticities. The interaction between vortices is proportional to 1/r, where r is the distance between two vortices. The problem has 2 equilateral and at most 3 collinear normalized relative equilibria. This 3 is the optimal upper bound. Our main result is that the above standard statements remain unchanged if we consider an interaction proportional to r ^b, for any b < 0. For 0 < b < 1, the optimal upper bound becomes 5. For positive vorticities and any b < 1, there are exactly 3 collinear normalized relative equilibria. The case b = −2 of this last statement is the well-known theorem due to Euler: in the Newtonian 3-body problem, for any choice of the 3 masses, there are 3 Euler configurations (also known as the 3 Euler points). These small upper bounds strengthen the belief of Kushnirenko and Khovanskii [18]: real varieties defined by simple systems should have a simple topology. We indicate some hard conjectures about the configurations of relative equilibrium and suggest they could be attacked within the quasi-polynomial framework.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

On Anosov energy levels of hamiltonians on twisted cotangent bundles

LetT ^* M denote the cotangent bundle of a manifoldM endowed with a twisted symplectic structure [1]. We consider the Hamiltonian flow generated (with respect to that symplectic structure) by a convex HamiltonianH: T ^* M, and we consider a compact regular energy level ofH, on which this flow admits a continuous invariant Lagrangian subbundleE. When dimM3, it is known [9] that such energy level projects onto the whole manifoldM, and thatE is transversal to the vertical subbundle. Here we study the case dimM=2, proving that the projection property still holds, while the transversality property may fail. However, we prove that in the case whenE is the stable or unstable subbundle of an Anosov flow, both properties hold.     

On the reissner-naghdi elasticity relationships : PMM vol. 38, n 6, 1974, pp. 1063–1071

Shell theory equations are constructed by the method in [1] to the accuracy of quantities of the order of h_*^2+k, where and k = 2−4t for (h_* is the relative semithickness of the shell and t is the index of the state of stress variation). Without being within the framework of the Lovetype theory, the equations obtained are compared with the Reissner-Naghdi equations. [2, 3] in which the transverse shear is taken into account, and it is shown that from the asymptotic viewpoint these latter are inconsistent. It is also shown that if the shell resists shear weakly, then from the asymptotic viewpoint the Reissner-Naghdi theory is completely well founded.The three-dimensional equations of elasticity theory are reduced to two-dimensional equations in [1] by using an asymptotic method, i.e. all members of the same order relative to the small parameter h_* are taken into account at each stage of the calculations. It has been shown that without going outside the framework of the ordinary concepts of the Love-type theory of shells (in particular, without taking account of transverse shear), the shell theory equations can be constructed to the accuracy of quantities of the order of h^2−2t_*, but it is impossible to exceed this limit without a qualitative complication in the theory.     

The chaotic behaviour of search algorithms

Certain search algorithms produce a sequence of decreasing regions converging to a pointx ^*. After renormalizing to a standard region at each iteration, the renormalized location ofx ^*, sayx _x, may obey a dynamic process. In this case, simple ergodic theory might be used to compute asymptotic rates. The family of second-order line search algorithms which contains the Golden Section (GS) method have this property. The paper exhibits several alternatives to GS which have better almost sure ergodic rates of convergence for symmetric functions despite the fact that GS is asymptotically minimax. The discussion in the last section includes weakening of the symmetry conditions and announces a backtracking bifurcation algorithm with optimum asymptotic rate.     

Zyklische kubische monogene Erweiterungen der ganzalgebraischen Zahlen eines quadratischen Körpers

D'après [6] et [7] l'anneau des entiers du corps quadratique Q(?d), d \not = -3{\bf Q}(\sqrt {d}), d \not = -3, possède une extension cyclique cubique monogène (de discriminant 1) si, et seulement si, l'équation diophantienne¶¶ 4m³ = y²d + 274m^3 = y^2d + 27 a une solution avec d \not o 21d \not \equiv 21 (mod 36) et m \not o 3m \not \equiv 3 (mod 9).¶¶ On démontre ici que pour qu'une telle extension existe il faut que 3 divise h (d) et, lorsque d o 1d \equiv 1 (mod 8), d'où (2) = \frak p₁\frak p₂(2) = \frak p_1\frak p_2 où \frak p₁\frak p_1 et \frak p₂\frak p_2 sont deux idéaux premiers distincts de A_d, que la classe [\frak p₁][\frak p_1] de \frak p₁\frak p_1 dans le groupe de classes de Q(?d){\bf Q}(\sqrt {d}) ne soit pas un cube. Pour |d||d| < 100'000 cela élimine 68,37 % des valeurs restantes, les valeurs éliminées passent ainsi de 90 à 97 %.¶ De plus d ne doit pas être de la forme pq ou -3 pq pour lesquels le symbole d'Aigner T(p *q)T(p \star q) vale -1. L'article comporte aussi deux corrections, des résultats complétant [6] et [7], parus dans une thèse, et d'autres (en particulier l'indépendance des critères et des résultats numériques) parus ailleurs.     

Unchained polygons and the N-body problem

We study both theoretically and numerically the Lyapunov families which bifurcate in the vertical direction from a horizontal relative equilibrium in ℝ³. As explained in [1], very symmetric relative equilibria thus give rise to some recently studied classes of periodic solutions. We discuss the possibility of continuing these families globally as action minimizers in a rotating frame where they become periodic solutions with particular symmetries. A first step is to give estimates on intervals of the frame rotation frequency over which the relative equilibrium is the sole absolute action minimizer: this is done by generalizing to an arbitrary relative equilibrium the method used in [2] by V. Batutello and S. Terracini. In the second part, we focus on the relative equilibrium of the equal-mass regular N-gon. The proof of the local existence of the vertical Lyapunov families relies on the fact that the restriction to the corresponding directions of the quadratic part of the energy is positive definite. We compute the symmetry groups G _r/s (N, k, η) of the vertical Lyapunov families observed in appropriate rotating frames, and use them for continuing the families globally. The paradigmatic examples are the “Eight” families for an odd number of bodies and the “Hip- Hop” families for an even number. The first ones generalize Marchal’s P ₁₂ family for 3 bodies, which starts with the equilateral triangle and ends with the Eight [1, 3–6]; the second ones generalize the Hip-Hop family for 4 bodies, which starts from the square and ends with the Hip-Hop [1, 7, 8]. We argue that it is precisely for these two families that global minimization may be used. In the other cases, obstructions to the method come from isomorphisms between the symmetries of different families; this is the case for the so-called “chain” choreographies (see [6]), where only a local minimization property is true (except for N = 3). Another interesting feature of these chains is the deciding role played by the parity, in particular through the value of the angular momentum. For the Lyapunov families bifurcating from the regular N-gon whith N ≤ 6 we check in an appendix that locally the torsion is not zero, which justifies taking the rotation of the frame as a parameter. To the memory of J. Moser, with admiration     

The central kernel of the Peirce-one space

Further investigation into the properties of the Peirce-one space J₁ corresponding to a weak^*-closed inner ideal J in a JBW^*-triple A is carried out, and, in particular, it is shown that J₁ contains no non-trivial weak^*-closed ideals.Received: 12 June 2002     

Existence and stability of nontrivial periodic solutions of periodically forced discrete dynamical Systems

The local existence and local asymptotic stability of nontrivial p-periodic solutions of p-periodically forced discrete systems are proven using Liapunov-Schmidt methods. The periodic solutions bifurcate transcritically from the trivial solution at the critical value n=n^cr of the bifurcation parameter with a typical exchange of stability. If the trivial solution loses (gains) stability as n is increased through n^cr , then the periodic solutions on the nontrivial bifurcating branch are locally asymptotically stable if and only if they correspond to n>n^cr (n n^cr ).     

A counterexample theorem in quasiconformal mapping theory

Given a quasisymmetric homeomorphismh of the unit circle onto itself, denote byK _n ^* ,H _h andK _h the extremal maximal dilatation, boundary dilatation and maximal dilatation ofh, respectively. It is proved that there exists a family of quasisymmetric homeomorphismsh such thatK _h <H _h =K _h ^* This gives a negative answer to a problem asked independently by Wu and Yang. Furthermore, some related topics are also discussed.     

On the singularities of residual intertwining operators

Let G be a reductive algebraic group defined over \Bbb Q {\Bbb Q} . Let P, P' be parabolic subgroups of G, defined over \Bbb Q {\Bbb Q} , and let _boxclose_boxclose, a_P') t \in W({\frak a}_{P}, {\frak a}_{P'}) . In this paper we study the intertwining operator M_P￠|P(t,l), l ? \frak a^*_{P,\Bbb C} M_{P' \vert P}(t,\lambda),\,\lambda \in {\frak a}^*_{P,{\Bbb C}} , acting in corresponding spaces of automorphic forms. One of the main results states that each matrix coefficient of M_P￠|P(t,l) M_{P' \vert P}(t,\lambda) is a meromorphic function of order ￡ n + 1 \le n + 1 , where n = dim G. Using this result, we further investigate the rank one intertwining operators, in particular, we study the distribution of their poles.     

The circle problem on surfaces of variable negative curvature

In this note we study the problem of orbit counting for certain groups of isometries of simply connected surfaces with possibly variable negative curvature. We show that ifN(t) denotes the orbit counting function for a convex co-compact group of isometries then for some constantsC, h>0,N(t) Ce ^ht , ast +.     

Discrete versus continuous Newton's method: A case study

We consider the damped Newton's method N _h (z) = z – hp(z)/p(z), 0<h<1 for polynomialsp(z) with complex coefficients. For the usual Newton's method (h=1) and polynomialsp(z), it is known that the method may fail to converge to a root ofp and rather leads to an attractive periodic cycle.N _h(z) may be interpreted as an Euler step for the differential equation =–p(z)/p(z) with step sizeh. In contrast to the possible failure of Newton's method, we have that for almost all initial conditions to the differential equation that the solutions converge to a root ofp. We show that this property generally carries over to Newton's methodN _h(z) only for certain nondegenerate polynomials and for sufficiently small step sizesh>0. Further we discuss the damped Newton's method applied to the family of polynomials of degree 3.     

Asymptotic Behaviour of Best lp-Approximations from Affi ne Subspaces

In this paper we consider the problem of best approximation in ℓ_pⁿ, 1<p∞. If h_p, 1<p<∞, denotes the best ℓ_p-approximation of the element h ⁿ from a proper affine subspace K of ⁿ, hK, then lim_p→∞h_p=h_∞^*, where h_∞^* is a best uniform approximation of h from K, the so-called strict uniform approximation. Our aim is to prove that for all r there are α_j ⁿ, 1jr, such that

Full-size image

, with γ_p^{(r) n} and γ_p^(r)= (p^−r−1).     

On the number of limit cycles in small perturbations of a class of hyper-elliptic Hamiltonian systems with one nilpotent saddle

In this paper, we make a complete study on small perturbations of Hamiltonian vector field with a hyper-elliptic Hamiltonian of degree five, which is a Liénard system of the form x^′=y, y^′=Q₁(x)+εyQ₂(x) with Q₁ and Q₂ polynomials of degree respectively 4 and 3. It is shown that this system can undergo degenerated Hopf bifurcation and Poincaré bifurcation, which emerges at most three limit cycles in the plane for sufficiently small positive ε. And the limit cycles can encompass only an equilibrium inside, i.e. the configuration (3,0) of limit cycles can appear for some values of parameters, where (3,0) stands for three limit cycles surrounding an equilibrium and no limit cycles surrounding two equilibria.     

Shift coordinates, stretch lines and polyhedral structures for Teichmüller space

This paper has two parts. In the first part, we study shift coordinates on a sphere S equipped with three distinguished points and a triangulation whose vertices are the distinguished points. These coordinates parametrize a space (S)\widetilde{{\cal T}}(S) that we call an unfolded Teichmüller space. This space contains Teichmüller spaces of the sphere with \frak b{\frak b} boundary components and \frak p{\frak p} cusps (which we call generalized pairs of pants), for all possible values of \frak b{\frak b} and \frak p{\frak p} satisfying \frak b+\frak p=3{\frak b}+{\frak p}=3 . The parametrization of [(T)\tilde](S)\widetilde{{\cal T}}(S) by shift coordinates equips this space with a natural polyhedral structure, which we describe more precisely as a cone over an octahedron in \Bbb R³{\Bbb {R}}^3 . Each cone over a simplex of this octahedron is interpreted as a Teichmüller space of the sphere with \frak b{\frak b} boundary components and \frak p{\frak p} cusps, for fixed \frak b{\frak b} and \frak p{\frak p} , the sphere being furthermore equipped with an orientation on each boundary component. There is a natural linear action of a finite group on [(T)\tilde](S)\widetilde{{\cal T}}(S) whose quotient is an augmented Teichmüller space in the usual sense. We describe several aspects of the geometry of the space [(T)\tilde](S)\widetilde{{\cal T}}(S) . Stretch lines and earthquakes can be defined on this space. In the second part of the paper, we use the shift coordinates to obtain estimates on the behaviour of stretch lines in the Teichmüller space of a surface obtained by gluing hyperbolic pairs of pants. We also use the shift coordinates to give formulae that express stretch lines in terms of Fenchel-Nielsen coordinates. We deduce the disjointness of some stretch lines in Teichmüller space. We study in more detail the case of a closed surface of genus 2.     

A new proof of Fréchet differentiability of Lipschitz functions

We give a relatively simple (self-contained) proof that every real-valued Lipschitz function on ℓ₂ (or more generally on an Asplund space) has points of Fréchet differentiability. Somewhat more generally, we show that a real-valued Lipschitz function on a separable Banach space has points of Fréchet differentiability provided that the w ^* closure of the set of its points of Gateaux differentiability is norm separable. Received May 31, 1999 / final version received February 16, 2000?Published online April 19, 2000     

Graded differential equations and their deformations: A computational theory for recursion operators

An algebraic model for nonlinear partial differential equations (PDE) in the category ofn-graded modules is constructed. Based on the notion of the graded Frölicher-Nijenhuis bracket, cohomological invariants H ^* (A) are related to each object (A, ) of the theory. Within this framework, H ⁰ (A) generalizes the Lie algebra of symmetries for PDE's, while H ¹ (A) are identified with equivalence classes of infinitesimal deformations. It is shown that elements of a certain part of H ¹ (A) can be interpreted as recursion operators for the object (A, ), i.e. operators giving rise to infinite series of symmetries. Explicit formulas for computing recursion operators are deduced. The general theory is illustrated by a particular example of a graded differential equation, i.e. the Super KdV equation.Tverskoy-Yamskoy per. 14, Apt. 45, 125047 Moscow, Russia.