Showing 1–40 of 40 results for author: Wood, J

Weights with Maximal Symmetry and Failures of the MacWilliams Identities

Authors: Jay A. Wood

Abstract: This paper examines the $w$-weight enumerators of weights $w$ with maximal symmetry over finite chain rings and matrix rings over finite fields. In many cases, including the homogeneous weight, the MacWilliams identities for $w$-weight enumerators fail because there exist two linear codes with the same $w$-weight enumerator whose dual codes have different $w$-weight enumerators. This paper examines the $w$-weight enumerators of weights $w$ with maximal symmetry over finite chain rings and matrix rings over finite fields. In many cases, including the homogeneous weight, the MacWilliams identities for $w$-weight enumerators fail because there exist two linear codes with the same $w$-weight enumerator whose dual codes have different $w$-weight enumerators. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 84 pages, 1 figure

MSC Class: 94B05

Robustness of steady state and stochastic cyclicity in generalized coalescence-fragmentation models

Authors: Brennen T. Fagan, Niall J. MacKay, A. Jamie Wood

Abstract: Processes of coalescence and fragmentation are used to understand the time-evolution of the mass distribution of various systems and may result in a steady state or in stable deterministic or stochastic cycles. Motivated by applications in insurgency warfare we investigate coalescence-fragmentation systems. We begin with a simple model of size-biased coalescence accompanied by shattering into mono… ▽ More Processes of coalescence and fragmentation are used to understand the time-evolution of the mass distribution of various systems and may result in a steady state or in stable deterministic or stochastic cycles. Motivated by applications in insurgency warfare we investigate coalescence-fragmentation systems. We begin with a simple model of size-biased coalescence accompanied by shattering into monomers. Depending on the parameters this model has an approximately power-law-distributed steady state or stochastic cycles of alternating gelation and shattering. We conduct stochastic simulations of this model and its generalizations to include different kernel types, accretion and erosion, and various distributions of non-shattering fragmentation. Our central aim is to explore the robustness of the steady state and gel-shatter cycles to these variations. We show that an approximate power-law steady state persists with the addition of accretion and erosion, and with partial rather than total shattering. However, broader distributions of fragment sizes typically vitiate both the power law steady state and gel-shatter cyclicity. This work clarifies features shown in coalescence/fragmentation model simulations and elucidates the relationship between the microscopic dynamics and observed phenomena in this widely applicable interdisciplinary model type. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: 29 pages, 13 Figures

Diagrams and harmonic maps, revisited

Authors: Rui Pacheco, John C. Wood

Abstract: We extend many known results for harmonic maps from the 2-sphere into a Grassmannian to harmonic maps of finite uniton number from an arbitrary Riemann surface. Our method relies on a new theory of nilpotent cycles arising from the diagrams of F.E.~Burstall and the second author associated to such harmonic maps; these properties arise from a criterion for finiteness of the uniton number found rece… ▽ More We extend many known results for harmonic maps from the 2-sphere into a Grassmannian to harmonic maps of finite uniton number from an arbitrary Riemann surface. Our method relies on a new theory of nilpotent cycles arising from the diagrams of F.E.~Burstall and the second author associated to such harmonic maps; these properties arise from a criterion for finiteness of the uniton number found recently by the authors with A.~Aleman. Applications include a new classification result on minimal surfaces of constant curvature and a constancy result for finite type harmonic maps. △ Less

Submitted 12 September, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: Minor corrections made to text. Reference to a paper by G. Valli added

MSC Class: Primary 58E20; Secondary 47B32; 30H15; 53C43

Stochastic gel-shatter cycles in coalescence-fragmentation models

Authors: Brennen T. Fagan, Niall J. MacKay, Dmitri O. Pushkin, A. Jamie Wood

