Search

We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations., Comment: This version is revised so: more explanations, some minor corrections, editorial changes and a new "running" example added

The authors found necessary and sufficient conditions for Samuelson's web to be of maximum rank.

In the present paper we define Samuelson's webs and their rank. The main result of the paper is the proof that the rank of the Samuelson webs does not exceed 6, as well as finding the conditions under which this rank is maximal for the general Samuelson webs as well as for their singular cases., Comment: 9 pages; to appear in Russian in Doklady Akademii Nauk, Matematika, and in English in Doklady Mathematics

We present a complete description of a class of linearizable planar geodesic webs which contain a parallelizable 3-subweb., Comment: 7 pages

In the present paper we study geometric structures associated with webs of hypersurfaces. We prove that with any geodesic (n+2)-web on an n-dimensional manifold there is naturally associated a unique projective structure and, provided that one of web foliations is pointed, there is also associated a unique affine structure. The projective structure can be chosen by the claim that the leaves of all web foliations are totally geodesic, and the affine structure by an additional claim that one of web functions is affine. These structures allow us to determine differential invariants of geodesic webs and give geometrically clear answers to some classical problems of the web theory such as the web linearization and the Gronwall theorem., Comment: 11 pages, in Russian

The problem of local feedback equivalence for 1-dimensional control systems of the 1-st order is considered. The algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found., Comment: 12pages

The problem of feedback equivalence for control systems is considered. An algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found., Comment: 10 pages

We present old and recent results on rank problems and linearizability of geodesic planar webs., Comment: 31 pages; LaTeX; corrected the abstract and Introduction; added references

We find necessary and sufficient conditions for the foliation defined by level sets of a function f(x_{1},...,x_{n}) to be totally geodesic in a torsion-free connection and apply them to find the conditions for d-webs of hypersurfaces to be geodesic, and in the case of flat connections, for d-webs (d > n) of hypersurfaces to be hyperplanar webs. These conditions are systems of generalized Euler equations, and for flat connections we give an explicit construction of their solutions., Comment: 9 pages

We prove that any planar 4-web defines a unique projective structure in the plane in such a way that the leaves of the foliations are geodesics of this projective structure. We also find conditions for the projective structure mentioned above to contain an affine symmetric connection, and conditions for a planar 4-web to be equivalent to a geodesic 4-web on an affine symmetric surface. Similar results are obtained for planar d-webs, d > 4, provided that additional d-4 second-order invariants vanish., Comment: 15 pages

Differential invariants of a (pseudo)group action can vary when restricted to invariant submanifolds (differential equations). The algebra is still governed by the Lie-Tresse theorem, but may change a lot. We describe in details the case of the motion group $O(n)\ltimes\R^n$ acting on the full (unconstraint) jet-space as well as on some invariant equations.

We establish an efficient compatibility criterion for a system of generalized complete intersection type in terms of certain multi-brackets of differential operators. These multi-brackets generalize the higher Jacobi-Mayer brackets, important in the study of evolutionary equations and the integrability problem. We also calculate Spencer delta-cohomology of generalized complete intersections and evaluate the formal functional dimension of the solutions space. The results are applied to establish new integration methods and solve several differential-geometric problems., Comment: Some modifications in sections 6.1-2; new references're added

We discuss the dimensional characterization of the solutions space of a formally integrable system of partial differential equations and provide certain formulas for calculations of these dimensional quantities., Comment: Contribution to the conference GIFT-2006

We find an invariant characterization of planar webs of maximum rank. For 4-webs, we prove that a planar 4-web is of maximum rank three if and only if it is linearizable and its curvature vanishes. This result leads to the direct web-theoretical proof of the Poincar\'{e}'s theorem: a planar 4-web of maximum rank is linearizable. We also find an invariant intrinsic characterization of planar 4-webs of rank two and one and prove that in general such webs are not linearizable. This solves the Blaschke problem ``to find invariant conditions for a planar 4-web to be of rank 1 or 2 or 3''. Finally, we find invariant characterization of planar 5-webs of maximum rank and prove than in general such webs are not linearizable., Comment: 43 pages

