arXiv subjects

Shahn Majid

Publications and source records attributed to Shahn Majid.

At least 73 records · Page 4Linked to original sources

arXiv2014

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.

gr-qc↗

arXiv2014

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

math.QA↗

arXiv2014

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.

math.QA↗

arXiv2014

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.

gr-qc↗

arXiv2013

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

math.QA↗

arXiv2013

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.

gr-qc↗

arXiv2013

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.

math.QA↗

arXiv2012

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.

math.QA↗

arXiv2012

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

math.QA↗

arXiv2012

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.

math.QA↗

arXiv2012

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.

math-ph↗

arXiv2012

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.

math.QA↗

arXiv2011

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.

math.QA↗

arXiv2011

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.

math.QA↗

arXiv2010

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.

gr-qc↗

arXiv2010

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.

math.QA↗

arXiv2008

Quantum spaces associated to multipermutation solutions of level two

We study finite set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over $\C$ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra $\Acal(\C,X,r)$ having a $q$-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of finite abelian group $\Gcal$ of left actions on $X$. We study the structure of $\Acal(\C,X,r)$ and show that they have a $\bullet$-product form `quantizing' the commutative algebra of polynomials in $|X|$ variables. We obtain the $\bullet$-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed $\Gcal$-module (over any field $k$). We provide first steps in the noncommutative differential geometry of $\Acal(k,X,r)$ arising from these results. As a byproduct of our work we find that every such level 2 solution $(X,r)$ factorises as $r=f\circτ\circ f^{-1}$ where $τ$ is the flip map and $(X,f)$ is another solution coming from $X$ as a crossed $\Gcal$-set.

math.QA↗

arXiv2007

Set theoretic solutions of the Yang-Baxter equation, graphs and computations

We extend our recent work on set-theoretic solutions of the Yang-Baxter or braid relations with new results about their automorphism groups, strong twisted unions of solutions and multipermutation solutions. We introduce and study graphs of solutions and use our graphical methods for the computation of solutions of finite order and their automorphisms. Results include a detailed study of solutions of multipermutation level 2.

math.QA↗