Namespaces
Variants
Actions

System of subvarieties

From Encyclopedia of Mathematics
Jump to: navigation, search

system of submanifolds

Given a differentiable manifold (or algebraic variety) , a system of submanifolds (system of subvarieties) is a differentiably (algebraically) parametrized family of submanifolds (subvarieties) . More generally, the notion makes sense and is useful also for other geometric objects, such as complex spaces, topological manifolds, algebras, etc. Such systems occur in may parts of mathematics both as tools and as objects to be investigated. Often additional requirements are added.

1. Foliations.

A codimension- foliation of a differentiable manifold is a -dimensional system of submanifolds of dimension such that locally near every point in the system looks like the system of parallel translates of in . Cf. Foliation for more details.

2. Nets.

A net in differential geometry is a family of -parameter systems of smooth curves on an -dimensional manifold such that through each point there passes precisely one curve from each family and such that the curves passing through a point intersect transversally (i.e. their tangent vectors at span the whole tangent space ). Cf. Net (in differential geometry). Thus, a net consists so to speak of transversally intersecting codimension- foliations.

3. Webs.

More generally one can consider "transversally intersecting" foliations of codimension of an -dimensional manifold for more general , , . This leads to the theory of webs, cf. Webs, geometry of and [a13].

4. Linear systems.

When the subvarieties or submanifolds are given by equations, e.g. in or in , it makes sense to talk about linear systems. A linear system of subvarieties is given by a family of equations

(*)

where the are functions on the ambient manifold. Cf. also Linear system. The notion of a linear algebraic system has received a great deal of attention particularly in analytic, projective and algebraic geometry, e.g. in the form of a (linear) system of subvarieties of a variety "cut out" by the system (*). Often the varieties in a linear system are all of the same dimension, or even of the same kind (apart from non-generic degeneracies).

5. Web (in algebraic geometry).

A three- (or higher-) parameter linear system of varieties, i.e. in (*). Sometimes also called a net.

6. Net (in algebraic geometry).

A two-parameter linear system of varieties, i.e. in (*). Cf. Net for more details.

7. Pencil (in geometry).

By far the most attention has been paid to one-dimensional systems of varieties and manifolds. These are called pencils. Thus, the family of curves in the plane determined by

for all possible values of the parameters and (except , ) is a pencil (in fact, the pencil depends on the single parameter ). The equation of a pencil of surfaces in space is written similarly. The two equations and give two elements of the pencil (two curves or two surfaces) which determine the whole pencil. Every two elements of the pencil intersect in the same set of points — the support. The support of the pencil can contain real as well as imaginary points. If the original curves of the pencil are algebraic curves of orders and , then the support consists of points (real or imaginary, ordinary or exceptional, cf. Bezout theorem).

A pencil of straight lines is the set of all straight lines lying in a plane and passing through a fixed point (an ordinary pencil) or parallel to a fixed straight line (an exceptional pencil). The equation of a pencil of straight lines has the form

A pencil of planes is the set of all planes passing through a fixed straight line (an ordinary pencil) or parallel to a certain fixed plane (an exceptional pencil). The equation of a pencil of planes has the form

A pencil of circles is a one-parameter family of circles which linearly depends on the parameter. A pencil of circles contains circles and one straight line. The support of an (ordinary) pencil of circles consists of the two circular points and two ordinary points and . If , then a pencil of circles can be defined as the set of circles (taking straight lines as circles of infinite radius) which pass through the points and ; if it is necessary to require in addition that the circles all touch at the point . If and are real and distinct, the pencil of circles is said to be elliptic (Fig. a), if they coincide (and are real) it is called parabolic (Fig. b) and if they are imaginary (and distinct) it is said to be hyperbolic (Fig. c). A set of concentric circles (Fig. d) is an exceptional pencil.

Figure: s091970a

Figure: s091970b

Figure: s091970c

Figure: s091970d

Every ordinary pencil of circles has a so-called radical axis — a straight line each point of which has the same power (different for different points) with respect to all circles of the pencil (cf. Degree of a point). The radical axis of an elliptic pencil passes through the common points of the circles; for a parabolic pencil it is their common tangent; for a hyperbolic pencil it is the line joining the centres of the two circles which are orthogonal to all the circles of the pencil. The centres of the circles of a pencil lie on a straight line which is perpendicular to the radical axis. The point of intersection of the line of the centres of a pencil and its radical axis is called the centre of the pencil. The power of the centre of the pencil with respect to any circle of the pencil is the same and is called the power of the pencil. If the -axis is the line of centres of the circles of the pencil, and the -axis is the radical axis of the pencil, then the equation of an arbitrary circle of the pencil has the form

