Differential Geometry of Veronese Webs
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.
math.DG↗
arXiv subjects
Maks A. Akivis
Publications and source records attributed to Maks A. Akivis.
Dually degenerate varieties and the generalization of a theorem of Griffiths--Harris
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.
math.DG↗
Induced connections on submanifolds in spaces with fundamental groups
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.
math.DG↗
Linearizability of d-webs, d \geq 4, on two-dimensional manifolds
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.
math.DG↗
Varieties with Degenerate Gauss Maps with Multiple Foci and Twisted Cones
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.
math.DG↗
An affine analogue of the Hartman-Nirenberg cylinder theorem
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.
math.DG↗
Geometry of Projective Planes over Two-Dimensional Algebras
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.
math.DG↗
Solution of Belousov's problem
The authors prove that a local $n$-quasigroup defined by the equation x_{n+1} = F (x_1, ..., x_n) = [f_1 (x_1) + ... + f_n (x_n)]/[x_1 + ... + x_n], where f_i (x_i), i, j = 1, ..., n, are arbitrary functions, is irreducible if and only if any two functions f_i (x_i) and f_j (x_j), i \neq j, are not both linear homogeneous, or these functions are linear homogeneous but f_i (x_i)/x_i \neq f_j (x_j)/x_j. This gives a solution of Belousov's problem to construct examples of irreducible $n$-quasigroups for any n \geq 3.
math.GR↗
Equivalence of Examples of Sacksteder and Bourgain
Finding examples of tangentially degenerate submanifolds (submanifolds with degenerate Gauss mappings) in an Euclidean space $R^4$ that are noncylindrical and without singularities is an important problem of differential geometry. The first example of such a hypersurface was constructed by Sacksteder in 1960. In 1995 Wu published an example of a noncylindrical tangentially degenerate algebraic hypersurface in $R^4$ whose Gauss mapping is of rank 2 and which is also without singularities. This example was constructed (but not published) by Bourgain. In this paper, the authors analyze Bourgain's example, prove that, as was the case for the Sacksteder hypersurface, singular points of the Bourgain hypersurface are located in the hyperplane at infinity of the space $R^4$, and these two hypersurfaces are locally equivalent.
math.DG↗
On the Structure of Submanifolds with Degenerate Gauss Mappings
An n-dimensional submanifold X of a projective space P^N (C) is called tangentially degenerate if the rank of its Gauss mapping γ: X ---> G (n, N) satisfies 0 < rank γ< n. The authors systematically study the geometry of tangentially degenerate submanifolds of a projective space $P^N (\mathbf{C})$. By means of the focal images, three basic types of submanifolds are discovered: cones, tangentially degenerate hypersurfaces, and torsal submanifolds. Moreover, for tangentially degenerate submanifolds, a structural theorem is proven. By this theorem, tangentially degenerate submanifolds that do not belong to one of the basic types are foliated into submanifolds of basic types. In the proof the authors introduce irreducible, reducible, and completely reducible tangentially degenerate submanifolds. It is found that cones and tangentially degenerate hypersurfaces are irreducible, and torsal submanifolds are completely reducible while all other tangentially degenerate submanifolds not belonging to basic types are reducible.
math.DG↗
On four-dimensional three-webs with integrable transversal distributions
For a four-dimensional (nonisoclinicly geodesic) three-web W (3, 2, 2), a transversal distribution $Δ$ is defined by the torsion tensor of the web. In general, this distribution is not integrable. The authors find necessary and sufficient conditions of its integrability and prove the existence theorem for webs W (3, 2, 2) with integrable distributions $Δ$. They prove that for a web W (3, 2, 2) with the integrable distribution $Δ$, the integral surfaces $V^2$ of $Δ$ are totally geodesic in an affine connection of a certain bundle of affine connections. They also consider a class of webs W (3, 2, 2) for which the integral surfaces $V^2$ of $Δ$ are geodesicly parallel with respect to the same affine connections and a class of webs for which two-dimensional webs W (3, 2, 1) cut by the foliations of W (3, 2, 2) on $V^2$ are hexagonal. They prove the existence theorems for webs of the latter class as well as for webs of the subclass which is the intersection of two classes mentioned above. The authors also establish relations between three-webs considered in the paper.
math.DG↗
Lightlike hypersurfaces on a four-dimensional manifold endowed with a pseudoconformal structure of signature (2, 2)
The authors study the geometry of lightlike hypersurfaces on a four-dimensional manifold $(M, c)$ endowed with a pseudoconformal structure $c = CO (2, 2)$. They prove that a lightlike hypersurface $V \subset (M, c)$ bears a foliation formed by conformally invariant isotropic geodesics and two isotropic distributions tangent to these geodesics, and that these two distributions are integrable if and only if $V$ is totally umbilical. The authors also indicate how, using singular points and singular submanifolds of a lightlike hypersurface $V \subset (M, c)$, to construct an invariant normalization of $V$ intrinsically connected with $V$.
math.DG↗
Lightlike hypersurfaces on manifolds endowed with a conformal structure of Lorentzian signature
The authors study the geometry of lightlike hypersurfaces on manifolds $(M, c)$ endowed with a pseudoconformal structure $c = CO (n - 1, 1)$ of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. On a lightlike hypersurface, the authors consider the fibration of isotropic geodesics and investigate their singular points and singular submanifolds. They construct a conformally invariant normalization of a lightlike hypersurface intrinsically connected with its geometry and investigate affine connections induced by this normalization. The authors also consider special classes of lightlike hypersurfaces. In particular, they investigate lightlike hypersurfaces for which the elements of the constructed normalization are integrable.
math.DG↗
On some methods of construction of invariant normalizations of lightlike hypersurfaces
The authors study the geometry of lightlike hypersurfaces on pseudo-Riemannian manifolds $(M, g)$ of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. For a lightlike hypersurface $V \subset (M, g)$ of general type and for some special lightlike hypersurfaces (namely, for totally umbilical and belonging to a manifold $(M, g)$ of constant curvature), in a third-order neighborhood of a point $x \in V$, the authors construct invariant normalizations intrinsically connected with the geometry of $V$ and investigate affine connections induced by these normalizations. For this construction, they used relative and absolute invariants defined by the first and second fundamental forms of $V$. The authors show that if $\dim M = 4$, their methods allow to construct three invariant normalizations and affine connections intrinsically connected with the geometry of $V$. Such a construction is given in the present paper for the first time. The authors also consider the fibration of isotropic geodesics of $V$ and investigate their singular points and singular submanifolds.
math.DG↗
On conformal invariance of isotropic geodesics
We consider real isotropic geodesics on manifolds endowed with a pseudoconformal structure and their applications to the theory of lightlike hypersurfaces on such manifolds, the geometry of four-dimensional conformal structures of Lorentzian type, and a classification of the Einstein spaces.
math.DG↗
The geometry of lightlike hypersurfaces of the de Sitter space
It is proved that the geometry of lightlike hypersurfaces of the de Sitter space S^{n+1}_1 is directly connected with the geometry of hypersurfaces of the conformal space C^n. This connection is applied for a construction of an invariant normalization and an invariant affine connection of lightlike hypersurfaces as well as for studying singularities of lightlike hypersurfaces.
math.DG↗
The Darboux mapping of canal hypersurfaces
The geometry of canal hypersurfaces of an n-dimensional conformal space C^n is studied. Such hypersurfaces are envelopes of r-parameter families of hyperspheres, 1 \leq r \leq n-2. In the present paper the conditions that characterize canal hypersurfaces, and which were known earlier, are made more precise. The main attention is given to the study of the Darboux maps of canal hypersurfaces in the de Sitter space M_1^{n+1} and the projective space P^{n+1}. To canal hypersurfaces there correspond r-dimensional spacelike tangentially nondegenerate submanifolds in M_1^{n+1} and tangentially degenerate hypersurfaces of rank r in P^{n+1}. In this connection the problem of existence of singular points on canal hypersurfaces is considered.
math.DG↗
On a normalization of a Grassmann manifold
On the Grassmann manifold G (m, n) of m-dimensional subspaces of an n-dimensional projective space P^n, a certain supplementary construction called the normalization is considered. By means of this normalization, one can construct the structure of a Riemannian or semi-Riemannian manifold or an affine connection on G(m, n).
math.DG↗