Showing 1–50 of 50 results for author: Guilfoyle, B

The three obdurate conjectures of differential geometry

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We explore the role of symmetry in three obdurate conjectures of differential geometry: the Carathéodory, the Willmore and the Lawson Conjectures. We explore the role of symmetry in three obdurate conjectures of differential geometry: the Carathéodory, the Willmore and the Lawson Conjectures. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: 7 pages, LateX

MSC Class: 53A05; 35K51; 32V40

Minimal surfaces in the Riemannian product of surfaces

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: Minimal surfaces in the Riemannian product of surfaces of constant curvature have been considered recently, particularly as these products arise as spaces of oriented geodesics of 3-dimensional space-forms. This papers considers more general Riemannian products of surfaces and explores geometric and topological restrictions that arise for minimal surfaces. We show that generically, a totally geode… ▽ More Minimal surfaces in the Riemannian product of surfaces of constant curvature have been considered recently, particularly as these products arise as spaces of oriented geodesics of 3-dimensional space-forms. This papers considers more general Riemannian products of surfaces and explores geometric and topological restrictions that arise for minimal surfaces. We show that generically, a totally geodesic surface in a Riemannian product is locally either a slice or a product of geodesics. If the Gauss curvatures of the factors are negative, it is proven that there are no minimal 2-spheres, while minimal 2-tori are Lagrangian with respect to both product symplectic structures. If the surfaces have non-zero bounded curvatures, we establish a sharp lower bound on the area of minimal 2-spheres and explore the properties of the Gauss and normal curvatures of general compact minimal surfaces. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 22 pages LaTeX

MSC Class: Primary 53C42; Secondary 53C50

From CT scans to 4-manifold topology

Authors: Brendan Guilfoyle

Abstract: In this survey paper the ultrahyperbolic equation in dimension four is discussed from a geometric, analytic and topological point of view. The geometry centres on the canonical neutral metric on the space of oriented geodesics of 3-dimensional space-forms, the analysis discusses a mean value theorem for solutions of the equation and presents a new solution of the Cauchy problem over a certain fami… ▽ More In this survey paper the ultrahyperbolic equation in dimension four is discussed from a geometric, analytic and topological point of view. The geometry centres on the canonical neutral metric on the space of oriented geodesics of 3-dimensional space-forms, the analysis discusses a mean value theorem for solutions of the equation and presents a new solution of the Cauchy problem over a certain family of null hypersurfaces, while the topology relates to generalizations of codimension two foliations of 4-manifolds. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 26 pages, 3 figures. Results from the following papers on arXiv are discussed: 2304.05702, 2204.13163, 2210.08155, 2011.11330, 2110.03998, 1812.03562, 1812.00710, 2002.12787, 1812.00707, 1605.09576, 1404.5509, 0808.0851, math/0702276, math/0407490, math/0406185, 1207.5994, 0709.2441, 1806.05440, 0911.2602

MSC Class: 53A25; 35Q99

Journal ref: Irish Math. Soc. Bull. 91 Summer (2023) 9-32

Parabolic evolution with boundary to the Bishop family of holomorphic discs

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: It is proven that a definite graphical rotationally symmetric line congruence evolving under mean curvature flow with respect to the neutral Kaehler metric in the space of oriented lines of Euclidean 3-space, subject to suitable Dirichlet and Neumann boundary conditions, converges to a maximal surface. When the Neumann condition implemented is that the flowing disc be holomorphic at the boundary,… ▽ More It is proven that a definite graphical rotationally symmetric line congruence evolving under mean curvature flow with respect to the neutral Kaehler metric in the space of oriented lines of Euclidean 3-space, subject to suitable Dirichlet and Neumann boundary conditions, converges to a maximal surface. When the Neumann condition implemented is that the flowing disc be holomorphic at the boundary, it is proven that the flow converges to a holomorphic disc. This is extended to the flow of a family of discs with boundary lying on a fixed rotationally symmetric line congruence, which is shown to converge to a filling by maximal surfaces. Moreover, if the family is required to be holomorphic at the boundary, it is shown that the flow converges to the Bishop filling by holomorphic discs of an isolated complex point of Maslov index 2. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 13 pages LaTeX. Includes the rotationally symmetric reduction of the evolution equations contained in arXiv:0808.0851

MSC Class: 35K51; 32V40

Properties and Transformations of Weingarten Surfaces

Authors: Brendan Guilfoyle, Morgan Robson

Abstract: The Weingarten relations satisfied by rotationally symmetric surfaces in Euclidean 3-space E3 are considered from three points of view: restrictions on the slope of the relation at umbilic points, the action of SL2(R) as fractional linear transformations on the space of curvatures, and variational formulations for the relations. With regard to the first, we obtain bounds on the slope of a Weingart… ▽ More The Weingarten relations satisfied by rotationally symmetric surfaces in Euclidean 3-space E3 are considered from three points of view: restrictions on the slope of the relation at umbilic points, the action of SL2(R) as fractional linear transformations on the space of curvatures, and variational formulations for the relations. With regard to the first, we obtain bounds on the slope of a Weingarten relation in terms of the fall off of the radii of curvature at an umbilic point. This generalizes recent work by a number of authors. For the second, we show that the action descends from curvature space to E3 and splits into three natural geometric actions. This is applied to a class of Weingarten surfaces, called semi-quadratic, on which the action is shown to be transitive. Finally, a natural Lagrangian formulation is given for certain types of Weingarten relations and stability established. △ Less

Submitted 4 December, 2024; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: ISSN 0019-3577

A Conformal Mean Value Theorem for Solutions of the Ultrahyperbolic Equation

Authors: Guillem Cobos, Brendan Guilfoyle

Abstract: Asgeirsson's theorem establishes a mean value property for solutions of the ultrahyperbolic equation. In the case of four variables, it states that the integrals of a solution over certain pairs of conjugate circles are the same. In this paper, the invariance of the four dimensional ultrahyperbolic equation under conformal maps of the pseudo-Euclidean space of signature 2+2 is used to get the most… ▽ More Asgeirsson's theorem establishes a mean value property for solutions of the ultrahyperbolic equation. In the case of four variables, it states that the integrals of a solution over certain pairs of conjugate circles are the same. In this paper, the invariance of the four dimensional ultrahyperbolic equation under conformal maps of the pseudo-Euclidean space of signature 2+2 is used to get the most general version of the mean value theorem. The name non-degenerate conjugate conics is used for the most general pairs of curves over which solutions of the ultrahyperbolic equation enjoy the mean value property. These are proven to be pairs of conic sections, so that, in addition to conjugate circles which were known to exist, the picture is completed by finding mean value theorems over conjugate hyperbolae, conjugate parabolae, and line-empty pairs. In addition, Fritz John established a link between conjugate circles and the two rulings of a hyperboloid of revolution. The line incidence property of doubly ruled surfaces is used to prove a one-to-one correspondence between non-degenerate conjugate conics and pairs of rulings of doubly ruled surfaces in Euclidean 3-space. △ Less

Submitted 14 October, 2022; originally announced October 2022.

On the Convergence of Non-Integer Linear Hopf Flow

Authors: Brendan Guilfoyle, Morgan Robson

Abstract: The evolution of a rotationally symmetric surface by a linear combination of its radii of curvature equation is considered. It is known that if the coefficients form certain integer ratios the flow is smooth and can be integrated explicitly. In this paper the non-integer case is considered for certain values of the coefficients and with mild analytic restrictions on the initial surface. We prove… ▽ More The evolution of a rotationally symmetric surface by a linear combination of its radii of curvature equation is considered. It is known that if the coefficients form certain integer ratios the flow is smooth and can be integrated explicitly. In this paper the non-integer case is considered for certain values of the coefficients and with mild analytic restrictions on the initial surface. We prove that if the focal points at the north and south poles on the initial surface coincide, the flow converges to a round sphere. Otherwise the flow converges to a non-round Hopf sphere. Conditions on the fall-off of the astigmatism at the poles of the initial surface are also given that ensure the convergence of the flow. The proof uses the spectral theory of singular Sturm-Liouville operators to construct an eigenbasis for an appropriate space in which the evolution is shown to converge. △ Less