where is the parameter determining a given circle and is the power of the pencil. For an elliptic pencil , for a parabolic pencil , for a hyperbolic pencil (the power of an exceptional pencil can be considered to be infinite).

The circles which are orthogonal to all the circles of a given pencil form a pencil themselves; this pencil is said to be conjugate to the given pencil. An elliptic pencil is conjugate to a hyperbolic pencil and a parabolic pencil is conjugate to a parabolic pencil.

Any pencil of circles is the intersection of two nets (cf. Net) of circles.

A pencil of spheres is a one-parameter family of spheres which linearly depends on the parameter. Any two spheres of the pencil intersect in a circle of real, zero or imaginary radius. In the first case the pencil of spheres is said to be elliptic, it consists of all spheres passing through a given circle; in the second case it is parabolic, and the pencil consists of all the spheres touching at a common point; in the third case it is hyperbolic, and the pencil consists of all the spheres which are orthogonal to three given spheres which intersect at two points. A pencil of spheres has a so-called radical plane, each point of which has the same power (different for different points) with respect to all the spheres of the pencil; the centres of all the spheres of a pencil lie on a single straight line, which is perpendicular to the radical plane.

A pencil of spheres is the intersection of three nets of spheres with centres lying on a single straight line.

In projective geometry an algebraic pencil of lines is the set of all lines in the projective plane with coordinates satisfying the equation

where is a polynomial not identically zero and homogeneous with respect to the variables , and ; the degree of is called the degree (or order) of the pencil of lines. A first-order algebraic pencil of lines is given by an equation

and is the set of all lines passing through the point with coordinates .

A second-order algebraic pencil of lines is given by an equation

where the are real numbers at least one of which is non-zero. If the discriminant , , is non-zero, the second-order pencil of lines is called non-degenerate, if it is degenerate. Each non-degenerate second-order pencil is the set of tangents to a non-degenerate second-order curve; each non-degenerate second-order curve is the envelope of a certain non-degenerate pencil of the second order.

More assorted algebraic and geometric pencils are discussed in Lobachevskii geometry; Darboux quadric; Halphen pencil; Cubic; Monodromy transformation; Circle.

Note that in some of the literature dealing with webs, nets and pencils in the sense of -, - and -dimensional families one occasionally adds the requirement that through each point there pass precisely a given number of members of the system, while the linearity condition (*) is dropped. Cf. e.g. [a14].

8. Fibrations.

Let be a system of submanifolds or subvarieties such that through each of the points of the ambient manifold there passes exactly one of the . Then there results a mapping . A priori, this mapping need not even be continuous. But if has appropriate properties (e.g. differentiable, holomorphic, algebraic, depending on the kind of objects under consideration), one obtains a fibration. Conversely, a surjective mapping defines a system . If the fibration is locally trivial, i.e. if locally in the mapping looks like , one usually speaks of a fibre bundle instead of a fibration.

9. Pencils of matrices.

The word "pencil" is also used in other fields of mathematics, to denote one-parameter (linear) families of objects. Thus, one speaks of pencils of operators , and especially of pencils of matrices , or, inhomogeneously, . The pencil , where and have coefficients in a field , can also be regarded as a matrix over .

Two polynomial matrices , , i.e. matrices with coefficients in , are equivalent if there are invertible matrices , such that . (Note that a square matrix over is invertible if and only if its determinant is a non-zero element of the field of constants .) The two polynomial matrices are strictly equivalent if there are invertible matrices , over such that . Equivalence of matrices is described precisely by the Smith canonical form, cf. Normal form for more details.

Consider a pencil of square matrices such that . For such pencils strict equivalence is the same as equivalence. A pencil of matrices is called regular if does not vanish identically. All other pencils are called singular.

The theory of invariants and canonical form for pencils of matrices was developed by L. Kronecker [a10]; cf. also [a9] for a complete account and some applications.

In (automatic) linear control theory one studies linear control systems

