arXiv subjects
Publications and source records attributed to Michael Eastwood.
The Joseph ideal is a special ideal in the universal enveloping algebra of a simple Lie algebra. For the classical groups, its uniqueness is equivalent to the existence of tensors with special properties. The existence of these tensors is usually concluded abstractly but here we present explicit formulae. This allows a rather direct computation of a parameter used in defining the Joseph ideal.
We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on the dimension of the solution space.
We classify the tube domains in C^4 with affinely homogeneous base whose boundary contains a non-degenerate affinely homogeneous hypersurface. It follows that these domains are holomorphically homogeneous and amongst them there are four new examples of unbounded homogeneous domains (that do not have bounded realisations). These domains lie to either side of a pair of Levi-indefinite hypersurface. Using the geometry of these two hypersurfaces, we find the automorphism groups of the domains.
A Stein covering of a complex manifold may be used to realise its analytic cohomology in accordance with the Cech theory. If, however, the Stein covering is parameterised by a smooth manifold rather than just a discrete set, then we construct a cohomology theory in which an exterior derivative replaces the usual combinatorial Cech differential. Our construction is motivated by integral geometry and the representation theory of Lie groups.
We show how to specify preferred parameterisations on a homogeneous curve in an arbitrary homogeneous space. We apply these results to limit the natural parameters on distinguished curves in parabolic geometries.
We construct several new examples of homogeneous domains in complex space that do not have bounded realisations. They are equivalent to tubes over affinely homogeneous domains in real space and have a real-analytic everywhere Levi non-degenerate non-umbilic boundary. Using the geometry of the boundary, we determine the full automorphism groups of the domains. We also discuss some interesting examples of tube domains with everywhere umbilic boundary (i.e., boundary equivalent to the corresponding quadric).
Using the AdS/CFT correspondence, we identify the symmetry algebra of the Laplacian on Euclidean space as an explicit quotient of the universal enveloping algebra of the Lie algebra of conformal motions. We construct analogues of these symmetries on a general conformal manifold.
From any configuration of finitely many points in Euclidean three-space, Atiyah constructed a determinant and conjectured that it was always non-zero. Atiyah and Sutcliffe (hep-th/0105179) amass a great deal of evidence it its favour. In this article we prove the conjecture for the case of four points.
We generalise the notion of contact manifold by allowing the contact distribution to have codimension two. There are special features in dimension six. In particular, we show that the complex structure on a three-dimensional complex contact manifold is determined solely by the underlying contact distribution.
We exhibit a family of homogeneous hypersurfaces in affine space, one in each dimension, generalising the Cayley surface.
We classify the non-degenerate homogeneous hypersurfaces in real and complex affine four-space whose symmetry group is at least four-dimensional.
It is not commonly realized that the algebra of complex numbers can be used in an elegant way to represent the images of ordinary 3-dimensional figures, orthographically projected to the plane. We describe these ideas here, both using simple geometry and setting them in a broader context.
We investigate the natural involutive structure on the blow-up of ${\Bbb R}^n$ in ${\Bbb C}^n$ extending the complex structure on the complement of the exceptional hypersurface. Our main result is that this structure is hypocomplex, meaning that any solution is locally a holomorphic function of a basic set of independent solutions. We show this by an elementary power series argument but note that the result is essentially equivalent to the Edge of the Wedge Theorem. In particular, we obtain a relatively simple new proof of this classical theorem.