Source author record

Shahn Majid

Shahn Majid appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.QA gr-qc hep-th math-ph math.MP math.RT math.CO math.DG math.GR quant-ph math.CT math.RA math.SG

Catalog footprint

What is connected

34works

13topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model

We provide a systematic treatment of boundaries based on subgroups $K\subseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Ξ\subseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra dependent on a choice of transversal $R$. We provide decomposition formulae for irreducible representations of $D(G)$ pulled back to $Ξ$. We also provide explicitly the monoidal equivalence of the category of $Ξ$-modules and the category of $G$-graded $K$-bimodules and use this to prove that different choices of $R$ are related by Drinfeld cochain twists. Examples include $S_{n-1}\subset S_n$ and an example related to the octonions where $Ξ$ is also a Hopf quasigroup. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=\{e\}$ vertically and show how these could be used in a quantum computer using the technique of lattice surgery.

preprint2021arXiv

Geometric Dirac operator on the fuzzy sphere

We construct a Connes spectral triple or `Dirac operator' on the non-reduced fuzzy sphere $C_λ[S^2]$ as realised using quantum Riemannian geometry with a central quantum metric $g$ of Euclidean signature and its associated quantum Levi-Civita connection. The Dirac operator is characterised uniquely up to unitary equivalence within our quantum Riemannian geometric setting and an assumption that the spinor bundle is trivial and rank 2 with a central basis. The spectral triple has KO dimension 3 and in the case of the round metric, essentially recovers a previous proposal motivated by rotational symmetry.

preprint2021arXiv

Poisson Principal Bundles

We semiclassicalise the theory of quantum group principal bundles to the level of Poisson geometry. The total space $X$ is a Poisson manifold with Poisson-compatible contravariant connection, the fibre is a Poisson-Lie group in the sense of Drinfeld with bicovariant Poisson-compatible contravariant connection, and the base has an inherited Poisson structure and Poisson-compatible contravariant connection. The latter are known to be the semiclassical data for a quantum differential calculus. The theory is illustrated by the Poisson level of the $q$-Hopf fibration on the standard $q$-sphere. We also construct the Poisson level of the spin connection on a principal bundle.

preprint2021arXiv

Quantum and braided ZX calculus

We revisit the notion of interacting Frobenius Hopf algebras for ZX-calculus in quantum computing, with focus on allowing the algebras to be noncommutative and coalgebras to be noncocommutative. We introduce the notion of *-structures in ZX-calculus at this algebraic level and construct examples based on the quantum group u_q(sl_2) at a root of unity. We provide an abstract formulation of the Hadamard gate at this level and clarify its relationship to Hopf algebra self-duality. We then solve the problem of extending the notion of interacting Hopf algebras and ZX-calculus to take place in a braided tensor category. In the ribbon case, the Hadamard gate coming from braided self-duality obeys a modular identity. We give the example of b_q(sl_2), the self-dual braided version of u_q(sl_2).

preprint2021arXiv

Quantum double aspects of surface code models

We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry, where $G$ is a finite group. We provide projection operators for its quasiparticles content as irreducible representations of $D(G)$ and combine this with $D(G)$-bimodule properties of open ribbon excitation spaces $L(s_0,s_1)$ to show how open ribbons can be used to teleport information between their endpoints $s_0,s_1$. We give a self-contained account that builds on earlier work but emphasises applications to quantum computing as surface code theory, including gates on $D(S_3)$. We show how the theory reduces to a simpler theory for toric codes in the case of $D( \Bbb Z_n)\cong \Bbb C\Bbb Z_n^2$, including toric ribbon operators and their braiding. In the other direction, we show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$, including site actions of $D(H)$ and partial results on ribbon equivariance even when the Hopf algebra is not semisimple.

preprint2020arXiv

Quantum differentials on cross product Hopf algebras

We construct canonical strongly bicovariant differential graded algebra structures on all four flavours of cross product Hopf algebras, namely double cross products $A\hookrightarrow A\bowtie H\hookleftarrow H$, double cross coproducts $A\twoheadleftarrow A {\blacktriangleright\!\!\blacktriangleleft} H\twoheadrightarrow H$, biproducts $A{\buildrel\hookrightarrow\over \twoheadleftarrow}A{\cdot\kern-.33em\triangleright\!\!\!<} B$ and bicrossproducts $A\hookrightarrow A{\blacktriangleright\!\!\triangleleft} H\twoheadrightarrow H$ on the assumption that the factors have strongly bicovariant calculi $Ω(A),Ω(H)$ (or a braided version $Ω(B)$). We use super versions of each of the constructions. Moreover, the latter three quantum groups all coact canonically on one of their factors and we show that this coaction is differentiable. In the case of the Drinfeld double $D(A,H)=A^{\rm op}\bowtie H$ (where $A$ is dually paired to $H$), we show that its canonical actions on $A,H$ are differentiable. Examples include are a canonical $Ω(\Bbb C_q[GL_2\ltimes \Bbb C^2])$ for the quantum group of affine transformations of the quantum plane and $Ω(\Bbb C_λ[{\rm Poinc_{1,1}}])$ for the bicrossproduct Poincaré quantum group in 2 dimensions. We also show that $Ω(\Bbb C_q[GL_2])$ itself is uniquely determined by differentiability of the canonical coaction on the quantum plane and of the determinant subalgebra.

preprint2020arXiv

Quantum geometry, logic and probability

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these `lattice spacing' weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form $\partial_+ f=(-Δ_θ+ q-p)f$ for the graph Laplacian $Δ_θ$, potential functions $q,p$ built from the probabilities, and finite difference $\partial_+$ in the time direction. Motivated by this new point of view, we introduce a `discrete Schroedinger process' as $\partial_+ψ=\imath(-Δ+V)ψ$ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced `generalised Markov process' for $f=|ψ|^2$ in which there is an additional source current built from $ψ$. We also discuss our recent work on the quantum geometry of logic in `digital' form over the field $\Bbb F_2=\{0,1\}$, including de Morgan duality and its possible generalisations.

