Integrals of semiintegrable k-tuples of germs of vector fields in the plane

An ordered collection of vector fields in the plane is called a semiintegrable collection if each succeeding element of the collection lies in the stationary subalgebra (in the algebra of smooth vector fields) of the phase portraits of all the preceding elements of the collection. The orbital equivalence of semiintegrable collections means the possibility of transferring, with the aid of a diffeomorphism of the plane, the phase portraits of the elements of one collection into those of the other one, respectively, with the preservation of the order. A complete classification of finite-modal collections relative to orbital equivalence is obtained. The invariants of the normal forms, namely the generators of the algebra of the first integrals, the invariant measures, the stationary subalgebras of the phase portraits of the collection, are computed in terms of elementary functions. Integer-valued invariants are obtained, like the number of elements in the collection, the dimension of the stationary subalgebra, etc.Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 16, pp. 70–105, 1992.     

A hierarchy of submodels of differential equations

We consider a system of differential equations admitting a group of transformations. The Lie algebra of the group generates a hierarchy of submodels. This hierarchy can be chosen so that the solutions to each of submodels are solutions to some other submodel in the same hierarchy. For this we must calculate an optimal system of subalgebras and construct a graph of embedded subalgebras and then calculate the differential invariants and invariant differentiation operators for each subalgebra. The invariants of a superalgebra are functions of the invariants of the algebra. The invariant differentiation operators of a superalgebra are linear combinations of invariant differentiation operators of a subalgebra over the field of invariants of the subalgebra. The comparison of the representations of group solutions gives a relation between the solutions to the models of the superalgebra and the subalgebra. Some examples are given of embedded submodels for the equations of gas dynamics.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.     

Invariants of the adjoint action in the nilradical of a parabolic subalgebra of types Bn, Cn, and Dn

We study invariants of the adjoint action of the unipotent group in the nilradical of a parabolic subalgebra of types B _n , C _n , D _n . We introduce the notion of expanded base in the set of positive roots and construct an invariant for every root of the expanded base. We prove that these invariants are algebraically independent. We also give an estimate of the transcendence degree of the invariant field. Bibliography: 6 titles.     

An Invariant Theory of Spacelike Surfaces in the Four-dimensional Minkowski Space

We consider spacelike surfaces in the four-dimensional Minkowski space and introduce geometrically an invariant linear map of Weingarten-type in the tangent plane at any point of the surface under consideration. This allows us to introduce principal lines and an invariant moving frame field. Writing derivative formulas of Frenet-type for this frame field, we obtain eight invariant functions. We prove a fundamental theorem of Bonnet-type, stating that these eight invariants under some natural conditions determine the surface up to a motion. We show that the basic geometric classes of spacelike surfaces in the four-dimensional Minkowski space, determined by conditions on their invariants, can be interpreted in terms of the properties of the two geometric figures: the tangent indicatrix, and the normal curvature ellipse. We apply our theory to a class of spacelike general rotational surfaces.     

Curves on Generic Surfaces of High Degree Through a Complete Intersection in P 3

We consider general surfaces, S, of high degree containing a given complete intersection space curve, Y. We study integral curves in the subgroup of Pic(S) generated by Y and the plane section. We determine the cohomological invariants of these curves and classify the subcanonical ones. Then using these subcanonical curves we produce stable rank two vector bundles on P ³.     

Classification of Differential Invariant Submodels

Calculation of differential invariants and invariant differentiation operators of a subalgebra of the Lie algebra admitted by a system of differential equations enables us to construct differential invariant submodels. We classify submodels for every subalgebra of an optimal system of subalgebras. Classification includes the invariant submodels and partially invariant submodels considered earlier. We give examples of classification for three-dimensional subalgebras admitted by the equations of gas dynamics.     

Inequivalent surface-knots with the same knot quandle

We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In surface-knot theory the situation is different: There exist arbitrarily many inequivalent surface-knots of genus g with the same knot quandle, and there exist two inequivalent surface-knots of genus g with the same knot quandle and with the same fundamental class.     