Submitted 16 July, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: 22 pages

MSC Class: Primary 35K10; Secondary 53A05

Roots of Polynomials and Umbilics of Surfaces

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: For certain polynomials we relate the number of roots inside the unit circle with the index of a non-degenerate isolated umbilic point on a real analytic surface in Euclidean 3-space. In particular, for $N>0$ we prove that for a certain ($N+2$)-real dimensional family of complex polynomials of degree $N$, the number of roots inside the unit circle is less than or equal to $1+N/2$. This bound is… ▽ More For certain polynomials we relate the number of roots inside the unit circle with the index of a non-degenerate isolated umbilic point on a real analytic surface in Euclidean 3-space. In particular, for $N>0$ we prove that for a certain ($N+2$)-real dimensional family of complex polynomials of degree $N$, the number of roots inside the unit circle is less than or equal to $1+N/2$. This bound is established as follows. From the polynomial we construct a convex real analytic surface containing an isolated umbilic point, such that the index of the umbilic point is determined by the number of roots of the polynomial that lie inside the unit circle. The bound on the number of roots then follows from Hamburger's bound on the index of an isolated umbilic point on a convex real analytic surface. The class of polynomials that arise are those with self-inversive second derivative. Thus the number of roots inside the unit circle is proven to be bounded for a polynomial with self-inversive second derivative. △ Less

Submitted 5 September, 2023; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: 15 pages, 1 figure LaTeX

MSC Class: 30C15; 53A05

Journal ref: Results in Math. 78 (2023) 229

A Uniqueness Theorem for Incompressible Fluid Flows with Straight Streamlines

Authors: Brendan Guilfoyle

Abstract: It is proven that the only incompressible Euler fluid flows with fixed straight streamlines are those generated by the normal lines to a round sphere, a circular cylinder or a flat plane, the fluid flow being that of a point source, a line source or a plane source at infinity, respectively. The proof uses the local differential geometry of oriented line congruences to integrate the Euler equatio… ▽ More It is proven that the only incompressible Euler fluid flows with fixed straight streamlines are those generated by the normal lines to a round sphere, a circular cylinder or a flat plane, the fluid flow being that of a point source, a line source or a plane source at infinity, respectively. The proof uses the local differential geometry of oriented line congruences to integrate the Euler equations explicitly. △ Less

Submitted 8 January, 2022; originally announced January 2022.

Comments: 11 pages LATEX, Separate Appendix document contains REDUCE computer algebra code for the calculations

Journal ref: J. Math. Fluid Mech. 24 (2022) 90

Almost Paracomplex Structures on 4-Manifolds

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: Reflection in a line in Euclidean 3-space defines an almost paracomplex structure on the space of all oriented lines, isometric with respect to the canonical neutral Kaehler metric. Beyond Euclidean 3-space, the space of oriented geodesics of any real 3-dimensional space form admits both isometric and anti-isometric paracomplex structures. This paper considers the existence or otherwise of isome… ▽ More Reflection in a line in Euclidean 3-space defines an almost paracomplex structure on the space of all oriented lines, isometric with respect to the canonical neutral Kaehler metric. Beyond Euclidean 3-space, the space of oriented geodesics of any real 3-dimensional space form admits both isometric and anti-isometric paracomplex structures. This paper considers the existence or otherwise of isometric and anti-isometric almost paracomplex structures $j$ on a pseudo-Riemannian 4-manifold $(M,g)$, such that $j$ is parallel with respect to the Levi-Civita connection of $g$. It is shown that if an isometric or anti-isometric almost paracomplex structure on a conformally flat manifold is parallel, then the scalar curvature of the metric must be zero. In addition, it is found that $j$ is parallel iff the eigenplanes are tangent to a pair of mutually orthogonal foliations by totally geodesic surfaces. The composition of a Riemannian metric with an isometric almost paracomplex structure $j$ yields a neutral metric $g'$. It is proven that if $j$ is parallel, then $g$ is Einstein iff $g'$ is conformally flat and scalar flat. The vanishing of the Hirzebruch signature is found to be a necessary topological condition for a closed 4-manifold to admit an Einstein metric with a parallel isometric paracomplex structure. Thus, while the K3 manifold admits an Einstein metric with an isometric paracomplex structure, it cannot be parallel. The same holds true for certain connected sums of complex projective 2-space and its conjugate. △ Less

Submitted 8 October, 2021; originally announced October 2021.

Comments: 28 pages Latex

Journal ref: Differential Geom. Appl. 82 (2022) 101890

A Note on Umbilic Points at Infinity

Authors: Brendan Guilfoyle

Abstract: 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 isola… ▽ More 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. △ Less

Submitted 1 November, 2023; v1 submitted 22 August, 2021; originally announced August 2021.

Comments: 11 pages

MSC Class: 53C12; 53A05; 34K32; 53A20

Journal ref: Beiträge Algebra Geom. (2024)

An Extension of Asgeirsson's Mean Value Theorem for Solutions of the ultra-hyperbolic Equation in Dimension Four

Authors: Guillem Cobos, Brendan Guilfoyle

Abstract: In 1937 Asgeirsson established a mean value property for solutions of the general ultra-hyperbolic equation in $2n$ variables. In the case of four variables, it states that the integrals of a solution over certain pairs of conjugate circles are the same. In this paper we extend this result to non-degenerate conjugate conics, which include the original case of conjugate circles and adds the new cas… ▽ More In 1937 Asgeirsson established a mean value property for solutions of the general ultra-hyperbolic equation in $2n$ variables. In the case of four variables, it states that the integrals of a solution over certain pairs of conjugate circles are the same. In this paper we extend this result to non-degenerate conjugate conics, which include the original case of conjugate circles and adds the new case of conjugate hyperbolae. The broader context of this result is the geometrization of Fritz John's 1938 analysis of the ultra-hyperbolic equation. Solutions of the equation arise as the compatibility for functions on line space to come from line integrals of functions in Euclidean 3-space. The introduction of the canonical neutral Kaehler metric on the space of oriented lines clarifies the relationship and broadens the paradigm to allow new insights. In particular, it is proven that a solution of the ultra-hyperbolic equation has the mean value property over any pair of curves that arise as the image of John's conjugate circles under a conformal map. These pairs of curves are then shown to be conjugate conics, which include circles and hyperbolae. John identified conjugate circles with the two rulings of a hyperboloid of 1-sheet. Conjugate hyperbolae are identified with the two rulings of either a piece of a hyperboloid of 1-sheet or a hyperbolic paraboloid. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Journal ref: Differential Geometry and its Applications, Volume 79, (2021)

Proof of the Toponogov Conjecture on Complete Surfaces

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value problem and an existence result for holomorphic discs with Lagrangian boundary conditions, both of which apply to a putative counterexample. Corollaries of the ma… ▽ More We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value problem and an existence result for holomorphic discs with Lagrangian boundary conditions, both of which apply to a putative counterexample. Corollaries of the main theorem include a Hawking-Penrose singularity-type theorem, as well as the proof of a conjecture of Milnor's from 1965 in the convex case. △ Less

Submitted 27 September, 2024; v1 submitted 28 February, 2020; originally announced February 2020.

Comments: AMS Latex, 44 pages, 3 figures. The paper includes previously unpublished material by the authors that originally appeared in arXiv:0808.0851

MSC Class: 53A05

Journal ref: J. Gokova Geom. Topol. GGT 17 (2024) 1-50

On Isolated Umbilic Points

Authors: Brendan Guilfoyle

Abstract: Counter-examples to the famous conjecture of Caratheodory, as well as the bound on umbilic index proposed by Hamburger, are constructed with respect to Riemannian metrics that are arbitrarily close to the flat metric on Euclidean 3-space. In particular, Riemannian metrics with a smooth strictly convex 2-sphere containing a single umbilic point are constructed explicitly, in contradiction with an… ▽ More Counter-examples to the famous conjecture of Caratheodory, as well as the bound on umbilic index proposed by Hamburger, are constructed with respect to Riemannian metrics that are arbitrarily close to the flat metric on Euclidean 3-space. In particular, Riemannian metrics with a smooth strictly convex 2-sphere containing a single umbilic point are constructed explicitly, in contradiction with any direct extension of Caratheodory's conjecture. Additionally, a Riemannian metric with an embedded surface containing an isolated umbilic point of any index is presented, violating Hamburger's umbilic index bound. In both cases, it is shown that the metric can be made arbitrarily close to the flat metric. A short video explaining the motivation and results of this paper can be found at the following link: https://youtu.be/Wjja4PcMtxc △ Less