preprint2020arXiv

Quantum Gravity and Riemannian Geometry on the Fuzzy Sphere

We study the quantum geometry of the fuzzy sphere defined as the angular momentum algebra $[x_i,x_j]=2\imathλ_p ε_{ijk}x_k$ modulo setting $\sum_i x_i^2$ to a constant, using a recently introduced 3D rotationally invariant differential structure. Metrics are given by symmetric $3 \times 3$ matrices $g$ and we show that for each metric there is a unique quantum Levi-Civita connection with constant coefficients, with scalar curvature $ \frac{1}{2}({\rm Tr}(g^2)-\frac{1}{2}{\rm Tr}(g)^2)/\det(g)$. As an application, we construct Euclidean quantum gravity on the fuzzy unit sphere. We also calculate the charge 1 monopole for the 3D differential structure.

preprint2018arXiv

Quantum gravity on a square graph

We consider functional-integral quantisation of the moduli of all quantum metrics defined as square-lengths $a$ on the edges of a Lorentzian square graph. We determine correlation functions and find a fixed relative uncertainty $Δa/<a>= 1/\sqrt{8}$ for the edge square-lengths relative to their expected value $<a>$. The expected value of the geometry is a rectangle where parallel edges have the same square-length. We compare with the simpler theory of a quantum scalar field on such a rectangular background. We also look at quantum metric fluctuations relative to a rectangular background, a theory which is finite and interpolates between the scalar theory and the fully fluctuating theory.

preprint2016arXiv

Generalised noncommutative geometry on finite groups and Hopf quivers

We explore the differential geometry of finite sets where the differential structure is given by a quiver rather than as more usual by a graph. In the finite group case we show that the data for such a differential calculus is described by certain Hopf quiver data as familiar in the context of path algebras. We explore a duality between geometry on the function algebra vs geometry on the group algebra, i.e. on the dual Hopf algebra, illustrated by the noncommutative Riemannian geometry of the group algebra of $S_3$. We show how quiver geometries arise naturally in the context of quantum principal bundles. We provide a formulation of bimodule Riemannian geometry for quantum metrics on a quiver, with a fully worked example on 2 points; in the quiver case, metric data assigns matrices not real numbers to the edges of a graph. The paper builds on the general theory in our previous work.

