Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Line congruences associated to Appell's hypergeometric functions of rank-4

Matthew Ryan, Michael T. Schultz

Abstract

Line congruences - two-parameter families of lines in projective 3-space - are the genesis of many beautiful examples of transformations of surfaces, such as the Laplace transform. This subject is less well-known today than in previous generations. We survey and review results related to projective differential geometry of surfaces, line congruences, and close connections to linear systems of PDEs of finite type whose solutions define the data of an immersion of a surface into projective 3-space. We then derive formulae for the Laplace transform of the entire rank-4 linear system associated to such an immersed surface, obtaining explicit formulae for the rank-4 systems that define the Laplace transformed surfaces. We apply our results to study the geometry of surfaces defined by Appell's hypergeometric functions of rank-4, namely the functions $F_2$ and $F_4$. We show that the sequence of Laplace invariants for each is determined respectively by the Euler-Poisson-Darboux equation in the case of $F_2$, and Darboux's Harmonic equation in the case of $F_4$. Further, we show that for all parameter values of the hypergeometric functions, the natural line congruences generated by the Laplace transforms of the surfaces determined by either $F_2$ or $F_4$ constitute a $W$-congruence, an important example of line congruence.

Line congruences associated to Appell's hypergeometric functions of rank-4

Abstract

Line congruences - two-parameter families of lines in projective 3-space - are the genesis of many beautiful examples of transformations of surfaces, such as the Laplace transform. This subject is less well-known today than in previous generations. We survey and review results related to projective differential geometry of surfaces, line congruences, and close connections to linear systems of PDEs of finite type whose solutions define the data of an immersion of a surface into projective 3-space. We then derive formulae for the Laplace transform of the entire rank-4 linear system associated to such an immersed surface, obtaining explicit formulae for the rank-4 systems that define the Laplace transformed surfaces. We apply our results to study the geometry of surfaces defined by Appell's hypergeometric functions of rank-4, namely the functions and . We show that the sequence of Laplace invariants for each is determined respectively by the Euler-Poisson-Darboux equation in the case of , and Darboux's Harmonic equation in the case of . Further, we show that for all parameter values of the hypergeometric functions, the natural line congruences generated by the Laplace transforms of the surfaces determined by either or constitute a -congruence, an important example of line congruence.
Paper Structure (21 sections, 19 theorems, 153 equations)

This paper contains 21 sections, 19 theorems, 153 equations.

Table of Contents

  1. Introduction
  2. Conventions & Preliminaries
  3. Projective Spaces and Grassmannians
  4. Laplace Invariants
  5. Projective differential geometry of surfaces
  6. Geometry of rank-4 linear systems
  7. Digression on Quadrics
  8. Line congruences associated to projective surfaces
  9. Ruled Surfaces and Line Congruences
  10. Projective surfaces as focal surfaces of line congruences
  11. Conjugate Coordinates
  12. The Laplace Transformation
  13. Laplace transform of a rank-4 linear system
  14. Appell's hypergeometric functions of rank-4
  15. Appell's bivariate hypergeometric functions $F_2$ and $F_4$
  16. ...and 6 more sections

Key Result

Proposition 2.4

A system of linear PDEs of the form (eq-canonical_system) defines an immersed surface $\psi : S \to \mathbb{P}^3$ equipped with asymptotic local coordinates $(x,y)$ if and only if the following conditions hold:

Theorems & Definitions (53)

  • Definition 1.1
  • Definition 1.2
  • Example 1.3
  • Example 1.4
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Proposition 2.4: ashleyschultz2025, Lemma 3.6
  • Definition 2.5
  • Proposition 2.6
  • ...and 43 more