Submitted 21 January, 2021; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 9 pages LaTeX. Published in a special issue of Communications in Analysis and Geometry in honour of Prof. Karen K. Uhlenbeck

MSC Class: 53A05; 53A35

Journal ref: Comm. Anal. Geom. 28.8 (2020) 2005-2018

Mean Curvature Flow of Compact Spacelike Submanifolds in Higher Codimension

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We prove long-time existence for mean curvature flow of a smooth $n$-dimensional spacelike submanifold of an $n+m$ dimensional manifold whose metric satisfies the timelike curvature condition. We prove long-time existence for mean curvature flow of a smooth $n$-dimensional spacelike submanifold of an $n+m$ dimensional manifold whose metric satisfies the timelike curvature condition. △ Less

Submitted 22 July, 2020; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 19 pages LaTEX. Essentially this is Section 3 of the Proof of the Caratheodory Conjecture by the same authors, which is posted at arXiv:0808.0851

Journal ref: Trans. Amer. Math. Soc. 372.9 (2019) 6263-6281

Fredholm-Regularity of Holomorphic Discs in Plane Bundles over Compact Surfaces

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We study the space of holomorphic discs with boundary on a surface in a real 2-dimensional vector bundle over a compact 2-manifold. We prove that, if the ambient 4-manifold admits a fibre-preserving transitive holomorphic action, then a section with a single complex point has $C^{2,α}$-close sections such that any (non-multiply covered) holomorphic disc with boundary in these sections are Fredholm… ▽ More We study the space of holomorphic discs with boundary on a surface in a real 2-dimensional vector bundle over a compact 2-manifold. We prove that, if the ambient 4-manifold admits a fibre-preserving transitive holomorphic action, then a section with a single complex point has $C^{2,α}$-close sections such that any (non-multiply covered) holomorphic disc with boundary in these sections are Fredholm regular. Fredholm regularity is also established when the complex surface is neutral Kähler, the action is both holomorphic and symplectic, and the section is Lagrangian with a single complex point. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 9 pages LaTEX, to appear in Ann. Fac. Sci. Toulouse Math. Essentially a revised version of Section 2.2 of the Proof of the Caratheodory Conjecture by the same authors posted at arXiv: arXiv:0808.0851

Journal ref: Ann. Fac. Sci. Toulouse Math. Série 6, 29.3 (2020) 565-576

Umbilic Points on the Finite and Infinite Parts of Certain Algebraic Surfaces

Authors: Brendan Guilfoyle, Adriana Ortiz-Rodríguez

Abstract: The global qualitative behaviour of fields of principal directions for the graph of a real valued polynomial function $f$ on the plane are studied. We provide a Poincaré-Hopf type formula where the sum over all indices of the principal directions at its umbilic points only depends upon the number of real linear factors of the homogeneous part of highest degree of $f$. Moreover, we study the projec… ▽ More The global qualitative behaviour of fields of principal directions for the graph of a real valued polynomial function $f$ on the plane are studied. We provide a Poincaré-Hopf type formula where the sum over all indices of the principal directions at its umbilic points only depends upon the number of real linear factors of the homogeneous part of highest degree of $f$. Moreover, we study the projective extension of these fields and prove, under generic conditions, that every umbilic point at infinity of these extensions is isolated, has index equal to 1/2 and its topological type is a Lemon. △ Less

Submitted 22 June, 2021; v1 submitted 15 August, 2018; originally announced August 2018.

Comments: 28 pages, 12 figures

MSC Class: 53C12; 53A05; 34K32; 53A20

A new geometric structure on tangent bundles

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: For a Riemannian manifold $(N,g)$, we construct a scalar flat metric $G$ in the tangent bundle $TN$. It is locally conformally flat if and only if either, $N$ is a 2-dimensional manifold or, $(N,g)$ is a real space form. It is also shown that $G$ is locally symmetric if and only if $g$ is locally symmetric. We then study submanifolds in $TN$ and, in particular, find the conditions for a curve to b… ▽ More For a Riemannian manifold $(N,g)$, we construct a scalar flat metric $G$ in the tangent bundle $TN$. It is locally conformally flat if and only if either, $N$ is a 2-dimensional manifold or, $(N,g)$ is a real space form. It is also shown that $G$ is locally symmetric if and only if $g$ is locally symmetric. We then study submanifolds in $TN$ and, in particular, find the conditions for a curve to be geodesic. The conditions for a Lagrangian graph to be minimal or Hamiltonian minimal in the tangent bundle $T{\mathbb R}^n$ of the Euclidean real space ${\mathbb R}^n$ are studied. Finally, using the cross product in ${\mathbb R}^3$ we show that the space of oriented lines in ${\mathbb R}^3$ can be minimally isometrically embedded in $T{\mathbb R}^3$. △ Less

Submitted 14 June, 2018; originally announced June 2018.

Comments: 23 pages, AMS-Tex

Journal ref: Journal of Geometry and Physics, 172 (2022), 104415

Evolving to Non-round Weingarten Spheres: Integer Linear Hopf Flows

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: In the 1950's Hopf gave examples of non-round convex 2-spheres in Euclidean 3-space with rotational symmetry that satisfy a linear relationship between their principal curvatures. In this paper we investigate conditions under which evolving a smooth rotationally symmetric sphere by a linear combination of its radii of curvature yields a Hopf sphere. When the coefficients of the flow have certain i… ▽ More In the 1950's Hopf gave examples of non-round convex 2-spheres in Euclidean 3-space with rotational symmetry that satisfy a linear relationship between their principal curvatures. In this paper we investigate conditions under which evolving a smooth rotationally symmetric sphere by a linear combination of its radii of curvature yields a Hopf sphere. When the coefficients of the flow have certain integer values, the fate of an initial sphere is entirely determined by the local geometry of its isolated umbilic points. A surprising variety of behaviours is uncovered: convergence to round spheres and non-round Hopf spheres, as well as divergence to infinity. The critical quantity is the rate of vanishing of the astigmatism - the difference of the radii of curvature - at the isolated umbilic points. It is proven that the size of this quantity versus the coefficient in the flow function determines the fate of the evolution. The geometric setting for the equation is Radius of Curvature space, viewed as a pair of hyperbolic/AdS half-planes joined along their boundary, the umbilic horizon. A rotationally symmetric sphere determines a parameterized curve in this plane with end-points on the umbilic horizon. The slope of the curve at the umbilic horizon is linked by the Codazzi-Mainardi equations to the rate of vanishing of astigmatism, and for generic initial conditions can be used to determine the outcome of the flow. The slope can jump during the flow, and a number of examples are given: instant jumps of the initial slope, as well as umbilic circles that contract to points in finite time and 'pop' the slope. Finally, we present soliton-like solutions: curves that evolve under linear flows by mutual hyperbolic/AdS isometries (dilation and translation) of Radius of Curvature space. A forthcoming paper will apply these geometric ideas to non-linear curvature flows. △ Less

Submitted 2 September, 2017; originally announced September 2017.

Comments: 24 page latex, 1 figure. Proposition 5 uses binomial identities that were discussed on the MathOverflow threads at http://mathoverflow.net/questions/275214/is-there-a-simple-proof-of-the-following-identity-for-sum-k-m-1l-1km and http://mathoverflow.net/questions/278074/is-there-a-simple-proof-of-the-following-identity-part-2}

Journal ref: Partial Differ. Equ. Appl. 2 (2021) 72

