The Garden of Quantum Spheres
英文摘要:
A list of known quantum spheres of dimension one, two and three is presented.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
Ludwik Dabrowski
A list of known quantum spheres of dimension one, two and three is presented.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
继续探索
We construct new families of spectral triples over quantum spheres, with a particular attention focused on the standard Podles quantum sphere and twisted Dirac operators.
Spectral triples on the q-deformed spheres of dimension two and three are reviewed.
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.
We introduce $q$-deformed connections on the quantum 2-sphere and 3-sphere, satisfying a twisted Leibniz rule in analogy with $q$-deformed derivations. We show that such connections always exist on projective modules. Furthermore, a condition for metric compatibility is introduced, and an explicit formula is given, parametrizing all metric connections on a free module. On the quantum 3-sphere, a q-deformed torsion freeness condition is introduced and we derive explicit expressions for the Christoffel symbols of a Levi-Civita connection for a general class of metrics. We also give metric connec…
Using principles of quantum symmetries we derive the algebraic part of the real spectral triple data for the standard Podleś quantum sphere: equivariant representation, chiral grading $γ$, reality structure $J$ and the Dirac operator $D$, which has bounded commutators with the elements of the algebra and satisfies the first order condition.
Noncommutative geometry of quantised contact spheres introduced by Omori, Maeda, Miyazaki and Yoshioka is studied. In particular it is proven that these spheres form a noncommutative Hopf fibration in the sense of Hopf-Galois extensions. The monopole (strong) connection is constructed, and projectors describing projective modules of all monopole charges are computed.
A wide class of noncommutative spaces, including 4-spheres based on all the quantum 2-spheres and suspensions of matrix quantum groups is described. For each such space a noncommutative vector bundle is constructed. This generalises and clarifies various recent constructions of noncommutative 4-spheres.
We study a three-dimensional differential calculus on the standard Podles quantum two-sphere S^2_q, coming from the Woronowicz 4D+ differential calculus on the quantum group SU_q(2). We use a frame bundle approach to give an explicit description of the space of forms on S^2_q and its associated spin geometry in terms of a natural spectral triple over S^2_q. We equip this spectral triple with a real structure for which the commutant property and the first order condition are satisfied up to infinitesimals of arbitrary order.
Using non canonical braidings, we first introduce a notion of symmetric tensors and corresponding Hodge operators on a class of left covariant 3d differential calculi over the quantum SU(2) group, then we induce Hodge operators on the left covariant 2d exterior algebras over the standard Podles quantum sphere.
Using a non canonical braiding over the 3d left covariant calculus we present a family of Hodge operators on the quantum SU(2) and its homogeneous quantum two-sphere.
We construct a U_h(sp(4))-equivariant quantization of the four-dimensional complex sphere S^4 regarded as a conjugacy class, Sp(4)/Sp(2)x Sp(2), of a simple complex group with non-Levi isotropy subgroup, through an operator realization of the quantum polynomial algebra C_h[S^4] on a highest weight module of U_h(sp(4)).
Using the corepresentation of the quantum supergroup OSp_q(1/2) a general method for constructing noncommutative spaces covariant under its coaction is developed. In particular, a one-parameter family of covariant algebras, which may be interpreted as noncommutative superspheres, is constructed. It is observed that embedding of the supersphere in the OSp_q(1/2) algebra is possible. This realization admits infinitesimal characterization a la Koornwinder. A covariant oscillator realization of the supersphere is also presented.
We study irreducible representations of a class of quantum spheres, quotients of quantum symplectic spheres.
We propose in this paper the construction of non-commutative Chern characters of the C*-algebras of spheres and quantum spheres. The final computation gives us a clear relation with the ordinary Z/(2)-graded Chern characters of tori or their normalizers.
Quantum sphere is introduced as a quotient of the so-called Reflection Equation Algebra. This enables us to construct some line bundles on it by means of the Cayley-Hamilton identity whose a quantum version was discovered in \cite{PS}, \cite{GPS}. A new way to introduce some elements of "braided geometry" on the quantum sphere is discussed.
Weighted circle actions on the quantum Heeqaard 3-sphere are considered. The fixed point algebras, termed quantum weighted Heegaard spheres, and their representations are classified and described on algebraic and topological levels. On the algebraic side, coordinate algebras of quantum weighted Heegaard spheres are interpreted as generalised Weyl algebras, quantum principal circle bundles and Fredholm modules over them are constructed, and the associated line bundles are shown to be non-trivial by an explicit calculation of their Chern numbers. On the topological side, the C*-algebras of conti…
We describe the quantum sphere of Podleś for $c=0$ by means of a stereographic projection which is analogous to that which exhibits the classical sphere as a complex manifold. We show that the algebra of functions and the differential calculus on the sphere are covariant under the coaction of fractional transformations with \SU coefficients as well as under the action of \SU vector fields. Going to the classical limit we obtain the Poisson sphere. Finally, we study the invariant integration of functions on the sphere and find its relation with the translationally invariant integration on the c…
We introduce and study two new examples of noncommutative spheres: the half-liberated sphere, and the free sphere. Together with the usual sphere, these two spheres have the property that the corresponding quantum isometry group is "easy", in the representation theory sense. We present as well some general comments on the axiomatization problem, and on the "untwisted" and "non-easy" case.
Definition of Dirac operators on the quantum group $SU_{q}(2)$ and the quantum sphere $S^{2}_{q μ}$ are discussed. In both cases similar $SU_{q}(2)$-invariant form is obtained. It is connected with corresponding Laplace operators.
The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described.
The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.
We introduce and investigate a one parameter family of quantum spaces invariant under the left (right) coactions of the group-like element ${\cal T}_{h}^{(j=1)}$ of the Jordanian function algebra $Fun_{h}(SL(2))$. These spaces may be regarded as Jordanian quantization of the two-dimensional spheres.
The cup and cap product in twisted Hochschild (co)homology is computed for the standard quantum 2-sphere and used to construct a cyclic 2-cocycle that represents the fundamental Hochschild class.
We study relations between different kinds of non-commutative spheres which have appeared in the context of ADS/CFT correspondences recently, emphasizing the connections between spaces that have manifest quantum group symmetry and spaces that have manifest classical symmetry. In particular we consider the quotient $SU_q(2)/U(1)$ at roots of unity, and find its relations with the fuzzy sphere with manifest classical SU(2) symmetry. Deformation maps between classical and quantum symmetry, the $U_q(SU(2))$ module structure of quantum spheres and the structure of indecomposable representations of …
The dual coalgebra of Podleś' quantum sphere O_q(S^2_c) is determined explicitly. This result is used to classify all finite dimensional covariant first order differential calculi over O_q(S^2_c) for all but exceptional values of the parameter c.
We show that the C*-algebra of a quantum sphere $C(S_{q}^{2n+1})$ can be realized as a groupoid C*-algebra of a groupoid which is explicitly identified and is independent of the parameter $q$.
We show that the noncommutative spheres of Connes and Landi are quantum homogeneous spaces for certain compact quantum groups. We give a general construction of homogeneous spaces which support noncommutative spin geometries.
We investigate the spin $1/2$ fermions on quantum two spheres. It is shown that the wave functions of fermions and a Dirac Operator on quantum two spheres can be constructed in a manifestly covariant way under the quantum group $SU(2)_q$. The concept of total angular momentum and chirality can be expressed by using $q$-analog of Pauli-matrices and appropriate commutation relations.
We introduce the notion of noncommutative complex spheres with partial commutation relations for the coordinates. We compute the corresponding quantum symmetry groups of these spheres, and this yields new quantum unitary groups with partial commutation relations. We also discuss some geometric aspects of the quantum orthogonal groups associated with the mixture of classical and free independence discovered by Speicher and Weber. We show that these quantum groups are quantum symmetry groups on some quantum spaces of spherical vectors with partial commutation relations.
In a recent paper the quantum 2-sphere $S^2_q$ was described as a quantum complex manifold. Here we consider several copies of $S^2_q$ and derive their braiding commutation relations. The braiding is extended to the differential and to the integral calculus on the spheres. A quantum analogue of the classical anharmonic ratio of four points on the sphere is given, which is invariant under the coaction of $SU_q(2)$.
We quantize homogeneous vector bundles over an even complex sphere $\mathbb{S}^{2n}$ as one-sided projective modules over its quantized coordinate ring. We realize them in two different ways: as locally finite $\mathbb{C}$-homs between pseudo-parabolic Verma modules and as induced modules of the quantum orthogonal group. Based on this alternative, we study representations of a quantum symmetric pair related to $\mathbb{S}^{2n}_q$ and prove their complete reducibility.
We study covariant differential calculus on the quantum spheres S_q^2N-1. Two classification results for covariant first order differential calculi are proved. As an important step towards a description of the noncommutative geometry of the quantum spheres, a framework of covariant differential calculus is established, including a particular first order calculus obtained by factorization, higher order calculi and a symmetry concept.
We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois $\Z_2$-quotient of the equator Podleś quantum sphere. On the way, we provide the Cartesian coordinates for all Podleś quantum spheres and determine an explicit form of isomorphisms between the $C^*$-algebras of the equilateral spheres and the $C^*$-algebra of the equator one.
The sphere $S^{N-1}_\mathbb R$ has a half-liberated analogue $S^{N-1}_{\mathbb R,*}$, and a free analogue $S^{N-1}_{\mathbb R,+}$. This is a presentation of the construction and main properties of these noncommutative spheres, $S^{N-1}_\mathbb R\subset S^{N-1}_{\mathbb R,*}\subset S^{N-1}_{\mathbb R,+}$, and of their quantum isometry groups.
Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call them quantum line bundles) and define a multiplicative structure in their family. Also, we compute a pairing between certain quantum line bundles and finite dimensional representations of the NC sphere in the spirit of the NC index theorem. A new approach to constructing the differential calculus on a NC sphere is suggested. The approach makes use of the pr…
We construct a Dirac operator on the quantum sphere $S^2_q$ which is covariant under the action of $SU_q(2)$. It reduces to Watamuras' Dirac operator on the fuzzy sphere when $q\to 1$. We argue that our Dirac operator may be useful in constructing $SU_q(2)$ invariant field theories on $S^2_q$ following the Connes-Lott approach to noncommutative geometry.
Hilbert space representations of the cross product *-algebra of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qc}) of Podles' spheres are studied. Two classes of representations are described by explicit formulas for the actions of the generators.
We define even dimensional quantum spheres Sigma_q^2n that generalize to higher dimension the standard quantum two-sphere of Podle's and the four-sphere Sigma_q^4 obtained in the quantization of the Hopf bundle. The construction relies on an iterated Poisson double suspension of the standard Podle's two-sphere. The Poisson spheres that we get have the same symplectic foliation consisting of a degenerate point and a symplectic plane and, after quantization, have the same C^*-algebraic completion. We investigate their K-homology and K-theory by introducing Fredholm modules and projectors.
We discuss the left-covariant 3-dimensional differential calculus on the quantum sphere $SU_q (2)/U(1) $. The $SU_q (2)$-spinor harmonics are treated as coordinates of the quantum sphere. We consider the gauge theory for the quantum group $SU_q (2)\times U(1) $ on the deformed Euclidean space $E_q (4)$. A $q$-generalization of the harmonic-gauge-field formalism is suggested . This formalism is applied for the harmonic (twistor) interpretation of the quantum-group self-duality equation (QGSDE). We consider the zero-curvature representation and the general construction of QGSDE-solutions in term…
We construct spectral triples for the C^*-algebra of continuous functions on the quantum SU(2) group and the quantum sphere. There has been various approaches towards building a calculus on quantum spaces, but there seems to be very few instances of computations outlined in chapter~6 of Connes' book. We give detailed computations of the associated Connes-de Rham complex and the space of L_2-forms.
Noncommutative analogues of n-dimensional balls are defined by repeated application of the quantum double suspension to the classical low-dimensional spaces. In the `even-dimensional' case they correspond to the Twisted Canonical Commutation Relations of Pusz and Woronowicz. Then quantum spheres are constructed as double manifolds of noncommutative balls. Both C*-algebras and polynomial algebras of the objects in question are defined and analyzed, and their relations with previously known examples are presented. Our construction generalizes that of Hajac, Matthes and Szymanski for `dimension 2…
Quantum super 2-shpheres and the corresponding quantum super transformation group are introduced in analogy to the well-known quantum 2-shpheres and quantum SL(2), connection between little $t$-Jacobi polynomials and the finite dimensional representations of the quantum super group is formulated, and the Peter-Weyl theorem is obtained.
It is shown that the isospectral bi-equivariant spectral triple on quantum SU(2) and the isospectral equivariant spectral triples on the Podles spheres are related by restriction. In this approach, the equatorial Podles sphere is distinguished because only in this case the restricted spectral triple admits an equivariant grading operator together with a real structure (up to infinitesimals of arbitrary high order). The real structure is expressed by the Tomita operator on quantum SU(2) and it is shown that the failure of the real structure to satisfy the commutant property is related to the fa…
For $μ\in (0,1), c> 0,$ we identify the quantum group $SO_μ(3)$ as the universal object in the category of compact quantum groups acting by `orientation and volume preserving isometries' in the sense of \cite{goswami2} on the natural spectral triple on the Podles sphere $S^2_{μ, c}$ constructed by Dabrowski, D'Andrea, Landi and Wagner in \cite{Dabrowski_et_al}.
We construct a quantum version of the SU(2) Hopf bundle $S^7 \to S^4$. The quantum sphere $S^7_q$ arises from the symplectic group $Sp_q(2)$ and a quantum 4-sphere $S^4_q$ is obtained via a suitable self-adjoint idempotent $p$ whose entries generate the algebra $A(S^4_q)$ of polynomial functions over it. This projection determines a deformation of an (anti-)instanton bundle over the classical sphere $S^4$. We compute the fundamental $K$-homology class of $S^4_q$ and pair it with the class of $p$ in the $K$-theory getting the value -1 for the topological charge. There is a right coaction of $SU…
We construct spectral triples on all Podles quantum spheres. These noncommutative geometries are equivariant for a left action of $U_q(su(2))$ and are regular, even and of metric dimension 2. They are all isospectral to the undeformed round geometry of the 2-sphere. There is also an equivariant real structure for which both the commutant property and the first order condition for the Dirac operators are valid up to infinitesimals of arbitrary order.
We present a candidate of a vector space basis for the algebra $\mathcal{O}(S_q^{4n-1})$ of the quantum symplectic sphere for every $n\geq 1$. The algebra $\mathcal{O}(S_q^{4n-1})$ is defined as a certain subalgebra of the quantum symplectic group $\mathcal{O}(SP_q(2n))$. A non-trivial application of the Diamond Lemma is used to construct the vector space basis and the conjecture is supported by computer experiments for $n=1,2,...,8$.
In this thesis, we give a unification of the quantum WRT invariants. Given a rational homology 3-sphere M and a link L inside, we define the unified invariants, such that the evaluation of these invariants at a root of unity equals the corresponding quantum WRT invariant. In the SU(2) case, we assume the order of the first homology group of the manifold to be odd. Therefore, for rational homology 3-spheres, our invariants dominate the whole set of SO(3) quantum WRT invariants and, for manifolds with the order of the first homology group odd, the whole set of SU(2) quantum WRT invariants. We fu…
A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator.
The real sphere $S^{N-1}_\mathbb R$ appears as increasing union, over $d\in\{1,...,N\}$, of its "polygonal" versions $S^{N-1,d-1}_\mathbb R=\{x\in S^{N-1}_\mathbb R|x_{i_0}... x_{i_d}=0,\forall i_0,...,i_d\ {\rm distinct}\}$. Motivated by general classification questions for the undeformed noncommutative spheres, smooth or not, we study here the quantum isometries of $S^{N-1,d-1}_\mathbb R$, and of its various noncommutative analogues, obtained via liberation and twisting. We discuss as well a complex version of these results, with $S^{N-1}_\mathbb R$ replaced by the complex sphere $S^{N-1}_\m…
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 calculat…
Starting with the braided quantum group $\operatorname{SU}_q(2)$ for a complex deformation parameter $q$ we perform the construction of the quotient $\operatorname{SU}_q(2)/\mathbb{T}$ which serves as a model of a quantum sphere. Then we follow the reasoning of Podleś who for real $q$ classified quantum spaces with the action of $\operatorname{SU}_q(2)$ with appropriate spectral properties. These properties can also be expressed in the context of the braided quantum $\operatorname{SU}_q(2)$ (with complex $q$) and we find that they lead to precisely the same family of quantum spaces as found by…
We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of all Podles quantum spheres relative to arbitary automorphisms. Our calculations are based on a free resolution due to Masuda, Nakagami and Watanabe. The dimension drop in Hochschild homology can be overcome by twisting by automorphisms induced from the canonical modular automorphism associated to the Haar state on quantum SU(2). We specialize our results to the standard quantum sphere, and identify the class in twisted cyclic cohomology of the 2-cocycle discovered by Schmuedgen and Wagner …
Invariant integrals of functions and forms over $q$ - deformed Euclidean space and spheres in $N$ dimensions are defined and shown to be positive definite, compatible with the star - structure and to satisfy a cyclic property involving the $D$ - matrix of $SO_q(N)$. The definition is more general than the Gaussian integral known so far. Stokes theorem is proved with and without spherical boundary terms, as well as on the sphere.
We consider two Z/2Z-actions on the Podles generic quantum spheres. They yield, as noncommutative quotient spaces, the Klimek-Lesniewski q-disc and the quantum real projective space, respectively. The C*-algebras of all these quantum spaces are described as graph C*-algebras. The K-groups of the thus presented C*-algebras are then easily determined from the general theory of graph C*-algebras. For the quantum real projective space, we also recall the classification of the classes of irreducible *-representations of its algebra and give a linear basis for this algebra.
Equivariance under the action of Uq(so(5)) is used to compute the left regular and (chiral) spinorial representations of the algebra of the orthogonal quantum 4-sphere S^4_q. These representations are the constituents of a spectral triple on this sphere with a Dirac operator which is isospectral to the canonical one on the round undeformed four-sphere and which gives metric dimension four for the noncommutative geometry. Non-triviality of the geometry is proved by pairing the associated Fredholm module with an `instanton' projection. We also introduce a real structure which satisfies all requi…
The quantum group $SU_q(\ell+1)$ has a canonical action on the odd dimensional sphere $S_q^{2\ell+1}$. All odd spectral triples acting on the $L_2$ space of $S_q^{2\ell+1}$ and equivariant under this action have been characterized. This characterization then leads to the construction of an optimum family of equivariant spectral triples having nontrivial $K$-homology class. These generalize the results of Chakraborty & Pal for $SU_q(2)$.
The q-Legendre polynomials can be treated as some special "functions in the quantum double cosets $U(1)\setminus SU_q(2)/U(1)$". They form a family (depending on a parameter $q$) of polynomials in one variable. We get their further generalization by introducing a two parameter family of polynomials. If the former family arises from an algebra which is in a sense "q-commutative", the latter one is related to its noncommutative counterpart. We introduce also a two parameter deformation of the invariant integral on a sphere.
We show that the relations which define the algebras of the quantum Euclidean planes $\b{R}^N_q$ can be expressed in terms of projections provided that the unique central element, the radial distance from the origin, is fixed. The resulting reduced algebras without center are the quantum Euclidean spheres $S^{N-1}_q$. The projections $e=e^2=e^*$ are elements in $\Mat_{2^n}(S^{N-1}_q)$, with N=2n+1 or N=2n, and can be regarded as defining modules of sections of q-generalizations of monopoles, instantons or more general twisted bundles over the spheres. We also give the algebraic definition of n…
S. L. Woronowicz's theory of introducing C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators generated by a q-normal operator is computed and an abstract description is given by using crossed product algebras. If the spectrum of the modulus of the q-normal operator is the positive half line, this C*-algebra will be considered as the algebra of continuous functions on the quantum complex plane vanishing at infinity, and its unitization will be viewed …
扫码添加微信好友,提出您的宝贵建议 👇
💡 备注请填写:网站反馈
发表机构由 AI 从论文文本抽取,如发现错误,欢迎反馈修正建议。