Showing 1–50 of 56 results for author: Beggs, E

Cosmological quantum mechanics on FLRW spacetimes

Authors: Edwin Beggs, Shahn Majid

Abstract: We study general relativistic quantum mechanics in the case of an FLRW cosmological background. For positive spatial curvature we find a discrete series of solutions of the Klein-Gordon equation that can reasonably be called gravitationally bound `cosmological atom' states. For all cases of curvature, these modes, as well as more conventional atomic spatial modes bound by an external potential, ex… ▽ More We study general relativistic quantum mechanics in the case of an FLRW cosmological background. For positive spatial curvature we find a discrete series of solutions of the Klein-Gordon equation that can reasonably be called gravitationally bound `cosmological atom' states. For all cases of curvature, these modes, as well as more conventional atomic spatial modes bound by an external potential, extend to solutions of the Klein-Gordon equations viewed as stationary modes of Klein-Gordon quantum mechanics where wavefunctions are over spacetime and evolution is with respect to an external `geodesic time' parameter $s$. For general nonstationary states with fixed spatial eigenvector, the theory reduces to a novel 1-dimensional quantum system on the time $t$ axis with potential $1/a(t)^2$, where $a(t)$ is the Friedmann expansion factor. Its behaviour, and hence the evolution of spatial states, changes critically when the Hubble constant exceeds $2/3$ of the particle mass, as typically occurs during inflation. We also find washout of the evolution of spatial observables at late times and a backward-traveling reflected mode generated when the value of $H$ transitions to a larger value. △ Less

Submitted 19 February, 2025; v1 submitted 30 January, 2025; originally announced January 2025.

Comments: 19 pages 5 figures. Added a reference for geodesic flows and improved abstract, intro and conclusions

*-Hopf algebroids

Authors: Edwin Beggs, Xiao Han, Shahn Majid

Abstract: We introduce a theory of $*$-structures for bialgebroids and Hopf algebroids over a $*$-algebra, defined in such a way that the relevant category of (co)modules is a bar category. We show that if $H$ is a Hopf $*$-algebra then the action Hopf algebroid $A\# H$ associated to a braided-commutative algebra in the category of $H$-crossed modules is a full $*$-Hopf algebroid and the Ehresmann-Schauenbu… ▽ More We introduce a theory of $*$-structures for bialgebroids and Hopf algebroids over a $*$-algebra, defined in such a way that the relevant category of (co)modules is a bar category. We show that if $H$ is a Hopf $*$-algebra then the action Hopf algebroid $A\# H$ associated to a braided-commutative algebra in the category of $H$-crossed modules is a full $*$-Hopf algebroid and the Ehresmann-Schauenburg Hopf algebroid $\mathcal{L}(P,H)$ associated to a Hopf-Galois extension or quantum group principal bundle $P$ with fibre $H$ forms a $*$-Hopf algebroid pair, when the relevant (co)action respects $*$. We also show that Ghobadi's bialgebroid associated to a $*$-differential structure $(Ω^{1},\rm d)$ on $A$ forms a $*$-bialgebroid pair and its quotient in the pivotal case a $*$-Hopf algebroid pair when the pivotal structure is compatible with $*$. We show that when $Ω^1$ is simultaneously free on both sides, Ghobadi's Hopf algebroid is isomorphic to $\mathcal{L}(A\#H,H)$ for a smash product by a certain Hopf algebra $H$. △ Less

Submitted 30 December, 2024; originally announced December 2024.

MSC Class: 16T05; 20G42; 46L87; 58B32

General relativistic quantum mechanics

Authors: Edwin Beggs, Shahn Majid

Abstract: We obtain generally covariant operator-valued geodesic equations on a pseudo-Riemannian manifold $M$ as an application of quantum geodesics on the algebra $D(M)$ of differential operators. Geodesic motion arises here as an associativity condition for a certain form of first order differential calculus on this algebra in the presence of curvature. The corresponding Schrödinger picture has wavefunct… ▽ More We obtain generally covariant operator-valued geodesic equations on a pseudo-Riemannian manifold $M$ as an application of quantum geodesics on the algebra $D(M)$ of differential operators. Geodesic motion arises here as an associativity condition for a certain form of first order differential calculus on this algebra in the presence of curvature. The corresponding Schrödinger picture has wavefunctions on spacetime and proper time evolution by the Klein-Gordon operator, with stationary modes precisely solutions of the Klein-Gordon equation. As an application, we describe gravatom solutions of the Klein-Gordon equations around a Schwarzschild black hole, i.e. gravitationally bound states which far from the event horizon resemble atomic states with the black hole in the role of the nucleus. The spatial eigenfunctions exhibit probability density banding as for higher orbital modes of an ordinary atom, but of a fractal nature approaching the horizon. △ Less

Submitted 19 February, 2025; v1 submitted 10 December, 2024; originally announced December 2024.

Comments: 45 pages AMSLATEX, 3 figures, added a reference for classical geodesic flows, improved abstract and intro

Complex structure on quantum-braided planes

Authors: Edwin Beggs, Shahn Majid

Abstract: We construct a quantum Dolbeault double complex $\oplus_{p,q}Ω^{p,q}$ on the quantum plane $\Bbb C_q^2$. This solves the long-standing problem that the standard differential calculus on the quantum plane is not a $*$-calculus, by embedding it as the holomorphic part of a $*$-calculus. We show in general that any Nichols-Woronowicz algebra or braided plane $B_+(V)$, where $V$ is an object in an abe… ▽ More We construct a quantum Dolbeault double complex $\oplus_{p,q}Ω^{p,q}$ on the quantum plane $\Bbb C_q^2$. This solves the long-standing problem that the standard differential calculus on the quantum plane is not a $*$-calculus, by embedding it as the holomorphic part of a $*$-calculus. We show in general that any Nichols-Woronowicz algebra or braided plane $B_+(V)$, where $V$ is an object in an abelian $\Bbb C$-linear braided bar category of real type is a quantum complex space in this sense with a factorisable Dolbeault double complex. We combine the Chern construction on $Ω^{1,0}$ in such a Dolbeault complex for an algebra $A$ with its conjugate to construct a canonical metric compatible connection on $Ω^1$ associated to a class of quantum metrics, and apply this to the quantum plane. We also apply this to finite groups $G$ with Cayley graph generators split into two halves related by inversion, constructing such a Dolbeault complex $Ω(G)$ in this case, recovering the quantum Levi-Civita connection for any edge-symmetric metric on the integer lattice with $Ω(\Bbb Z)$ now viewed as a quantum complex structure. We also show how to build natural quantum metrics on $Ω^{1,0}$ and $Ω^{0,1}$ separately where the inner product in the case of the quantum plane, in order to descend to $\otimes_A$, is taken with values in an $A$-bimodule. △ Less

Submitted 8 September, 2024; originally announced September 2024.

Comments: 28 pages, 5 figures

On human-centred security: A new systems model based on modes and mode transitions

Authors: Edwin J Beggs, John V Tucker, Victoria Wang

Abstract: We propose an abstract conceptual framework for analysing complex security systems using a new notion of modes and mode transitions. A mode is an independent component of a system with its own objectives, monitoring data, algorithms, and scope and limits. The behaviour of a mode, including its transitions to other modes, is determined by interpretations of the mode's monitoring data in the light o… ▽ More We propose an abstract conceptual framework for analysing complex security systems using a new notion of modes and mode transitions. A mode is an independent component of a system with its own objectives, monitoring data, algorithms, and scope and limits. The behaviour of a mode, including its transitions to other modes, is determined by interpretations of the mode's monitoring data in the light of its objectives and capabilities -- these interpretations we call beliefs. We formalise the conceptual framework mathematically and, by quantifying and visualising beliefs in higher-dimensional geometric spaces, we argue our models may help both design, analyse and explain systems. The mathematical models are based on simplicial complexes. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Quantum geodesic flows on graphs