Hopf hypersurfaces in spaces of oriented geodesics

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector. We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space adm… ▽ More A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector. We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space admits a canonical Kaehler-Einstein and para-Kaehler-Einstein structure, respectively, so that a natural notion of a Hopf hypersurface exists. The particular hypersurfaces considered are formed by the oriented geodesics that are tangent to a given convex hypersurface in the underlying space form. We prove that a tangent hypersurface is Hopf in the space of oriented geodesics with respect to this canonical (para-)Kaehler structure iff the underlying convex hypersurface is totally umbilic and non-flat. In the case of 3 dimensional space forms, however, there exists a second canonical complex structure which can also be used to define Hopf hypersurfaces. We prove that in this dimension, the tangent hypersurface of a convex hypersurface in the space form is always Hopf with respect to this second complex structure. △ Less

Submitted 23 August, 2016; originally announced August 2016.

Comments: 10 pages AMS-TEX

Journal ref: J. Geom. 108 (2017) 1129 -1135

The causal topology of neutral 4-manifolds with null boundary

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings. A null hypersurface is foliated by its normal and, in the neutral case, inherits a pair of tot… ▽ More This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings. A null hypersurface is foliated by its normal and, in the neutral case, inherits a pair of totally null planes at each point. This paper focuses on these plane bundles in a number of classical settings The first construction is the conformal compactification of flat neutral 4-space into the 4-ball. The null foliation on the boundary in this case is the Hopf fibration on the 3-sphere and the totally null planes in the boundary are integrable. The metric on the 4-ball is a conformally flat, scalar-flat, positive Ricci curvature neutral metric. The second constructions are subsets of the 4-dimensional space of oriented geodesics in a 3-dimensional space-form, equipped with its canonical neutral metric. We consider all oriented geodesics tangent to a given embedded strictly convex 2-sphere. The third is a neutral geometric model for the intersection of two surfaces in a 4-manifold. The surfaces are the sets of oriented normal lines to two round spheres in Euclidean 3-space, which form Lagrangian surfaces in the 4-dimensional space of all oriented lines. The intersection of the boundaries of their normal neighbourhoods form tori that we prove are totally real and Lorentz if the spheres do not intersect. We conclude with possible topological applications of the three constructions, including neutral Kirby calculus, neutral knot invariants and neutral Casson handles, respectively. △ Less

Submitted 24 October, 2016; v1 submitted 31 May, 2016; originally announced May 2016.

Comments: 26 pages AMS-TEX, v2 includes Reeb vector field characterisation. For an expository video on the results and background of this paper, please follow link https://www.youtube.com/watch?v=VUlPMPwT-hA

MSC Class: Primary: 53A35; Secondary: 57N13

Journal ref: New York J. Math. 27 (2021) 477--507

Parabolic Classical Curvature Flows

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We consider classical curvature flows: 1-parameter families of convex embeddings of the 2-sphere into Euclidean 3-space which evolve by an arbitrary (non-homogeneous) function of the radii of curvature. The associated flow of the radii of curvature is a second order system of partial differential equations which we show decouples to highest order. We determine the conditions for this system to be… ▽ More We consider classical curvature flows: 1-parameter families of convex embeddings of the 2-sphere into Euclidean 3-space which evolve by an arbitrary (non-homogeneous) function of the radii of curvature. The associated flow of the radii of curvature is a second order system of partial differential equations which we show decouples to highest order. We determine the conditions for this system to be parabolic and investigate the lower order terms. The zeroth order terms are shown to form a Hamiltonian system, which is therefore completely integrable. We find conditions on parabolic curvature flows that ensure boundedness of various geometric quantities and investigate some examples, including powers of mean curvature flow, Gauss curvature flow and mean radius of curvature flow, as well as the non-homogeneous Bloore flow. As a new tool we introduce the Radii of Curvature diagram of a surface and its canonical hyperbolic metric. The relationship between these and the properties of Weingarten surfaces are also discussed. △ Less

Submitted 18 June, 2015; v1 submitted 6 March, 2015; originally announced March 2015.

Comments: 21 pages, 2 Figures, 3 Tables, AMSTeX. A video of a talk explaining the methods and results of this paper can be found at the following link: https://youtu.be/Sx1T6legtgQ

MSC Class: Primary: 53B30; Secondary: 53A25

Journal ref: J. Aust. Math. Soc. 104.3 (2018) 338-357

A Global Version of a Classical Result of Joachimsthal

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: A classical result attributed to Joachimsthal in 1846 states that if two surfaces intersect with constant angle along a line of curvature of one surface, then the curve of intersection is also a line of curvature of the other surface. In this note we prove a global analogue of this result, as follows. Suppose that two closed convex surfaces intersect with constant angle along a curve that is not… ▽ More A classical result attributed to Joachimsthal in 1846 states that if two surfaces intersect with constant angle along a line of curvature of one surface, then the curve of intersection is also a line of curvature of the other surface. In this note we prove a global analogue of this result, as follows. Suppose that two closed convex surfaces intersect with constant angle along a curve that is not umbilic in either surface. We prove that the principal foliations of the two surfaces along the curve are either both orientable, or both non-orientable. We prove this by characterizing the constant angle intersection of two surfaces in Euclidean 3-space as the intersection of a surface and a hypersurface in the space of oriented lines. The surface is Lagrangian, while the hypersurface is null, with respect to the canonical neutral Kaehler structure. We establish a relationship between the principal directions of the two surfaces along the intersection curve in Euclidean space, which yields the result. This method of proof is motivated by topology and, in particular, the slice problem for curves in the boundary of a 4-manifold. △ Less

Submitted 18 February, 2016; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: 7 pages, 1 figure. Revision corrected to a mod 2 index result

MSC Class: 53B30 (Primary); 53A25 (Secondary)

Journal ref: Houston J. Math. 45.2 (2019) 455-467

A Converging Lagrangian Curvature Flow in the Space of Oriented Lines

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: Under mean radius of curvature flow, a closed convex surface in Euclidean space is known to expand exponentially to infinity. In the 3-dimensional case we prove that the oriented normals to the flowing surface converge to the oriented normals of a round sphere whose centre is determined by the initial surface. To prove this we show that the oriented normal lines, considered as a surface in the s… ▽ More Under mean radius of curvature flow, a closed convex surface in Euclidean space is known to expand exponentially to infinity. In the 3-dimensional case we prove that the oriented normals to the flowing surface converge to the oriented normals of a round sphere whose centre is determined by the initial surface. To prove this we show that the oriented normal lines, considered as a surface in the space of all oriented lines, evolve by a parabolic flow which preserves the Lagrangian condition. Moreover, this flow converges to a holomorphic Lagrangian section, which form the set of oriented lines through a point. The coordinates of this centre point are projections of the support function into the first non-zero eigenspace of the spherical Laplacian and are given by explicit integrals of initial surface data. △ Less

Submitted 18 June, 2015; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: 8 pages AMS-TEX, v2 includes fixed typos, improved exposition. A video of a talk explaining the methods and results of this paper can be found at the following link: https://youtu.be/Sx1T6legtgQ

MSC Class: Primary: 53B30; Secondary: 53A25

Journal ref: Kyushu J. 70 (2016) 343--351

Marginally trapped surfaces in spaces of oriented geodesics

Authors: Brendan Guilfoyle, Nikos Georgiou

Abstract: We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures. We prove that every rank one surface in these four manifolds is marginally trapped. In the Euclidean case we show that Lagrangian rotational… ▽ More We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures. We prove that every rank one surface in these four manifolds is marginally trapped. In the Euclidean case we show that Lagrangian rotationally symmetric sections are marginally trapped and construct an explicit family of marginally trapped Lagrangian tori. In the hyperbolic case we explore the relationship between marginally trapped and Weingarten surfaces, and construct examples of marginally trapped surfaces with various properties. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Comments: 15 pages, 1 figure

Journal ref: Journal of Geometry and Physics 82 (2014) 1-12