preprint2016arXiv

Hodge Star as Braided Fourier Transform

We study super-braided Hopf algebras $Λ$ primitively generated by finite-dimensional right crossed (or Drinfeld-Radford-Yetter) modules $Λ^1$ over a Hopf algebra $A$ which are quotients of the augmentation ideal $A^+$ under right multiplication and the adjoint coaction. Here super-bosonisation $Ω=A\ltimesΛ$ provides a bicovariant differential graded algebra on $A$. We introduce $Λ_{max}$ providing the maximal prolongation, while the canonical braided-exterior algebra $Λ_{min}=B_-(Λ^1)$ provides the Woronowicz exterior calculus. In this context we introduce a Hodge star operator $\sharp$ by super-braided Fourier transform on $B_-(Λ^1)$ and left and right interior products by braided partial derivatives. Our new approach to the Hodge star (a) differs from previous approaches in that it is canonically determined by the differential calculus and (b) differs on key examples, having order 3 in middle degree on $k[S_3]$ with its 3D calculus and obeying the $q$-Hecke relation $\sharp^2=1+(q-q^{-1})\sharp$ in middle degree on $k_q[SL_2]$ with its 4D calculus. Our work also provided a Hodge map on quantum plane calculi and a new starting point for calculi on coquasitriangular Hopf algebras $A$ whereby any subcoalgebra $L\subseteq A$ defines a sub braided-Lie algebra and $Λ^1\subseteq L^*$ provides the required data $A^+\to Λ^1$.

preprint2015arXiv

Noncommutative Differentials on Poisson-Lie groups and pre-Lie algebras

We show that the quantisation of a connected simply-connected Poisson-Lie group admits a left-covariant noncommutative differential structure at lowest deformation order if and only if the dual of its Lie algebra admits a pre-Lie algebra structure. As an example, we find a pre-Lie algebra structure underlying the standard 3D differential structure on $\C_q[SU_2]$. At the noncommutative geometry level we show that the enveloping algebra $U(\cm)$ of a Lie algebra $\cm$, viewed as quantisation of $\cm^*$, admits a connected differential exterior algebra of classical dimension if and only if $\cm$ admits a pre-Lie algebra. We give an example where $\cm$ is solvable and we extend the construction to the quantisation of tangent and cotangent spaces of Poisson-Lie groups by using bicross-sum and bosonization of Lie bialgebras. As an example, we obtain natural 6D left-covariant differential structures on the bicrossproduct $\C[SU_2]\lrbicross U_λ(su_2^*)$.

preprint2015arXiv

Spectral triples from bimodule connections and Chern connections

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.

preprint2014arXiv

Cosmological constant from quantum spacetime

We show that a hypothesis that spacetime is quantum with coordinate algebra $[x^i,t]=λ_P x^i$, and spherical symmetry under rotations of the $x^i$, essentially requires in the classical limit that the spacetime metric is the Bertotti-Robinson metric, i.e. a solution of Einstein's equations with cosmological constant and a non-null electromagnetic field. Our arguments do not give the value of the cosmological constant or the Maxwell field strength but they cannot both be zero. We also describe the quantum geometry and the full moduli space of metrics that can emerge as classical limits from this algebra.

preprint2014arXiv

Emergence of Riemannian geometry and the massive graviton

We overview a new mechanism whereby classical Riemannian geometry emerges out of the differential structure on quantum spacetime, as extension data for the classical algebra of differential forms. Outcomes for physics include a new formula for the standard Levi-Civita connection, a new point of view of the cosmological constant as a very small mass for the graviton of around $10^{-33}$ev, and a weakening of metric-compatibility in the presence of torsion. The same mechanism also provides a new construction for quantum bimodule connections on quantum spacetimes and a new approach to the quantum Ricci tensor.