We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of k-variants and k-covariants, even in the case of non-integrable pseudogroup. Their calculation is based on the cohomological machinery: We introduce a complex for covariants, define their cohomology and prove the finiteness theorem. This implies the well-known Lie-Tresse theorem about differential invariants. We also generalize this theorem to the case of pseudogroup action on differential equations., Comment: v2: some remarks and references addeed

We generalize the notion of involutivity to systems of differential equations of different orders and show that the classical results due to Guillemin and Quillen relating involutivity, restrictions, characteristics and characteristicity, known for first order systems, extend to the general context, though in a modified form. This involves, in particular, a new definition of strong characteristicity. The proof exploits a spectral sequence relating Spencer delta-cohomology of a symbolic system and its restriction to a non-characteristic subspace., Comment: 20 pages

We find relative differential invariants of orders eight and nine for a planar nonparallelizable 3-web such that their vanishing is necessary and sufficient for a 3-web to be linearizable. This solves the Blaschke conjecture for 3-webs. As a side result, we show that the number of linearizations in the Gronwall conjecture does not exceed fifteen and give criteria for rigidity of 3-webs., Comment: LaTeX, 52 pages

We find d - 2 relative differential invariants for a d-web, d \geq 4, on a two-dimensional manifold and prove that their vanishing is necessary and sufficient for a d-web to be linearizable. If one writes the above invariants in terms of web functions f (x,y) and g_4 (x,y),...,g_d (x,y), then necessary and sufficient conditions for the linearizabilty of a d-web are two PDEs of the fourth order with respect to f and g_4, and d - 4 PDEs of the second order with respect to f and g_4,...,g_d. For d = 4, this result confirms Blaschke's conjecture on the nature of conditions for the linearizabilty of a 4-web. We also give Mathematica codes for testing 4- and d-webs (d > 4) for linearizability and examples of their usage., Comment: LaTeX, 21 pages; revised version (modified the introduction, replaced Mathematica code for testing 5-webs for linearizability by that for testing d-webs (d > 4) and added the example of the Spence-Kummer 9-web)

In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to be symmetric monoidal categories in their own right and are found to be isomorphic to certain categories of $A-A$ bicomodules. Properties of relations are defined in terms of the symmetric monoidal structure. Equivalence relations are shown to be commutative monoids in the category of relations. Quantization in our view is a property of functors between monoidal categories. This notion of quantization induce a deformation of all algebraic structures in the category, in particular the ones defining properties of relations like transitivity and symmetry., Comment: corrected typos

We introduce the notion of difference equation defined on a structured set. The symmetry group of the structure determines the set of difference operators. All main notions in the theory of difference equations are introduced as invariants of the symmetry group. Linear equations are modules over the skew group algebra, solutions are morphisms relating a given equation to other equations,symmetries of an equation are module endomorphisms and conserved structures are invariants in the tensor algebra of the given equation. We show that the equations and their solutions can be described through representations of the isotropy group of the symmetry group of the underluing set. We relate our notion of difference equations and solutions to systems of classical difference equations and their solutions and show that our notions include these as a special case., Comment: 34 pages

In this paper we outline an approach to calculus over quasitriangular Hopf algebras. We study differential operators in the framework of monoidal categories equipped with a braiding or symmetry. To be more concrete, we choose as an example the category of modules over quasitriangular Hopf algebra. We introduce braided differential operators in a pure algebraic manner.This gives us a possibility to develop calculus in an intrinsic way without enforcing any type of Leibniz rule. A general notion of quantization in monoidal categories, proposed in this paper, is a natural isomorphism of the tensor product bifunctor equipped with some natural coherence conditions. The quantization "deforms" all algebraic and differential objects in the monoidal category. We suggest two ways for calculation of quantizations. One of them reduces the calculation to non-linear cohomologies. THe other describes quantizations in terms of multiplicative Hochschild cohomologies of the Grothendieck ring of the given monoidal category. These constructions are illustrated by some examples., Comment: 46 pages,AMSTEX 2.1