An index bound for smooth umbilic points

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We prove that the half-integer valued local index of an isolated umbilic point on a $C^{3+α}$-smooth convex surface in Euclidean 3-space is less than two. The approach is to study the co-kernel of an associated Riemann-Hilbert boundary value problem. The link between the local and global is a semi-local technique that we term totally real blow-up. Topologically, given a real surface in a complex… ▽ More We prove that the half-integer valued local index of an isolated umbilic point on a $C^{3+α}$-smooth convex surface in Euclidean 3-space is less than two. The approach is to study the co-kernel of an associated Riemann-Hilbert boundary value problem. The link between the local and global is a semi-local technique that we term totally real blow-up. Topologically, given a real surface in a complex surface, the totally real blow-up is the connect sum of the real surface with an embedded real projective plane. We show that this increases the sum of the complex indices of the real surface by one, and hence cancels isolated hyperbolic complex points. This leads to the reduction of the local result to the global result (the non-existence of closed embedded Lagrangian surfaces with a single complex point), proving that the umbilic index for smooth surfaces is less than two. Comparison of our smooth result with that of Hans Hamburger in the real analytic case (stating that the index of an isolated umbilic point on a real analytic convex surface is less than or equal to one) suggests the existence of "exotic" umbilic points of index 3/2. △ Less

Submitted 27 September, 2024; v1 submitted 25 July, 2012; originally announced July 2012.

Comments: 10 pages 3 figures AMS-LateX. A series of expository video clips explaining the methods and results of this paper can be found at the following link: http://www.youtube.com/watch?v=ybop3dETUjc

MSC Class: 53A05

On the Geometry of Spaces of Oriented Geodesics

Authors: Dmitri V. Alekseevsky, Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para… ▽ More Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para)Kaehler structure on L(M). △ Less

Submitted 13 November, 2009; originally announced November 2009.

Comments: 29 pages LaTEX

MSC Class: 53A25 (Primary); 53B35 (Secondary)

Journal ref: Ann. Global Anal. Geom. 40 (2011) 389--409, and Erratum: Ann. Global Anal. Geom. 50 (2016) 97--99

On the three-dimensional Blaschke-Lebesgue problem

Authors: Henri Anciaux, Brendan Guilfoyle

Abstract: The width of a closed convex subset of Euclidean space is the distance between two parallel supporting planes. The Blaschke-Lebesgue problem consists of minimizing the volume in the class of convex sets of fixed constant width and is still open in dimension n > 2. In this paper we describe a necessary condition that the minimizer of the Blaschke-Lebesgue must satisfy in dimension n=3: we prove tha… ▽ More The width of a closed convex subset of Euclidean space is the distance between two parallel supporting planes. The Blaschke-Lebesgue problem consists of minimizing the volume in the class of convex sets of fixed constant width and is still open in dimension n > 2. In this paper we describe a necessary condition that the minimizer of the Blaschke-Lebesgue must satisfy in dimension n=3: we prove that the smooth components of the boundary of the minimizer have their smaller principal curvature constant, and therefore are either spherical caps or pieces of tubes (canal surfaces). △ Less

Submitted 14 August, 2010; v1 submitted 17 June, 2009; originally announced June 2009.

Comments: 10 pages, second version, minor changes

MSC Class: 52A15; 52A40

Totally Null Surfaces in Neutral Kaehler 4-Manifolds

Authors: Nikos Georgiou, Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We study the totally null surfaces of the neutral Kaehler metric on certain 4-manifolds. The tangent spaces of totally null surfaces are either self-dual ($α$-planes) or anti-self-dual ($β$-planes) and so we consider $α$-surfaces and $β$-surfaces. The metric of the examples we study, which include the spaces of oriented geodesics of 3-manifolds of constant curvature, are anti-self-dual, and so i… ▽ More We study the totally null surfaces of the neutral Kaehler metric on certain 4-manifolds. The tangent spaces of totally null surfaces are either self-dual ($α$-planes) or anti-self-dual ($β$-planes) and so we consider $α$-surfaces and $β$-surfaces. The metric of the examples we study, which include the spaces of oriented geodesics of 3-manifolds of constant curvature, are anti-self-dual, and so it is well-known that the $α$-planes are integrable and $α$-surfaces exist. These are holomorphic Lagrangian surfaces, which for the geodesic spaces correspond to totally umbilic foliations of the underlying 3-manifold. The $β$-surfaces are less known and our interest is mainly in their description. In particular, we classify the $β$-surfaces of the neutral Kaehler metric on $TN$, the tangent bundle to a Riemannian 2-manifold $N$. These include the spaces of oriented geodesics in Euclidean and Lorentz 3-space, for which we show that the $β$-surfaces are affine tangent bundles to curves of constant geodesic curvature on $S^2$ and $H^2$, respectively. In addition, we construct the $β$-surfaces of the space of oriented geodesics of hyperbolic 3-space. △ Less

Submitted 22 October, 2008; originally announced October 2008.

Comments: 14 pages, 1 Figure AMSTEX

MSC Class: 53B30 (Primary); 53A25 (Secondary)

Journal ref: Balkan J. Geom. Appl. 21 (2016) 27--41

Proof of the Caratheodory Conjecture

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+α}$-smooth surfaces. The Conjecture is first reformulated in terms of complex points on a Lagrangian surface in $TS^2$, viewed as the space of oriented geodesics in ${\mathbb E}^3$. Here complex and Lagrangian… ▽ More A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+α}$-smooth surfaces. The Conjecture is first reformulated in terms of complex points on a Lagrangian surface in $TS^2$, viewed as the space of oriented geodesics in ${\mathbb E}^3$. Here complex and Lagrangian refer to the canonical neutral Kaehler structure on $TS^2$. We then prove that the existence of a closed convex surface with only one umbilic point implies the existence of a totally real Lagrangian hemisphere in $TS^2$, to which it is not possible to attach the edge of a holomorphic disc. The main step in the proof is to establish the existence of a holomorphic disc with edge contained on any given totally real Lagrangian hemisphere. To construct the holomorphic disc we utilize mean curvature flow with respect to the neutral metric. Long-time existence of this flow is proven by a priori estimates and we show that the flowing disc is asymptotically holomorphic. Existence of a holomorphic disc is then deduced from Schauder estimates. △ Less

Submitted 1 October, 2024; v1 submitted 6 August, 2008; originally announced August 2008.

Comments: This work has appeared in three parts in the references below: Fredholm regularity of Section 2 in the first reference, higher codimension mean curvature flow of Section 3 in the second reference and proof of existence of a holomorphic disc of Sections 4, 5 and 6 in the third. The three individual papers may be found at arxiv:1812.00707, arxiv:1812.00710 and arxiv:2002.12787 respectively

MSC Class: 53A05

Journal ref: Trans. Amer. Math. Soc. 372.9 (2019) 6263-6281; J. Gokova Geom. Topol. GGT 17 (2024) 1-50

Minimal Lagrangian surfaces in the tangent bundle of a Riemannian surface

Authors: Henri Anciaux, Brendan Guilfoyle, Pascal Romon

Abstract: Given an oriented Riemannian surface $(Σ, g)$, its tangent bundle $TΣ$ enjoys a natural pseudo-Kähler structure, that is the combination of a complex structure $\J$, a pseudo-metric $\G$ with neutral signature and a symplectic structure $\Om$. We give a local classification of those surfaces of $TΣ$ which are both Lagrangian with respect to $\Om$ and minimal with respect to $\G$. We first show t… ▽ More Given an oriented Riemannian surface $(Σ, g)$, its tangent bundle $TΣ$ enjoys a natural pseudo-Kähler structure, that is the combination of a complex structure $\J$, a pseudo-metric $\G$ with neutral signature and a symplectic structure $\Om$. We give a local classification of those surfaces of $TΣ$ which are both Lagrangian with respect to $\Om$ and minimal with respect to $\G$. We first show that if $g$ is non-flat, the only such surfaces are affine normal bundles over geodesics. In the flat case there is, in contrast, a large set of Lagrangian minimal surfaces, which is described explicitly. As an application, we show that motions of surfaces in $\R^3$ or $\R^3_1$ induce Hamiltonian motions of their normal congruences, which are Lagrangian surfaces in $T§^2$ or $T \H^2$ respectively. We relate the area of the congruence to a second-order functional $\mathcal{F}=\int \sqrt{H^2-K} dA$ on the original surface. △ Less

Submitted 17 October, 2008; v1 submitted 9 July, 2008; originally announced July 2008.

