A Note on Umbilic Points at Infinity

In this note a definition of umbilic point at infinity is proposed, at least for surfaces that are homogeneous polynomial graphs over a plane in Euclidean 3-space. This is a stronger definition than that of Toponogov in his study of complete convex surfaces, and allows one to distinguish between different umbilic points at infinity. It is proven that all such umbilic points at infinity are isolated, that they occur in pairs and are the zeroes of the projective extension of the third fundamental form, as developed by the authors in a previous paper. A geometric interpretation for our definition is that an umbilic point at infinity occurs when the tangent to the level set at infinity is also an asymptotic direction at infinity. We prove that a homogeneous polynomial graph must have an umbilic point, albeit at infinity.


Isolated Umbilic Points
Points on a surface in R 3 where the principal curvatures are equal, called umbilic points, play a central role in many areas of classical surface theory.For example, numerous results exist about totally umbilic surfaces and their generalizations [13] [15] [16] [17].Isolated umbilic points in particular have mysterious properties.The distinction between smoothness and real analyticity for a surface is intimately related to its umbilic points, as has been observed from both dynamic and stationary perspectives [3] [7] [11] [12].Their indices have been found to have applications in the study of zeros of holomorphic polynomials [8].
The purpose of this paper is to extend the notion of umbilic point to umbilic point at infinity in the case where the surface in question is a graph over a plane.The principal foliations at infinity have been considered previously by Ando using a one-point compactification of the surface [1].In [9], the authors defined umbilic points at infinity for more general polynomial graphs via the zeros of the projective extension of the third fundamental form.
This paper considers an alternative definition in terms of the fall-off of the curvature at infinity.We show that this agrees with the definition using the projective extension described in [9].Moreover we show that such an umbilic point at infinity can be characterised as a point at infinity where an asymptotic direction becomes tangent to the level set of the defining function.
In the case where the surface is given by a homogeneous polynomial graph, the points at infinity can be identified with a circle and asymptotic geometric invariants can be computed relatively easily.Moreover, umbilic points at infinity obtain a real projective significance.
In [18] Toponogov says that a complete convex plane P ⊂ R 3 must have an umbilic at infinity if it has no finite umbilic points but (1) inf where κ 1 , κ 2 are the principal curvatures of P .
In the same paper Toponogov conjectures that every complete convex plane must have an umbilic point, albeit at infinity in his sense, i.e. equality (1) must hold.Graphs of polynomial functions are easily seen to satisfy (1), so Toponogov's conjecture holds for such surfaces.A proof of Toponogov's conjecture is proposed in [6] which uses Fredholm regularity of an associated boundary value problem and mean curvature flow with boundary in co-dimension 2.
In this paper we adopt a stronger definition than Toponogov's for homogeneous polynomial graphs.To set notation and assist in the discussion, let us adopt the following definitions here and throughout.
P is a complete embedding of R 2 in R 3 defined by a graph x 3 = f (x 1 , x 2 ) for some polynomial function f .The Gauss map π : P → S 2 takes a point on the surface in R 3 to the direction of its unit normal.
Moving to complex coordinates z = x 1 + ix 2 on R 2 so that x 3 = f (z, z) and holomorphic coordinate ξ about the North pole on S 2 in the image of the Gauss map, the following relation is easily seen to hold: (2) As a point goes out to infinity on the surface, the normal generally tips over to the equator |ξ| = 1.Denote this circle by S 1 ∞ ⊂ S 2 .This defines a distance to infinity which we use in the sequel.
∞ in S 2 .In holomorphic coordinates, the distance to infinity is simply We can now define what it means to have an umbilic point at infinity.