Abstract: We describe a new phenomenon in models of coalescence and fragmentation, that of gel-shatter cycles. These are dynamical, unforced, stochastic cycles in which slow, approximately deterministic coalescence up to and beyond gelation is followed by abrupt random shattering. We describe their appearance in simulations of stochastic models with multiplicative kernels for coalescence and spontaneous fra… ▽ More We describe a new phenomenon in models of coalescence and fragmentation, that of gel-shatter cycles. These are dynamical, unforced, stochastic cycles in which slow, approximately deterministic coalescence up to and beyond gelation is followed by abrupt random shattering. We describe their appearance in simulations of stochastic models with multiplicative kernels for coalescence and spontaneous fragmentation into monomers (`shattering'). The regime in which such cycles occur is characterized by a cyclicity order parameter, and we provide a simple scaling argument which describes both this regime and those which border it. △ Less

Submitted 15 February, 2021; originally announced February 2021.

Comments: 6 pages, 4 figures

The Automorphism Group of the Petersen Graph is Isomorphic to $S_5$

Authors: Japheth Wood

Abstract: The automorphism group of the Petersen Graph is shown to be isomorphic to the symmetric group on 5 elements. The image represents the Petersen Graph with the ten 3-element subsets of $\{1, 2, 3, 4, 5\}$ as vertices. Two vertices are adjacent when they have precisely one element in common. The automorphism group of the Petersen Graph is shown to be isomorphic to the symmetric group on 5 elements. The image represents the Petersen Graph with the ten 3-element subsets of $\{1, 2, 3, 4, 5\}$ as vertices. Two vertices are adjacent when they have precisely one element in common. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 1 page, 2 figures

MSC Class: Primary 20B25; Secondary 05C25

Journal ref: Math.Mag.89(2016)267-267

Symmetric shift-invariant subspaces and harmonic maps

Authors: Alexandru Aleman, Rui Pacheco, John C. Wood

Abstract: The Grassmannian model represents harmonic maps from Riemann surfaces by families of shift-invariant subspaces of a Hilbert space. We impose a natural symmetry condition on the shift-invariant subspaces that corresponds to considering an important class of harmonic maps into symmetric and $k$-symmetric spaces. In particular, we obtain new general forms for such symmetric shift-invariant subspaces… ▽ More The Grassmannian model represents harmonic maps from Riemann surfaces by families of shift-invariant subspaces of a Hilbert space. We impose a natural symmetry condition on the shift-invariant subspaces that corresponds to considering an important class of harmonic maps into symmetric and $k$-symmetric spaces. In particular, we obtain new general forms for such symmetric shift-invariant subspaces and for the corresponding extended solutions. △ Less

Submitted 4 December, 2019; v1 submitted 5 August, 2019; originally announced August 2019.

Comments: The original preprint `Harmonic maps and shift-invariant subspaces' was splitted in two. This is the second part. arXiv admin note: substantial text overlap with arXiv:1812.09379

Harmonic maps and shift-invariant subspaces

Authors: Alexandru Aleman, Rui Pacheco, John C. Wood

Abstract: We investigate in detail the connection between harmonic maps from Riemann surfaces into the unitary group $\U(n)$ and their Grassmannian models: these are families of shift-invariant subspaces of $L^2(S^1,\C^n)$. With the help of operator-theoretic methods we derive a criterion for finiteness of the uniton number which has a large number of applications discussed in the paper. We investigate in detail the connection between harmonic maps from Riemann surfaces into the unitary group $\U(n)$ and their Grassmannian models: these are families of shift-invariant subspaces of $L^2(S^1,\C^n)$. With the help of operator-theoretic methods we derive a criterion for finiteness of the uniton number which has a large number of applications discussed in the paper. △ Less

Submitted 15 October, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: Treatment of Grassmannian model clarified and relation with work of M. Guest added

Chords of an ellipse, Lucas polynomials, and cubic equations

Authors: Ben Blum-Smith, Japheth Wood

Abstract: A beautiful theorem of Thomas Price links the Fibonacci numbers and the Lucas polynomials to the plane geometry of an ellipse, generalizing a classic problem about circles. We give a brief history of the circle problem, an account of Price's ellipse proof, and a reorganized proof, with some new ideas, designed to situate the result within a dense web of connections to classical mathematics. It is… ▽ More A beautiful theorem of Thomas Price links the Fibonacci numbers and the Lucas polynomials to the plane geometry of an ellipse, generalizing a classic problem about circles. We give a brief history of the circle problem, an account of Price's ellipse proof, and a reorganized proof, with some new ideas, designed to situate the result within a dense web of connections to classical mathematics. It is inspired by Cardano's solution of the cubic equation and Newton's theorem on power sums, and yields an interpretation of generalized Lucas polynomials in terms of the theory of symmetric polynomials. We also develop additional connections that surface along the way; e.g., we give a parallel interpretation of generalized Fibonacci polynomials, and we show that Cardano's method can be used write down the roots of the Lucas polynomials. △ Less

Submitted 8 October, 2021; v1 submitted 30 September, 2018; originally announced October 2018.

Comments: 18 pages, 1 table, 2 figures. This is the "Accepted Manuscript" of the article, published in the American Mathematical Monthly on Sept. 21, 2020. For the published version, see DOI link below

Journal ref: Amer. Math. Monthly 127:8 (2020) 688--705

Harmonic maps into the orthogonal group and null curves

Authors: Maria João Ferreira, Bruno Ascenso Simões, John C. Wood

Abstract: We find algebraic parametrizations of extended solutions of harmonic maps of finite uniton number from a surface to the orthogonal group O(n) in terms of free holomorphic data which lead to formulae for all such harmonic maps. Our work reveals an interesting correspondence between certain harmonic maps and the free Weierstrass representation of null curves and minimal surfaces in 3- and 4-space. We find algebraic parametrizations of extended solutions of harmonic maps of finite uniton number from a surface to the orthogonal group O(n) in terms of free holomorphic data which lead to formulae for all such harmonic maps. Our work reveals an interesting correspondence between certain harmonic maps and the free Weierstrass representation of null curves and minimal surfaces in 3- and 4-space. △ Less

Submitted 5 November, 2018; v1 submitted 13 December, 2017; originally announced December 2017.

Comments: Some explanations improved and corrections made. Accepted for publication by Math. Z

MSC Class: 53C43; 58E20

The Extension Theorem for Bi-invariant Weights over Frobenius Rings and Frobenius Bimodules

Authors: Oliver W. Gnilke, Marcus Greferath, Thomas Honold, Jay A. Wood, Jens Zumbrägel

Abstract: We give a sufficient condition for a bi-invariant weight on a Frobenius bimodule to satisfy the extension property. This condition applies to bi-invariant weights on a finite Frobenius ring as a special case. The complex-valued functions on a Frobenius bimodule are viewed as a module over the semigroup ring of the multiplicative semigroup of the coefficient ring. We give a sufficient condition for a bi-invariant weight on a Frobenius bimodule to satisfy the extension property. This condition applies to bi-invariant weights on a finite Frobenius ring as a special case. The complex-valued functions on a Frobenius bimodule are viewed as a module over the semigroup ring of the multiplicative semigroup of the coefficient ring. △ Less

Submitted 27 November, 2017; originally announced November 2017.

Comments: 15 pages

MSC Class: 94B05

Journal ref: Rings, Modules and Codes, 117-129, Contemp. Math., 727, AMS

Bayesian Model Choice in Cumulative Link Ordinal Regression Models

Authors: Trevelyan J. McKinley, Michelle Morters, James L. N. Wood

Abstract: The use of the proportional odds (PO) model for ordinal regression is ubiquitous in the literature. If the assumption of parallel lines does not hold for the data, then an alternative is to specify a non-proportional odds (NPO) model, where the regression parameters are allowed to vary depending on the level of the response. However, it is often difficult to fit these models, and challenges regard… ▽ More The use of the proportional odds (PO) model for ordinal regression is ubiquitous in the literature. If the assumption of parallel lines does not hold for the data, then an alternative is to specify a non-proportional odds (NPO) model, where the regression parameters are allowed to vary depending on the level of the response. However, it is often difficult to fit these models, and challenges regarding model choice and fitting are further compounded if there are a large number of explanatory variables. We make two contributions towards tackling these issues: firstly, we develop a Bayesian method for fitting these models, that ensures the stochastic ordering conditions hold for an arbitrary finite range of the explanatory variables, allowing NPO models to be fitted to any observed data set. Secondly, we use reversible-jump Markov chain Monte Carlo to allow the model to choose between PO and NPO structures for each explanatory variable, and show how variable selection can be incorporated. These methods can be adapted for any monotonic increasing link functions. We illustrate the utility of these approaches on novel data from a longitudinal study of individual-level risk factors affecting body condition score in a dog population in Zenzele, South Africa. △ Less

Submitted 26 March, 2015; originally announced March 2015.

Comments: Published at http://dx.doi.org/10.1214/14-BA884 in the Bayesian Analysis (http://projecteuclid.org/euclid.ba) by the International Society of Bayesian Analysis (http://bayesian.org/)

Report number: VTeX-BA-BA884

Journal ref: Bayesian Analysis 2015, Vol. 10, No. 1, 1-30

MacWilliams' Extension Theorem for Bi-Invariant Weights over Finite Principal Ideal Rings

Authors: Marcus Greferath, Thomas Honold, Cathy Mc Fadden, Jay A. Wood, Jens Zumbrägel

Abstract: A finite ring R and a weight w on R satisfy the Extension Property if every R-linear w-isometry between two R-linear codes in R^n extends to a monomial transformation of R^n that preserves w. MacWilliams proved that finite fields with the Hamming weight satisfy the Extension Property. It is known that finite Frobenius rings with either the Hamming weight or the homogeneous weight satisfy the Exten… ▽ More A finite ring R and a weight w on R satisfy the Extension Property if every R-linear w-isometry between two R-linear codes in R^n extends to a monomial transformation of R^n that preserves w. MacWilliams proved that finite fields with the Hamming weight satisfy the Extension Property. It is known that finite Frobenius rings with either the Hamming weight or the homogeneous weight satisfy the Extension Property. Conversely, if a finite ring with the Hamming or homogeneous weight satisfies the Extension Property, then the ring is Frobenius. This paper addresses the question of a characterization of all bi-invariant weights on a finite ring that satisfy the Extension Property. Having solved this question in previous papers for all direct products of finite chain rings and for matrix rings, we have now arrived at a characterization of these weights for finite principal ideal rings, which form a large subclass of the finite Frobenius rings. We do not assume commutativity of the rings in question. △ Less

Submitted 12 September, 2013; originally announced September 2013.

Comments: 12 pages

Harmonic maps into the exceptional symmetric space $G_2/SO(4)$

Authors: Martin Svensson, John C. Wood

Abstract: We show that a harmonic map from a Riemann surface into the exceptional symmetric space $G_2/{\mathrm SO}(4)$ has a $J_2$-holomorphic twistor lift into one of the three flag manifolds of $G_2$ if and only if it is `nilconformal', i.e., has nilpotent derivative. Then we find relationships with almost complex maps from a surface into the 6-sphere; this enables us to construct examples of nilconforma… ▽ More We show that a harmonic map from a Riemann surface into the exceptional symmetric space $G_2/{\mathrm SO}(4)$ has a $J_2$-holomorphic twistor lift into one of the three flag manifolds of $G_2$ if and only if it is `nilconformal', i.e., has nilpotent derivative. Then we find relationships with almost complex maps from a surface into the 6-sphere; this enables us to construct examples of nilconformal harmonic maps into $G_2/{\mathrm SO}(4)$ which are not of finite uniton number, and which have lifts into any of the three twistor spaces. Harmonic maps of finite uniton number are all nilconformal; for such maps, we show that our lifts can be constructed explicitly from extended solutions. △ Less

Submitted 22 October, 2014; v1 submitted 28 March, 2013; originally announced March 2013.

Comments: Final section added with some Lie-theoretic proofs. The rest of the paper slightly shortened

New constructions of twistor lifts for harmonic maps

Authors: Martin Svensson, John C. Wood

Abstract: We show that given a harmonic map $\varphi$ from a Riemann surface to a classical compact simply connected inner symmetric space, there is a $J_2$-holomorphic twistor lift of $\varphi$ (or its negative) if and only if it is nilconformal. In the case of harmonic maps of finite uniton number, we give algebraic formulae in terms of holomorphic data which describes their extended solutions. In particu… ▽ More We show that given a harmonic map $\varphi$ from a Riemann surface to a classical compact simply connected inner symmetric space, there is a $J_2$-holomorphic twistor lift of $\varphi$ (or its negative) if and only if it is nilconformal. In the case of harmonic maps of finite uniton number, we give algebraic formulae in terms of holomorphic data which describes their extended solutions. In particular, this gives explicit formulae for the twistor lifts of all harmonic maps of finite uniton number from a surface to the above symmetric spaces. △ Less

Submitted 23 November, 2013; v1 submitted 9 June, 2011; originally announced June 2011.

Comments: Some minor changes and a correction of Example 8.2

Report number: CP3-ORIGINS-2011-19; DIAS-2011-05 MSC Class: 53C43 (Primary) 58E20 (Secondary)

Bicategories of spans as cartesian bicategories

Authors: Stephen Lack, R. F. C. Walters, R. J. Wood

Abstract: Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic. Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic. △ Less

Submitted 12 February, 2010; v1 submitted 15 October, 2009; originally announced October 2009.

Journal ref: Theory and Applications of Categories, Vol. 24, No. 1, 2010, pp. 1{24

Harmonic morphisms and bicomplex manifolds

Authors: Paul Baird, John C. Wood

Abstract: We use functions of a bicomplex variable to unify the existing constructions of harmonic morphisms from a 3-dimensional Euclidean or pseudo-Euclidean space to a Riemannian or Lorentzian surface. This is done by using the notion of complex-harmonic morphism between complex-Riemannian manifolds and showing how these are given by bicomplex-holomorphic functions when the codomain is one-bicomplex di… ▽ More We use functions of a bicomplex variable to unify the existing constructions of harmonic morphisms from a 3-dimensional Euclidean or pseudo-Euclidean space to a Riemannian or Lorentzian surface. This is done by using the notion of complex-harmonic morphism between complex-Riemannian manifolds and showing how these are given by bicomplex-holomorphic functions when the codomain is one-bicomplex dimensional. By taking real slices, we recover well-known compactifications for the three possible real cases. On the way, we discuss some interesting conformal compactifications of complex-Riemannian manifolds by interpreting them as bicomplex manifolds. △ Less

Submitted 11 March, 2010; v1 submitted 6 October, 2009; originally announced October 2009.

Comments: 29 pages. Previously called `Harmonic morphisms and bicomplex numbers'; minor improvements made.

MSC Class: 58E20; 53C43

Filtrations, factorizations and explicit formulae for harmonic maps

Authors: Martin Svensson, John C. Wood

Abstract: We use filtrations of the Grassmannian model to produce explicit algebraic formulae for all harmonic maps of finite uniton number from a Riemann surface, and so all harmonic maps from the 2-sphere, to the unitary group for a general class of factorizations by unitons. We show how these specialize to give explicit formulae for such harmonic maps to each of the classical compact Lie groups and their… ▽ More We use filtrations of the Grassmannian model to produce explicit algebraic formulae for all harmonic maps of finite uniton number from a Riemann surface, and so all harmonic maps from the 2-sphere, to the unitary group for a general class of factorizations by unitons. We show how these specialize to give explicit formulae for such harmonic maps to each of the classical compact Lie groups and their inner symmetric spaces - the nonlinear sigma-model of particle physics. Our methods also give an explicit Iwasawa decomposition of the algebraic loop group. △ Less

Submitted 11 August, 2010; v1 submitted 30 September, 2009; originally announced September 2009.

Comments: Some minor improvements and corrections made

Report number: CP3-Origins-2010-16 MSC Class: 53C43; 58E20

All harmonic 2-spheres in the unitary group, completely explicitly

Authors: Maria João Ferreira, Bruno A. Simões, John C. Wood

Abstract: We give a completely explicit formula for all harmonic maps of finite uniton number from a Riemann surface to the unitary group U(n) in any dimension, and so all harmonic maps from the 2-sphere, in terms of freely chosen meromorphic functions on the surface and their derivatives, using only combinations of projections and avoiding the usual dbar-problems or loop group factorizations. We interpre… ▽ More We give a completely explicit formula for all harmonic maps of finite uniton number from a Riemann surface to the unitary group U(n) in any dimension, and so all harmonic maps from the 2-sphere, in terms of freely chosen meromorphic functions on the surface and their derivatives, using only combinations of projections and avoiding the usual dbar-problems or loop group factorizations. We interpret our constructions using Segal's Grassmannian model, giving an explicit factorization of the algebraic loop group, and showing how to obtain harmonic maps into a Grassmannian. △ Less

Submitted 1 September, 2009; v1 submitted 7 November, 2008; originally announced November 2008.

Comments: Some minor corrections made; one reference added; one removed

MSC Class: 58E20; 53C43

Jacobi fields along harmonic 2-spheres in $S^3$ and $S^4$ are not all integrable

Authors: Luc Lemaire, John C Wood

Abstract: In a previous paper, we showed that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). In this paper, in contrast, we show that there are (non-full) harmonic maps from the 2-sphere to the 3-sphere and 4-sphere which have non-integrable Jacobi fields. This is particularly surprising… ▽ More In a previous paper, we showed that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). In this paper, in contrast, we show that there are (non-full) harmonic maps from the 2-sphere to the 3-sphere and 4-sphere which have non-integrable Jacobi fields. This is particularly surprising in the case of the 3-sphere where the space of harmonic maps of any degree is a smooth manifold, each map having image in a totally geodesic 2-sphere. △ Less

Submitted 20 December, 2007; v1 submitted 10 September, 2007; originally announced September 2007.

Comments: 43 pages. Some typos corrected; introduction expanded

MSC Class: 58E20; 53C43

Frobenius Objects in Cartesian Bicategories

Authors: R. F. C. Walters, R. J. Wood

Abstract: Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid. Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid. △ Less

Submitted 14 August, 2007; originally announced August 2007.

MSC Class: 18D5; 18D10

Cartesian Bicategories II

Authors: A. Carboni, G. M. Kelly, R. F. C Walters, R. J. Wood

Abstract: The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. △ Less

Submitted 14 August, 2007; originally announced August 2007.

MSC Class: 18D05; 18D10

Operator Segal Algebras in Fourier Algebras

Authors: Brian E. Forrest, Nico Spronk, Peter J. Wood

Abstract: Let G be a locally compact group, A(G) its Fourier algebra and L1(G) the space of Haar integrable functions on G. We study the Segal algebra SA(G)=A(G)\cap L1(G) in A(G). It admits an operator space structure which makes it a completely contractive Banach algebra. We compute the dual space of SA(G). We use it show that restriction operator u|->u|H:SA(G)->A(H), for some non-open closed subgroups… ▽ More Let G be a locally compact group, A(G) its Fourier algebra and L1(G) the space of Haar integrable functions on G. We study the Segal algebra SA(G)=A(G)\cap L1(G) in A(G). It admits an operator space structure which makes it a completely contractive Banach algebra. We compute the dual space of SA(G). We use it show that restriction operator u|->u|H:SA(G)->A(H), for some non-open closed subgroups H, is a surjective complete qutient map. We also show that if N is a non-compact closed subgroup, then the averaging operator tau_N:SA(G)->L1(G/N), tau_N u(sN)=\int_N u(sn)dn is a surjective complete quotient map. This puts an operator space perspective on the philosophy that SA(G) is ``locally A(G) while globally L1''. Also, using the operator space structure we can show that SA(G) is operator amenable exactly when when G is compact; and we can show that it is always operator weakly amenable. To obtain the latter fact, we use E. Samei's theory of hyper-Tauberian Banach algebras. △ Less

Submitted 20 January, 2006; originally announced January 2006.

Comments: 20 pages

MSC Class: 43A30; 46L07; 43A07; 47L25

Journal ref: Studia Math. 179 (2007), no. 3, 277--295.

Wavelets and Hilbert modules

Authors: Peter John Wood

Abstract: A Hilbert module is a generalisation of a Hilbert space for which the inner product takes its values in a C*-algebra instead of the complex numbers. We use the bracket product to construct some Hilbert modules over a group C*-algebra which is generated by the group of translations associated with a wavelet. We shall investigate bracket products and their Fourier transform in the space of square… ▽ More A Hilbert module is a generalisation of a Hilbert space for which the inner product takes its values in a C*-algebra instead of the complex numbers. We use the bracket product to construct some Hilbert modules over a group C*-algebra which is generated by the group of translations associated with a wavelet. We shall investigate bracket products and their Fourier transform in the space of square integrable functions in Euclidean space. We will also show that some wavelets are associated with Hilbert modules over the space of essentially bounded functions over higher dimensional tori. △ Less

Submitted 3 October, 2004; originally announced October 2004.

Comments: To appear in the Journal of Fourier Analysis and Applications

MSC Class: 42C40 (Primary); 46L08; 43A25 (Secondary)

Journal ref: J. Four. Anal. Appl. 10:6, 573-578, 2004

Harmonic morphisms and shear-free ray congruences

Authors: P. Baird, J. C. Wood

Abstract: We describe the relationship between complex-valued harmonic morphisms from Minkowski 4-space} and the shear-free ray congruences of mathematical physics. Then we show how a horizontally conformal submersion on a domain of Euclidean 3-space gives the boundary values at infinity of a complex-valued harmonic morphism on hyperbolic 4-space. We describe the relationship between complex-valued harmonic morphisms from Minkowski 4-space} and the shear-free ray congruences of mathematical physics. Then we show how a horizontally conformal submersion on a domain of Euclidean 3-space gives the boundary values at infinity of a complex-valued harmonic morphism on hyperbolic 4-space. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 38 pages, needs lms.sty, 3 ps figures. This is a revised and expanded version of dg-ga/9603005, and forms a supplement to the authors' book `Harmonic morphisms between Riemannian manifolds', see http://www.amsta.leeds.ac.uk/Pure/staff/wood/BWBook/BWBook.html

MSC Class: 53C43 (Primary); 58E20 (Secondary)

Twistorial harmonic morphisms with one-dimensional fibres on self-dual four-manifolds

Authors: R. Pantilie, J. C. Wood

Abstract: We introduce a general notion of twistorial map and classify twistorial harmonic morphisms with one-dimensional fibres from self-dual four-manifolds. Such maps can be characterised as those which pull back Abelian monopoles to self-dual connections. In fact, the constructions involve solving a generalised monopole equation, and also the Beltrami fields equation of hydrodynamics, and lead to cons… ▽ More We introduce a general notion of twistorial map and classify twistorial harmonic morphisms with one-dimensional fibres from self-dual four-manifolds. Such maps can be characterised as those which pull back Abelian monopoles to self-dual connections. In fact, the constructions involve solving a generalised monopole equation, and also the Beltrami fields equation of hydrodynamics, and lead to constructions of self-dual metrics. △ Less

Submitted 8 April, 2005; v1 submitted 7 May, 2003; originally announced May 2003.

Comments: 39 pages, LaTeX 2e, using fancyheadings sty. Some minor improvements made. To appear in Q. J. Math

Report number: University of Leeds preprint 2003 no. 11 MSC Class: 58E20; 53C43

Quantum symmetries and the Weyl-Wigner product of group representations

Authors: A. J. Bracken, G. Cassinelli, J. G. Wood

Abstract: In the usual formulation of quantum mechanics, groups of automorphisms of quantum states have ray representations by unitary and antiunitary operators on complex Hilbert space, in accordance with Wigner's Theorem. In the phase-space formulation, they have real, true unitary representations in the space of square-integrable functions on phase-space. Each such phase-space representation is a Weyl-… ▽ More In the usual formulation of quantum mechanics, groups of automorphisms of quantum states have ray representations by unitary and antiunitary operators on complex Hilbert space, in accordance with Wigner's Theorem. In the phase-space formulation, they have real, true unitary representations in the space of square-integrable functions on phase-space. Each such phase-space representation is a Weyl-Wigner product of the corresponding Hilbert space representation with its contragredient, and these can be recovered by `factorising' the Weyl-Wigner product. However, not every real, unitary representation on phase-space corresponds to a group of automorphisms, so not every such representation is in the form of a Weyl-Wigner product and can be factorised. The conditions under which this is possible are examined. Examples are presented. △ Less

Submitted 1 November, 2002; originally announced November 2002.

Comments: Latex2e file, 37 pages

MSC Class: 81S30; 58D30; 81R05

Journal ref: J. Phys. A 36 (2003), 1033-1056

A new construction of Einstein self-dual metrics

Authors: Radu Pantilie, John C. Wood

Abstract: We give a new construction of Ricci-flat self-dual metrics which is a natural extension of the Gibbons--Hawking ansatz. We also give characterisations of both these constructions, and explain how they come from harmonic morphisms. We give a new construction of Ricci-flat self-dual metrics which is a natural extension of the Gibbons--Hawking ansatz. We also give characterisations of both these constructions, and explain how they come from harmonic morphisms. △ Less

Submitted 24 September, 2001; originally announced September 2001.

Comments: 17 pages, Latex 2e

Report number: University of Leeds, Department of Pure Mathematics, 2001, Preprint No. 24 MSC Class: 58E20 (Primary); 53C43 (Secondary)

Harmonic morphisms with one-dimensional fibres on Einstein manifolds

Authors: Radu Pantilie, John C. Wood

Abstract: We prove that, from an Einstein manifold of dimension greater than or equal to five, there are just two types of harmonic morphism with one-dimensional fibres. This generalizes a result of R.L. Bryant who obtained the same conclusion under the assumption that the domain has constant curvature. We prove that, from an Einstein manifold of dimension greater than or equal to five, there are just two types of harmonic morphism with one-dimensional fibres. This generalizes a result of R.L. Bryant who obtained the same conclusion under the assumption that the domain has constant curvature. △ Less

Submitted 13 June, 2001; originally announced June 2001.

Comments: Latex 2e, 21 pages

Report number: University of Leeds, 2001 preprint series, no. 20 MSC Class: 58E20 (Primary) 53C43 (Secondary)

Jacobi fields along harmonic 2-spheres in ${\bf C}P^2$ are integrable

Authors: Luc Lemaire, John C. Wood

Abstract: We show that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). This provides one of the few known answers to this problem of integrability, which was raised in different contexts of geometry and analysis. It implies that the Jacobi fields form the tangent bundle to each component o… ▽ More We show that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). This provides one of the few known answers to this problem of integrability, which was raised in different contexts of geometry and analysis. It implies that the Jacobi fields form the tangent bundle to each component of the manifold of harmonic maps from $S^2$ to ${\bf C}P^2$ thus giving the nullity of any such harmonic map; it also has bearing on the behaviour of weakly harmonic $E$-minimizing maps from a 3-manifold to ${\bf C}P^2$ near a singularity and the structure of the singular set of such maps from any manifold to ${\bf C}P^2$. △ Less

Submitted 17 December, 2001; v1 submitted 24 April, 2001; originally announced April 2001.

Comments: Latex 2e, 24 pages

Report number: University of Leeds, 2001 preprint series, no. 11 MSC Class: 58E20 (Primary) 53C43; 53A10 (Secondary)

Jacobi fields along harmonic maps

Authors: John C. Wood

Abstract: We show that Jacobi fields along harmonic maps between suitable spaces preserve conformality, holomorphicity, real isotropy and complex isotropy to first order; this last being one of the key tools in the proof by Lemaire and the author of integrability of Jacobi fields along harmonic maps from the 2-sphere to the complex projective plane. We show that Jacobi fields along harmonic maps between suitable spaces preserve conformality, holomorphicity, real isotropy and complex isotropy to first order; this last being one of the key tools in the proof by Lemaire and the author of integrability of Jacobi fields along harmonic maps from the 2-sphere to the complex projective plane. △ Less

Submitted 11 April, 2001; originally announced April 2001.

Comments: Latex 2e,16 pages, Paper presented at the Mathematical Society of Japan 9th International Research Institute: `Integrable Systems in Differential Geometry', 17-21 July 2000, University of Tokyo

Report number: University of Leeds, 2001 preprint series, no. 10 MSC Class: 53C43; 58E20

Topological restrictions for circle actions and harmonic morphisms

Authors: Radu Pantilie, John C. Wood

Abstract: Let $M^m$ be a compact oriented smooth manifold which admits a smooth circle action with isolated fixed points which are isolated as singularities as well. Then all the Pontryagin numbers of $M^m$ are zero and its Euler number is nonnegative and even. In particular, $M^m$ has signature zero. Since a non-constant harmonic morphism with one-dimensional fibres gives rise to a circle action we have… ▽ More Let $M^m$ be a compact oriented smooth manifold which admits a smooth circle action with isolated fixed points which are isolated as singularities as well. Then all the Pontryagin numbers of $M^m$ are zero and its Euler number is nonnegative and even. In particular, $M^m$ has signature zero. Since a non-constant harmonic morphism with one-dimensional fibres gives rise to a circle action we have the following applications: (i) many compact manifolds, for example $CP^{n}$, $K3$ surfaces, $S^{2n}\times P_g$ ($n\geq2$) where $P_g$ is the closed surface of genus $g\geq2$ can never be the domain of a non-constant harmonic morphism with one-dimensional fibres whatever metrics we put on them; (ii) let $(M^4,g)$ be a compact orientable four-manifold and $φ:(M^4,g)\to(N^3,h)$ a non-constant harmonic morphism. Suppose that one of the following assertions holds: (1) $(M^4,g)$ is half-conformally flat and its scalar curvature is zero, (2) $(M^4,g)$ is Einstein and half-conformally flat, (3) $(M^4,g,J)$ is Hermitian-Einstein. Then, up to homotheties and Riemannian coverings, $φ$ is the canonical projection $T^4\to T^3$ between flat tori. △ Less

Submitted 19 October, 2000; v1 submitted 24 July, 2000; originally announced July 2000.

Comments: 18 pages; Minor corrections to Proposition 3.1 and small changes in Theorem 2.8, proof of Theorem 3.3 and Remark 3.4

Report number: University of Leeds, Dept. of Pure Mathematics, Preprint no. 21, 2000 MSC Class: 58E20;53C43;57R20

Harmonic morphisms and the Jacobi operator

Authors: Stefano Montaldo, John C. Wood

Abstract: We prove that harmonic morphisms preserve the Jacobi operator along harmonic maps. We apply this result to prove infinitesimal and local rigidity (in the sense of Toth) of harmonic morphisms to a sphere. We prove that harmonic morphisms preserve the Jacobi operator along harmonic maps. We apply this result to prove infinitesimal and local rigidity (in the sense of Toth) of harmonic morphisms to a sphere. △ Less

Submitted 1 November, 1999; originally announced October 1999.

Comments: 10 pages

Report number: 1999 no. 35 MSC Class: 58E20

Harmonic morphisms from three-dimensional Euclidean and spherical space forms

Authors: M. T. Mustafa, J. C. Wood

Abstract: P. Baird and the second author studied harmonic morphisms from a three-dimensional simply-connected space form to a surface and obtained a complete local and global classification of them. In this paper, we obtain a description of all harmonic morphisms from any three-dimensional Euclidean and spherical space form to a surface, namely that any such harmonic morphism is the composition of a stand… ▽ More P. Baird and the second author studied harmonic morphisms from a three-dimensional simply-connected space form to a surface and obtained a complete local and global classification of them. In this paper, we obtain a description of all harmonic morphisms from any three-dimensional Euclidean and spherical space form to a surface, namely that any such harmonic morphism is the composition of a standard harmonic morphism and a weakly conformal map. We list the standard harmonic morphisms. △ Less

Submitted 18 December, 1996; originally announced December 1996.

Comments: LaTeX 2e, 15 Pages, University of Leeds and ICTP preprint

MSC Class: 58E20

Type 4 is not computable

Authors: Japheth Wood

Abstract: We extend a recent result of McKenzie, and show that it is an undecidable problem to determine if 4 appears in the typeset of a finitely generated, locally finite variety. We extend a recent result of McKenzie, and show that it is an undecidable problem to determine if 4 appears in the typeset of a finitely generated, locally finite variety. △ Less

Submitted 14 November, 1996; originally announced November 1996.

Report number: FI-MT1996-007

Harmonic morphisms, conformal foliations and shear-free ray congruences

Authors: P. Baird, J. C. Wood

Abstract: Equivalences between conformal foliations on Euclidean $3$-space, Hermitian structures on Euclidean $4$-space, shear-free ray congruences on Minkowski $4$-space, and holomorphic foliations on complex $4$-space are explained geometrically and twistorially; these are used to show that 1) any real-analytic complex-valued harmonic morphism without critical points defined on an open subset of Minkows… ▽ More Equivalences between conformal foliations on Euclidean $3$-space, Hermitian structures on Euclidean $4$-space, shear-free ray congruences on Minkowski $4$-space, and holomorphic foliations on complex $4$-space are explained geometrically and twistorially; these are used to show that 1) any real-analytic complex-valued harmonic morphism without critical points defined on an open subset of Minkowski space is conformally equivalent to the direction vector field of a shear-free ray congruence, 2) the boundary values at infinity of a complex-valued harmonic morphism on hyperbolic $4$-space define a real-analytic conformal foliation by curves of an open subset of Euclidean $3$-space and all such foliations arise this way. This gives an explicit method of finding such foliations; some examples are given. △ Less