Comments: 22 pages, typos corrected, results streamlined

MSC Class: 53A10

Journal ref: J. Geom. Phys. 61 (2011) 237--247

Lagrangian curves on spectral curves of monopoles

Authors: Brendan Guilfoyle, Madeeha Khalid, José J. Ramón-Marí

Abstract: We study Lagrangian points on smooth holomorphic curves in T${\mathbb P}^1$ equipped with a natural neutral Kähler structure, and prove that they must form real curves. By virtue of the identification of T${\mathbb P}^1$ with the space ${\mathbb L}({\mathbb E}^3)$ of oriented affine lines in Euclidean 3-space ${\mathbb E}^3$, these Lagrangian curves give rise to ruled surfaces in… ▽ More We study Lagrangian points on smooth holomorphic curves in T${\mathbb P}^1$ equipped with a natural neutral Kähler structure, and prove that they must form real curves. By virtue of the identification of T${\mathbb P}^1$ with the space ${\mathbb L}({\mathbb E}^3)$ of oriented affine lines in Euclidean 3-space ${\mathbb E}^3$, these Lagrangian curves give rise to ruled surfaces in ${\mathbb E}^3$, which we prove have zero Gauss curvature. Each ruled surface is shown to be the tangent lines to a curve in ${\mathbb E}^3$, called the edge of regression of the ruled surface. We give an alternative characterization of these curves as the points in ${\mathbb E}^3$ where the number of oriented lines in the complex curve $Σ$ that pass through the point is less than the degree of $Σ$. We then apply these results to the spectral curves of certain monopoles and construct the ruled surfaces and edges of regression generated by the Lagrangian curves. △ Less

Submitted 18 October, 2007; v1 submitted 29 September, 2007; originally announced October 2007.

Comments: 17 pages AMS-LATEX, 5 figures, version 2, minor typos corrected

MSC Class: 53A25; 81T13

Journal ref: Math.Phys.Anal.Geom.13:255-273,2010

A characterization of Weingarten surfaces in hyperbolic 3-space

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: We study 2-dimensional submanifolds of the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. Such a surface is Lagrangian iff there exists a surface in ${\mathbb{H}}^3$ orthogonal to the geodesics of $Σ$. We prove that the induced metric on a Lagrangian surface in ${\mathbb{L}}({\mathbb{H}}^3)$ has zero Gauss… ▽ More We study 2-dimensional submanifolds of the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. Such a surface is Lagrangian iff there exists a surface in ${\mathbb{H}}^3$ orthogonal to the geodesics of $Σ$. We prove that the induced metric on a Lagrangian surface in ${\mathbb{L}}({\mathbb{H}}^3)$ has zero Gauss curvature iff the orthogonal surfaces in ${\mathbb{H}}^3$ are Weingarten: the eigenvalues of the second fundamental form are functionally related. We then classify the totally null surfaces in ${\mathbb{L}}({\mathbb{H}}^3)$ and recover the well-known holomorphic constructions of flat and CMC 1 surfaces in ${\mathbb{H}}^3$. △ Less

Submitted 8 March, 2009; v1 submitted 15 September, 2007; originally announced September 2007.

Comments: 20 pages AMS-LATEX, version 2 correction of typos, inclusion of non-graph cases

MSC Class: 51M09 (Primary); 51M30 (Secondary)

Journal ref: Abh. Math. Sem. Univ. Hambg. 80 (2010) 233-253

On C$^2$-smooth Surfaces of Constant Width

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: A number of results for C$^2$-smooth surfaces of constant width in Euclidean 3-space ${\mathbb{E}}^3$ are obtained. In particular, an integral inequality for constant width surfaces is established. This is used to prove that the ratio of volume to cubed width of a constant width surface is reduced by shrinking it along its normal lines. We also give a characterization of surfaces of constant wid… ▽ More A number of results for C$^2$-smooth surfaces of constant width in Euclidean 3-space ${\mathbb{E}}^3$ are obtained. In particular, an integral inequality for constant width surfaces is established. This is used to prove that the ratio of volume to cubed width of a constant width surface is reduced by shrinking it along its normal lines. We also give a characterization of surfaces of constant width that have rational support function. Our techniques, which are complex differential geometric in nature, allow us to construct explicit smooth surfaces of constant width in ${\mathbb{E}}^3$, and their focal sets. They also allow for easy construction of tetrahedrally symmetric surfaces of constant width. △ Less

Submitted 24 April, 2007; originally announced April 2007.

Comments: 14 pages AMS-LATEX, 5 figures

Journal ref: Tbilisi Math. J. 2 (2009) 1-17

On the space of oriented geodesics of hyperbolic 3-space

Authors: Nikos Georgiou, Brendan Guilfoyle

Abstract: We construct a Kähler structure (${\mathbb{J}},Ω,{\mathbb{G}}$) on the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space ${\mathbb{H}}^3$ and investigate its properties. We prove that (${\mathbb{L}}({\mathbb{H}}^3),{\mathbb{J}})$ is biholomorphic to ${\mathbb{P}}^1\times{\mathbb{P}}^1-\barΔ$, where $\barΔ$ is the reflected diagonal, and that the Kähler metric… ▽ More We construct a Kähler structure (${\mathbb{J}},Ω,{\mathbb{G}}$) on the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space ${\mathbb{H}}^3$ and investigate its properties. We prove that (${\mathbb{L}}({\mathbb{H}}^3),{\mathbb{J}})$ is biholomorphic to ${\mathbb{P}}^1\times{\mathbb{P}}^1-\barΔ$, where $\barΔ$ is the reflected diagonal, and that the Kähler metric ${\mathbb{G}}$ is of neutral signature, conformally flat and scalar flat. We establish that the identity component of the isometry group of the metric ${\mathbb{G}}$ on ${\mathbb{L}}({\mathbb{H}}^3)$ is isomorphic to the identity component of the hyperbolic isometry group. Finally, we show that the geodesics of ${\mathbb{G}}$ correspond to ruled minimal surfaces in ${\mathbb{H}}^3$, which are totally geodesic iff the geodesics are null. △ Less

Submitted 23 March, 2007; v1 submitted 9 February, 2007; originally announced February 2007.

Comments: 25 pages, AMS-LATEX, 4 figures, Version 2: new references, typos corrected, results on geodesics added

MSC Class: 51M09; 51M30

Journal ref: Rocky Mountain J. Math. 40 (2010) 1183--1219

On area-stationary surfaces in certain neutral Kaehler 4-manifolds

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We study surfaces in TN that are area-stationary with respect to a neutral Kaehler metric constructed on TN from a riemannian metric g on N. We show that holomorphic curves in TN are area-stationary, while lagrangian surfaces that are area-stationary are also holomorphic and hence totally null. However, in general, area stationary surfaces are not holomorphic. We prove this by constructing count… ▽ More We study surfaces in TN that are area-stationary with respect to a neutral Kaehler metric constructed on TN from a riemannian metric g on N. We show that holomorphic curves in TN are area-stationary, while lagrangian surfaces that are area-stationary are also holomorphic and hence totally null. However, in general, area stationary surfaces are not holomorphic. We prove this by constructing counter-examples. In the case where g is rotationally symmetric, we find all area stationary surfaces that arise as graphs of sections of the bundle TN$\to$N and that are rotationally symmetric. When (N,g) is the round 2-sphere, TN can be identified with the space of oriented affine lines in ${\Bbb{R}}^3$, and we exhibit a two parameter family of area-stationary tori that are neither holomorphic nor lagrangian. △ Less

Submitted 22 November, 2006; originally announced November 2006.

Comments: 8 pages, AMS-LATEX, no figures

MSC Class: Primary: 53B30; Secondary: 53A25

Journal ref: Beitraege Algebra Geom. 49 (2008) 481-490.