Invariants of transverse foliations

We construct two invariants for a pair of transverse one-dimensional foliations on the plane. If the set of separatrices is Hausdorff in the space of leaves, the invariant is a distinguished graph. In case there are a finite number of separatrices the invariant is an indexed link.     

Invariant theory and reversible-equivariant vector fields

In this paper we present results for the systematic study of reversible-equivariant vector fields-namely, in the simultaneous presence of symmetries and reversing symmetries-by employing algebraic techniques from invariant theory for compact Lie groups. The Hilbert-Poincaré series and their associated Molien formulae are introduced, and we prove the character formulae for the computation of dimensions of spaces of homogeneous anti-invariant polynomial functions and reversible-equivariant polynomial mappings. A symbolic algorithm is obtained for the computation of generators for the module of reversible-equivariant polynomial mappings over the ring of invariant polynomials. We show that this computation can be obtained directly from a well-known situation, namely from the generators of the ring of invariants and the module of the equivariants.     

Dissipative N-point-vortex Models in the Plane

A method is presented for constructing point vortex models in the plane that dissipate the Hamiltonian function at any prescribed rate and yet conserve the level sets of the invariants of the Hamiltonian model arising from the SE (2) symmetries. The method is purely geometric in that it uses the level sets of the Hamiltonian and the invariants to construct the dissipative field and is based on elementary classical geometry in ℝ³. Extension to higher-dimensional spaces, such as the point vortex phase space, is done using exterior algebra. The method is in fact general enough to apply to any smooth finite-dimensional system with conserved quantities, and, for certain special cases, the dissipative vector field constructed can be associated with an appropriately defined double Nambu–Poisson bracket. The most interesting feature of this method is that it allows for an infinite sequence of such dissipative vector fields to be constructed by repeated application of a symmetric linear operator (matrix) at each point of the intersection of the level sets.     

Invariants of the action of a semisimple Hopf algebra on PI-algebra

We extend several classical results in the theory of invariants of finite groups to the case of action of a finite-dimensional Hopf algebra H on an algebra satisfying a polynomial identity. In particular, we prove that an H-module algebra A over an algebraically closed field k is integral over the subalgebra of invariants, if H is a semisimple and cosemisimple Hopf algebra. We show that for char k > 0, the algebra Z\({\left( A \right)^{{H_0}}}\) is integral over the subalgebra of central invariants Z(A)^H, where Z(A) is the center of algebra A, H⁰ is the coradical of H. This result allowed us to prove that the algebra A is integral over the subalgebra Z(A)^H in some special case. We also construct a counterexample to the integrality of the algebra \({A^{{H_0}}}\) over the subalgebra of invariants A^H for a pointed Hopf algebra over a field of non-zero characteristic.     

Complete system of two-dimensional invariants for formulation of triangular finite element of composite shells

The paper describes a system of invariants of symmetric two-dimensional tensors defined on a plane or a surface. The system comprises the well-known first and second invariants and a new quantity called the combined invariant of two tensors. The focus is on the expression for the invariants in terms of normal components of the tensors determined in three different directions on the surface. The system of invariants is used to construct a triangular finite element for geometrically nonlinear analysis of shear deformable anisotropic shells subject to the Reissner–Mindlin assumptions. The relations obtained allow one to readily determine the strain energy of the element for the normal components of the stress and strain tensors in the direction of the element edges. Numerical examples are given to demonstrate some nonlinear capabilities of the element.     

On the Poincaré problem for foliations of general type

Let be a holomorphic foliation of general type on which admits a rational first integral. We provide bounds for the degree of the first integral of just in function of the degree and the birational invariants of and the geometric genus of a generic leaf. Similar bounds for invariant algebraic curves are also obtained and examples are given showing the necessity of the hypothesis. Revised version: 3 July 2001 / Published online: 4 April 2002     

Examples of non-conjugated holomorphic vector fields and foliations

