A hierarchy of generalized invariants for linear partial differential operators

We study invariants of linear partial differential operators in two variables under gauge transformations. Using the Beals-Kartashova factorization, we construct a hierarchy of generalized invariants for operators of an arbitrary order. We study the properties of these invariants and give some examples. We also show that the classic Laplace invariants correspond to some particular cases of generalized invariants. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 147, No. 3, pp. 470–478, June, 2006.     

Contact-equivalence problem for linear hyperbolic equations

We consider the local equivalence problem for the class of linear second-order hyperbolic equations in two independent variables under an action of the pseudo-group of contact transformations. é. Cartan’s method is used for finding the Maurer-Cartan forms for symmetry groups of equations from the class and computing structure equations and complete sets of differential invariants for these groups. The solution of the equivalence problem is formulated in terms of these differential invariants. __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 25, pp. 119–142, 2005.     

Elliptic Differential-Difference Equations in the Half-Space

Mathematical Notes - We establish a formula for the Gromov–Witten–Welschinger invariants of $${?P^3}\# {\overline {?P} ^3}$$ . Using birational transformations and pencils...     

The behavior of invariants of finite degree under interdependent transformations of links

A new approach to the definition of the notion of finite-degree invariants of oriented links is described. It is proved that using new transformations, which are much more general than usual, actually leads to the same theory of such invariants. Applying these general transformations we also prove that the invariants of finite degree are polynomials in the gleams if the Hopf projection of the link is fixed. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 141–147. Translated by N. Yu. Netsvetaev.     

Torsion-free path geometries and integrable second order ODE systems

A search for invariants of second order ODE systems under the class of point transformations, which mix the parameter and the dependent variables, uncovers a torsion tensor generalizing part of the curvature tensor of an affine connection. We study the geometry of ODE systems for which this torsion vanishes. These are the ODE systems for which deformations of solutions fixing a point constitute a field of Segré varieties in the tangent bundle of the locally defined space of solutions. Conversely, a field of Segré varieties for which certain differential invariants vanish induces a torsion-free ODE system on the space of solutions to a natural PDE system. The geometry on the solution space is used to produce first integrals for torsion-free ODE systems, given as algebraic invariants of a curvature tensor involving up to fourth derivatives of the equations. In the generic case, there are enough first integrals to solve the equations explicitly in spite of the absence of symmetry. In the case of torsion-free ODE pairs, the field of Segré varieties is equivalent to a half-flat split signature conformal structure, and we characterize in terms of curvature those systems having an abundance of totally geodesic surfaces.     

Contactly geodesic transformations of almost-contact metric structures

We introduce the notion of contactly geodesic transformation of the metric of an almost-contact metric structure as a contact analog of holomorphically geodesic transformations of the metric of an almost-Hermitian structure. A series of invariants of such transformations is obtained. We prove that such transformations preserve the normality property of an almost-contact metric structure. We prove that cosymplectic and Sasakian manifolds, as well as Kenmotsu manifolds, do not admit nontrivial contactly geodesic transformations of the metric, which is a contact analog of the well-known result for Kählerian manifolds due to Westlake and Yano.     

A Contact Linearization Problem for Monge-Ampère Equations and Laplace Invariants

We solve a problem of contact linearization for non-degenerate regular Monge-Ampère equations. In order to solve the problem we construct tensor invariants of equations with respect to contact transformations and generalize the classical Laplace invariants.      

On the equivalence of functional bases of differential invariants for nonconjugate subgroups of the local Lie groups of point transformations

We formulate and prove a criterion of the equivalence of functional bases of differential invariants of an arbitrary finite order k for nonconjugate subgroups of the local Lie groups of point transformations.     

On extremal decomposition problems

The capacity approach and symmetrization method arc adapted to some extremal decomposition problems on the unit disk or an annulus. The problems on the maximum product of the interior radii of pairwise nonoverlapping domains and the maximum product of the Robin radii of such domains are considered. New invariants with respect to the M?bius transformations of the Riemann sphere are introduced. In particular, for these invariants problems on extremal decomposition with free poles on the unit circle are investigated. Bibliography: 19 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 357, 2008, pp. 54–74.     

Curve counting via stable pairs in the derived category

For a nonsingular projective 3-fold X, we define integer invariants virtually enumerating pairs (C,D) where C⊂X is an embedded curve and D⊂C is a divisor. A virtual class is constructed on the associated moduli space by viewing a pair as an object in the derived category of X. The resulting invariants are conjecturally equivalent, after universal transformations, to both the Gromov-Witten and DT theories of X. For Calabi-Yau 3-folds, the latter equivalence should be viewed as a wall-crossing formula in the derived category. Several calculations of the new invariants are carried out. In the Fano case, the local contributions of nonsingular embedded curves are found. In the local toric Calabi-Yau case, a completely new form of the topological vertex is described.     

