arXiv subjects

Brendan Guilfoyle

Publications and source records attributed to Brendan Guilfoyle.

51 records · Page 3Linked to original sources

arXiv2007

On the space of oriented geodesics of hyperbolic 3-space

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.

math.DG↗

arXiv2006

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

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

math.DG↗

arXiv2006

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

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.

math.DG↗

arXiv2006

Geodesic Flow on the Normal Congruence of a Minimal Surface

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.

math.DG↗

arXiv2006

Geodesic Flow on Global Holomorphic Sections of TS^2

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.

math.DG↗

arXiv2006

On Hamilton's Characteristic Functions for Reflection

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.

math.DG↗

arXiv2005

The Geometry of Focal Sets

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.

math.DG↗

arXiv2005

Reflection in a Translation Invariant Surface

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.

math.DG↗

arXiv2005

Level sets of functions and symmetry sets of smooth surface sections

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.

math.DG↗

arXiv2005

A Structure Theorem for Stationary Perfect Fluids

It is proven that, under mild physical assumptions, an isolated stationary relativistic perfect fluid consists of a finite number of cells fibred by invariant annuli or invariant tori. For axially symmetric circular flows it is shown that the fluid consists of cells fibred by rigidly rotating annuli or tori.

gr-qc↗

arXiv2004

An Indefinite Kaehler Metric on the Space of Oriented Lines

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 $Σ$.

math.DG↗

arXiv2004

The Casimir Effect Between Non-Parallel Plates by Geometric Optics

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.

math.DG↗

arXiv2004

Reflection of a wave off a surface

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.

math.DG↗

arXiv2004

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

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

math.DG↗

arXiv2004

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

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.

math.DG↗