Submitted 13 March, 1996; originally announced March 1996.

Comments: 30 pages, Latex 2.09, one figure

Report number: Univ. of Leeds preprint '96 no. 10

Weierstrass representations for harmonic morphisms on Euclidean spaces and spheres

Authors: P. Baird, J. C. Wood

Abstract: We construct large families of harmonic morphisms which are holomorphic with respect to Hermitian structures by finding heierarchies of Weierstrass-type representations. This enables us to find new examples of complex-valued harmonic morphisms from Euclidean spaces and spheres. We construct large families of harmonic morphisms which are holomorphic with respect to Hermitian structures by finding heierarchies of Weierstrass-type representations. This enables us to find new examples of complex-valued harmonic morphisms from Euclidean spaces and spheres. △ Less

Submitted 24 May, 1996; v1 submitted 20 December, 1995; originally announced December 1995.

Comments: Minor revision adding example. Latex 2.09. 14 pages

Report number: University of Leeds, preprint 1995 no. 33 To appear in Math. Scand. MSC Class: 58E20

Harmonic morphisms between almost Hermitian manifolds

Authors: S. Gudmundsson, J. C. Wood

Abstract: We obtain conditions on the Lee form under which a holomorphic map between almost Hermitian manifolds is a harmonic map or morphism. Then we discuss under what conditions (i) the image of a holomorphic map from a cosymplectic manifold is also cosymplectic, (ii) a holomophic map with Hermitian image defines a Hermitian structure on its domain. We obtain conditions on the Lee form under which a holomorphic map between almost Hermitian manifolds is a harmonic map or morphism. Then we discuss under what conditions (i) the image of a holomorphic map from a cosymplectic manifold is also cosymplectic, (ii) a holomophic map with Hermitian image defines a Hermitian structure on its domain. △ Less