A Neutral Kaehler Metric on Space of Time-like Lines in Lorentzian 3-space

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We study the neutral Kähler metric on the space of time-like lines in Lorentzian ${\Bbb{E}}^3_1$, which we identify with the total space of the tangent bundle to the hyperbolic plane. We find all of the infinitesimal isometries of this metric, as well as the geodesics, and interpret them in terms of the Lorentzian metric on ${\Bbb{E}}^3_1$. In addition, we give a new characterisation of Weingart… ▽ More We study the neutral Kähler metric on the space of time-like lines in Lorentzian ${\Bbb{E}}^3_1$, which we identify with the total space of the tangent bundle to the hyperbolic plane. We find all of the infinitesimal isometries of this metric, as well as the geodesics, and interpret them in terms of the Lorentzian metric on ${\Bbb{E}}^3_1$. In addition, we give a new characterisation of Weingarten surfaces in Euclidean ${\Bbb{E}}^3$ and Lorentzian ${\Bbb{E}}^3_1$ as the vanishing of the scalar curvature of the associated normal congruence in the space of oriented lines. Finally, we relate our construction to the classical Weierstrass representation of minimal and maximal surfaces in ${\Bbb{E}}^3$ and ${\Bbb{E}}^3_1$. △ Less

Submitted 24 November, 2006; v1 submitted 31 August, 2006; originally announced August 2006.

Comments: 17 pages, 1 figure, AMS-LATEX

MSC Class: 53B30; 53A25

Geodesic Flow on the Normal Congruence of a Minimal Surface

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We study the geodesic flow on the normal line congruence of a minimal surface in ${\Bbb{R}}^3$ induced by the neutral Kähler metric on the space of oriented lines. The metric is lorentz with isolated degenerate points and the flow is shown to be completely integrable. In addition, we give a new holomorphic description of minimal surfaces in ${\Bbb{R}}^3$ and relate it to the classical Weierstras… ▽ More We study the geodesic flow on the normal line congruence of a minimal surface in ${\Bbb{R}}^3$ induced by the neutral Kähler metric on the space of oriented lines. The metric is lorentz with isolated degenerate points and the flow is shown to be completely integrable. In addition, we give a new holomorphic description of minimal surfaces in ${\Bbb{R}}^3$ and relate it to the classical Weierstrass representation. △ Less

Submitted 22 March, 2006; originally announced March 2006.

Comments: AMS-LATEX 8 pages 2, figures

MSC Class: 53B30; 53A25

Journal ref: Progr. Math. 265 (2007) 427-436

Geodesic Flow on Global Holomorphic Sections of TS^2

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We study the geodesic flow on the global holomorphic sections of the bundle $π:{TS}^2\to {S}^2$ induced by the neutral Kähler metric on the space of oriented lines of ${\Bbb{R}}^3$, which we identify with ${TS}^2$. This flow is shown to be completely integrable when the sections are symplectic and the behaviour of the geodesics is described. We study the geodesic flow on the global holomorphic sections of the bundle $π:{TS}^2\to {S}^2$ induced by the neutral Kähler metric on the space of oriented lines of ${\Bbb{R}}^3$, which we identify with ${TS}^2$. This flow is shown to be completely integrable when the sections are symplectic and the behaviour of the geodesics is described. △ Less

Submitted 23 February, 2006; originally announced February 2006.

Comments: AMS-LATEX 7 pages, 2 figures

MSC Class: 53B30; 53A25

Journal ref: Bull. Belg. Math. Soc. 13 (2006) 1-9

On Hamilton's Characteristic Functions for Reflection

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We review the complex differential geometry of the space of oriented affine lines in ${\Bbb{R}}^3$ and give a description of Hamilton's characteristic functions for reflection in an oriented C$^1$ surface in terms of this geometry. We review the complex differential geometry of the space of oriented affine lines in ${\Bbb{R}}^3$ and give a description of Hamilton's characteristic functions for reflection in an oriented C$^1$ surface in terms of this geometry. △ Less

Submitted 1 February, 2006; originally announced February 2006.

Comments: 10 pages AMS-LATEX, 3 figures

MSC Class: 51M30; 78A05

Journal ref: Irish Math. Soc. Bulletin 57 (2006) pp29--40.