Authors: Edwin Beggs, Shahn Majid

Abstract: We revisit the construction of quantum Riemannian geometries on graphs starting from a hermitian metric compatible connection, which always exists. We use this method to find quantum Levi-Civita connections on the $n$-leg star graph for $n=2,3,4$ and find the same phenomenon as recently found for the $A_n$ Dynkin graph that the metric length for each outbound arrow has to exceed the length in the… ▽ More We revisit the construction of quantum Riemannian geometries on graphs starting from a hermitian metric compatible connection, which always exists. We use this method to find quantum Levi-Civita connections on the $n$-leg star graph for $n=2,3,4$ and find the same phenomenon as recently found for the $A_n$ Dynkin graph that the metric length for each outbound arrow has to exceed the length in the other direction by a multiple, here $\sqrt{n}$. We then study quantum geodesics on graphs and construct these on the 4-leg graph and on the integer lattice line $\Bbb Z$ with a general edge-symmetric metric △ Less

Submitted 17 December, 2023; originally announced December 2023.

Comments: 29 pages latex, 5 pdf figures

Quantum geodesic flow on the integer lattice line

Authors: Edwin Beggs, Shahn Majid

Abstract: We use a recent formalism of quantum geodesics in noncommutative geometry to construct geodesic flow on the infinite chain $\cdots\bullet$--$\bullet$--$\bullet\cdots$. We find that noncommutative effects due to the discretisation of the line cause an initially real geodesic flow amplitude $ψ$ (for which the density is $|ψ|^2$) to become complex. This has been noted also for other quantum geometrie… ▽ More We use a recent formalism of quantum geodesics in noncommutative geometry to construct geodesic flow on the infinite chain $\cdots\bullet$--$\bullet$--$\bullet\cdots$. We find that noncommutative effects due to the discretisation of the line cause an initially real geodesic flow amplitude $ψ$ (for which the density is $|ψ|^2$) to become complex. This has been noted also for other quantum geometries and suggests that the complex nature of the wave function in quantum mechanics (and the interference effects that follow) may have its origin in a quantum/discrete nature of spacetime at the Planck scale. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 10 pages latex, two pdf figures

Noncommutative Fibre Bundles via Bimodules

Authors: Edwin J. Beggs, James E. Blake

Abstract: We construct a Leray-Serre spectral sequence for fibre bundles for de Rham sheaf cohomology on noncommutative algebras. The morphisms are bimodules with zero-curvature extendable bimodule connections. This generalises definitions involving differentiable algebra maps to differentiable completely positive maps by using the KSGNS construction and Hilbert $C^*$-bimodules with bimodule connections. We… ▽ More We construct a Leray-Serre spectral sequence for fibre bundles for de Rham sheaf cohomology on noncommutative algebras. The morphisms are bimodules with zero-curvature extendable bimodule connections. This generalises definitions involving differentiable algebra maps to differentiable completely positive maps by using the KSGNS construction and Hilbert $C^*$-bimodules with bimodule connections. We give examples of noncommutative fibre bundles, involving group algebras, matrix algebras, and the quantum torus. △ Less

Submitted 30 December, 2024; v1 submitted 1 February, 2023; originally announced February 2023.

MSC Class: 46L87 (Primary) 46L85 (Secondary)

Differentiating the State Evaluation Map from Matrices to Functions on Projective Space

Authors: Ghaliah Alhamzi, Edwin Beggs

Abstract: We show that the pure state evaluation map from $ M_{n}(\mathbb{C}) $ to $ C(\mathbb{C} \mathbb{P}^{n-1}) $ (a completely positive map of $ C^{*} $-algebras) extends to a cochain map from the universal calculus on $ M_{n}(\mathbb{C} ) $ to the holomorphic $ \bar{\partial} $ calculus on $ \mathbb{C} \mathbb{P}^{n-1} $. The method uses connections on Hilbert $ C^{*} $-bimodules. This implies the exi… ▽ More We show that the pure state evaluation map from $ M_{n}(\mathbb{C}) $ to $ C(\mathbb{C} \mathbb{P}^{n-1}) $ (a completely positive map of $ C^{*} $-algebras) extends to a cochain map from the universal calculus on $ M_{n}(\mathbb{C} ) $ to the holomorphic $ \bar{\partial} $ calculus on $ \mathbb{C} \mathbb{P}^{n-1} $. The method uses connections on Hilbert $ C^{*} $-bimodules. This implies the existence of various functors, including one from $ M_{n}(\mathbb{C}) $ modules to holomorphic bundles on $ \mathbb{C} \mathbb{P}^{n-1} $. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: Comments welcome

MSC Class: 58B34; 46L30

The dynamics of belief: continuously monitoring and visualising complex systems

Authors: Edwin J. Beggs, John V. Tucker

Abstract: The rise of AI in human contexts places new demands on automated systems to be transparent and explainable. We examine some anthropomorphic ideas and principles relevant to such accountablity in order to develop a theoretical framework for thinking about digital systems in complex human contexts and the problem of explaining their behaviour. Structurally, systems are made of modular and hierachica… ▽ More The rise of AI in human contexts places new demands on automated systems to be transparent and explainable. We examine some anthropomorphic ideas and principles relevant to such accountablity in order to develop a theoretical framework for thinking about digital systems in complex human contexts and the problem of explaining their behaviour. Structurally, systems are made of modular and hierachical components, which we abstract in a new system model using notions of modes and mode transitions. A mode is an independent component of the system with its own objectives, monitoring data, and algorithms. The behaviour of a mode, including its transitions to other modes, is determined by functions that interpret each mode's monitoring data in the light of its objectives and algorithms. We show how these belief functions can help explain system behaviour by visualising their evaluation as trajectories in higher-dimensional geometric spaces. These ideas are formalised mathematically by abstract and concrete simplicial complexes. We offer three techniques: a framework for design heuristics, a general system theory based on modes, and a geometric visualisation, and apply them in three types of human-centred systems. △ Less

Submitted 17 January, 2024; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: Comments welcome

ACM Class: I.6.5; D.2.2; I.2.0

The Exponential Map for Hopf Algebras

Authors: Ghaliah Alhamzi, Edwin Beggs

Abstract: We give an analogue of the classical exponential map on Lie groups for Hopf $*$-algebras with differential calculus. The major difference with the classical case is the interpretation of the value of the exponential map, classically an element of the Lie group. We give interpretations as states on the Hopf algebra, elements of a Hilbert $C^{*} $-bimodule of $\frac{1}{2}$ densities and elements of… ▽ More We give an analogue of the classical exponential map on Lie groups for Hopf $*$-algebras with differential calculus. The major difference with the classical case is the interpretation of the value of the exponential map, classically an element of the Lie group. We give interpretations as states on the Hopf algebra, elements of a Hilbert $C^{*} $-bimodule of $\frac{1}{2}$ densities and elements of the dual Hopf algebra. We give examples for complex valued functions on the groups $S_{3}$ and $\mathbb{Z}$, Woronowicz's matrix quantum group $\mathbb{C}_{q}[SU_2] $ and the Sweedler-Taft algebra. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Journal ref: SIGMA 18 (2022), 017, 17 pages

Quantum geodesic flows and curvature

Authors: Edwin Beggs, Shahn Majid