Differential Invariants of the 2D Conformal Lie Algebra Action

We consider the Lie algebra that corresponds to the Lie pseudogroup of all conformal transformations on the plane. This conformal Lie algebra is canonically represented as the Lie algebra of holomorphic vector fields in ℝ²≃ℂ. We describe all representations of \mathfrakg\mathfrak{g} via vector fields in J ⁰ℝ²=ℝ³(x,y,u), which project to the canonical representation, and find their algebra of scalar differential invariants.     

Contact Relative Differential Invariants for Non Generic Parabolic Monge-Ampère Equations

We find relative differential invariants of different orders for non generic parabolic Monge-Ampère equations (MAE’s). They are constructed in terms of some tensors associated with the derived flag of the characteristic distribution. The vanishing of such invariants allows one to determine the classes of each non generic parabolic MAE with respect to contact transformations.     

Knot theory for self-indexed graphs

We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.

     

Chern–Simons Invariants of Torus Links

We compute the vacuum expectation values of torus knot operators in Chern–Simons theory, and we obtain explicit formulae for all classical gauge groups and for arbitrary representations. We reproduce a known formula for the HOMFLY invariants of torus knots and links, and we obtain an analogous formula for Kauffman invariants. We also derive a formula for cable knots. We use our results to test a recently proposed conjecture that relates HOMFLY and Kauffman invariants.     

Solution of the equivalence problem for the Painlevé IV equation

We solve the equivalence problem for the Painlevé IV equation, formulating the necessary and sufficient conditions in terms of the invariants of point transformations for an arbitrary second-order differential equation to be equivalent to the Painlevé IV equation. We separately consider three pairwise nonequivalent cases: both equation parameters are zero, a = b = 0; only one parameter is zero, b = 0; and the parameter b ?? 0. In all cases, we give an explicit point substitution transforming an equation satisfying the described test into the Painlevé IV equation and also give expressions for the equation parameters in terms of invariants.     

Differential invariants of a class of Lagrangian systems with two degrees of freedom

We consider systems of Euler–Lagrange equations with two degrees of freedom and with Lagrangian being quadratic in velocities. For this class of equations the generic case of the equivalence problem is solved with respect to point transformations. Using Lie?s infinitesimal method we construct a basis of differential invariants and invariant differentiation operators for such systems. We describe certain types of Lagrangian systems in terms of their invariants. The results are illustrated by several examples.     

Moebius geometry of submanifolds in ? n

In this paper we define a Moebius invariant metric and a Moebius invariant second fundamental form for submanifolds in ? ⁿ and show that in case of a hypersurface with n≥ 4 they determine the hypersurface up to Moebius transformations. Using these Moebius invariants we calculate the first variation of the moebius volume functional. We show that any minimal surface in ? ⁿ is also Moebius minimal and that the image in ? ⁿ of any minimal surface in ℝ ⁿ unter the inverse of a stereographic projection is also Moebius minimal. Finally we use the relations between Moebius invariants to classify all surfaces in ?³ with vanishing Moebius form. Received: 18 November 1997     

The Moving-Frame Method for the Iterated-Integrals Signature: Orthogonal Invariants

Geometric, robust-to-noise features of curves in Euclidean space are of great interest for various applications such as machine learning and image analysis. We apply Fels–Olver’s moving-frame method (for geometric features) paired with the log-signature transform (for robust features) to construct a set of integral invariants under rigid motions for curves in \({\mathbb {R}}^d\) from the iterated-integrals signature. In particular, we show that one can algorithmically construct a set of invariants that characterize the equivalence class of the truncated iterated-integrals signature under orthogonal transformations, which yields a characterization of a curve in \({\mathbb {R}}^d\) under rigid motions (and tree-like extensions) and an explicit method to compare curves up to these transformations.

     

Vector Invariants in Arbitrary Characteristic

Let k be an algebraically closed field of characteristic p ≥ 0. Let H be a subgroup of GL_n(k). We are interested in the determination of the vector invariants of H. When the characteristic of k is 0, it is known that the invariants of d vectors, d ≥ n, are obtained from those of n vectors by polarization. This result is not true when char k = p > 0 even in the case where H is a torus. However, we show that the algebra of invariants is always the p-root closure of the algebra of polarized invariants. We also give conditions for the two algebras to be equal, relating equality to good filtrations and saturated subgroups. As applications, we discuss the cases where H is finite or a classical group.