Reflection in a Translation Invariant Surface

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We prove that the focal set generated by the reflection of a point source off a translation invariant surface consists of two sets: a curve and a surface. The focal curve lies in the plane orthogonal to the symmetry direction containing the source, while the focal surface is translation invariant. This is done by constructing explicitly the focal set of the reflected line congruence (2-paramet… ▽ More We prove that the focal set generated by the reflection of a point source off a translation invariant surface consists of two sets: a curve and a surface. The focal curve lies in the plane orthogonal to the symmetry direction containing the source, while the focal surface is translation invariant. This is done by constructing explicitly the focal set of the reflected line congruence (2-parameter family of oriented lines in ${\Bbb{R}}^3$) with the aid of the natural complex structure on the space of all oriented affine lines. △ Less

Submitted 23 October, 2005; originally announced October 2005.

Report number: ESI Preprint No. 1723 MSC Class: 53A25 78A05 53C80

Journal ref: Math. Phys. Anal. Geom. 9 (2006) 225-231

Level sets of functions and symmetry sets of smooth surface sections

Authors: Andre Diatta, Peter Giblin, Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We prove that the level sets of a real C^s function of two variables near a non-degenerate critical point are of class C^[s/2] and apply this to the study of planar sections of surfaces close to the singular section by the tangent plane at hyperbolic points or elliptic points, and in particular at umbilic points. We also analyse the cases coming from degenerate critical points, corresponding t… ▽ More We prove that the level sets of a real C^s function of two variables near a non-degenerate critical point are of class C^[s/2] and apply this to the study of planar sections of surfaces close to the singular section by the tangent plane at hyperbolic points or elliptic points, and in particular at umbilic points. We also analyse the cases coming from degenerate critical points, corresponding to elliptic cusps of Gauss on a surface, where the differentiability is now reduced to C^[s/4]. However in all our applications to symmetry sets of families of plane curves, we assume the C^infty smoothness. △ Less

Submitted 19 April, 2005; originally announced April 2005.

Comments: 15 pages, Latex, 6 grouped figures. The final version will appear in Mathematics of Surfaces. Lecture Notes in Computer Science (2005)

MSC Class: 53A04; 53A05; 53A55; 34C23; 68U05; 14H50; 14Q05; 14Q10; 51N05

Journal ref: Mathematics of Surfaces. Lecture Notes in Computer Science 3604 (2005), 147-160

The Geometry of Focal Sets

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: The space ${\Bbb{L}}$ of oriented lines, or rays, in ${\Bbb{R}}^3$ is a 4-dimensional space with an abundance of natural geometric structure. In particular, it boasts a neutral Kähler metric which is closely related to the Euclidean metric on ${\Bbb{R}}^3$. In this paper we explore the relationship between the focal set of a line congruence (or 2-parameter family of oriented lines in… ▽ More The space ${\Bbb{L}}$ of oriented lines, or rays, in ${\Bbb{R}}^3$ is a 4-dimensional space with an abundance of natural geometric structure. In particular, it boasts a neutral Kähler metric which is closely related to the Euclidean metric on ${\Bbb{R}}^3$. In this paper we explore the relationship between the focal set of a line congruence (or 2-parameter family of oriented lines in ${\Bbb{R}}^3$) and the geometry induced on the associated surface in ${\Bbb{L}}$. The physical context of such sets is geometric optics in a homogeneous isotropic medium, and so, to illustrate the method, we compute the focal set of the $k^{th}$ reflection of a point source off the inside of a cylinder. The focal sets, which we explicitly parameterize, exhibit unexpected symmetries, and are found to fit well with observable phenomena. △ Less

Submitted 29 November, 2005; v1 submitted 9 November, 2004; originally announced November 2004.

Comments: AMSTEX, 21 pages, 10 figures, 1 colour plate, significant revision of earlier version

MSC Class: 53A25; 78A05; 53C80

Journal ref: in Recent developments in pseudo-Riemannian Geometry, European Mathematical Society Publishing House, Zurich (2008) 149-178.

An Indefinite Kaehler Metric on the Space of Oriented Lines

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: The total space of the tangent bundle of a Kähler manifold admits a canonical Kähler structure. Parallel translation identifies the space ${\Bbb{T}}$ of oriented affine lines in ${\Bbb{R}}^3$ with the tangent bundle of $S^2$. Thus, the round metric on $S^2$ induces a Kähler structure on ${\Bbb{T}}$ which turns out to have a metric of neutral signature. It is shown that the isometry group of this… ▽ More The total space of the tangent bundle of a Kähler manifold admits a canonical Kähler structure. Parallel translation identifies the space ${\Bbb{T}}$ of oriented affine lines in ${\Bbb{R}}^3$ with the tangent bundle of $S^2$. Thus, the round metric on $S^2$ induces a Kähler structure on ${\Bbb{T}}$ which turns out to have a metric of neutral signature. It is shown that the isometry group of this metric is isomorphic to the isometry group of the Euclidean metric on ${\Bbb{R}}^3$. The geodesics of this metric are either planes or helicoids in ${\Bbb{R}}^3$. The signature of the metric induced on a surface $Σ$ in ${\Bbb{T}}$ is determined by the degree of twisting of the associated line congruence in ${\Bbb{R}}^3$, and we show that, for $Σ$ Lagrangian, the metric is either Lorentz or totally null. For such surfaces it is proven that the Keller-Maslov index counts the number of isolated complex points of ${\Bbb{J}}$ inside a closed curve on $Σ$. △ Less

Submitted 28 July, 2004; originally announced July 2004.

Comments: 12 pages, AMS-LATEX

MSC Class: 53B30; 53A25

Journal ref: J. London Math. Soc. 72 (2005) 497-509

The Casimir Effect Between Non-Parallel Plates by Geometric Optics

Authors: Brendan Guilfoyle, Wilhelm Klingenberg, Siddhartha Sen

Abstract: Recent work by Jaffe and Scardicchio has expressed the optical approximation to the Casimir effect as a sum over geometric quantities. The first two authors have developed a technique which uses the complex geometry of the space of oriented affine lines in ${\Bbb{R}}^3$ to describe reflection of rays off a surface. This allows the quantities in the optical approximation to the Casimir effect to… ▽ More Recent work by Jaffe and Scardicchio has expressed the optical approximation to the Casimir effect as a sum over geometric quantities. The first two authors have developed a technique which uses the complex geometry of the space of oriented affine lines in ${\Bbb{R}}^3$ to describe reflection of rays off a surface. This allows the quantities in the optical approximation to the Casimir effect to be calculated. To illustrate this we determine explicitly and in closed form the geometric optics approximation of the Casimir force between two non-parallel plates. By making one of the plates finite we regularise the divergence that is caused by the intersection of the planes. In the parallel plate limit we prove that our expression reduces to Casimir's original result. △ Less

Submitted 28 July, 2004; v1 submitted 21 June, 2004; originally announced June 2004.

Comments: 25 pages, 8 figures, AMS-LATEX

MSC Class: 78A05; 53Z05

Journal ref: Rev.Math.Phys. 17 (2005) 859-880

Reflection of a wave off a surface

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: Recent advances in twistor theory are applied to geometric optics in ${\Bbb{R}}^3$. The general formulae for reflection of a wavefront in a surface are derived and in three special cases explicit descriptions are provided: when the reflecting surface is a plane, when the incoming wave is a plane and when the incoming wave is spherical. In each case particular examples are computed exactly and th… ▽ More Recent advances in twistor theory are applied to geometric optics in ${\Bbb{R}}^3$. The general formulae for reflection of a wavefront in a surface are derived and in three special cases explicit descriptions are provided: when the reflecting surface is a plane, when the incoming wave is a plane and when the incoming wave is spherical. In each case particular examples are computed exactly and the results plotted to illustrate the outgoing wavefront. △ Less

Submitted 10 June, 2004; originally announced June 2004.

Comments: 14 pages, AMS-LATEX

MSC Class: 53A05

Journal ref: J. Geom. 84 (2006) 55-72

Generalised Surfaces in ${\Bbb{R}}^3$

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: The correspondence between 2-parameter families of oriented lines in ${\Bbb{R}}^3$ and surfaces in $T{\Bbb{P}}^1$ is studied, and the geometric properties of the lines are related to the complex geometry of the surface. Congruences generated by global sections of $T{\Bbb{P}}^1$ are investigated and a number of theorems are proven that generalise results for closed convex surfaces in… ▽ More The correspondence between 2-parameter families of oriented lines in ${\Bbb{R}}^3$ and surfaces in $T{\Bbb{P}}^1$ is studied, and the geometric properties of the lines are related to the complex geometry of the surface. Congruences generated by global sections of $T{\Bbb{P}}^1$ are investigated and a number of theorems are proven that generalise results for closed convex surfaces in ${\Bbb{R}}^3$. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: 10 pages, AMS-TEX

MSC Class: 53C28

Journal ref: Math. Proc. R. Ir. Acad. 104A(2) (2004) 199-209.

On the Space of Oriented Affine Lines in $R^3$

Authors: Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We introduce a local coordinate description for the correspondence between the space of oriented affine lines in Euclidean ${\Bbb{R}}^3$ and the tangent bundle to the 2-sphere. These can be utilised to give canonical coordinates on surfaces in ${\Bbb{R}}^3$, as we illustrate with a number of explicit examples. We introduce a local coordinate description for the correspondence between the space of oriented affine lines in Euclidean ${\Bbb{R}}^3$ and the tangent bundle to the 2-sphere. These can be utilised to give canonical coordinates on surfaces in ${\Bbb{R}}^3$, as we illustrate with a number of explicit examples. △ Less

Submitted 11 May, 2004; originally announced May 2004.

Comments: 3 pages, no figures, AMS-Latex

MSC Class: 51N20

Journal ref: Arch. Math. 82 (2004) 81-84

The Local Moduli of Sasakian 3-Manifolds

Authors: Brendan S. Guilfoyle

Abstract: The Newman-Penrose-Perjes formalism is applied to Sasakian 3-manifolds and the local form of the metric and contact structure is presented. The local moduli space can be parameterised by a single function of two variables and it is shown that, given any smooth function of two variables, there exists locally a Sasakian structure with scalar curvature equal to this function. The case where the sca… ▽ More The Newman-Penrose-Perjes formalism is applied to Sasakian 3-manifolds and the local form of the metric and contact structure is presented. The local moduli space can be parameterised by a single function of two variables and it is shown that, given any smooth function of two variables, there exists locally a Sasakian structure with scalar curvature equal to this function. The case where the scalar curvature is constant ($η$-Einstein Sasakian metrics) is completely solved locally. The resulting Sasakian manifolds include $S^3$, $Nil$ and $\tilde{SL_2R}$, as well as the Berger spheres. It is also shown that a conformally flat Sasakian 3-manifold is Einstein of positive scalar curvature. △ Less

Submitted 2 February, 2001; originally announced February 2001.

Comments: 9 pages, RevTeX, no figures

MSC Class: 53C25

Journal ref: Int. J. Math. Sci. 32 (2002) 117-127

Einstein Metrics Adapted to Contact Structures on 3-Manifolds

Authors: Brendan S. Guilfoyle

Abstract: The Newman-Penrose-Perjes formalism is applied to smooth contact structures on riemannian 3-manifolds. In particular it is shown that a contact 3-manifold admits an adapted riemannian metric if and only if it admits a metric with a divergence-free, constantly twisting, geodesic congruence. The shear of this congruence is identified with the torsion of the associated pseudohermitian structure, wh… ▽ More The Newman-Penrose-Perjes formalism is applied to smooth contact structures on riemannian 3-manifolds. In particular it is shown that a contact 3-manifold admits an adapted riemannian metric if and only if it admits a metric with a divergence-free, constantly twisting, geodesic congruence. The shear of this congruence is identified with the torsion of the associated pseudohermitian structure, while the Tanaka-Webster curvature is identified with certain derivatives of the spin coefficients. The particular case where the associated riemannian metric is Einstein is studied in detail. It is found that the torsion is constant and the field equations are completely solved locally. Hyperbolic space forms are shown not to have adapted contact structures, even locally, while contact structures adapted to a flat or elliptic space form are contact isometric to the standard one. △ Less

Submitted 5 December, 2000; originally announced December 2000.

Comments: 14 Pages RevTex

MSC Class: 53D10