J. W. Bruce,F. Tari
Abstract:Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of co-ordinates, for example that associated with their focal sets, and less well studied focal planes. We use tools from singularity theory to describe some generic phenomena. In particular we determine the generic singularities of various surfaces in affine 3-space associated to these congruences. We identify a projective quadric in the projectivised tangent space to the manifold of lines which plays a key role in understanding the affine geometry of ruled surfaces, congruences and $3$-parameter families or complexes. Many of the results generalise to lines in $\mathbb R^n, n>3$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the study of invariant properties of line complexes (or congruences, that is, families of straight lines defined by two parameters) in three - dimensional space under affine geometry. Specifically, the authors focused on the properties of the focal sets and focal planes of these line complexes, which remain invariant under affine coordinate transformations. By using singularity theory tools, they described some general phenomena and determined the general singularities of various surfaces in the three - dimensional affine space associated with these line complexes. In addition, the paper also explored a projective quadric in the projective tangent space of the manifold, and this quadric plays a key role in understanding the affine geometry of ruled surfaces, line complexes, and three - parameter families or complexes. The results of the paper are applicable not only to straight lines in three - dimensional space but can also be generalized to straight lines in \(R^n\) (\(n>3\)).
### Key points:
- **Research object**: Line complexes in three - dimensional space and their invariant properties under affine geometry.
- **Methodology**: Use singularity theory to analyze the focal sets and focal planes of line complexes.
- **Core contribution**: Determine the general singularities of various surfaces in the three - dimensional affine space associated with line complexes and introduce a key projective quadric.
- **Scope of application**: The results are applicable not only to three - dimensional space but can also be generalized to higher - dimensional spaces.
### Specific problems:
- **Focal sets and focal planes**: Study the focal sets (i.e., where the line complexes focus) and focal planes of line complexes. These concepts are studied through associated sets and by using a simple transversality result.
- **Intermediate surfaces**: For each line complex, an intermediate set is defined, most naturally defined as the midpoint of the focal pair. It is shown that these midpoints are real even when the foci are complex.
- **General singularities**: Describe the general singularities of the intermediate surfaces.
- **Projective quadric**: Identify a projective quadric in the projective tangent space of the manifold, which plays a crucial role in understanding the affine geometry of ruled surfaces, line complexes, and three - parameter families.
Through these studies, the paper provides new perspectives and tools for understanding the affine geometry of line complexes in three - dimensional space.