preprint2014arXiv

Quantum Riemannian geometry of phase space and nonassociativity

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

preprint2014arXiv

Semiquantisation Functor and Poisson-Riemannian Geometry, I

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.

preprint2013arXiv

Duality for Generalised Differentials on Quantum Groups and Hopf quivers

We study generalised differential structures $Ω^1,d$ on an algebra $A$, where $A\tens A\to Ω^1$ given by $a\tens b\to a d b$ need not be surjective. The finite set case corresponds to quivers with embedded digraphs, the Hopf algebra left covariant case to pairs $(Λ^1,ω)$ where $Λ^1$ is a right module and $ω$ a right module map, and the Hopf algebra bicovariant case corresponds to morphisms $ω:A^+\to Λ^1$ in the category of right crossed (or Drinfeld-Radford-Yetter) modules over $A$. When $A=U(g)$ the generalised left-covariant differential structures are classified by cocycles $ω\in Z^1(g,Λ^1)$. We then introduce and study the dual notion of a codifferential structure $(Ω^1,i)$ on a coalgebra and for Hopf algebras the self-dual notion of a strongly bicovariant differential graded algebra $(Ω,d)$ augmented by a codifferential $i$ of degree -1. Here $Ω$ is a graded super-Hopf algebra extending the Hopf algebra $Ω^0=A$ and, where applicable, the dual super-Hopf algebra gives the same structure on the dual Hopf algebra. We show how to construct such objects from first order data, with both a minimal construction using braided-antisymmetrizes and a maximal one using braided tensor algebras and with dual given via braided-shuffle algebras. The theory is applied to quantum groups with $Ω^1(C_q(G))$ dually paired to $Ω^1(U_q(g))$, and to finite groups in relation to (super) Hopf quivers.

preprint2013arXiv

Gravity induced from quantum spacetime

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.

preprint2013arXiv

Reconstruction and quantization of Riemannian structures

We study how the Riemannian structure on a manifold can be usefully reconstructed from its codifferential $δ$, including a formula $\nabla_ωη={1\over 2}( δ(ωη)-(δω)η+ω(δη) +L_ω(η)+i_ηd ω)$ for the Levi-Civita covariant derivative in terms of 1-forms, where $L, i$ are respectively the Lie derivative and interior product along the corresponding vector fields. The covariant derivative extends naturally along forms of any degree and to possibly degenerate $(\ ,\ )$. In the nondegenerate case, $δ$ makes the exterior algebra into a BV algebra. In the invertible case we show that ${\rm Ricci}=-{1\over 2}Δg$ where the Hodge Laplacian $Δ$ extends in a natural way to act on the metric. Our results come from a new way of thinking about metrics and connections as a kind of cocycle data for central extensions of differential graded algebras (DGAs), a theory which we introduce. We show that any cleft extension of the exterior algebra $Ω(M)$ on a manifold is associated to a possibly-degenerate metric and covariant derivative. Those for which $d$ is not deformed up to isomorphism correspond to the Levi-Civita case. We provide a construction for such extensions both of classical DGAs and of already non-graded-commutative DGAs, thereby constructing a class of bimodule covariant derivatives via a kind of quantum analogue of the Koszul formula. We also provide a semidirect product of any differential graded algebra by the quantum differential algebra $Ω(t,d t)$ in one variable, to introduce a noncommutative `time'. Composing these two constructions recovers a previous differential quantisation of $M\times R$.

preprint2012arXiv

Lie theory and coverings of finite groups

We introduce the notion of an `inverse property' (IP) quandle C which we propose as the right notion of `Lie algebra' in the category of sets. To any IP quandle we construct an associated group G_C. For a class of IP quandles which we call `locally skew' and when G_C is finite we show that the noncommutative de Rham cohomology H^1(G_C) is trivial aside from a single generator θthat has no classical analogue. If we start with a group G then any subset C\subseteq G\setminus {e} which is ad-stable and inversion-stable naturally has the structure of an IP quandle. If C also generates G then we show that G_C \twoheadrightarrow G with central kernel, in analogy with the similar result for the simply-connected covering group of a Lie group. We prove that G_C\twoheadrightarrow G is an isomorphism for all finite crystallographic reflection groups W with C the set of reflections, and that C is locally skew precisely in the simply laced case. This implies that H^1(W)=k when W is simply laced, proving in particular a previous conjecture for S_n. We obtain similar results for the dihedral groups D_{6m}. We also consider C=Z P^1\cup Z P^1 as a locally skew IP-quandle `Lie algebra' of SL_2(Z) and show that G_C\cong B_3, the braid group on 3 strands. The map B_3\twoheadrightarrow SL_2(Z) which arises naturally as a covering map in our theory, coincides with the restriction of the universal covering map \widetilde {SL_2(R)}\to SL_2(R) to the inverse image of SL_2(Z).