Definition 2. P has an umbilic at infinity at
As p goes to infinity in P , d ∞ (p) goes to 0, and so this is a stronger requirement than Toponogov's.To have an umbilic point at infinity by our definition is to have a direction along which the difference between the curvatures goes to zero at least as fast as the Gauss map approaches the equator.
As we will see in Section 6, the elliptic paraboloid would have an umbilic at infinity according to Toponogov, but has no umbilic points at infinity according to our definition.
A geometric interpretation for our definition given below is that an umbilic point at infinity occurs when the tangent to the level set at infinity is also an asymptotic direction at infinity.
For homogeneous polynomial graphs we prove: Theorem 1.The graph of any homogeneous polynomial has a finite, even number of umbilic points at infinity.If the polynomial has degree n, then the number of umbilic points at infinity is no more than 6n − 8.
Note that the upper estimate on the number of umbilic points at infinity can be improved and refined -see [9].We prove the stronger analog of Toponogov's conjecture for homogeneous graphs: Theorem 2. A homogeneous polynomial graph P over a plane in R 3 satisfies This paper is organized as follows.In the next section the necessary background on surface geometry is covered and Section 3 applies this to smooth graphs.In Section 4 umbilic points at infinity are characterized for homogeneous polynomial graphs.
Section 5 contains the proofs of Theorems 1 and 2. In the final section the various geometric quantities are computed for elliptic and hyperbolic paraboloids and their umbilic points are infinity computed.

Background
Our approach to describing surfaces in R 3 and their curvatures is through the geometry of the space of oriented lines of R 3 and its submanifolds [4] [5].In this we seek properties that do not generalize to higher dimensions, phenomena that only occur for surfaces in three dimensions.
Complex coordinates are useful as they allow one to more easily track winding numbers and count indices, and they have a special role in two dimensions.
Most of what follows in this section can be found in the above cited papers and is summarized to fix notation and establish canonical relations.
Suppose now that S is a smooth surface in R 3 with second fundamental form Π : T S × T S → R. On the convex parts of S there may be umbilic points, namely, points where the eigenvalues of Π are equal: κ 1 = κ 2 .These are generically isolated.At every non-umbilic point the eigen-directions of Π form a pair of orthogonal lines, called the principal directions.
The principal directions determine the principal foliations on S, which have singularities at the umbilic points.For an isolated umbilic point p ∈ S there is a well-defined half-integer index determined by the principal foliation around p: In order to compute these, start with the space of oriented lines in R 3 , which is modeled by T S 2 .Choosing holomorphic coordinates ξ about the North pole of S 2 , construct complex coordinates (ξ, η) on T S 2 by identifying these complex numbers with the tangent vector X ∈ T ξ S 2 given by Now given a parameterized surface S in R 3 the oriented normal lines to S form a parameterized surface in T S 2 .Let the complex variable µ be the parameter on both S and its normal lines.That is, S has oriented normal lines (ξ, η) = (ξ(µ, μ), η(µ, μ)), where ξ and η are functions of µ and μ.
To compute the second fundamental form explicitly in terms of the derivatives of ξ and η, choose an orthonormal frame {e 0 , e 1 , e 2 } along S in R 3 adapted to the surface S in that e 0 is normal to S while e 1 and e 2 are tangent.Clearly this is only well-defined up to a rotation about the normal, which, if we introduce complex frames , is given by (e + , e − ) → (e iθ e + , e −iθ e − ).Define the complex quantities where σ is complex valued and ρ is real.The significance of these for surface theory is the following: , and the argument of σ determines the principal directions, as measured in the complex coordinates.
Umbilic points occur when σ = 0 and, if σ = Hξ n ξm for n, m ∈ N and H a real non-zero function, then the origin would be an isolated umbilic point of index (m − n)/2.
Turn now to the local computation of the second fundamental form in terms of these quantities: Proposition 2. [4] The curvatures have the following expressions in terms of the first derivatives of the parameterization in oriented line space: and ∂ and ∂ are differentiation with respect to µ and μ, respectively.
A 2-parameter family of oriented lines (ξ(µ, μ), η(µ, μ)) is orthogonal to a surface in R 3 iff there exists a real function r(µ, μ) satisfying: This function is classically called the support function of S. If there exists one solution r to this equation, then there exists a 1-parameter family of parallel surfaces, generated by the real constant of integration.