We consider germs of holomorphic vector fields near the origin of with a saddle-node singularity, and the induced singular foliations. In a previous article we described the invariants addressing the analytical classification of these vector fields. They split into three parts: a formal, an orbital and a tangential component. For a fixed formal class, the orbital invariant (associated to the foliation) was obtained by Martinet and Ramis; we give it an integral representation. We then derive examples of non-orbitally conjugated foliations by the use of a “first-step” normal form, whose first-significative jet is an invariant. The tangential invariant also admits an integral representation, hence we derive explicit examples of vector fields, inducing the same foliation, that are not mutually conjugated. In addition, we provide a family of normal forms for vector fields orbitally equivalent to the model of Poincaré-Dulac.     

Invariants and Bonnet-type theorem for surfaces in ℝ4

In the tangent plane at any point of a surface in the four-dimensional Euclidean space we consider an invariant linear map ofWeingarten-type and find a geometrically determined moving frame field. Writing derivative formulas of Frenet-type for this frame field, we obtain eight invariant functions. We prove a fundamental theorem of Bonnet-type, stating that these eight invariants under some natural conditions determine the surface up to a motion. We show that the basic geometric classes of surfaces in the four-dimensional Euclidean space, determined by conditions on their invariants, can be interpreted in terms of the properties of two geometric figures: the tangent indicatrix, which is a conic in the tangent plane, and the normal curvature ellipse. We construct a family of surfaces with flat normal connection.     

Vector Hamiltonians in Nambu Mechanics

We give a generalization of the Nambu mechanics based on vector Hamiltonians theory. It is shown that any divergence-free phase flow in ? ⁿ can be represented as a generalized Nambu mechanics with n ? 1 integral invariants. For the case when the phase flow in ? ⁿ has n ? 3 or less first integrals, we introduce the Cartan concept of mechanics. As an example we give the fifth integral invariant of Euler top.     

Differentiable conjugacies of Morse-Smale diffeomorphisms

We provide in this paper a complete set of invariants for differentiable conjugacies of Morse-Smale diffeomorphisms. In the setting of topological conjugacies, these diffeomorphisms play an important role similar to that of gradients whose singularities are non-degenerate and have their stable and unstable manifolds in general position: they exhibit a simple and yet stable dynamics, and they exist on every manifold [PS]. Our main global invariant corresponds to a generalization of Mather's invariant for diffeomorphisms of the interval.     

A basic inequality for submanifolds in locally conformal almost cosymplectic manifolds

For submanifolds tangent to the structure vector field in locally conformal almost cosymplectic manifolds of pointwise constantφ-sectional curvature, we establish a basic inequality between the main intrinsic invariants of the submanifold on one side, namely its sectional curvature and its scalar curvature; and its main extrinsic invariant on the other side, namely its squared mean curvature. Some applications including inequalities between the intrinsic invariantδ _M and the squared mean curvature are given. The equality cases are also discussed.     

Reidemeister–Turaev torsion of 3-dimensional¶Euler structures with simple boundary tangency¶and pseudo-Legendrian knots

We generalize Turaev's definition of torsion invariants of pairs (M,&\xi;), where M is a 3-dimensional manifold and &\xi; is an Euler structure on M (a non-singular vector field up to homotopy relative to ∂M and modifications supported in a ball contained in Int(M)). Namely, we allow M to have arbitrary boundary and &\xi; to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's H ₁(M)-equivariance formula holds also in our generalized context. Using branched standard spines to encode vector fields we show how to explicitly invert Turaev's reconstruction map from combinatorial to smooth Euler structures, thus making the computation of torsions a more effective one. Euler structures of the sort we consider naturally arise in the study of pseudo-Legendrian knots (i.e.~knots transversal to a given vector field), and hence of Legendrian knots in contact 3-manifolds. We show that torsion, as an absolute invariant, contains a lifting to pseudo-Legendrian knots of the classical Alexander invariant. We also precisely analyze the information carried by torsion as a relative invariant of pseudo-Legendrian knots which are framed-isotopic. Received: 3 October 2000 / Revised version: 20 April 2001