preprint2012arXiv

Lie theory of finite simple groups and the Roth property

In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μ is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.

preprint2012arXiv

Newtonian gravity on quantum spacetime

The bicrossproduct model λ-Minkowski (or `κ-Minkowski') quantum spacetime has an anomaly for the action of the Poincaré quantum group which was resolved by an extra cotangent direction θ' not visible classically. We show that gauging a coefficient of θ' introduces gravity into the model. We solve and analyse the model nonrelativisticaly in a 1/r potential, finding an induced constant term in the effective potential energy and a weakening and separation of the effective gravitational and inertial masses as the test particle Klein-Gordon mass increases. The present work is intended as a proof of concept but the approach could be relevant to an understanding of dark energy and possibly to macroscopic quantum systems.

preprint2012arXiv

Noncommutative Riemannian geometry on graphs

We show that arising out of noncmmutatve geometry is a natural family of {\em edge Laplacians} on the edges of a graph. The family includes a canonical edge Laplacian associated to the graph, extending the usual graph Laplacian on vertices, and we find its spectrum. We show that for a connected graph its eigenvalues are strictly positive aside from one mandatory zero mode, and include all the vertex degrees. Our edge Laplacian is not the graph Laplacian on the line graph but rather it arises as the noncommutative Laplace-Beltrami operator on differential 1-forms, where we use the language of differential algebras to functorially interpret a graph as providing a `finite manifold structure' on the set of vertices. We equip any graph with a canonical `Euclidean metric' and a canonical bimodule connection, and in the case of a Cayley graph we construct a metric compatible connection for the Euclidean metric. We make use of results on bimodule connections on inner calculi on algebras, which we prove, including a general relation between zero curvature and the braid relations.

preprint2012arXiv

Strict quantum 2-groups

A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum 2-group where we replace the above by Hopf algebras and introduce a new version of quantum groupoid. The work also suggests a natural notion of braided crossed module where A a braided-Hopf algebra in the braided category Z({}_H\CM) of crossed H-modules, although without the full groupoid picture in this more general case.

preprint2011arXiv

Almost commutative Riemannian geometry: wave operators

Associated to any (pseudo)-Riemannian manifold $M$ of dimension $n$ is an $n+1$-dimensional noncommutative differential structure $(Ω^1,\extd)$ on the manifold, with the extra dimension encoding the classical Laplacian as a noncommutative `vector field'. We use the classical connection, Ricci tensor and Hodge Laplacian to construct $(Ω^2,\extd)$ and a natural noncommutative torsion free connection $(\nabla,σ)$ on $Ω^1$. We show that its generalised braiding $σ:Ω^1\tensΩ^1\to Ω^1\tensΩ^1$ obeys the quantum Yang-Baxter or braid relations only when the original $M$ is flat, i.e their failure is governed by the Riemann curvature, and that $σ^2=\id$ only when $M$ is Einstein. We show that if $M$ has a conformal Killing vector field $τ$ then the cross product algebra $C(M)\rtimes_τ\R$ viewed as a noncommutative analogue of $M\times\R$ has a natural $n+2$-dimensional calculus extending $Ω^1$ and a natural spacetime Laplacian now directly defined by the extra dimension. The case $M=\R^3$ recovers the Majid-Ruegg bicrossproduct flat spacetime model and the wave-operator used in its variable speed of light preduction, but now as an example of a general construction. As an application we construct the wave operator on a noncommutative Schwarzschild black hole and take a first look at its features. It appears that the infinite classical redshift/time dilation factor at the event horizon is made finite.

preprint2011arXiv

On braided zeta functions

We propose a ribbon braided category approach to zeta-functions in q-deformed geometry. As a proof of concept we compute $ζ_t(C^n)$ where $C^n$ is viewed as the standard representation in the category of modules of $U_q(sl_n)$. We show that the same $ζ_t(C^n)$ is obtained for the $n$-dimensional representation in the category of $U_q(sl_2)$ modules. We show that this implies and is equivalent to the generating function for the decomposition into irreducibles of the symmetric tensor products $S^j(V)$ for $V$ an irreducible representation of $sl_2$. We discuss $ζ_t(C_q(S^2))$ for the standard q-deformed sphere.

preprint2010arXiv

q-Fuzzy spheres and quantum differentials on B_q[SU_2] and U_q(su_2)

Whereas the classical sphere $C P^1$ can be defined as the coordinate algebra generated by the matrix entries of a projector $e$ with $\trace(e)=1$, the fuzzy-sphere is defined in the same way by $\trace(e)=1+λ$. We show that the standard $q$-sphere is similarly defined by $\trace_q(e)=1$ and the Podles 2-spheres by $\trace_q(e)=1+λ$, thereby giving a unified point of view in which the 2-parameter Podles spheres are $q$-fuzzy spheres. We show further that they arise geometrically as `constant time slices' of the unit hyperboloid in $q$-Minkowski space viewed as the braided group $B_q[SU_2]$. Their localisations are then isomorphic to quotients of $U_q(su_2)$ at fixed values of the $q$-Casimir precisely $q$-deforming the fuzzy case. We use transmutation and twisting theory to introduce a $C_q[G_C]$-covariant calculus on general $B_q[G]$ and $U_q(g)$, and use $Ω(B_q[SU_2])$ to provide a unified point of view on the 3D calculi on fuzzy and Podles spheres. To complete the picture we show how the covariant calculus on the 3D bicrossproduct spacetime arises from $Ω(C_q[SU_2])$ prior to twisting.

preprint2010arXiv

Scaling Limit of the Noncommutative Black Hole

We show that the recent `quantum' black hole wave operator in the $κ$-Minkowski or bicrossproduct model quantum spacetime has a natural scaling limit $λ_p\to 0$ at the event horizon. Here $λ_p$ is the Planck time and the geometry at the event horizon in Planck length is maintained at the same time as the limit is taken, resulting in a classical theory with quantum gravity remnants. Among the features is a frequency-dependent `skin' of some $ω\overν$ Planck lengths just inside the event horizon for $ω>0$ and just outside for $ω<0$, where $ν$ is the frequency associated to the Schwarzschild radius. We use bessel and hypergeometric functions to analyse propagation through the event horizon and skin in both directions. The analysis confirms a finite redshift at the horizon for positive frequency modes in the exterior.

preprint2006arXiv

Bicrossproduct approach to the Connes-Moscovici Hopf algebra

We give a rigorous proof that the (codimension one) Connes-Moscovici Hopf algebra H_CM is isomorphic to a bicrossproduct Hopf algebra linked to a group factorisation of the group of positively-oriented diffeomorphisms of the real line. We construct a second bicrossproduct U_CM equipped with a nondegenerate dual pairing with H_CM. We give a natural quotient Hopf algebra of H_CM and Hopf subalgebra of U_CM which again are in duality. All these Hopf algebras arise as deformations of commutative or cocommutative Hopf algebras that we describe in each case. Finally we develop the noncommutative differential geometry of the quotient of H_CM by studying covariant first order differential calculi of small dimension over this algebra.

preprint2001arXiv

Electromagnetism and Gauge Theory on the Permutation Group $S_3$

Using noncommutative geometry we do U(1) gauge theory on the permutation group $S_3$. Unlike usual lattice gauge theories the use of a nonAbelian group here as spacetime corresponds to a background Riemannian curvature. In this background we solve spin 0, 1/2 and spin 1 equations of motion, including the spin 1 or `photon' case in the presence of sources, i.e. a theory of classical electromagnetism. Moreover, we solve the U(1) Yang-Mills theory (this differs from the U(1) Maxwell theory in noncommutative geometry), including the moduli spaces of flat connections. We show that the Yang-Mills action has a simple form in terms of Wilson loops in the permutation group, and we discuss aspects of the quantum theory.

preprint1999arXiv

Waves on Noncommutative Spacetime and Gamma-Ray Bursts

Quantum group Fourier transform methods are applied to the study of processes on noncommutative Minkowski spacetime $[x^i,t]=\imathλx^i$. A natural wave equation is derived and the associated phenomena of {\it in vacuo} dispersion are discussed. Assuming the deformation scale $λ$ is of the order of the Planck length one finds that the dispersion effects are large enough to be tested in experimental investigations of astrophysical phenomena such as gamma-ray bursts. We also outline a new approach to the construction of field theories on the noncommutative spacetime, with the noncommutativity equivalent under Fourier transform to non-Abelianness of the `addition law' for momentum in Feynman diagrams. We argue that CPT violation effects of the type testable using the sensitive neutral-kaon system are to be expected in such a theory.

preprint1998arXiv

Line bundles on quantum spheres

The (left coalgebra) line bundle associated to the quantum Hopf fibration of any quantum two-sphere is shown to be a finitely generated projective module. The corresponding projector is constructed and its monopole charge is computed. It is shown that the Dirac $q$-monopole connection on any quantum two-sphere induces the Grassmannian connection built with this projector.

preprint1994arXiv

Duality Principle and Braided Geometry

We give an overview of a new kind symmetry in physics which exists between observables and states and which is made possible by the language of Hopf algebras and quantum geometry. It has been proposed by the author as a feature of Planck scale physics. More recent work includes corresponding results at the semiclassical level of Poisson-Lie groups and at the level of braided groups and braided geometry.

Shahn Majid

What is connected

Connect this record

See the researcher in context

Building this map preview

34 published item(s)

Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model

Geometric Dirac operator on the fuzzy sphere

Poisson Principal Bundles

Quantum and braided ZX calculus

Quantum double aspects of surface code models

Quantum differentials on cross product Hopf algebras

Quantum geometry, logic and probability

Quantum Gravity and Riemannian Geometry on the Fuzzy Sphere

Quantum gravity on a square graph

Generalised noncommutative geometry on finite groups and Hopf quivers

Hodge Star as Braided Fourier Transform

Noncommutative Differentials on Poisson-Lie groups and pre-Lie algebras

Spectral triples from bimodule connections and Chern connections

Cosmological constant from quantum spacetime

Emergence of Riemannian geometry and the massive graviton

Quantum Riemannian geometry of phase space and nonassociativity

Semiquantisation Functor and Poisson-Riemannian Geometry, I

Duality for Generalised Differentials on Quantum Groups and Hopf quivers

Gravity induced from quantum spacetime

Reconstruction and quantization of Riemannian structures

Lie theory and coverings of finite groups

Lie theory of finite simple groups and the Roth property

Newtonian gravity on quantum spacetime

Noncommutative Riemannian geometry on graphs

Strict quantum 2-groups

Almost commutative Riemannian geometry: wave operators

On braided zeta functions

q-Fuzzy spheres and quantum differentials on B_q[SU_2] and U_q(su_2)

Scaling Limit of the Noncommutative Black Hole

Bicrossproduct approach to the Connes-Moscovici Hopf algebra

Electromagnetism and Gauge Theory on the Permutation Group $S_3$

Waves on Noncommutative Spacetime and Gamma-Ray Bursts

Line bundles on quantum spheres

Duality Principle and Braided Geometry