Submitted 18 December, 1995; originally announced December 1995.

Report number: Lund preprint 1995 no. 3, Leeds preprint 1995 no. 32

On the classification of quadratic harmonic morphisms between Euclidean spaces

Authors: Ye-lin Ou, J. C. Wood

Abstract: We give a classification of quadratic harmonic morphisms between Euclidean spaces (Theorem 2.4) after proving a Rank Lemma. We also find a correspondence between umbilical (Definition 2.7) quadratic harmonic morphisms and Clifford systems. In the case $ {\Bbb R}^{4}\longrightarrow {\Bbb R}^{3} $, we determine all quadratic harmonic morphisms and show that, up to a constant factor, they are all b… ▽ More We give a classification of quadratic harmonic morphisms between Euclidean spaces (Theorem 2.4) after proving a Rank Lemma. We also find a correspondence between umbilical (Definition 2.7) quadratic harmonic morphisms and Clifford systems. In the case $ {\Bbb R}^{4}\longrightarrow {\Bbb R}^{3} $, we determine all quadratic harmonic morphisms and show that, up to a constant factor, they are all bi-equivalent (Definition 3.2) to the well-known Hopf construction map and induce harmonic morphisms bi-equivalent to the Hopf fibration ${\Bbb S}^{3} \longrightarrow {\Bbb S}^{2}$. △ Less