Smooth Graphs
Consider then a plane P embedded in R 3 that is a graph x 3 = f (x 1 , x 2 ) over R 2 .Introduce complex coordinates z = x 1 + ix 2 .The basic geometry of such surfaces is captured by: Proposition 3. The support function of a graph is , the normal direction is , and the oriented normal line (ξ, η) is .
Proof.We use coordinates For any surface given by x 3 = f (x 1 , x 2 ) = f (z, z), the unit normal is easily found to be where the last equality identifies any unit vector in R 3 with its complex coordinate ξ on the unit S 2 .This proves equation ( 2), and equation ( 8) is just a rearrangement of this relation.Note how the image of the Gauss map approaches the equator |ξ| = 1 at exactly the points where the slope of the function blows up.
Equation ( 9) follows from substituting the expression (8) for ξ into the incidence relationship for points and lines: Finally, the support function in equation ( 7) is easily found to solve equation ( 6).Proposition 4. The complex quantities defined in (3) which determine the principal curvatures and directions take the following form for a graph: As a consequence, the Gauss curvature is Proof.Equations ( 10) and (11) follow by differentiation of the expressions given in ( 8) and ( 9), using the formulae in Proposition 2 for σ and ρ.Here the general parameterization µ is replaced by the graph parameterization µ = z.Equation ( 12) follows directly from equations ( 10) and ( 11) via the fact that κ = ρρ − σσ.

Umbilic points at infinity
The Gauss map at infinity takes any A ∈ [0, 2π) to , if the limit exists.Note that if it is defined on the whole circle θ ∞ : S 1 → S 1 ∞ , the Gauss map at infinity has a well defined winding number.This is not uniquely determined by the degree of the polynomial as, for example, the elliptic paraboloid has winding number 1, while the hyperbolic paraboloid has winding number −1.
Note also that lim Thus, for a polynomial graph a generic direction (such that lim R→∞ ∂ z f = 0) this will be well-defined and, in fact, zero.This shows that Toponogov's conjecture, in the sense that inf holds for any polynomial graph.However, it also says that every polynomial graph has an umbilic point at infinity, in the sense of Toponogov.
Let us now turn to our stronger Definition 2 of umbilic points at infinity.First, consider the following complex quantity for A ∈ [0, 2π): , where σ is given by equation ( 10) and the limit may not exist.
The distance to infinity is d ∞ = 1 − |ξ|, and so 1 Since the second factor is bounded and non-zero, Thus if this limit, which may not exist, not only exists but is zero for some A, then we say, as per Definition 2, that the surface has an umbilic point at infinity at A. Proposition 5. A graphical surface P has an umbilic point at infinity at A if any one of the following equivalent conditions hold (iv) there is an asymptotic direction at infinity that is tangent to the level set at infinity.
Proof.We have already seen that (i) ⇐⇒ (ii).From equation ( 2) one can see that at infinity ξ → e iθ∞ as R → ∞.Here θ ∞ can be viewed as a function of A.
Then from equation (10) we see that This proves the that (ii) ⇐⇒ (iii).
To see that (iii) ⇐⇒ (iv), note that we can rewrite The quantity on the right-hand side is the Hessian evaluated on the tangent to the level set, so its vanishing at infinity means that the tangent becomes an asymptotic direction of the second fundamental form at infinity.This completes the proof of Proposition 5.

Homogeneous Polynomial Graphs
In the case where the graph function is a homogeneous polynomial, Proposition 5 says much more about the umbilic points at infinity.Suppose that P is given by x 3 = f (z, z), where f a real homogeneous polynomial of degree n.Define ( 14) This is a real homogeneous polynomial of degree 3n − 4 and and so, writing where µ = x 2 /x 1 = tan A. Thus by Proposition 5 and equation ( 13) we have: Proposition 6.A polynomial graph has an umbilic at infinity at A iff