Abstract: We study geodesics flows on curved quantum Riemannian geometries using a recent formulation in terms of bimodule connections and completely positive maps. We complete this formalism with a canonical $*$ operation on noncommutative vector fields. We show on a classical manifold how the Ricci tensor arises naturally in our approach as a term in the convective derivative of the divergence of the geod… ▽ More We study geodesics flows on curved quantum Riemannian geometries using a recent formulation in terms of bimodule connections and completely positive maps. We complete this formalism with a canonical $*$ operation on noncommutative vector fields. We show on a classical manifold how the Ricci tensor arises naturally in our approach as a term in the convective derivative of the divergence of the geodesic velocity field, and use this to propose a similar object in the noncommutative case. Examples include quantum geodesic flows on the algebra of 2 x 2 matrices, fuzzy spheres and the $q$-sphere. △ Less

Submitted 15 May, 2023; v1 submitted 17 January, 2022; originally announced January 2022.

Comments: 32 pages amslatex, 3 pdf figures; minor corrections and clarifications, more background in the preliminaries

A model of systems with modes and mode transitions

Authors: Edwin Beggs, John V. Tucker

Abstract: We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own mathematical models and algorithms designed to accomplish its objectives. A central problem is deciding when to transition from one mode to some other mode, a decision that may be contested and involve partial or inconsistent information or… ▽ More We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own mathematical models and algorithms designed to accomplish its objectives. A central problem is deciding when to transition from one mode to some other mode, a decision that may be contested and involve partial or inconsistent information or evidence. We model formally the concept of modes for a system and derive a family of data types for analysing mode transitions. The data types are simplicial complexes, both abstract and realised in euclidean space $\mathbb{R}^{n}$. In the data type, a mode is represented by a simplex. Each state of a system can be evaluated relative to different modes by mapping it into one or more simplices. This calibration measures the extent to which distinct modes are appropriate for the state and can decide on a transition. We explain this methodology based on modes, introduce the mathematical ideas about simplicial objects we need and use them to build a theoretical framework for modes and mode transitions. To illustrate the general model in some detail, we work though a case study of an autonomous racing car. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Matrices, Bratteli Diagrams and Hopf-Galois Extensions

Authors: Ghaliah Alhamzi, Edwin Beggs

Abstract: We show that the matrix embeddings in Bratteli diagrams are iterated direct sums of Hopf-Galois extensions (quantum principle bundles) for certain abelian groups. The corresponding strong universal connections are computed. We show that $ M_{n}(\mathbb{C})$ is a trivial quantum principle bundle for the Hopf algebra $ \mathbb{C}[\mathbb{Z}_{n} \times \mathbb{Z}_{n}] $. We conclude with an applicati… ▽ More We show that the matrix embeddings in Bratteli diagrams are iterated direct sums of Hopf-Galois extensions (quantum principle bundles) for certain abelian groups. The corresponding strong universal connections are computed. We show that $ M_{n}(\mathbb{C})$ is a trivial quantum principle bundle for the Hopf algebra $ \mathbb{C}[\mathbb{Z}_{n} \times \mathbb{Z}_{n}] $. We conclude with an application relating known calculi on groups to calculi on matrices. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Comments: Comments welcome

MSC Class: 16T05

Quantum geodesics in quantum mechanics

Authors: Edwin Beggs, Shahn Majid

