Samuelson's webs of maximum rank
The authors found necessary and sufficient conditions for Samuelson's web to be of maximum rank.
arXiv subjects
Publications and source records attributed to Vladislav V. Goldberg.
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.
We present a complete description of a class of linearizable planar geodesic webs which contain a parallelizable 3-subweb.
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.
We present old and recent results on rank problems and linearizability of geodesic planar webs.
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.
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.
This paper has been withdrawn by the authors due to the fact that the webs considered in the paper are ``Veronese-like webs'' which are different from Veronese webs.
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é'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.
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.
The dual variety X* for a smooth n-dimensional variety X of the projective space P^N is the set of tangent hyperplanes to X. In the general case, the variety X* is a hypersurface in the dual space (P^N)*. If dim X* < N - 1, then the variety X is called dually degenerate. The authors refine these definitions for a variety X \subset P^N with a degenerate Gauss map of rank r. For such a variety, in the general case, the dimension of its dual variety X* is N - l - 1, where l = n - r, and X is dually degenerate if dim X* < N - l - 1. In 1979 Griffiths and Harris proved that a smooth variety X \subset P^N is dually degenerate if and only if all its second fundamental forms are singular. The authors generalize this theorem for a variety X \subset P^N with a degenerate Gauss map of rank r.
The authors establish a relation of the theory of varieties with degenerate Gauss maps in projective spaces with the theory of congruences and pseudocongruences of subspaces and show how these two theories can be applied to the construction of induced connections on submanifolds of projective spaces and other spaces endowed with a projective structure.
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.
The authors study in detail new types of varieties with degenerate Gauss maps: varieties with multiple foci and their particular case, the so-called twisted cones. They prove an existence theorem for twisted cones and describe their structure.
We present an example of a 6-web W (6, 3, 2) of codimension two and of maximum rank on a six-dimensional manifold which is not almost Grassmannizable.
We investigate the linearizability problem for different classes of 4-webs in the plane. In particular, we apply a recently found in [AGL] the linearizability conditions for 4-webs in the plane to confirm that a 4-web MW (Mayrhofer's web) with equal curvature forms of its 3-subwebs and a nonconstant basic invariant is always linearizable (this result was first obtained in [M 28]); it also follows from the papers [Na 96] and [Na98]). Using the same conditions, we also prove that such a 4-web with a constant basic invariant (Nakai's web) is linearizable if and only if it is parallelizable. We also study four classes of the so-called almost parallelizable 4-webs APW_a, a = 1, 2, 3, 4 (for them the curvature K = 0 and the basic invariant is constant on the leaves of the web foliation X_a), and prove that a 4-web APW_a is linearizable if and only if it coincides with a 4-web MW_a of the corresponding special class of 4-webs MW. The existence theorems are proved for all the classes of 4-webs considered in the paper.
Let X be a smooth, complete, connected submanifold of dimension n < N in a complex affine space A^N (C), and r is the rank of its Gauss map γ, γ(x) = T_x (X). The authors prove that if 2 \leq r \leq n - 1, N - n \geq 2, and in the pencil of the second fundamental forms of X, there are two forms defining a regular pencil all eigenvalues of which are distinct, then the submanifold X is a cylinder with (n-r)-dimensional plane generators erected over a smooth, complete, connected submanifold Y of rank r and dimension r. This result is an affine analogue of the Hartman-Nirenberg cylinder theorem proved for X \subset R^{n+1} and r = 1. For n \geq 4 and r = n - 1, there exist complete connected submanifolds X \subset A^N (C) that are not cylinders.
The authors study smooth lines on projective planes over the algebra C of complex numbers, the algebra C^1 of double numbers, and the algebra C^0 of dual numbers. In the space RP^5, to these smooth lines there correspond families of straight lines describing point three-dimensional tangentially degenerate submanifolds X^3 of rank 2. The authors study focal properties of these submanifolds and prove that they represent examples of different types of tangentially degenerate submanifolds. Namely, the submanifold X^3, corresponding in RP^5 to a smooth line γof the projective plane C, does not have real singular points, the submanifold X^3, corresponding in RP^5 to a smooth line γof the projective plane C^1 P^2, bears two plane singular lines, and finally the submanifold X^3, corresponding in RP^5 to a smooth line γof the projective plane C^0 P^2, bears one singular line.