Proof of Theorem 1:
This follows from Proposition 6, since the solutions of H(f ) = 0 are isolated and there are at most 3n − 4 distinct solutions, each yielding two umbilic points at infinity: one at A and one A + π, the antipodal direction.

Proof of Theorem 2:
To prove this Theorem consider the following: Lemma 1.For any homogeneous real-valued polynomial f , the polynomial H(f ) factorizes thus: where |Hessf | is the determinant of the Hessian of f .
Proof.Let f be a real homogeneous polynomial of (z, z) of degree n and denote ∂ z and ∂ z by ∂ and ∂, respectively.Recall Euler's Lemma in complex coordinates: and their concatenation ( 16) Consider Definition 14 written in the following way |Hessf |f, where we have used equation (15) going from the first to the second line, equation (16) going from the second to the third, and the determinant of the Hessian of f is Finally, rearranging gives the Lemma.
Thus for a homogeneous graph polynomial there is an umbilic point at infinity where either f = 0 or |Hessf | = 0.But these are precisely the points where the projective extension of the principal foliation of P has a singularity [9].
Let us now look at this more closely.The essential idea, which originated with Poincaré [14], is to double the principal foliations over the 2-sphere.To do this, view the domain R 2 as the horizontal plane in R 3 through the point (0, 0, 1).A point p ∈ R 2 is mapped to either of the points on the upper or lower hemispheres of the unit 2-sphere given by intersection with the associated line through the origin.In either case the points at infinity lie on the equator.
The two principal foliations of P are pulled back to the open hemispheres, these foliations having singularities at umbilic points, which appear in antipodal pairs on the 2-sphere.
For polynomial graphs, there is a unique projective extension of these foliations to the points at infinity, lying on the equator.The foliations are extended by considering the third fundamental form and extending this quadratic form.
For a homogeneous polynomial the foliations has singularities at infinity iff either f = 0 or |Hess(f )| = 0 (see Theorem 1.7 of [9]), that is, it has an umbilic at infinity as defined in this paper.
Since each umbilic point p is isolated, the foliation has a well-defined index i(p) which satisfies where here we count both the finite umbilic points and the umbilic points at infinity.Moreover, in [9] it is proven that the index of an umbilic at infinity is 1/2 Thus the sum of the umbilic indices on P (excluding antipodal points from the interior) and the indices at infinity, there must be at least one at umbilic point, since: which proves Theorem 2.

Paraboloids
To explore umbilic points at infinity explicitly, consider the paraboloids P satisfying: for non-zero constants a, b.If ab > 0 it is the elliptic paraboloid, while if ab < 0 it is the hyperbolic paraboloid.Parametrize P by the inverse of the Gauss map π : S → S 2 , which in complex coordinates centred at the North pole ξ = tan( θ 2 )e iφ is The coordinates span the interior of the unit disc: 0 ≤ φ < 2π and 0 ≤ θ < π/2 or |ξ| < 1.The support function is For ab > 0 this yields four solutions, two of which are in the unit disk, which coincide when a = b.
For ab < 0 the solutions are at infinity |ξ| 2 = 1.We find that and so if ab > 0 there are no solutions and hence no umbilic points at infinity, while if ab < 0 the solution set is a pair of lines, giving the four umbilic points at infinity.The Gauss map at infinity is To compute the index, consider the case a = −b = 1 so that σ = 1 − ξ ξ 2(1 + ξ ξ) 3 (1 + ξ4 ).The isolated umbilic points at infinity lie at fourth roots of negative unity: ξ = ±e ±πi/4 .
To compute the index at, say, ξ = e πi/4 , first use a linear change of variables to move the umbilic to the origin: ξ ′ = ξ − e πi/4 .Expanding σ in these coordinates yields (dropping the prime) where G is a non-zero real function.Thus the index is one half, in agreement with part (iii) of Theorem 1.4 of [9].