arXiv:1009.1192v3 [hep-th] 12 Oct 2010 r ofmpadfzymanifolds fuzzy and map Hopf 3rd 6 vial thttp://www.emis.de/journals/SIGMA/noncom at available n ofmpadfzyfour-sphere fuzzy and map Hopf 2nd 5 supersphere fuzzy and map Hopf Graded 4 ymty nerblt n emty ehd n Applica and Methods Geometry: and Integrability Symmetry, eevdMy0,21,i ia omAgs 9 00 ulse onlin Published 2010; 19, August form final doi:10.3842/SIGMA.2010.071 in 2010, 05, May Received 769-1 Kagawa Mitoyo, Technology, E-mail: of College National Kagawa Spheres HASEBE Fuzzy Kazuki and Level, Landau Lowest Maps, Hopf s ofmpadfzytwo-sphere fuzzy and map Hopf 1st algebras 3 division and maps Hopf 2 Introduction 1 Contents ⋆ . Fuzzy 6.2 . uz orshr ...... and . map . Hopf 3rd . . 6.1 . . . . . four-sphere Fuzzy 5.3 5.2 . uz w-pee...... and . . map Hopf . . 2nd . . . . 5.1 ...... supermonopole . and map . Hopf 4.2 . Graded . . 4.1 . . . . two-sphere Fuzzy 3.3 . uz ueshr ...... supersphere Fuzzy 4.3 3.2 . s ofmpand map Hopf 1st 3.1 hsppri otiuint h pca su “Noncommut Issue Special the to contribution a is paper This t eaint uz ueshr ncneto uesmercLa supersymmetric H of words: the context Key of in version supersphere graded fuzzy a to int g introduce relation in physical also its models we a Landau algebra, give utilizing Grassmann We by With spheres fuzzy spheres. hie of dimensional interesting structure lower particular an have of spheres “compounds” p fuzzy of a n two-spheres dimensional fuzzy provide complex Higher of of algebras generalization spheres. to Generalization division analogous exactly of spheres. is maps gebra fuzzy Hopf and The monopoles between relations. mutual their Abstract. 00MteaisSbetClassification: Subject Mathematics 2010 geometry fuzzy model; Landau monopole; [email protected] SO UOSp SO 5 adumdl...... 19 ...... model Landau (5) 3 adumdl...... 7 ...... model Landau (3) (1 C P | )Lna oe 13 ...... model Landau 2) iiinagba lfodagba rsmn ler;Hp a;no map; Hopf algebra; Grassmann algebra; Clifford algebra; division hsppri eiwo oooe,lws adulvl uz spher fuzzy level, Landau lowest monopoles, of review a is paper This 7 n fuzzy and U SO SU 1 oooe...... 5 ...... monopole (1) S 8 oooe...... 22 ...... monopole (8) 2 oooe...... 16 ...... monopole (2) 8 26 ...... 77;5B4 81V70 58B34; 17B70; in SIGMA tions mutative.html tv pcsadFed” h ulcleto is collection full The Fields”. and Spaces ative 9,Japan 192, etme 7 2010 07, September e ohge iesoa fuzzy dimensional higher to dumodel. ndau acia tutr made structure rarchical nrcee dimensions. even eneric mest lfodal- Clifford to umbers p a,addiscuss and map, opf rrtto o such for erpretation ooyerelation rototype 6 21) 7,4 pages 42 071, (2010), n-Abelian 11 . . . . . s and es, 21 . . . . 10 . . . 15 . . . 22 16 10 5 3 2 ⋆ 2 K. Hasebe
7 Beyond Hopf maps: even higher dimensional generalization 26 7.1 Clifford algebra: another generalization of complex numbers...... 26 7.2 Mathematical aspects of fuzzy sphere ...... 27 7.3 Hopf spinor matrix and SO(2k)monopole...... 28 7.4 SO(2k +1)Landaumodel...... 30 7.5 Dimensionalhierarchy ...... 31
8 Summary and discussions 32
A 0th Hopf map and SO(2) “Landau model” 33 A.1 Realization of the 0th Hopf map ...... 33 A.2 SO(2)“Landaumodel” ...... 34
B Generalized 1st Hopf map and SU(k + 1) Landau model 35 B.1 SU(k + 1) Landau model and fuzzy complex projective space ...... 35 B.2 Relations to spherical Landau models ...... 37
References 38
1 Introduction
Fuzzy two-sphere introduced by Madore [1] was a typical and important fuzzy manifold where particular notions of fuzzy geometry have been cultivated. In subsequent explorations of fuzzy geometry, higher dimensional and supersymmetric generalizations of the fuzzy spheres were launched by Grosse et al. [2, 3, 4]. Furthermore, as well recognized now, string theory provides a natural set-up for non-commutative geometry and non-anti-commutative geometry [5, 6, 7]. In particular, classical solutions of matrix models with Chern–Simons term are identified with fuzzy two-spheres [8], fuzzy four-spheres [9] and fuzzy superspheres [10]. Fuzzy manifolds also naturally appear in the context of intersections of D-branes [11, 12, 13]. In addition to applications to physics, the fuzzy spheres themselves have intriguing mathematical structures. As Ho and Ramgoolam showed in [14] and subsequently in [15] Kimura investigated, the commutative limit of (even-dimensional) fuzzy sphere takes the particular form1:
S2k SO(2k + 1)/U(k). F ≃ 2k From this coset representation, one may find, though SF is called 2k-dimensional fuzzy sphere, its genuine dimension is not 2k but k(k + 1). Furthermore, the fuzzy spheres can be expressed as the lower dimensional fuzzy sphere-fibration over the sphere
S2k S2k S2k−2. F ≈ × F 2k 2k−2 Thus, SF has “extra-dimensions” coming from the lower dimensional fuzzy sphere SF . One may wonder why fuzzy spheres have such extra-dimensions. A mathematical explanation may go as follows. Fuzzification is performed by replacing Poisson bracket with commutator on a manifold. Then, to fuzzificate a manifold, the manifold has to have a symplectic structure to be capable to define Poisson bracket. However, unfortunately, higher dimensional spheres S2k (k 2) do not accommodate symplectic structure, and their fuzzification is not straightforward. ≥ A possible resolution is to adopt a minimally extended symplectic manifold with spherical sym- metry. The coset SO(2k + 1)/U(k) suffices for the requirement.
1 2k−1 The odd-dimensional fuzzy spheres can be given by SF ≃ SO(2k)/(U(1) ⊗ U(k − 1)) [16, 17]. For instance, 3 2 2 SF ≈ S × S . Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 3
Since detail mathematical treatments of fuzzy geometry have already been found in the excellent reviews [18, 19, 20, 21, 22, 23], in this paper, we mainly focus on a physical approach for understanding of fuzzy spheres, brought by the developments of higher dimensional quantum Hall effect (see as a review [24] and references therein). The lowest Landau level (LLL) provides a nice way for physical understanding of fuzzy geometry (see for instance [25]). As we shall see in the context, generalization of the fuzzy two-spheres is closely related to the generalization of the complex numbers in 19th century. Quaternions discovered by W. Hamilton were the first generalization of complex numbers [26]. Soon after the discovery, the other division algebra known as octonions was also found (see for instance [27]). Interestingly, the division algebras are closely related to topological maps from sphere to sphere in different dimensions, i.e. the Hopf maps [28, 29]. While the division algebras consist of complex numbers C, quaternions H and octonions O (except for real numbers R), there is another generalization of complex numbers and quaternions; the celebrated Clifford algebra invented by W. Clifford [30]. The generalization of complex numbers to Clifford algebra is exactly analogous to generalization of fuzzy two-sphere to its higher dimensional cousins. Particular geometry of fuzzy spheres directly reflects features of Clifford algebra. With non-Abelian monopoles in generic even dimensional space, we explain the particular geometry of fuzzy spheres in view of the lowest Landau level physics. There is another important algebra invented by H. Grassmann [31]. Though less well known compared to the original three Hopf maps, there also exists a graded version of the (1st) Hopf map [32]. We also discuss its relation to fuzzy supersphere. The organization is as follows. In Section 2, we introduce the division algebras and the Hopf maps. In Section 3, with the explicit construction of the 1st Hopf map, we analyze the Landau 2 problem on a two-sphere and discuss its relations to fuzzy two-sphere SF . The graded version of the Hopf map and its relation to fuzzy superspheres are investigated in Section 4. In Section 5, 4 we extend the former discussions to the 2nd Hopf map and fuzzy four-sphere SF . In Section 6, we consider the 3rd Hopf map and the corresponding fuzzy manifolds. In Section 7, we generalize the observations to even higher dimensional fuzzy spheres based on Clifford algebra. Section 8 is devoted to summary and discussions. In Appendix A, for completeness, we introduce the 0th Hopf map and related “Landau problem” on a circle. In Appendix B, the SU(k + 1) Landau model and fuzzy CP k manifold are surveyed.
2 Hopf maps and division algebras
As the division algebras consist of only three algebras, there exist three corresponding Hopf maps, 1st, 2nd and 3rd. The three Hopf maps
S1 S3 S2 (1st) −→ S7 S4 (2nd) −→ S15 S8 (3rd) −→ are closely related bundle structures of U(1), SU(2), and SO(8) monopoles [33, 34, 35]. Interes- tingly, the Hopf maps exhibit a hierarchical structure. Each of the Hopf maps can be understood as a map from a circle in 2D division algebra space to corresponding projective space:
1 1 S 1 SC CP (1st) 1 −→1 SH HP (2nd) 1 −→1 SO OP (3rd) −→ 1 For instance, in the 1st Hopf map, the total space SC represents a circle in 2D complex space, i.e. S3, and the basespace CP 1 denotes the complex projective space equivalent to S2. For the 2nd and 3rd Hopf maps, same interpretations hold by replacing complex numbers C with 4 K. Hasebe quaternions H, and octonions O, respectively. For later convenience, we summarize the basic properties of quaternions and octonions. The quaternion basis elements, 1, q1, q2, q3, are defined so as to satisfy the algebra [26]
2 2 2 q = q = q = q q q = 1, qiqj = qjqi (i = j), 1 2 3 1 2 3 − − 6 or equivalently,
qi,qj = 2δij, [qi,qj] = 2ǫijkqk, { } − where ǫijk is Levi-Civita antisymmetric tensor with ǫ123 = 1. Thus, quaternion algebra is non- commutative. As is well known, the quaternion algebra is satisfied by the Pauli matrices with the identification, qi = iσi. (We will revisit this point in Section 5.) An arbitrary quaternion − is expanded by the quaternion basis elements:
3 q = r01+ riqi, i X=1 where r0, ri are real expansion coefficients, and the conjugation of q is given by
3 ∗ q = r 1 riqi. 0 − i X=1 The norm of quaternion, q , is given by || || 3 ∗ ∗ 2 2 q = q q = qq = r + ri . || || v 0 u i=1 p p u X t It is noted that q and q∗ are commutative. The normalized quaternionic space corresponds to S3, 7 1 and the total manifold of the 2nd Hopf map, S , is expressed as the quaternionic circle, SH:
3 3 ∗ ′∗ ′ 2 2 ′ 2 ′2 q q + q q = r0 + ri + r0 + ri = 1. i i X=1 X=1 Similarly, the octonion basis elements, 1, e1, e2,...,e7, are defined so as to satisfy the algebras
eI , eJ = 2δIJ , [eI , eJ ] = 2fIJKeK , (2.1) { } − where I, J, K = 1, 2,..., 7. δIJ denotes Kronecker delta symbol and fIJK does the antisymmetric structure constants of octonions (see Table 1). The octonions do not respect the associativity as well as the commutativity. (The non- associativity can be read from Table 1, for instance, (e e )e = e = e (e e ).) Due to their 1 2 4 7 − 1 2 4 non-associativity, octonions cannot be represented by matrices unlike quaternions. However, the conjugation and magnitude of octonion can be similarly defined as those of quaternion, simply replacing the role of the imaginary quaternion basis elements qi with the imaginary octonion basis elements eI . An arbitrary octonion is given by
7 o = r01+ rI eI , I X=1 with real expansion coefficients r0, rI , and its conjugation is
7 ∗ o = r 1 rI eI . 0 − I X=1 Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 5
Table 1. The structure constants of the octonion algebra. For instance, f145 = 1 can be read from e1e4 = e5. The octonion structure constants are given by f123 = f145 = f176 = f246 = f527 = f374 = f365 = 1, and other non-zero octonion structure constants are obtained by the cyclic permutation of the indices. 1 e1 e2 e3 e4 e5 e6 e7
1 1 e1 e2 e3 e4 e5 e6 e7 e e 1 e e e e e e 1 1 − 3 − 2 5 − 4 − 7 6 e e e 1 e e e e e 2 2 − 3 − 1 6 7 − 4 − 5 e e e e 1 e e e e 3 2 2 − 1 − 7 − 6 5 − 4 e e e e e 1 e e e 4 4 − 5 − 6 − 7 − 1 2 3 e e e e e e 1 e e 5 5 − 4 − 7 6 − 1 − − 3 2 e e e e e e e 1 e 6 6 7 4 − 5 − 2 3 − − 1 e e e e e e e e 1 7 7 − 6 5 4 − 3 − 2 1 −
The norm of octonion, o , is || || 7 ∗ ∗ 2 2 o = √o o = √oo = r + rI . || || v 0 u I=1 u X t Like the case of quaternion, o and o∗ are commutative. The normalized octonion o∗o = 1 represents S7, and the total manifold of the 3rd Hopf map, S15, is given by the octonionic 1 circle SO,
7 7 ∗ ′∗ ′ 2 2 ′ 2 ′ 2 o o + o o = r0 + rI + r0 + rI = 1. I I X=1 X=1 One may wonder there might exist even higher dimensional generalizations. Indeed, following to the Cayley–Dickson construction [27], it is possible to construct new species of numbers. Next to the octonions, sedenions consisting of 16 basis elements can be constructed. However, the sedenions do not even respect the alternativity, and hence the multiplication law of norms does not hold: x y = x y . Then, the usual concept of “length” does not even exist in || || || || 6 || · || sedenions, and a sphere cannot be defined with sedenions and hence the corresponding Hopf maps either. Consequently, there only exit three division algebras and corresponding three Hopf maps.
3 1st Hopf map and fuzzy two-sphere
In this section, we give a realization of the 1st Hopf map
S1 S3 S2, −→ and discuss basic procedure of fuzzification of sphere in LLL.
3.1 1st Hopf map and U(1) monopole The 1st Hopf map can explicitly be constructed as follows. We first introduce a normalized complex two-spinor φ φ = 1 φ 2 6 K. Hasebe satisfying φ†φ = 1. Thus φ, which we call the 1st Hopf spinor, represents the coordinate on the total space S3, and plays a primary role in the fuzzification of sphere as we shall see below. With the Pauli matrices 0 1 0 i 1 0 σ = , σ = − , σ = , (3.1) 1 1 0 2 i 0 3 0 1 − the first Hopf map is realized as
† φ xi = φ σiφ. (3.2) → 2 It is straightforward to check that xi satisfy the condition for S :
† 2 xixi = (φ φ) = 1. (3.3)
Thus, (3.2) demonstrates the 1st Hopf map. The analytic form of the Hopf spinor except for the south pole is given by
1 1+ x φ = 3 , (3.4) x + ix 2(1 + x3) 1 2 and the correspondingp fibre-connection is derived as
† A = dxiAi = iφ dφ, (3.5) − where 1 Ai = ǫij3xj. −2(1 + x3) The curvature is given by 1 Fij = ∂iAj ∂jAi = ǫijkxk, (3.6) − 2 which corresponds to the field strength of Dirac monopole with minimum charge (see for in- stance [36]). The analytic form of the Hopf spinor except for the north pole is given by
1 x ix φ′ = 1 − 2 . 2(1 x ) 1 x3 − 3 − The correspondingp gauge field is
′ ′† ′ ′ A = iφ dφ = dxiA , − i where 1 A′ = ǫ x . i 2(1 x ) ij3 j − 3 ′ ′ ′ The field strength F = ∂iA ∂jA is same as Fij (3.6), which suggests the two expressions of ij j − i the Hopf spinor are related by gauge transformation. Indeed,
φ′ = φ g = g φ, · · where g is a U(1) gauge group element
−iχ 1 g = e = (x1 ix2). √1 x 2 − − 3 Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 7
Here, the gauge parameter χ is given by tan(χ)= x2 . The U(1) phase factor is canceled in the x1 map (3.2), and there always exists such U(1) gauge degree of freedom in expression of the Hopf spinor. With the formula
∗ 1 ig dg = ǫij xidxj, − 1 x 2 3 − 3 the above gauge fields are represented as i i A = (1 x )g∗dg, A′ = (1 + x )g∗dg, 2 − 3 −2 3 and related by the U(1) gauge transformation
A′ = A ig∗dg. − The non-trivial bundle structure of U(1) monopole on S2 is guaranteed by the homotopy theorem
π (U(1)) Z, 1 ≃ specified by the 1st Chern number 1 c1 = F. 4π 2 ZS 3.2 SO(3) Landau model Here, we consider a Landau model on a two-sphere in U(1) monopole background. In 3D space, the Landau Hamiltonian is given by 1 1 ∂2 1 ∂ 1 H = D2 = + Λ2, (3.7) −2M i −2M ∂r2 − Mr ∂r 2Mr2 i where Di = ∂i + iAi, r = √xixi, and i = 1, 2, 3 are summed over. Λi is the covariant angular momentum Λi = iǫijkxjDk. The monopole gauge field has the form − I Ai = ǫij3xj, −2r(r + x3) and the corresponding field strength is I F = ǫ ∂ A = x . i ijk j k 2r3 i
The covariant angular momentum Λi does not satisfy the SU(2) algebra, but satisfies
2 [Λi, Λj]= iǫijk Λk r Fk . − The conserved SU(2) angular momentum is constructed as
2 Li = Λi + r Fi, which satisfies the genuine SU(2) algebra
[Li,Lj]= iǫijkLk.
On a two-sphere, the Hamiltonian (3.7) is reduced to the SO(3) Landau model [37] 1 H = Λ2, (3.8) 2MR2 i 8 K. Hasebe where R is the radius of two-sphere. The SO(3) Landau Hamiltonian can be rewritten as
1 I2 H = L2 , (3.9) 2MR2 i − 4 where we used the orthogonality between the covariant angular momentum and the field strength; ΛiFi = FiΛi = 0. Thus, the Hamiltonian is represented by the SU(2) Casimir operator, and the eigenvalue problem is boiled down to the problem of obtaining the irreducible represen- tation of SU(2). Such irreducible representations are given by monopole harmonics [38]. The 2 I SU(2) Casimir operator takes the eigenvalues Li = j(j + 1) with j = 2 + n (n = 0, 1, 2,... ). (The minimum of j is not zero but a finite value I/2 due to the existence of the field angular momentum of monopole.) Then, the eigenenergies are derived as 1 I E = n2 + n(I +1)+ . (3.10) n 2MR2 2 In the thermodynamic limit, R,I , with B = I/2R2 fixed, (3.10) reproduces the usual → ∞ Landau levels on a plane: 1 En ω n + , → 2 where ω = B/M is the cyclotron frequency. The degeneracy of the nth Landau level is given by
d(n) = 2l +1=2n + I + 1. (3.11)
In particular, in the LLL (n = 0), the degeneracy is
dLLL = I + 1.
The monopole harmonics in LLL is simply constructed by taking symmetric products of the components of the 1st Hopf spinor
(m1,m2) I! m1 m2 φLLL = φ1 φ2 , (3.12) rm1!m2! where m + m = I (m ,m 0). In the LLL, the kinetic term of the covariant angular 1 2 1 2 ≥ momentum is quenched, and the SU(2) total angular momentum is reduced to the monopole field strength
2 I Li r Fi = xi. → 2R
Then in LLL, the coordinates xi are regarded as the operator
Xi = αLi, which satisfies the definition algebra of fuzzy two-sphere
[Xi, Xj]= iαǫijkXk, (3.13) with α = 2R/I. We reconsider the LLL physics with Lagrange formalism. In Lagrange formalism, importance of the Hopf map becomes more transparent. The present one-particle Lagrangian on a two-sphere is given by m L = x˙ x˙ +x ˙ A , 2 i i i i Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 9 with the constraint
2 xixi = R . (3.14)
In the LLL, the Lagrangian is represented only by the interaction term
LLLL =x ˙ iAi.
From (3.5), the LLL Lagrangian can be simply rewritten as
d L = iIφ† φ, (3.15) LLL − dt and the constraint (3.14) is
φ†φ = 1. (3.16)
It is noted that, in the LLL, the kinetic term drops and only the first order time derivative term survives. The Lagrangian and the constraint can be represented in terms of the Hopf spinor. Usually, in the LLL, the quantization is preformed by regarding the Hopf spinor as fundamental quantity, and the canonical quantization condition is imposed not on the original coordinate on two-sphere, but on the Hopf spinor. We follow such quantization procedure to fuzzificate two-sphere. From (3.15), the conjugate momentum is derived as π = iIφ∗, and the canonical − quantization is given by
∗ 1 [φα, φ ]= δαβ. (3.17) β −I
This quantization may remind the quantization procedure of the spinor field theory, but readers should not be confused: The present quantization is for one-particle mechanics, and the spinor is quantized as “boson” (3.17). Then, the complex conjugation is regarded as the derivative
1 ∂ φ∗ = , (3.18) I ∂φ and the constraint (3.16) is considered as a condition on the LLL basis
∂ φt φ = Iφ . ∂φ LLL LLL
The previously derived LLL basis (3.12) indeed satisfies the condition. By inserting the expression (3.18) to the Hopf map, we find that xi are regarded as coordinates on fuzzy two-sphere
α ∂ X = Rφ†σ φ = φtσ , i i 2 i ∂φ which satisfies the algebra (3.13). Thus, also in the Lagrange formalism, we arrive at the fuzzy two-sphere algebra in LLL. The crucial role of the Hopf spinor is transparent in the Lagrange formalism: The Hopf spinor is first fuzzificated (3.17), and subsequently the coordinates on two-sphere are fuzzificated. This is the basic fuzzification mechanics of sphere in the context of the Hopf map. 10 K. Hasebe
3.3 Fuzzy two-sphere The fuzzy two-sphere is a fuzzy manifold whose coordinates satisfy the SU(2) algebraic rela- tion [1]
[Xˆi, Xˆj]= iαǫijkXˆk.
The magnitude of fuzzy sphere is specified by the dimension of corresponding SU(2) irreducible representation. A convenient way to deal with the irreducible representation is to adopt the Schwinger boson formalism, in which the SU(2) operators are given by α Xˆ = φˆ†σ φ.ˆ i 2 i
t Here, φˆ = (φˆ1, φˆ2) stands for a Schwinger boson operator that satisfy
ˆ ˆ† [φα, φβ]= δαβ, with α, β = 1, 2. Square of the radius of a fuzzy two-sphere reads as
α2 Xˆ Xˆ = φˆ†φˆ)(φˆ†φˆ + 2 . (3.19) i i 4 The commutative expression (3.3) and the fuzzy expression (3.19) merely differ by the “ground state energy”. Thus, the radius of the fuzzy sphere is α R = I(I + 2), I 2 p where I is the integer eigenvalue of the number operator Iˆ φˆ†φˆ = φˆ† φˆ +φˆ†φˆ . In the classical ≡ 1 1 2 2 limit I , the eigenvalue reproduces the radius of commutative sphere →∞ α α RI = I(I + 2) I = R. 2 → 2 p The corresponding SU(2) irreducible representation is constructed as
1 ˆm1 ˆm2 m1,m2 = φ1 φ2 0 , (3.20) | i √m1!m2! | i where m + m = I (m ,m 0), and the degeneracy is given by d(I) = I + 1. Appar- 1 2 1 2 ≥ ently, there is one-to-one correspondence between the LLL monopole harmonics (3.12) and the states on fuzzy sphere (3.20). Their “difference” is superficial, coming from the corresponding representations: Schwinger boson representation for fuzzy two-sphere, while the SU(2) coher- ent representation for LLL physics. This is the basic observation of equivalence between fuzzy geometry and LLL physics.
4 Graded Hopf map and fuzzy supersphere
Before proceeding to the 2nd Hopf map, in this section, we discuss how the relations between the Hopf map and fuzzy sphere are generalized with introducing the Grassmann numbers, mainly based on Hasebe and Kimura [39]. The Grassmann numbers, ηa, are anticommuting numbers [31]
ηaηb = ηbηa. (4.1) − Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 11
2 In particular, ηa = 0 (no sum for a). With Grassmann numbers, the graded Hopf map was introduced by Landi et al. [32, 40, 41],
S1 S3|2 S2|2, (4.2) −→ where the number on the left hand side of the slash stands for the number of bosonic (Grass- mann even) coordinates and the right hand side of the slash does for the number of fermionic (Grassmann odd) coordinates. For instance, S2|2 signifies a supersphere with two bosonic and two fermionic coordinates. The bosonic part of the graded Hopf map (4.2) is equivalent to the 1st Hopf map.
4.1 Graded Hopf map and supermonopole As the 1st Hopf map was realized by sandwiching Pauli matrices between two-component normalized spinors, the graded Hopf map is realized by doing UOSp(1 2) matrices between | three-component (super)spinors. First, let us begin with the introduction of basic properties of UOSp(1 2) algebra [42, 43, 44]. The UOSp(1 2) algebra consists of three bosonic generators Li | | (i = 1, 2, 3) and two fermionic generators Lα (α = θ1,θ2) that satisfy 1 1 [Li,Lj]= iǫijkLk, [Li,Lα]= (σi)βαLβ, Lα,Lβ = (ǫσi)αβLi, (4.3) 2 { } 2 where ǫ = iσ . As realized in the first algebra of (4.3), the UOSp(1 2) algebra contains the 2 | SU(2) as its subalgebra. Li transforms as SU(2) vector and Lα does as SU(2) spinor. The Casimir operator for UOSp(1 2) is constructed as |
C = LiLi + ǫαβLαLβ,
1 and its eigenvalues are given by L(L + 2 ) with L = 0, 1/2, 1, 3/2, 2,... . The dimension of the corresponding irreducible representation is 4L + 1. The fundamental representation matrix is given by the following 3 3 matrices ×
1 σi 0 1 0 τα li = , lα = t , 2 0 0 2 (ǫτα) 0 − t t where σi are the Pauli matrices, τ1 = (1, 0) , and τ2 = (0, 1) . With li and lα, the graded Hopf map (4.2) is realized as
‡ ‡ ϕ xi = 2ϕ liϕ, θα = 2ϕ lαϕ, (4.4) → where ϕ is a normalized three-component superspinor which we call the Hopf superspinor:
ϕ1 ϕ = ϕ . (4.5) 2 η Here, the first two components ϕ1 and ϕ2 are Grassmann even quantities, while the last com- ponent η is Grassmann odd quantity. The superadjoint is defined as2 ‡ ϕ‡ = (ϕ∗, ϕ∗, η∗), 1 2 − 2 ∗ ∗ ∗ ∗ ∗ The symbol ∗ represents the pseudo-conjugation that acts as (η ) = −η, (η1η2) = η1 η2 for Grassmann odd quantities η1 and η2. See [45] for more details. 12 K. Hasebe and ϕ represents coordinates on S3|2, subject to the normalization condition
ϕ‡ϕ = ϕ∗ϕ + ϕ∗ϕ η∗η = 1. 1 1 2 2 − 2|2 xi and θα given by (4.4) are coordinates on supersphere S , since the definition of supersphere is satisfied:
‡ 2 xixi + ǫαβθαθβ = (ϕ ϕ) = 1.
Except for the south-pole of S2|2, the Hopf superspinor has an analytic form
1 (1 + x3) 1 θǫθ − 4(1 + x3) 1 ϕ = 1 . 2(1 + x3) (x1 + ix2) 1+ θǫθ 4(1 + x3) p (1 + x3)θ1 + (x1 + ix2)θ2 The corresponding connection is derived as
‡ A = iϕ dϕ = dxiAi + dθαAα, − with
1 2+ x3 1 Ai = ǫij xj 1+ θǫθ , Aα = i(xiσiǫθ)α. (4.6) −2(1 + x ) 3 2(1 + x ) −2 3 3
Ai and Aα are the super gauge field of supermonopole. The field strength is evaluated by the formula 1 1 F = dA = dxi dxjFij + dxi dθαFiα dθα dθβFαβ, 2 ∧ ∧ − 2 ∧ where 1 3 Fij = ∂iAj ∂jAi = ǫij xj 1+ θǫθ , − 2 3 2 1 Fiα = ∂iAα ∂αAi = i (θσjǫ)α(δij 3xixj), − − 2 − 3 Fαβ = ∂αAβ + ∂βAα = ixi(σiǫ)αβ 1+ θǫθ . (4.7) − 2 The analytic form of the Hopf superspinor except for the north pole is given by
1 (x ix ) 1+ θǫθ 1 − 2 4(1 x ) 1 − 3 ϕ′ = 1 , 2(1 x3) (1 x3) 1 θǫθ − − − 4(1 x3) − p (x1 ix2)θ1 + (1 x3)θ2 − − and the corresponding gauge field is obtained as
′ 1 2 x3 ′ 1 A = ǫij xj 1+ − θǫθ , A = i (xiσiǫθ)α = Aα. (4.8) i 2(1 x ) 3 2(1 x ) α − 2 − 3 − 3 Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 13
The field strength F ′ = dA′ is same as (4.7), suggesting the two expressions of the Hopf super- spinor are related by the transformation
ϕ′ = ϕ g = g ϕ. · · Here, g denotes (1) gauge group element given by U x ix 1 g = e−iχ = 1 − 2 1+ θǫθ , 1 x2 2(1 x2) − 3 − 3 with χ given by tanp χ = x2 . The (1) group element yields x1 U
∗ 1 1 ig dg = ǫij xidxj 1+ θǫθ , − 1 x2 3 1 x2 − 3 − 3 and A (4.6) and A′ (4.8) are expressed as
1 1 ∗ A = i 1 x (1 + θǫθ) g dg + dθαAα, 2 − 3 2 ′ 1 1 ∗ A = i 1+ x (1 + θǫθ) g dg + dθαAα. − 2 3 2 Then, obviously the gauge fields are related as
A′ = A ig∗dg, − and then
F ′ = F.
4.2 UOSp(1|2) Landau model Next, we consider Landau problem on a supersphere in supermonopole background [39]. The supermonopole gauge field is given by
I 2r + x3 I Ai = ǫij xj 1+ θǫθ , Aα = i(xiσiǫθ)α, −2r(r + x ) 3 2r2(r + x ) −2r3 3 3 I where 2 (I denotes an integer) is a magnetic charge of the supermonopole. Generalizing the SO(3) Landau Hamiltonian (3.8) to UOSp(1 2) form, we have | 1 H = (Λ2 + ǫ Λ Λ ), (4.9) 2MR2 i αβ α β where Λi and Λα are the bosonic and fermionic components of covariant angular momentum: 1 1 1 Λi = iǫijkxjDk + θα(σi)αβDβ, Λα = (ǫσi)αβxiDβ θβ(σi)βαDi, − 2 2 − 2 with Di = ∂i + iAi and Dα = ∂α + iAα. Λi and Λα obey the following graded commutation relations
2 1 2 [Λi, Λj]= iǫijk(Λk r Fk), [Λi, Λα]= (σi)βα(Λβ r Fβ), − 2 − 1 2 Λα, Λβ = (ǫσi)αβ(Λi r Fi), { } 2 − 14 K. Hasebe where Fi and Fα are I I F = x , F = θ . i 2r3 i α 2r3 α Just as in the case of the SO(3) Landau model, the covariant angular momentum is not a conserved quantity, in the sense [Λi,H] = 0, [Λα,H] = 0. Conserved angular momentum is 6 6 constructed as
2 2 Li = Λi + r Fi, Lα = Λα + r Fα.
It is straightforward to see Li and Lα satisfy the UOSp(1 2) algebra (4.3). Since the covariant | angular momentum and the field strength are orthogonal in the supersymmetric sense: ΛiFi + ǫαβΛαFβ = FiΛi + ǫαβFαΛβ = 0, the UOSp(1 2) Landau Hamiltonian (4.9) can be rewritten as | 2 1 2 I H = L + ǫαβLαLβ . 2MR2 i − 4 I With the Casimir index J = 2 + n, the energy eigenvalue is derived as 1 1 I2 1 1 I E = J J + = n n + + I n + , n 2 I 2 2MR 2 − 4 J=n+ 2 2MR 2 4 and the degeneracy in the nth Landau level is
dn = 4J + 1 J n I = 4n + 2I + 1. | = + 2 In particular in the LLL (n = 0), the degeneracy becomes
dLLL = 2I + 1. (4.10) The eigenstates of the UOSp(1 2) Hamiltonian are referred to the supermonopole harmonics, | and the LLL eigenstates are constructed by taking symmetric products of the components of the Hopf superspinor (4.5):
B (m1,m2) I! m1 m2 F (n1,n2) I! n1 n2 ϕLLL = ϕ1 ϕ2 , ϕLLL = ϕ1 ϕ2 η, (4.11) rm1!m2! rn1!n2! where m + m = n + n +1= I (m ,m ,n ,n 0). The total number of ϕB (m1,m2) and 1 2 1 2 1 2 1 2 ≥ LLL ϕF (n1,n2) is (I + 1) + (I) = 2I + 1, which coincides with (4.10). In the LLL, the UOSp(1 2) LLL | angular momentum is reduced to
2 I 2 I Li R Fi = xi, Lα R Fα = θα, → 2R → 2R and coordinates on supersphere are identified with the UOSp(1 2) operators | Xi = αLi, Θα = αLα, which satisfy the algebra defining fuzzy supersphere: α α [Xi, Xj]= iαǫijkXk, [Xi, Θα]= (σi)βαΘβ, Θα, Θβ = (ǫσi)αβXi. (4.12) 2 { } 2 With Lagrange formalism, we reconsider the LLL physics. The present one-particle La- grangian on a supersphere is given by M L = x˙ 2 + ǫ θ˙ θ˙ + A x˙ + θ˙ A 2 i αβ α β i i α α Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 15 with the constraint
2 xixi + ǫαβθαθβ = R . In the LLL, the kinetic term is quenched, and the Lagrangian takes the form of
‡ d L =x ˙ iAi + θ˙αAα = iIϕ ϕ, (4.13) LLL − dt with the constraint
ϕ‡ϕ = 1. (4.14)
From the LLL Lagrangian (4.13), the canonical momentum of ϕ is derived as π = iIϕ∗, and from the commutation relation between ϕ and π, the complex conjugation is quantized as 1 ∂ ϕ∗ = . (4.15) I ∂ϕ After quantization, the normalization condition (4.14) is imposed on the LLL basis: ∂ ϕt ϕ = Iϕ . ∂ϕ LLL LLL One may confirm the LLL basis (4.11) satisfies the condition. By inserting (4.15) to the graded Hopf map (4.4), we obtain ∂ ∂ X = αϕtl , Θ = αϕtl . i i ∂ϕ α α ∂ϕ Apparently, they satisfy the algebra of fuzzy supersphere (4.12). Thus, in the case of the fuzzy two-sphere, the appearance of fuzzy supersphere in LLL is naturally understood in the context of the graded Hopf map.
4.3 Fuzzy supersphere Fuzzy supersphere is constructed by taking symmetric representation of the UOSp(1 2) group | [3, 4, 46, 22]. We first introduce a superspinor extension of the Schwinger operator
ϕˆ1 ϕˆ = ϕˆ , 2 ηˆ † whereϕ ˆ1 andϕ ˆ2 are Schwinger boson operators, andη ˆ is a fermion operator: [ϕ ˆi, ϕˆj] = δij, † [ϕ ˆi, ηˆ] = 0 and η,ˆ ηˆ = 1. With such Schwinger superoperator, coordinates on fuzzy super- { } sphere are constructed as
† † Xˆi = αϕˆ liϕ,ˆ Θˆ α = αϕˆ lαϕ.ˆ Square of the radius of fuzzy supersphere is given by α2 Xˆ Xˆ + ǫ Θˆ Θˆ = (ϕ ˆ†ϕˆ)(ϕ ˆ†ϕˆ + 1), i i αβ α β 4 and then the radius is specified by the integer eigenvalue I of the number operator Iˆ ϕˆ†ϕˆ = † † † ≡ ϕˆ1ϕˆ1 +ϕ ˆ2ϕˆ2 +η ˆ ηˆ as α R = I(I + 1). I 2 p 16 K. Hasebe
The UOSp(1 2) symmetric irreducible representation is explicitly constructed as |
1 † m1 † m2 1 † n1 † n2 † m1,m2 = (ϕ ˆ1) (ϕ ˆ2) 0 , n1,n2 = (ϕ ˆ1) (ϕ ˆ2) ηˆ 0 , | i √m1!m2! | i | i √n1!n2! | i with m + m = n + n +1 = I (m ,m ,n ,n 0). Thus, the total number of the states 1 2 1 2 1 2 1 2 ≥ constructing fuzzy supersphere is d = (I + 1)+ (I) = 2I + 1. There is one-to-one correspondence between the supermonopole harmonics in LLL and the states on fuzzy supersphere. Especially, the Hopf superspinor corresponds to the superspin coherent state of Schwinger superoperator.
5 2nd Hopf map and fuzzy four-sphere
In this section, we discuss relations between the 2nd Hopf map
S3 S7 S4 −→ and fuzzy four-sphere. Though the 2nd and 3rd Hopf maps were first introduced by Hopf [29], we follow the realization given by Zhang and Hu [47] in the following discussions.
5.1 2nd Hopf map and SU(2) monopole Realization of the 2nd Hopf map is easily performed by replacing the imaginary unit with the imaginary quaternions, q1, q2, q3. The Pauli matrices (3.1) are promoted to the following quaternionic Pauli matrices 0 q 0 q 0 q γ = − 1 , γ = − 2 , γ = − 3 , 1 q 0 2 q 0 3 q 0 1 2 3 0 1 1 0 γ = , γ = . (5.1) 4 1 0 5 0 1 − γi (i = 1, 2, 3) correspond to σ2, γ4 to σ1, and γ5 to σ3, respectively. With such quaternionic “Pauli matrices”, the 2nd Hopf map is realized as
† ψ ψ γaψ = xa, (5.2) → where a = 1, 2,..., 5, and ψ is a two-component quaternionic (quaternion-valued) spinor satis- † fying the normalization condition ψ ψ = 1. As in the 1st Hopf map, xa given by the map (5.2) † 2 automatically satisfies the condition xaxa = (ψ ψ) = 1. Like the 1st Hopf spinor, the quater- nionic Hopf spinor has an analytic form, except for the south pole, as 1 1+ x ψ = 5 , x + q x 2(1 + x5) 4 i i and, exceptp for the north pole, as
1 x qixi ψ′ = 4 − , 2(1 x ) 1 x5 − 5 − where i = 1p, 2, 3 are summed over. These two expressions are related by the transformation
ψ′ = ψ g = g ψ, · · where g is a quaternionic U(1) group element given by
−qiχi χi 1 g = e = cos(χ) qi sin(χ)= (x4 qixi). − χ 1 x2 − − 5 p Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 17
2 χi 1 Here, χi and its magnitude χ = χi are determined by χ tan(χ) = x4 xi. It is possible to pursue the discussions with use ofq quaternions, but for later convenience, we utilize the Pauli matrix representation of the imaginary quaternions:
q = iσ , q = iσ , q = iσ . 1 − 1 2 − 2 3 − 3 The quaternionic U(1) group is usually denoted as U(1, H), and as obvious from the above identification, U(1, H) is isomorphic to SU(2). The quaternionic Pauli matrices (5.1) are now represented by the following SO(5) gamma matrices:
0 iσ 0 iσ 0 iσ γ = 1 , γ = 2 , γ = 3 , 1 iσ 0 2 iσ 0 3 iσ 0 − 1 − 2 − 3 0 1 1 0 γ = , γ = , 4 1 0 5 0 1 − which satisfy γa, γb = 2δab (a, b = 1, 2, 3, 4, 5). Corresponding to the quaternionic Hopf spinor, { } we introduce a SO(5) four-component spinor (the 2nd Hopf spinor)
ψ1 ψ ψ = 2 , (5.3) ψ3 ψ 4 subject to the constraint
ψ†ψ = 1.
With ψ, the 2nd Hopf map (5.2) is rephrased as
† ψ xa = ψ γaψ. (5.4) → 4 It is easy to check that xa satisfies the condition of S :
† 2 xaxa = (ψ ψ) = 1.
An analytic form of the 2nd Hopf spinor, except for the south pole, is given by
1 (1 + x )φ ψ = 5 , (5.5) 2(1 + x ) (x4 iσixi)φ 5 − where φ isp the 1st Hopf spinor representing S3-fibre. The connection is derived as
† † A = iψ dψ = φ dxaAaφ (5.6) − where
1 + Aµ = ηµνixνσi, A5 = 0. (5.7) −2(1 + x5)
+ They are the SU(2) gauge field of Yang monopole [34]. Here, ηµνi signifies the ’tHooft eta- symbol of instanton [48]:
+ η = ǫµνi + δµiδν δµ δνi. µνi 4 4 − 4 18 K. Hasebe
1 The corresponding field strength F = dA + iA A = dxa dxbFab: ∧ 2 ∧ Fab = ∂aAb ∂bAa + i[Aa, Ab], − is evaluated as
1 + Fµν = xµAν + xν Aµ + η σi, Fµ = F µ = (1+ x )Aµ. (5.8) − 2 µνi 5 − 5 5 Another analytic form of the 2nd Hopf spinor, except for the north pole, is given by 1 (x + ix σ )φ ψ′ = 4 i i . 2(1 x ) (1 x5)φ − 5 − The correspondingp connection is calculated as
′ 1 − ′ A = η xνσi, A = 0, (5.9) µ −2(1 x ) µνi 5 − 5 where
− η = ǫµνi δµiδν + δµ δνi, µνi 4 − 4 4 and the field strength is
′ ′ ′ 1 − ′ ′ ′ F = xµA xνA + η σi, F = F = (1 x )A . µν ν − µ 2 µνi µ5 − 5µ − 5 µ As is well known, the ’tHooft eta-symbol satisfies the self (anti-self) dual relation
± 1 ± η = ǫµνρση . µνi ±2 ρσi The two expressions, ψ and ψ′, are related by the SU(2) transition function 1 g = (x4 + ixiσi), √1 x 2 − 5 which yields
† 1 − † 1 + ig dg = η xνσidxµ, idgg = η xνσidxµ, − −1 x 2 µνi − 1 x 2 µνi − 5 − 5 and the gauge fields (5.7) and (5.9) are concisely represented as 1 x 1+ x A = − 5 idgg†, A′ = 5 ig†dg. 2 − 2 Then, A and A′ are related as A′ = g†Ag ig†dg, − and their field strengths are also F ′ = g†F g. This manifests the non-trivial topology of the SU(2) bundle on a four-sphere. In the Language of the homotopy theorem, the non-trivial topology of the SU(2) bundle is expressed by π (SU(2)) Z, 3 ≃ which is specified by the 2nd Chern number 1 c2 = 2 tr (F F ). 2(2π) 4 ∧ ZS Hopf Maps, Lowest Landau Level, and Fuzzy Spheres 19
5.2 SO(5) Landau model We next explore the Landau problem in 5D space [47]. The Landau Hamiltonian is given by
1 1 ∂2 2 ∂ 1 H = D2 = + Λ2 , (5.10) −2N a −2M ∂r2 − Mr ∂r 2Mr2 ab a
Λab = ixaDb + ixbDa. −
As in the previous 3D case, Λab do not satisfy a closed algebra, but satisfy
[Λab, Λcd]= i(δacΛbd + δbdΛac δbcΛad δadΛbc) − − i(xaxcFbd + xbxdFac xbxcFad xaxdFbc), − − − where Fab are given by (5.8). The SO(5) conserved angular momentum is constructed as
2 Lab = Λab + r Fab.
On a four-sphere, the Hamiltonian (5.10) is reduced to the SO(5) Landau Hamiltonian
1 H = Λ2 , 2MR2 ab Xa