Showing 1–34 of 34 results for author: Klingenberg, W

Optimal transport on the sub-Lorentzian Heisenberg group

Authors: Samuël Borza, Wilhelm Klingenberg, Patrick Wood

Abstract: We investigate the synthetic metric spacetime structure of the sub-Lorentzian Heisenberg group and we study the optimal transport problem in this space. The sub-Lorentzian version of Brenier's theorem is established in this setting. Finally, we provide examples of optimal transport maps and derive a sub-Lorentzian Monge-Ampère equation. We investigate the synthetic metric spacetime structure of the sub-Lorentzian Heisenberg group and we study the optimal transport problem in this space. The sub-Lorentzian version of Brenier's theorem is established in this setting. Finally, we provide examples of optimal transport maps and derive a sub-Lorentzian Monge-Ampère equation. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 34 pages

MSC Class: 53C50; 53C17; 49Q22

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. All three Conjectures concern surfaces in 3-dimensional space-forms, which have a high degree of symmetry. It is shown that this symmetry is broken and more general ambient metrics are considered, none of the Conjectures continue to hold. The subtle m… ▽ More We explore the role of symmetry in three obdurate conjectures of differential geometry: the Carathéodory, the Willmore and the Lawson Conjectures. All three Conjectures concern surfaces in 3-dimensional space-forms, which have a high degree of symmetry. It is shown that this symmetry is broken and more general ambient metrics are considered, none of the Conjectures continue to hold. The subtle manner in which symmetry enters the first Conjecture is also explained in detail. △ Less

Submitted 4 September, 2025; v1 submitted 17 February, 2025; originally announced February 2025.

Comments: 8 pages, LateX

MSC Class: 53A05; 35K51; 32V40

Journal ref: Math. Proc. R. Ir. Acad. 125A (2025) 9-17

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

A capillary problem for spacelike mean curvature flow in a cone of Minkowski space

Authors: Wilhelm Klingenberg, Ben Lambert, Julian Scheuer

Abstract: Consider a convex cone in three-dimensional Minkowski space which either contains the lightcone or is contained in it. This work considers mean curvature flow of a proper spacelike strictly mean convex disc in the cone which is graphical with respect to its rays. Its boundary is required to have constant intersection angle with the boundary of the cone. We prove that the corresponding parabolic bo… ▽ More Consider a convex cone in three-dimensional Minkowski space which either contains the lightcone or is contained in it. This work considers mean curvature flow of a proper spacelike strictly mean convex disc in the cone which is graphical with respect to its rays. Its boundary is required to have constant intersection angle with the boundary of the cone. We prove that the corresponding parabolic boundary value problem for the graph admits a solution for all time which rescales to a self-similarly expanding solution. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 19 pages

Local non-injectivity of the exponential map at critical points in sub-Riemannian geometry

Authors: Samuël Borza, Wilhelm Klingenberg

Abstract: We prove that the sub-Riemannian exponential map is not injective in any neighbourhood of certain critical points. Namely that it does not behave like the injective map of reals given by $f(x) = x^3$ near its critical point $x = 0$. As a consequence, we characterise conjugate points in ideal sub-Riemannian manifolds in terms of the metric structure of the space. The proof uses the Hilbert invarian… ▽ More We prove that the sub-Riemannian exponential map is not injective in any neighbourhood of certain critical points. Namely that it does not behave like the injective map of reals given by $f(x) = x^3$ near its critical point $x = 0$. As a consequence, we characterise conjugate points in ideal sub-Riemannian manifolds in terms of the metric structure of the space. The proof uses the Hilbert invariant integral of the associated variational problem. △ Less

Submitted 29 November, 2022; v1 submitted 11 June, 2022; originally announced June 2022.

Comments: 19 pages, v2: acknowledgements updated, v3: 22 pages, major improvements, title changed to a more informative one, hypothesis of Lemma 31. fixed, introduction and last section significantly expanded, Remark 28. added, typos corrected

MSC Class: 53C17; 58E10; 53C22

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

Weyl estimates for spacelike hypersurfaces in de Sitter space

Authors: Daniel Ballesteros-Chavez, Wilhelm Klingenberg, Ben Lambert

Abstract: We study the isometric spacelike embedding problem in scaled de Sitter space, and obtain Weyl-type estimates and the corresponding closedness in the space of embeddings. We study the isometric spacelike embedding problem in scaled de Sitter space, and obtain Weyl-type estimates and the corresponding closedness in the space of embeddings. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Journal ref: Pacific J. Math. 320 (2022) 1-11

Regularity and Continuity properties of the sub-Riemannian exponential map

Authors: Samuël Borza, Wilhelm Klingenberg

Abstract: We prove a version of Warner's regularity and continuity properties for the sub-Riemannian exponential map. The regularity property is established by considering sub-Riemannian Jacobi fields while the continuity property follows from studying the Maslov index of Jacobi curves. We finally show how this implies that the exponential map of the three dimensional Heisenberg group is not injective in an… ▽ More We prove a version of Warner's regularity and continuity properties for the sub-Riemannian exponential map. The regularity property is established by considering sub-Riemannian Jacobi fields while the continuity property follows from studying the Maslov index of Jacobi curves. We finally show how this implies that the exponential map of the three dimensional Heisenberg group is not injective in any neighbourhood of a conjugate vector. △ Less

Submitted 5 July, 2023; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 23 pages, 1 figure. v2: 23 pages, significant improvements; published in The Journal of Dynamical and Control Systems

MSC Class: 53C17; 53B15; 53B99; 49J15

Journal ref: Journal of Dynamical and Control Systems, January 2023

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

Prescribed $k$-symmetric curvature hypersurfaces in de Sitter space

Authors: Daniel Ballesteros-Chávez, Wilhelm Klingenberg, Ben Lambert

Abstract: We prove existence of compact spacelike hypersurfaces with prescribed k - curvature in de Sitter space, where the prescription function depends on both space and the tilt function. We prove existence of compact spacelike hypersurfaces with prescribed k - curvature in de Sitter space, where the prescription function depends on both space and the tilt function. △ Less

Submitted 31 July, 2019; originally announced July 2019.

MSC Class: 35J60; 53C50; 53C42

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

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

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

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

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

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 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