PARAMETRIZED LEGENDRE AND LAGRANGE VARIETIES
PARAMETRIZED LEGENDRE AND LAGRANGE VARIETIES
复制标题
参数化勒让德和拉格朗日簇
DOI:
10.2996/kmj/1138040038
复制
发表时间:
1994
影响因子:
0.6
通讯作者:
G. Ishikawa
中科院分区:
文献类型:
--
作者:
G. Ishikawa
BY Goo ISHIKAWA0. IntroductionLegendre varieties and Lagrange varieties appear in many areas, for instance, geo-metric optics [A][J2], generalized Cauchy problem for Hamilton-Jacobi equations [G2][13], projective geometry [SI], microlocal analysis [P][DP], moduli problem of vectorbundles on complex surfaces [Y], symplectic topology [Gl] and so on.In this survey we treat Legendre and Lagrange varieties admitting some parametriza-tions in complex analytic or C°° category. Then our study fits with the framework ofthe theory of singularities of differentiate mappings [AGV][B][D][GWPL][W].First we introduce the notion of a "front hypersurface" by the property that the Nashmodification projects to the hypersurface itself finitely to one. The Nash modification, inthis case, is the closure of the lifting of the regular points set to the projective cotangentbundle of the manifold where the hypersurface lies in: The projective cotangent bundleis identified with the totality of contact elements (tangent hyperplanes) of the basespace and it has the natural contact structure [A][SI]. The tangent hyperplanes to theregular points of a front hypersurface form a Legendre submanifold, that is, the maximaldimensional integral submanifold of the contact distribution defined over the projectivecotangent bundle and the closure of this natural lifting might be regarded as a Legendrevariety. In fact, a definition of Legendre variety is that it contains an open dense Legendresubmanifold. The Legendre variety thus obtained by Nash modification has singularitiesin general. If the Nash modification is non-singular, then the hypersurface turns out theprojection of a Legendre submanifold. Then the front hypersurface is called a wave frontset [A][Z1]. Remark that, for a generic Legendre submanifold, the projection is finiteto one. In the above definition of front hypersurfaces we allow singularities for Nashmodification, and to make the definition non-trivial, we add the finiteness condition.(See [LT] for the general theory of limits of tangent spaces.)We utilize parametrizations of varieties to formulate the notion above mentionedas follows: A mapping / from an n-dimensional manifold N to an n + 1-dimensionalmanifold B (say, of class (7°° or complex analytic) is called a front mapping if the set ofregular points of / is dense in TV, and, for each point x £ TV, the images of the tangentspaces of regular points converge to a tangent hyperplane T