Submitted 3 November, 1995; originally announced November 1995.

Comments: 13 pages, AMS-Latex

On the space of harmonic $2$-spheres in ${\bf C}P^2$

Authors: L. Lemaire, J. C. Wood

Abstract: Carrying further work of T.A. Crawford, we show that each component of the space of harmonic maps from the $2$-sphere to complex projective $2$-space of degree $d$ and energy $4 πE$ is a smooth closed submanifold of the space of all $C^j$ maps $(j \geq 2)$. We achieve this by showing that the Gauss transform which relates them to spaces of holomorphic maps of given degree and ramification index… ▽ More Carrying further work of T.A. Crawford, we show that each component of the space of harmonic maps from the $2$-sphere to complex projective $2$-space of degree $d$ and energy $4 πE$ is a smooth closed submanifold of the space of all $C^j$ maps $(j \geq 2)$. We achieve this by showing that the Gauss transform which relates them to spaces of holomorphic maps of given degree and ramification index is {\bf smooth} and has {\bf injective differential}. △ Less

Submitted 12 March, 1996; v1 submitted 6 October, 1995; originally announced October 1995.

Comments: Minor revision to take into account improved result of T.A. Crawford. Abstract and p. 2 changed plus some typos corrected. 15 pages. Latex 2.09 To appear in Internat. J. Math

Hermitian structures and harmonic morphisms in higher dimensional Euclidean spaces

Authors: P. Baird, J. C. Wood

Abstract: We construct new complex-valued harmonic morphisms from Euclidean spaces from functions which are holomorphic with respect to Hermitian structures. In particular, we give the first global examples of complex-valued harmonic morphisms from ${\bf R}^n$ for each $n>4$ which do not arise from a Kähler structure; it is known that such examples do not exist for $n \leq 4$. We construct new complex-valued harmonic morphisms from Euclidean spaces from functions which are holomorphic with respect to Hermitian structures. In particular, we give the first global examples of complex-valued harmonic morphisms from ${\bf R}^n$ for each $n>4$ which do not arise from a Kähler structure; it is known that such examples do not exist for $n \leq 4$. △ Less

Submitted 17 October, 1994; v1 submitted 13 October, 1994; originally announced October 1994.

Comments: 34 pages, preprint, University of Leeds, 94-13