Differential invariants of generic hyperbolic Monge-Ampère equations

In this paper basic differential invariants of generic hyperbolic Monge-Ampère equations with respect to contact transformations are constructed and the equivalence problem for these equations is solved.      

Irreducible Representations of Quantum 3 × 3 Matrices

The irreducible representations of quantum 2×2 and 3×3 matrices at the roots of unity are classified.     

Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

This paper discusses two problems:one is some important theories and algorithms of affine bracket algebra;the other is about their applications in mechanical theorem proving.First we give some efficient algorithms including the boundary expanding algorithm which is a key feature in application.We analyze the characteristics of the boundary operator and this is the base for the implementation of the system.We also give some new theories or methods about the exact division,the representations and structure of affine geometry and so on.In practice,we implement the mechanical auto-proving system in Maple 10 based on the above algorithms and theories.Also we test about more than 100 examples and compare the results with the methods before.     

Generating Operators of the Krasil'shchik–Schouten Bracket

It is proved that given a divergence operator on the structural sheaf of graded commutative algebras of a supermanifold, it is possible to construct a generating operator for the Krashil'shchik–Schouten bracket. This is a particular case of the construction of generating operators for a special class of bigraded Gerstenhaber algebras. Also, some comments on the generalization of these results to the context of n-graded Jacobi algebras are included.     

The Atiyah–Hitchin bracket and the open Toda lattice

The dynamics of the finite nonperiodic Toda lattice is an isospectral deformation of the finite three-diagonal Jacobi matrix. It is known since the work of Stieltjes that such matrices are in one-to-one correspondence with their Weyl functions. These are rational functions mapping the upper half-plane into itself. We consider representations of the Weyl functions as a quotient of two polynomials and exponential representation. We establish a connection between these representations and recently developed algebraic-geometrical approach to the inverse problem for Jacobi matrix. The space of rational functions has natural Poisson structure discovered by Atiyah and Hitchin. We show that an invariance of the AH structure under linear-fractional transformations leads to two systems of canonical coordinates and two families of commuting Hamiltonians. We establish a relation of one of these systems with Jacobi elliptic coordinates.     

Hamiltonian operators and ℓ-coverings

An efficient method to construct Hamiltonian structures for nonlinear evolution equations is described. It is based on the notions of variational Schouten bracket and ℓ^*-covering. The latter serves the role of the cotangent bundle in the category of nonlinear evolution PDEs. We first consider two illustrative examples (the KdV equation and the Boussinesq system) and reconstruct for them the known Hamiltonian structures by our methods. For the coupled KdV–mKdV system, a new Hamiltonian structure is found and its uniqueness (in the class of polynomial (x,t)-independent structures) is proved. We also construct a nonlocal Hamiltonian structure for this system and prove its compatibility with the local one.     

Associative Deformations of Complex Analytic Spaces

A theory of associative deformations is developed for general complex analytic spaces. Deformation–quantization and commutative deformation are particular cases of this concept. Deformation cohomology and obstruction are studied. It is proved that any compact analytic space has a formal versal associative deformation.      

Moore空间P~n(8)及其同伦群

令G是一Abel群,m≥2是一整数．一个型为(G,m)的Moore空间是一单连通的CW-复形X,使得■_i(X)=G(i=m),0(i≠m)．这里J_i为X的第i个整系数的约化同调群．众所周知,Moore空间存在,且任何两个型为(G,n)的Moore空间有相同伦型．取G=Z_k(模k的剩余类加群)．p~n(k)=S~(n-1)∪_(kl_(n-1))e~n为型为(Z_k,n-1)的Moore空间．特别地,考虑k=8,决定了Moore空间p~n(8)的一些同伦群．主要证明工具是Toda引进的复合工具-Toda积,Gray的关于从p~n(8)到n维球面S~n的pinchin映射的同伦纤维的胞腔结构,以及关于亚稳定相对同伦群π_k(X,A)的同伦切割定理,其中A为维数小于n-1的有限CW-复形,X=A∪e~n．     

The Liouville Canonical Form for Compatible Nonlocal Poisson Brackets of Hydrodynamic Type and Integrable Hierarchies

We reduce an arbitrary pair of compatible nonlocal Poisson brackets of hydrodynamic type generated by metrics of constant Riemannian curvature (compatible Mokhov–Ferapontov brackets) to a canonical form, find an integrable system describing all such pairs, and, for an arbitrary solution of this integrable system, i.e., for any pair of compatible Poisson brackets in question, construct (in closed form) integrable bi-Hamiltonian systems of hydrodynamic type possessing this pair of compatible Poisson brackets of hydrodynamic type. The corresponding special canonical forms of metrics of constant Riemannian curvature are considered. A theory of special Liouville coordinates for Poisson brackets is developed. We prove that the classification of these compatible Poisson brackets is equivalent to the classification of special Liouville coordinates for Mokhov–Ferapontov brackets.