Abstract: We show that the standard Heisenberg algebra of quantum mechanics admits a noncommutative differential calculus $Ω^1$ depending on the Hamiltonian $p^2/2m + V(x)$, and a flat quantum connection $\nabla$ with torsion such that a previous quantum-geometric formulation of flow along autoparallel curves (or `geodesics') is exactly Schrödinger's equation. The connection $\nabla$ preserves a generalised… ▽ More We show that the standard Heisenberg algebra of quantum mechanics admits a noncommutative differential calculus $Ω^1$ depending on the Hamiltonian $p^2/2m + V(x)$, and a flat quantum connection $\nabla$ with torsion such that a previous quantum-geometric formulation of flow along autoparallel curves (or `geodesics') is exactly Schrödinger's equation. The connection $\nabla$ preserves a generalised `skew metric' given by the canonical symplectic structure lifted to a certain rank (0,2) tensor on the extended phase space where we adjoin a time variable. We also apply the same approach to the Klein Gordon equation on Minkowski spacetime with a background electromagnetic field, formulating quantum `geodesics' on the relativistic Heisenberg algebra with proper time for the external geodesic parameter. Examples include a relativistic free particle wave packet and a hydrogen-like atom. △ Less

Submitted 9 September, 2021; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: 43 pages latex, 1 pdf figure. This was revised to make it much more readable, moving the Poisson geometry to the end. The harmonic oscillator example is now more substantial and we added a discussion of `Heisenberg flow' to complement the main Schroedinger wave function flow

Noncommutative geodesics and the KSGNS construction

Authors: Edwin J Beggs

Abstract: We study geodesics in noncommutative geometry by means of bimodule connections and completely positive maps using the Kasparov, Stinespring, Gel'fand, Naimark & Segal (KSGNS) construction. This is motivated from classical geometry, and we also consider examples on the algebras M_2(C) and C(Z_n), though restricting to classical real time. On the way we have to consider the reality of a noncommutati… ▽ More We study geodesics in noncommutative geometry by means of bimodule connections and completely positive maps using the Kasparov, Stinespring, Gel'fand, Naimark & Segal (KSGNS) construction. This is motivated from classical geometry, and we also consider examples on the algebras M_2(C) and C(Z_n), though restricting to classical real time. On the way we have to consider the reality of a noncommutative vector field, and for this we propose a definition depending on a state on the algebra. △ Less

Submitted 20 August, 2019; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: Version 2: Major revision - the main change is the inclusion of a reality condition on vector fields which enforces normalisation of states. The examples have been recomputed to include this

MSC Class: 58B34; 46L30; 83C65

Analogue-digital systems and the modular decomposition of physical behaviour

Authors: E. J. Beggs, J. V. Tucker

Abstract: We take a fresh look at analogue-digital systems focussing on their physical behaviour. We model a general analogue-digital system as a physical process controlled by an algorithm by viewing the physical process as physical oracle to the algorithm, generalising the notion of Turing. We develop a theoretical framework for the specification and analysis of such systems that combines five semantical… ▽ More We take a fresh look at analogue-digital systems focussing on their physical behaviour. We model a general analogue-digital system as a physical process controlled by an algorithm by viewing the physical process as physical oracle to the algorithm, generalising the notion of Turing. We develop a theoretical framework for the specification and analysis of such systems that combines five semantical notions: actual physical behaviour, measured behaviour, predicted behaviour, computed behaviour and exceptional behaviour. Next, we consider the more general and applicable situation of complex processes that exhibit several distinct modes of physical behaviour. Thus, for their design, a set of mathematical models may be needed, each model having its own domain of application and representing a particular mode of behaviour or operation of physical reality with its own physical oracle. The models may be of disparate kinds and, furthermore, not all physical modes may even have a reliable model. We address the questions: How do we specify algorithms and software that monitor or govern a complex physical situation with many physical modes? How do we specify a portfolio of modes, and the computational problem of transitioning from using one mode to another mode as physical behaviour changes? We propose a general definition of an analogue-digital system with modes, and show how any diverse set of modes, with or without models, can be bound together, and how the transitions between modes can be determined, by constructing a data type and mode selection functions. We illustrate the ideas of physical modes and our theory by reflecting on simple examples, including driverless racing cars. △ Less

Submitted 16 April, 2018; originally announced April 2018.

Quantum Bianchi identities and characteristic classes via DG categories

Authors: Edwin Beggs, Shahn Majid

Abstract: We show how DG categories arise naturally in noncommutative differential geometry and use them to derive noncommutative analogues of the Bianchi identities for the curvature of a connection. We also give a derivation of formulae for characteristic classes in noncommutative geometry following Chern's original derivation, rather than using cyclic cohomology. We show that a related DG category for ex… ▽ More We show how DG categories arise naturally in noncommutative differential geometry and use them to derive noncommutative analogues of the Bianchi identities for the curvature of a connection. We also give a derivation of formulae for characteristic classes in noncommutative geometry following Chern's original derivation, rather than using cyclic cohomology. We show that a related DG category for extendable bimodule connections is a monoidal tensor category and in the metric compatible case give an analogue of a classical antisymmetry of the Riemann tensor. The monoidal structure implies the existence of a cup product on noncommutative sheaf cohomology. Another application is to prove that the curvature of a line module reduces to a 2-form on the base algebra. We also extend our geometric approach to Dirac operators. We illustrate the theory on the q-sphere, the permutation group S_3 and the bicrossproduct model quantum spacetime with algebra [r,t]=λr. △ Less

Submitted 14 June, 2017; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: 37 pages, added a small result about the square of the Dirac op

Spectral triples from bimodule connections and Chern connections

Authors: Edwin Beggs, Shahn Majid

Abstract: We give a geometrical construction of Connes spectral triples or noncommutative Dirac operators $D$ starting with a bimodule connection on the proposed spinor bundle. The theory is applied to the example of $M_2(\Bbb C)$, and also applies to the standard $q$-sphere and the $q$-disk with the right classical limit and all properties holding except for $\mathcal J$ now being a twisted isometry. We al… ▽ More We give a geometrical construction of Connes spectral triples or noncommutative Dirac operators $D$ starting with a bimodule connection on the proposed spinor bundle. The theory is applied to the example of $M_2(\Bbb C)$, and also applies to the standard $q$-sphere and the $q$-disk with the right classical limit and all properties holding except for $\mathcal J$ now being a twisted isometry. We also describe a noncommutative Chern construction from holomorphic bundles which in the $q$-sphere case provides the relevant bimodule connection. △ Less

Submitted 3 September, 2015; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: 26 pages Latex - replaced to add a reference and fix some typos

MSC Class: 81R50; 58B32; 83C57

Analogue-digital systems with modes of physical behaviour

Authors: Edwin Beggs, John V. Tucker

Abstract: Complex environments, processes and systems may exhibit several distinct modes of physical behaviour or operation. Thus, for example, in their design, a set of mathematical models may be needed, each model having its own domain of application and representing a particular mode of behaviour or operation of physical reality. The models may be of disparate kinds { discrete or continuous in data, time… ▽ More Complex environments, processes and systems may exhibit several distinct modes of physical behaviour or operation. Thus, for example, in their design, a set of mathematical models may be needed, each model having its own domain of application and representing a particular mode of behaviour or operation of physical reality. The models may be of disparate kinds { discrete or continuous in data, time and space. Furthermore, some physical modes may not have a reliable model. Physical measurements determine modes of operation. We explore the question: What is a mode of behaviour? How do we specify algorithms and software that monitor or govern a complex physical situation with many modes? How do we specify a portfolio of modes, and the computational problem of transitioning from using one mode to another mode as physical modes change? We propose a general definition of an analogue-digital system with modes. We show how any diverse set of modes { with or without models { can be bound together, and how the transitions between modes can be determined, by constructing a topological data type based upon a simplicial complex. We illustrate the ideas of physical modes and our theory by reflecting on simple examples, including driverless racing cars. △ Less

Submitted 26 October, 2016; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: Ver 3: references and background material added

Quantum Riemannian geometry of phase space and nonassociativity

Authors: Edwin J. Beggs, Shahn Majid

Abstract: Noncommutative or `quantum' differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and Riemannian structures at this level. The data for the algebra quantisation is a classical Poisson bracket, the data for the quantum differential forms is a Poiss… ▽ More Noncommutative or `quantum' differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and Riemannian structures at this level. The data for the algebra quantisation is a classical Poisson bracket, the data for the quantum differential forms is a Poisson-compatible connection it was recently shown that after this, classical data such as classical bundles, metrics etc. all become quantised in a canonical `functorial' way at least to 1st order in deformation theory. There are, however, fresh compatibility conditions between the classical Riemannian and the Poisson structures as well as new physics such as nonassociativity at 2nd order. We give an introduction to this theory and some details for the case of CP${}^n$ where the commutation relations have the canonical form $[w^i,\bar w^j]=\mathrm{i}λδ_{ij}$ similar to the proposal of Penrose for quantum twistor space. Our work provides a canonical but ultimately nonassociative differential calculus on this algebra and quantises the metric and Levi-Civita connection at lowest order in $λ$. △ Less

Submitted 29 October, 2014; originally announced October 2014.

Comments: 14 pages latex

Semiquantisation Functor and Poisson-Riemannian Geometry, I

Authors: Edwin J. Beggs, Shahn Majid

Abstract: We study noncommutative bundles and Riemannian geometry at the semiclassical level of first order in a deformation parameter $λ$, using a functorial approach. The data for quantisation of the cotangent bundle is known to be a Poisson structure and Poisson preconnection and we now show that this data defines to a functor $Q$ from the monoidal category of classical vector bundles equipped with conne… ▽ More We study noncommutative bundles and Riemannian geometry at the semiclassical level of first order in a deformation parameter $λ$, using a functorial approach. The data for quantisation of the cotangent bundle is known to be a Poisson structure and Poisson preconnection and we now show that this data defines to a functor $Q$ from the monoidal category of classical vector bundles equipped with connections to the monodial category of bimodules equipped with bimodule connections over the quantised algebra. We adapt this functor to quantise the wedge product of the exterior algebra and in the Riemannian case, the metric and the Levi-Civita connection. Full metric compatibility requires vanishing of an obstruction in the classical data, expressed in terms of a generalised Ricci 2-form, without which our quantum Levi-Civita connection is still the best possible. We apply the theory to the Schwarzschild black-hole and to Riemann surfaces as examples, as well as verifying our results on the 2D bicrossproduct model quantum spacetime. The quantized Schwarzschild black-hole in particular has features similar to those encountered in $q$-deformed models, notably the necessity of nonassociativity of any rotationally invariant quantum differential calculus of classical dimensions. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: 57 pages AMS LATEX, no figures

From homotopy to Ito calculus and Hodge theory

Authors: Ghaliah Alhamzi, Edwin Beggs, Andrew Neate

Abstract: We begin with a deformation of a differential graded algebra by adding time and using a homotopy. It is shown that the standard formulae of Itô calculus are an example, with four caveats: First, it says nothing about probability. Second, it assumes smooth functions. Third, it deforms all orders of forms, not just first order. Fourth, it also deforms the product of the DGA. An isomorphism between t… ▽ More We begin with a deformation of a differential graded algebra by adding time and using a homotopy. It is shown that the standard formulae of Itô calculus are an example, with four caveats: First, it says nothing about probability. Second, it assumes smooth functions. Third, it deforms all orders of forms, not just first order. Fourth, it also deforms the product of the DGA. An isomorphism between the deformed and original DGAs may be interpreted as the transformation rule between the Stratonovich and classical calculus (again no probability). The isomorphism can be used to construct covariant derivatives with the deformed calculus. We apply the deformation in noncommutative geometry, to the Podleś sphere $S^2_q$. This involves the Hodge theory of $S^2_q$. △ Less

Submitted 11 July, 2013; originally announced July 2013.

Comments: This is an attempt to relate stochastic calculus to deformations of differential graded algebras. Any comments very welcome, as there are quite likely many improvements that could be made, or more references that should be included

MSC Class: 81S25; 46L87

The Majid-Ruegg model and the Planck scales

Authors: Edwin Beggs, Roa Makki

Abstract: A novel differential calculus with central inner product is introduced for kappa-Minkowski space. The `bad' behaviour of this differential calculus is discussed with reference to symplectic quantisation and A-infinity algebras. Using this calculus in the Schrodinger equation gives two values which can be compared with the Planck mass and length. This comparison gives an approximate numerical value… ▽ More A novel differential calculus with central inner product is introduced for kappa-Minkowski space. The `bad' behaviour of this differential calculus is discussed with reference to symplectic quantisation and A-infinity algebras. Using this calculus in the Schrodinger equation gives two values which can be compared with the Planck mass and length. This comparison gives an approximate numerical value for the deformation parameter in kappa-Minkowski space. We present numerical evidence that there is a potentially observable variation of propagation speed in the Klein-Gordon equation. The modified equations of electrodynamics (without a spinor field) are derived from noncommutative covariant derivatives. We note that these equations suggest that the speed of light is independent of frequency, in contrast to the KG results (with the caveat that zero current is not the same as in vacuum). We end with some philosophical comments on measurement related to quantum theory and gravity (not necessarily quantum gravity) and noncommutative geometry. △ Less

Submitted 13 November, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

Comments: The authors would be happy to receive all comments or additional references. Version 2 - additional references added

MSC Class: 46L87; 35Q61; 81P15; 81Q05

Gravity induced from quantum spacetime

Authors: Edwin Beggs, Shahn Majid

Abstract: We show that tensoriality constraints in noncommutative Riemannian geometry in the 2-dimensional bicrossproduct model quantum spacetime algebra [x,t]=λx drastically reduce the moduli of possible metrics g up to normalisation to a single real parameter which we interpret as a time in the past from which all timelike geodesics emerge and a corresponding time in the future at which they all converge.… ▽ More We show that tensoriality constraints in noncommutative Riemannian geometry in the 2-dimensional bicrossproduct model quantum spacetime algebra [x,t]=λx drastically reduce the moduli of possible metrics g up to normalisation to a single real parameter which we interpret as a time in the past from which all timelike geodesics emerge and a corresponding time in the future at which they all converge. Our analysis also implies a reduction of moduli in n-dimensions and we study the suggested spherically symmetric classical geometry in n=4 in detail, identifying two 1-parameter subcases where the Einstein tensor matches that of a perfect fluid for (a) positive pressure, zero density and (b) negative pressure and positive density with ratio w_Q=-{1\over 2}. The classical geometry is conformally flat and its geodesics motivate new coordinates which we extend to the quantum case as a new description of the quantum spacetime model as a quadratic algebra. The noncommutative Riemannian geometry is fully solved for $n=2$ and includes the quantum Levi-Civita connection and a second, nonperturbative, Levi-Civita connection which blows up as λ\to 0. We also propose a `quantum Einstein tensor' which is identically zero for the main part of the moduli space of connections (as classically in 2D). However, when the quantum Ricci tensor and metric are viewed as deformations of their classical counterparts there would be an O(λ^2) correction to the classical Einstein tensor and an O(λ) correction to the classical metric. △ Less

Submitted 21 October, 2013; v1 submitted 10 May, 2013; originally announced May 2013.

Comments: 42 pages LATEX, 4 figures; expanded on the physical significance

Differential and holomorphic differential operators on noncommutative algebras

Authors: Edwin Beggs

Abstract: This paper deals with sheaves of differential operators on noncommutative algebras. The sheaves are defined by quotienting a the tensor algebra of vector fields (suitably deformed by a covariant derivative) to ensure zero curvature. As an example we can obtain enveloping algebra like relations for Hopf algebras with differential structures which are not bicovariant. Symbols of differential operato… ▽ More This paper deals with sheaves of differential operators on noncommutative algebras. The sheaves are defined by quotienting a the tensor algebra of vector fields (suitably deformed by a covariant derivative) to ensure zero curvature. As an example we can obtain enveloping algebra like relations for Hopf algebras with differential structures which are not bicovariant. Symbols of differential operators are defined, but not studied. These sheaves are shown to be in the center of as category of bimodules with flat bimodule covariant derivatives. Also holomorphic differential operators are considered, though without the quotient to ensure zero curvature. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 31 pages. Comments welcome on the contents or on references that should be added for a possible revised version. Please send any comments to the author

MSC Class: 13N10; 32C38; 16S32; 46L87; 14A22

Noncommutative complex differential geometry

Authors: Edwin Beggs, S. Paul Smith

Abstract: This paper defines and examines the basic properties of noncommutative analogues of almost complex structures, integrable almost complex structures, holomorphic curvature, cohomology, and holomorphic sheaves. The starting point is a differential structure on a noncommutative algebra defined in terms of a differential graded algebra. This is compared to current ideas on noncommutative algebraic geo… ▽ More This paper defines and examines the basic properties of noncommutative analogues of almost complex structures, integrable almost complex structures, holomorphic curvature, cohomology, and holomorphic sheaves. The starting point is a differential structure on a noncommutative algebra defined in terms of a differential graded algebra. This is compared to current ideas on noncommutative algebraic geometry. △ Less

Submitted 6 March, 2013; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: 42 pages. A few small changes and corrections to the previous version after being refereed. To appear in the special issue of the Journal for Geometry and Physics for the meeting "Noncommutative Algebraic Geometry and its Applications to Physics" 19-23 March 2012, Leiden NL

MSC Class: 46L87; 58B32; 58B34; 14A22

A Leray spectral sequence for noncommutative differential fibrations

Authors: Edwin Beggs, Ibtisam Masmali

Abstract: This paper describes the Leray spectral sequence associated to a differential fibration. The differential fibration is described by base and total differential graded algebras. The cohomology used is noncommutative differential sheaf cohomology. For this purpose, a sheaf over an algebra is a left module with zero curvature covariant derivative. As a special case, we can recover the Serre spectral… ▽ More This paper describes the Leray spectral sequence associated to a differential fibration. The differential fibration is described by base and total differential graded algebras. The cohomology used is noncommutative differential sheaf cohomology. For this purpose, a sheaf over an algebra is a left module with zero curvature covariant derivative. As a special case, we can recover the Serre spectral sequence for a noncommutative fibration. △ Less

Submitted 25 August, 2011; originally announced August 2011.

Comments: The authors would be grateful for any comments or additional references

MSC Class: 16E45

Noncommutative differential operators, Sobolev spaces and the centre of a category

Authors: Edwin Beggs, Tomasz Brzezinski

Abstract: We consider differential operators over a noncommutative algebra $A$ generated by vector fields. These are shown to form a unital associative algebra of differential operators, and act on $A$-modules $E$ with covariant derivative. We use the repeated differentials given in the paper to give a definition of noncommutative Sobolev space for modules with connection and Hermitian inner product. The te… ▽ More We consider differential operators over a noncommutative algebra $A$ generated by vector fields. These are shown to form a unital associative algebra of differential operators, and act on $A$-modules $E$ with covariant derivative. We use the repeated differentials given in the paper to give a definition of noncommutative Sobolev space for modules with connection and Hermitian inner product. The tensor algebra of vector fields, with a modified bimodule structure and a bimodule connection, is shown to lie in the centre of the bimodule connection category ${}_A\mathcal{E}_A$, and in fact to be an algebra in the centre. The crossing natural transformation in the definition of the centre of the category is related to the action of the differential operators on bimodules with connection. △ Less

Submitted 23 January, 2012; v1 submitted 25 August, 2011; originally announced August 2011.

Comments: This is a substantial revision, both deleting and adding material. The authors would be grateful for any comments or additional references

MSC Class: 16E45

Line bundles and the Thom construction in noncommutative geometry

Authors: E. J. Beggs, T. Brzezinski

Abstract: The idea of a line bundle in classical geometry is transferred to noncommutative geometry by the idea of a Morita context. From this we can construct Z and N graded algebras, the Z graded algebra being a Hopf-Galois extension. A non-degenerate Hermitian metric gives a star structure on this algebra, and an additional star operation on the line bundle gives a star operation on the N graded algebra.… ▽ More The idea of a line bundle in classical geometry is transferred to noncommutative geometry by the idea of a Morita context. From this we can construct Z and N graded algebras, the Z graded algebra being a Hopf-Galois extension. A non-degenerate Hermitian metric gives a star structure on this algebra, and an additional star operation on the line bundle gives a star operation on the N graded algebra. In this case, we can carry out the associated circle bundle and Thom constructions. Starting with a C* algebra as base, and with some positivity assumptions, the associated circle and Thom algebras are also C* algebras. We conclude by examining covariant derivatives and Chern classes on line bundles after the method of Kobayashi and Nomizu. △ Less

Submitted 20 January, 2011; v1 submitted 7 December, 2010; originally announced December 2010.

Comments: 40 pages. Version 2 contains new references. The authors would welcome any comments on the contents or references

MSC Class: 16D20; 46L85

Nonassociative Riemannian Geometry by Twisting

Authors: E. J. Beggs, S. Majid

Abstract: Many quantum groups and quantum spaces of interest can be obtained by cochain (but not cocycle) twist from their corresponding classical object. This failure of the cocycle condition implies a hidden nonassociativity in the noncommutative geometry already known to be visible at the level of differential forms. We extend the cochain twist framework to connections and Riemannian structures and pro… ▽ More Many quantum groups and quantum spaces of interest can be obtained by cochain (but not cocycle) twist from their corresponding classical object. This failure of the cocycle condition implies a hidden nonassociativity in the noncommutative geometry already known to be visible at the level of differential forms. We extend the cochain twist framework to connections and Riemannian structures and provide examples including twist of the $S^7$ coordinate algebra to a nonassociative hyperbolic geometry in the same category as that of the octonions. △ Less

Submitted 8 December, 2009; originally announced December 2009.

Comments: 29 pages no figures

Limits to measurement in experiments governed by algorithms

Authors: E. J. Beggs, J. F. Costa, J. V. Tucker

Abstract: We pose the following question: If a physical experiment were to be completely controlled by an algorithm, what effect would the algorithm have on the physical measurements made possible by the experiment? In a programme to study the nature of computation possible by physical systems, and by algorithms coupled with physical systems, we have begun to analyse (i) the algorithmic nature of experi… ▽ More We pose the following question: If a physical experiment were to be completely controlled by an algorithm, what effect would the algorithm have on the physical measurements made possible by the experiment? In a programme to study the nature of computation possible by physical systems, and by algorithms coupled with physical systems, we have begun to analyse (i) the algorithmic nature of experimental procedures, and (ii) the idea of using a physical experiment as an oracle to Turing Machines. To answer the question, we will extend our theory of experimental oracles in order to use Turing machines to model the experimental procedures that govern the conduct of physical experiments. First, we specify an experiment that measures mass via collisions in Newtonian Dynamics; we examine its properties in preparation for its use as an oracle. We start to classify the computational power of polynomial time Turing machines with this experimental oracle using non-uniform complexity classes. Second, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on what can be measured with equipment. Indeed, the theorems suggest a new form of uncertainty principle for our knowledge of physical quantities measured in simple physical experiments. We argue that the results established here are representative of a huge class of experiments. △ Less

Submitted 19 November, 2009; originally announced November 2009.

Comments: 32 pages approx

MSC Class: 03A10; 03D10

*-Compatible Connections in Noncommutative Riemannian Geometry

Authors: E. J. Beggs, S. Majid

Abstract: We develop the formalism for noncommutative differential geometry and Riemmannian geometry to take full account of the *-algebra structure on the (possibly noncommutative) coordinate ring and the bimodule structure on the differential forms. We show that *-compatible bimodule connections lead to braid operators $σ$ in some generality (going beyond the quantum group case) and we develop their rol… ▽ More We develop the formalism for noncommutative differential geometry and Riemmannian geometry to take full account of the *-algebra structure on the (possibly noncommutative) coordinate ring and the bimodule structure on the differential forms. We show that *-compatible bimodule connections lead to braid operators $σ$ in some generality (going beyond the quantum group case) and we develop their role in the exterior algebra. We study metrics in the form of Hermitian structures on Hilbert *-modules and metric compatibility in both the usual and a cotorsion form. We show that the theory works well for the quantum group $C_q[SU_2]$ with its 3D calculus, finding for each point of a 3-parameter space of covariant metrics a unique `Levi-Civita' connection deforming the classical one and characterised by zero torsion, metric-preservation and *-compatibility. Allowing torsion, we find a unique connection with classical limit that is metric-preserving and *-compatible and for which $σ$ obeys the braid relations. It projects to a unique `Levi-Civita' connection on the quantum sphere. The theory also works for finite groups and in particular for the permutation group $S_3$ where we find somewhat similar results. △ Less

Submitted 12 September, 2009; v1 submitted 3 April, 2009; originally announced April 2009.

Comments: 38 pages latex, no figures

Further results on coset representative categories

Authors: M. M. Al-Shomrani, E. J. Beggs

Abstract: This paper is devoted to further results on the nontrivially associated categories $\mathcal{C}$ and $\mathcal{D}$, which are constructed from a choice of coset representatives for a subgroup of a finite group. We look at the construction of integrals in the algebras $A$ and $D$ in the categories. These integrals are used to construct abstract projection operators to show that general objects… ▽ More This paper is devoted to further results on the nontrivially associated categories $\mathcal{C}$ and $\mathcal{D}$, which are constructed from a choice of coset representatives for a subgroup of a finite group. We look at the construction of integrals in the algebras $A$ and $D$ in the categories. These integrals are used to construct abstract projection operators to show that general objects in $\mathcal{D}$ can be split into a sum of simple objects. The braided Hopf algebra $D$ is shown to be braided cocommutative, but not braided commutative. Extensions of the categories and their connections with conjugations and inner products are discussed. △ Less

Submitted 16 February, 2007; originally announced February 2007.

Comments: several picture files

MSC Class: 16W30; 18D10

Bar categories and star operations

Authors: E. J. Beggs, S. Majid

Abstract: We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a conventional $*$-Hopf algebra and modules over a more general object which call a `quasi-$*$-Hopf algebra' and for which examples include the standard quantum gr… ▽ More We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a conventional $*$-Hopf algebra and modules over a more general object which call a `quasi-$*$-Hopf algebra' and for which examples include the standard quantum groups $u_q(g)$ at $q$ a root of unity (these are well-known not to be a usual $*$-Hopf algebra). We also provide examples of strictly quasiassociative bar categories, including modules over `$*$-quasiHopf algebras' and a construction based on finite subgroups $H\subset G$ of a finite group. Inside a bar category one has natural notions of `$\star$-algebra' and `unitary object' therefore extending these concepts to a variety of new situations. We study braidings and duals in bar categories and $\star$-braided groups (Hopf algebras) {\em in} braided-bar categories. Examples include the transmutation $B(H)$ of a quasitriangular $*$-Hopf algebra and the quantum plane $C_q^2$ at certain roots of unity $q$ in the bar category of $\widetilde{u_q(su_2)}$-modules. We use our methods to provide a natural quasi-associative $C^*$-algebra structure on the octonions ${\mathbb O}$ and on a coset example. In the appendix we extend the Tannaka-Krein reconstruction theory to bar categories in relation to $*$-Hopf algebras. △ Less

Submitted 22 December, 2007; v1 submitted 30 December, 2006; originally announced January 2007.

Comments: 46 pages latex; improved notation to reflect both strong and weak versions, improved twisting theory construction

An explicit formula for a strong connection

Authors: E. J. Beggs, Tomasz Brzezinski

Abstract: An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given. An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given. △ Less

Submitted 23 June, 2006; originally announced June 2006.

Comments: LATeX, 8 pages

MSC Class: 16W30; 58B34

The Serre spectral sequence of a noncommutative fibration for de Rham cohomology

Authors: EJ Beggs, Tomasz Brzezinski

Abstract: For differential calculi on noncommutative algebras, we construct a twisted de Rham cohomology using flat connections on modules. This has properties similar, in some respects, to sheaf cohomology on topological spaces. We also discuss generalised mapping properties of these theories, and relations of these properties to corings. Using this, we give conditions for the Serre spectral sequence to… ▽ More For differential calculi on noncommutative algebras, we construct a twisted de Rham cohomology using flat connections on modules. This has properties similar, in some respects, to sheaf cohomology on topological spaces. We also discuss generalised mapping properties of these theories, and relations of these properties to corings. Using this, we give conditions for the Serre spectral sequence to hold for a noncommutative fibration. This might be better read as giving the definition of a fibration in noncommutative differential geometry. We also study the multiplicative structure of such spectral sequences. Finally we show that some noncommutative homogeneous spaces satisfy the conditions to be such a fibration, and in the process clarify the differential structure on these homogeneous spaces. We also give two explicit examples of differential fibrations: these are built on the quantum Hopf fibration with two different differential structures. △ Less

Submitted 11 August, 2005; originally announced August 2005.

Comments: LaTeX, 33 pages

Quantization by cochain twists and nonassociative differentials

Authors: E. J. Beggs, S. Majid

Abstract: We show that several standard associative quantizations in mathematical physics can be expressed as cochain module-algebra twists in the spirit of Moyal products at least to $O(\hbar^3)$, but to achieve this we twist not by a 2-cocycle but by a 2-cochain. This implies a hidden nonassociavitity not visible in the algebra itself but present in its deeper noncommutative differential geometry, a phe… ▽ More We show that several standard associative quantizations in mathematical physics can be expressed as cochain module-algebra twists in the spirit of Moyal products at least to $O(\hbar^3)$, but to achieve this we twist not by a 2-cocycle but by a 2-cochain. This implies a hidden nonassociavitity not visible in the algebra itself but present in its deeper noncommutative differential geometry, a phenomenon first seen in our previous work on semiclassicalisation of differential structures. The quantisations are induced by a classical group covariance and include: enveloping algebras $U_\hbar(g)$ as quantisations of $g^*$, a Fedosov-type quantisation of the sphere $S^2$ under a Lorentz group covariance, the Mackey quantisation of homogeneous spaces, and the standard quantum groups $C_q[G]$. We also consider the differential quantisation of $R^n$ for a given symplectic connection as part of our semiclassical analysis and we outline a proposal for the Dirac operator. △ Less

Submitted 15 November, 2005; v1 submitted 22 June, 2005; originally announced June 2005.

Comments: 30 pages ams-latex no figures; version submitted to journal (updated section 5 to stronger form)

Journal ref: J.Math.Phys.51:053522,2010

The van Est spectral sequence for Hopf algebras

Authors: EJ Beggs, Tomasz Brzezinski

Abstract: Various aspects of the de Rham cohomology of Hopf algebras are discussed. In particular, it is shown that the de Rham cohomology of an algebra with the differentiable coaction of a cosemisimple Hopf algebra with trivial 0-th cohomology group, reduces to the de Rham cohomology of (co)invariant forms. Spectral sequences are discussed and the van Est spectral sequence for Hopf algebras is introduce… ▽ More Various aspects of the de Rham cohomology of Hopf algebras are discussed. In particular, it is shown that the de Rham cohomology of an algebra with the differentiable coaction of a cosemisimple Hopf algebra with trivial 0-th cohomology group, reduces to the de Rham cohomology of (co)invariant forms. Spectral sequences are discussed and the van Est spectral sequence for Hopf algebras is introduced. A definition of Hopf-Lie algebra cohomology is also given. △ Less

Submitted 13 October, 2003; originally announced October 2003.

Comments: 15 pages, LaTeX

Semi-classical differential structures

Authors: E. J. Beggs, S. Majid

Abstract: We semiclassicalise the standard notion of differential calculus in noncommutative geometry on algebras and quantum groups. We show in the symplectic case that the infinitesimal data for a differential calculus is a symplectic connection, and interpret its curvature as lowest order nonassociativity of the exterior algebra. Semiclassicalisation of the noncommutative torus provides an example with… ▽ More We semiclassicalise the standard notion of differential calculus in noncommutative geometry on algebras and quantum groups. We show in the symplectic case that the infinitesimal data for a differential calculus is a symplectic connection, and interpret its curvature as lowest order nonassociativity of the exterior algebra. Semiclassicalisation of the noncommutative torus provides an example with zero curvature. In the Poisson-Lie group case we study left-covariant infinitesimal data in terms of partially defined preconnections. We show that the moduli space of bicovariant infinitesimal data for quasitriangular Poisson-Lie groups has a canonical reference point which is flat in the triangular case. Using a theorem of Kostant, we completely determine the moduli space when the Lie algebra is simple: the canonical preconnection is the unique point for other than sl_n, n>2, when the moduli space is 1-dimensional. We relate the canonical preconnection to Drinfeld twists and thereby quantise it to a super coquasi-Hopf exterior algebra. We also discuss links with Fedosov quantisation. △ Less

Submitted 15 November, 2005; v1 submitted 18 June, 2003; originally announced June 2003.

Comments: 34 pages AMS-LATEX, no figures. Final version, as to be published. Note added with prior reference and notational changes `partial' -->`pre' only

Braiding and exponentiating noncommutative vector fields

Authors: E. J. Beggs

Abstract: The purpose of this paper is to put into a noncommutative context basic notions related to vector fields from classical differential geometry. The manner of exposition is an attempt to make the material as accessible as possible to classical geometers. The definition of vector field used is a specialisation of the Cartan pair definition, and the paper relies on the idea of generalised braidings… ▽ More The purpose of this paper is to put into a noncommutative context basic notions related to vector fields from classical differential geometry. The manner of exposition is an attempt to make the material as accessible as possible to classical geometers. The definition of vector field used is a specialisation of the Cartan pair definition, and the paper relies on the idea of generalised braidings of 1-forms. The paper considers Kroneker deltas, interior products, Lie derivatives, Lie brackets, exponentiation of vector fields and parallel transport. △ Less

Submitted 5 June, 2003; originally announced June 2003.

Comments: approx 27 pages, LATeX

MSC Class: 46L87

Making nontrivially associated modular categories from finite groups

Authors: M. M. Al-Shomrani, E. J. Beggs

Abstract: We show that the non-trivially associated tensor category constructed from left coset representatives of a subgroup of a finite group is a modular category. Also we give a definition of the character of an object in a ribbon category which is the category of representations of a braided Hopf algebra in the category. The definition is shown to be adjoint invariant and multiplicative. A detailed e… ▽ More We show that the non-trivially associated tensor category constructed from left coset representatives of a subgroup of a finite group is a modular category. Also we give a definition of the character of an object in a ribbon category which is the category of representations of a braided Hopf algebra in the category. The definition is shown to be adjoint invariant and multiplicative. A detailed example is given. Finally we show an equivalence of categories between the non-trivially associated double D and the category of representations of the double of the group D(X). △ Less

Submitted 5 March, 2003; originally announced March 2003.

Comments: Approx 43 pages, uses LaTeX picture environment

Report number: Swansea Math 03-6 MSC Class: 18D10

Pointwise bounded asymptotic morphisms and Thomsen's non-stable k-theory

Authors: Edwin J. Beggs

Abstract: In this paper I show that pointwise bounded asymptotic morphisms between separable metrisable locally convex *-algebras induce continuous maps between the quasi-unitary groups of the algebras, provided that the algebras support a certain amount of functional calculus. This links the asymptotic morphisms directly to Thomsen's non-stable definition of k-theory in the C* algebra case. A result on c… ▽ More In this paper I show that pointwise bounded asymptotic morphisms between separable metrisable locally convex *-algebras induce continuous maps between the quasi-unitary groups of the algebras, provided that the algebras support a certain amount of functional calculus. This links the asymptotic morphisms directly to Thomsen's non-stable definition of k-theory in the C* algebra case. A result on composition of asymptotic morphisms is also given. △ Less

Submitted 8 January, 2002; originally announced January 2002.

Comments: LaTex, approx 14pages

Report number: Swan 02-1 MSC Class: 46K05

Two-forms and Noncommutative Hamiltonian dynamics

Authors: Edwin J. Beggs

Abstract: In this paper we extend the standard differential geometric theory of Hamiltonian dynamics to noncommutative spaces, beginning with symplectic forms. Derivations on the algebra are used instead of vector fields, and interior products and Lie derivatives with respect to derivations are discussed. Then the Poisson bracket of certain algebra elements can be defined by a choice of closed 2-form. Exa… ▽ More In this paper we extend the standard differential geometric theory of Hamiltonian dynamics to noncommutative spaces, beginning with symplectic forms. Derivations on the algebra are used instead of vector fields, and interior products and Lie derivatives with respect to derivations are discussed. Then the Poisson bracket of certain algebra elements can be defined by a choice of closed 2-form. Examples are given using the noncommutative torus, the Cuntz algebra, the algebra of matrices, and the algebra of matrix valued functions on $\Bbb R^2$. △ Less

Submitted 16 January, 2001; originally announced January 2001.

Comments: 10 pages LaTeX

Report number: swan-01/1 MSC Class: 46L87

A generalised Hopf algebra for solitons

Authors: Falleh R. Al-Solamy, Edwin J. Beggs

Abstract: This paper considers a generalisation of the idea of a Hopf algebra in which a commutative ring replaces the field in the unit and counit. It is motivated by an example from the inverse scattering formalism for solitons. We begin with the corresponding idea for groups, where the concept of the identity is altered. This paper considers a generalisation of the idea of a Hopf algebra in which a commutative ring replaces the field in the unit and counit. It is motivated by an example from the inverse scattering formalism for solitons. We begin with the corresponding idea for groups, where the concept of the identity is altered. △ Less

Submitted 14 December, 2000; originally announced December 2000.

Comments: 16 pages AMSTeX

Report number: swan 00-8 MSC Class: 16W30

Maximal abelian subalgebras of O_n

Authors: E. J. Beggs, P. Goldstein

Abstract: We consider maximal abelian subalgebras of O_n which are invariant to the standard circle action. We consider maximal abelian subalgebras of O_n which are invariant to the standard circle action. △ Less

Submitted 1 November, 2000; originally announced November 2000.

Comments: LaTeX, 9 pages

MSC Class: 46L55

The braiding for representations of q-deformed affine $sl_2$

Authors: E. J. Beggs, P. R. Johnson

Abstract: We compute the braiding for the `principal gradation' of $U_q(\hat{{\it sl}_2})$ for $|q|=1$ from first principles, starting from the idea of a rigid braided tensor category. It is not necessary to assume either the crossing or the unitarity condition from S-matrix theory. We demonstrate the uniqueness of the normalisation of the braiding under certain analyticity assumptions, and show that its… ▽ More We compute the braiding for the `principal gradation' of $U_q(\hat{{\it sl}_2})$ for $|q|=1$ from first principles, starting from the idea of a rigid braided tensor category. It is not necessary to assume either the crossing or the unitarity condition from S-matrix theory. We demonstrate the uniqueness of the normalisation of the braiding under certain analyticity assumptions, and show that its convergence is critically dependent on the number-theoretic properties of the number $τ$ in the deformation parameter $q=e^{2πiτ}$. We also examine the convergence using probability, assuming a uniform distribution for $q$ on the unit circle. △ Less

Submitted 22 March, 2000; originally announced March 2000.

Comments: LaTeX, 10 pages with 2 figs, uses epsfig

Report number: Swansea preprint 00-2

Journal ref: J.Math.Phys. 42 (2001) 2156-2166

Making non-trivially associated tensor categories from left coset representatives

Authors: E. J. Beggs

Abstract: The paper begins by giving an algebraic structure on a set of coset representatives for the left action of a subgroup on a group. From this we construct a non-trivially associated tensor category. Also a double construction is given, and this allows the construction of a non-trivially associated braided tensor category. In this category we explicitly reconstruct a braided Hopf algebra, whose rep… ▽ More The paper begins by giving an algebraic structure on a set of coset representatives for the left action of a subgroup on a group. From this we construct a non-trivially associated tensor category. Also a double construction is given, and this allows the construction of a non-trivially associated braided tensor category. In this category we explicitly reconstruct a braided Hopf algebra, whose representations comprise the category itself. △ Less

Submitted 21 February, 2000; originally announced February 2000.

Comments: LaTeX, 41 pages with 7 figs, uses epsfig

Report number: Swansea preprint 99-14

Poisson-Lie T-duality for quasitriangular Lie bialgebras

Authors: E. J. Beggs, S. Majid

Abstract: We introduce a new 2-parameter family of sigma models exhibiting Poisson-Lie T-duality on a quasitriangular Poisson-Lie group $G$. The models contain previously known models as well as a new 1-parameter line of models having the novel feature that the Lagrangian takes the simple form $L=E(u^{-1}u_+,u^{-1}u_-)$ where the generalised metric $E$ is constant (not dependent on the field $u$ as in pre… ▽ More We introduce a new 2-parameter family of sigma models exhibiting Poisson-Lie T-duality on a quasitriangular Poisson-Lie group $G$. The models contain previously known models as well as a new 1-parameter line of models having the novel feature that the Lagrangian takes the simple form $L=E(u^{-1}u_+,u^{-1}u_-)$ where the generalised metric $E$ is constant (not dependent on the field $u$ as in previous models). We characterise these models in terms of a global conserved $G$-invariance. The models on $G=SU_2$ and its dual $G^\star$ are computed explicitly. The general theory of Poisson-Lie T-duality is also extended; we develop the Hamiltonian formulation and the reduction for constant loops to integrable motion on the group manifold. Finally, we generalise T-duality in the Hamiltonian formulation to group factorisations $D=G\dcross M$ where the subgroups need not be dual or even have the same dimension and need not be connected to the Drinfeld double or to Poisson structures. △ Less

Submitted 7 June, 1999; originally announced June 1999.

Comments: 42 pages Latex, no figures

Inverse scattering and solitons in $A_{n-1}$ affine Toda field theories II

Authors: E. J. Beggs, P. R. Johnson

Abstract: New single soliton solutions to the affine Toda field theories are constructed, exhibiting previously unobserved topological charges. This goes some of the way in filling the weights of the fundamental representations, but nevertheless holes in the representations remain. We use the group doublecross product form of the inverse scattering method, and restrict ourselves to the rank one solutions. New single soliton solutions to the affine Toda field theories are constructed, exhibiting previously unobserved topological charges. This goes some of the way in filling the weights of the fundamental representations, but nevertheless holes in the representations remain. We use the group doublecross product form of the inverse scattering method, and restrict ourselves to the rank one solutions. △ Less

Submitted 30 March, 1998; originally announced March 1998.

Comments: 19 pages, latex, 12 figs

Journal ref: Nucl.Phys. B529 (1998) 567-587