determined by a pair of matrices over (or ) of sizes and , respectively. The so-called feedback group is generated by the following transformations:

(this corresponds to a base change in the space of controls);

(this corresponds to a base change in the state space );

(this corresponds to state feedback: ).

Associate to the linear control system the singular pencil

(**)

of matrices. Now observe, [a2], that two pencils of the form (**) are strictly equivalent if and only if the corresponding control systems are equivalent under the feedback group.

The control system is completely reachable if the columns of the , span all of . For pencils of the form (**) of completely-reachable control systems, many of the Kronecker invariants for pencils vanish; the most important that remain are a finite number of integer-valued ones. These can be described as follows. Let be the dimension of the space spanned by the columns of , . Let , . Then , and for . Now, let be the dual partition of the partition of , i.e. . (Note that for , because .) These are potentially non-zero Kronecker invariants of (**). They are called the Kronecker indices in control theory. There is a corresponding state-feedback canonical form for a completely-reachable pair in which the matrix is a Jordan matrix with Jordan blocks , , while consists of standard unit vectors , , and, possibly, other vectors. This canonical form is called the Brunovsky canonical form. See [a12] and, e.g., [a11] for related matters.

10. Deformations (in algebra, algebraic, analytic and differential geometry, etc.).

Still another way of looking at a family of (sub) manifolds or varieties (or other structures) is as a deformation.

Note on terminology.

The terminology "web" , "net" , "pencil" as in 5.–7. above for, respectively, -, - and -dimensional (linear) systems is not completely standard. In particular, one also finds "net" instead of "web" , and sometimes "bundle" in the meaning of both "net" (as in 6.) and "pencil" (as in 7. or, rarely, as in 9.).

The material in 7. above is basically a translation of the subsection on pencils by A.B. Ivanov appearing under "puchok" in the original Russian version of the Encyclopaedia. The remainder of this article is original to this annotated and expanded translation.

References

[a1] M.M. Postnikov, "Analytic geometry" , Moscow (1973) (In Russian) MR0987205 MR0890748 Zbl 0662.51001 Zbl 0482.51001
[a2] J.L. Coolidge, "A treatise on the circle and the sphere" , Chelsea, reprint (1971) MR0389515 Zbl 0251.50002
[a3] S.-T. Hu, "Differentiable manifolds" , Holt, Rinehart & Winston (1969) MR0245030 Zbl 0182.26102
[a4] J. Morrow, K. Kodaira, "Complex manifolds" , Holt, Rinehart & Winston (1971) MR0302937 Zbl 0325.32001
[a5] M. Berger, "Geometry" , 1–2 , Springer (1987) (Translated from French) MR0903026 MR0895392 MR0882916 MR0882541 Zbl 0619.53001 Zbl 0606.51001 Zbl 0606.00020
[a6] J. Coolidge, "A history of the conic sections and quadratic surfaces" , Dover, reprint (1968) Zbl 0202.00103
[a7] H.S.M. Coxeter, "Introduction to geometry" , Wiley (1961) MR1531486 MR0123930 Zbl 0095.34502
[a8] P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001
[a9] F.R. [F.R. Gantmakher] Gantmacher, "The theory of matrices" , 2 , Chelsea, reprint (1959) pp. Chapt. XII (Translated from Russian) MR0107649 MR0107648 Zbl 0085.01001
[a10] L. Kronecker, "Algebraische Reduktion der Schaaren bilinearer Formen" Sitzungsber. Akad. Berlin (1890) pp. 763–776
[a11] M. Hazewinkel, "A partial survey of the uses of algebraic geometry in system and control theory" , Symp. Math. INDAM (Rome 1979) , 24 , Acad. Press (1981) pp. 245–292 MR0619251
[a12] R.E. Kalman, "Kronecker invariants and feedback" L. Weiss (ed.) , Ordinary Differential Equations , Acad. Press (1972) pp. 459–471 MR0421751 Zbl 0308.93008
[a13] V.V. Goldberg, "Theory of multicodimensional webs" , Kluwer (1988) Zbl 0668.53001
[a14] F. Severi, "Vorlesungen über algebraische Geometrie" , Johnson, reprint (1968) MR0245574 Zbl 48.0687.01
How to Cite This Entry:
System of subvarieties. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=System_of_subvarieties&oldid=23987