arXiv:1705.05038v1 [math.GT] 14 May 2017 o [ for f f oeigif covering iooopi,and biholomorphic, oriae,with coordinates, n h nioa a sgvni amnccodntsby coordinates harmonic in given is map antipodal the and h utetof quotient the β a o oeo hs utetmp.(edsrb reytewr o work the note.) briefly this describe (We of W end maps. the quotient at [3]. g these to Kuiper facts of spaces some these projective for complex underlying and lae topology real for the coordinates clearly harmonic very displayed has rnhdover branched lxcnuaini h -pee[,4.(e lo[])Akyeeeto M of element key A [1].) also (See of 4]. identification [2, the is 4-sphere exposition the is conjugation plex ie ymliligtecodntsby coordinates the multiplying by given S S σ o ( for hsgopat reyo h opeeto ∆ of complement the on freely acts group This on | ( ( 2 2 M and B ,z w, Let ti elkonta h uteto h ope rjcieplane projective complex the of quotient the that known well is It 1991 mohmap smooth A esalview shall We e od n phrases. and words Key Let × × S NEPII OML O RNHDCOVERING BRANCHED A FOR FORMULA EXPLICIT AN \ tebac e)adalong and set) branch (the ) u ,t z, 2 B S S : ( = ) × τ γ 2 2 α v ahmtc ujc Classification. Subject Mathematics sa2t- immersion, 2-to-1 a is ) CP Abstract. ] S , n h rp of graph the and eeaeadhda ru fodr8 since 8, order of group dihedral a generate : ∈ ie by given ∈ 2 S 2 β ,z z, S M 2 and CP to 2 and → hnisivrei ie by given is inverse its Then . 2 S { a oieso- submanifold codimension-2 a has 1 CP − 4 ( h mg f∆ of image The . σ CP n eaei oohrmp ewe utet of quotients between maps other to it relate and , ,q p, (∆ 4 S b f σ 1 egv nepii oml o -odbace oeigfr covering branched 2-fold a for formula explicit an give We w f 2 1 ∈ βfα ( ) × S and ) ,s s, : eteseegahcpoeto,gvnby given projection, stereographic the be steui peein sphere unit the as : 2 ∈ B γ CP Γ = ) C M − C rnhdcvrpoetv ln,4-sphere. plane, cover,projective branched ′ ( n rnvrecmlxcoordinate complex transverse and 2 1 ( = ) ,z w, 1 2 ([ f A → → u yteivlto hc xhne h atr.Lawson factors. the exchanges which involution the by | ( A epciey Let respectively. , γAγ ,z w, q ( = ) : while , 2 N s FROM v C f ′ 4 = )=( = ]) A , | 2 ( = ) B − B ewe closed between CP S ,z w, 1 etemp ie by given maps the be ( 2 J.A.HILLMAN p : ([ s h map the } 2 )and )) under B u τ | h extension The . z w wz, 2 u ihte2fl ymti product symmetric 2-fold the with 71,57N13. 57M12, .Therefore ). : xs∆ fixes | CP → 2 v 2 1 )=[ = ]) − + u 2 f v γ ¯ .Lt∆ Let 1. + C | τ ( v f TO × B ( z | × ,s s, S 2 − ,fr( for ), ok ie( like looks S sabjcinot submanifold a onto bijection a is ) γ 2 σ , 2 v R ¯ | | onws n csfel nΓ on freely acts and pointwise ′ stedaoa ∆ diagonal the is n u u ∪ S B and ( = ) h nioa involution antipodal The . ¯ : mnflsi -odbranched 2-fold a is -manifolds | | 4 u 2 2 f Γ tebac ou) uhthat such locus), branch (the S ] σ | − + A ,z w, , sa2fl rnhdcovering, branched 2-fold a is 2 f 4 τ nparticular, In . ˆ | s n Γ and v v = : etedffoopim of diffeomorphisms the be ′ ) s , | | CP ,z b, 2 2 ∈ τ α ) ,for ), 2 , z S ( 1 C ) ,z w, 2 and 1 = A ∈ × 2 7→ × γ Then . C etedaoa of diagonal the be v xlctformu- explicit ive CP S ( ( = ) ( ,s s, ,t z, . 2 f . ⊂ ( 1 b ′ [ = ) asyand Massey f → ) CP CP ∈ σ z , τστ α w om hl use shall e csfreely acts CP S 2 1 2 and − 2 z S nlocal in ) 2 × z ycom- by 2 Then . 1 : 2 = , assey’s ( CP CP w given β σ − A + 2 A − are 1 z 1 t . . 1 ), ), is ], . 2 J.A.HILLMAN by fˆ([u : v], [u′ : v′]) = [uu′ : uv′ + u′v : vv′] is a 2-fold branched covering, branched over fˆ(∆). (The restriction fˆ|∆ is essentially 1 2 2 the 2-canonical embedding of CP in CP , with image the conic V (z1 − 4z0z2) = 2 2 ˆ {[z0 : z1 : z2] ∈ CP | z1 =4z0z2}.) The composite λ = f(γ × γ) is essentially Lawson’s map, giving 1 1 1 2 S2 × S2/hτi =∼ S2(CP )= CP × CP /hγτγ−1i =∼ CP . n n Let cn : CP → CP be complex conjugation, for n ≥ 1. Then fˆ(c1 × c1)= c2fˆ. Lawson observed that if θ : CP2 → CP2 is the linear automorphism given by θ([u : v : w]) = [(iu + w):(1 − i)v : (u + iw)] then 2 2 −1 λσ = θ c2λ = θc2θ λ. 2 Hence c2 is conjugate to a map covered by the free involution σ . (Note that 2 −1 4 θ ([u : v : w]) = [w : −v : u], c2θc2 = θ and θ = idCP2 .) If we identify C with R2 and use real harmonic coordinates we may instead extend f to a map g : RP2 × RP2 → RP4, given by g([r : s : t], [r′ : s′ : t′]) = [rr′ − ss′ : rs′ + sr′ : rt′ + tr′ : st′ + ts′ : tt′]. This is a 2-fold branched covering, with branch locus the diagonal, and induces a diffeomorphism 2 2 4 RP × RP /(x, y) ∼ (y, x) =∼ RP . The map g has a liftg ˜ : S2 × S2 → S4, given by g˜((r,s,t), (r′,s′,t′)) = ν(rr′ − ss′,rs′ + sr′,rt′ + tr′,st′ + ts′,tt′), where ν : R5 \{O} → S4 is the radial normalization. (If (r,s,t), (r′,s′,t′) ∈ S2 then the norm of (rr′ − ss′,rs′ + sr′,rt′ + tr′,st′ + ts′,tt′) is p1+2tt′(rr′ + ss′).) We may also obtaing ˜ by normalizing the map ((z,t), (z′,t′)) 7→ (zz′,zt′ + tz′,tt′) ∈ C2 × R \{O}, ∀(z,t), (z′,t′) ∈ S2. This map is invariant under σ2 and τ, and is generically 4-to-1. Hence it factors through a map g+ : S2 × S2/hσ2i → S4, and induces maps G =gλ ˜ −1 : CP2 → S4 and h : S2 × S2/hσi → RP4. The lattice of quotients of S2 ×S2 by the subgroups of the group hσ, τi generated by σ and τ is a commuting diagram:

S2 × S2 λ

S2 × RP2 RP2 × S2 S2 × S2/hσ2i CP2 g+ G RP2 × RP2 S2 × S2/hσi S4 h g RP4 AN EXPLICIT FORMULA FOR A BRANCHED COVERING FROM CP2 TO S4 3

The five nontrivial subgroups of hσ, τi that do not contain τ (namely, hστi, hτσi, hσ2i, hσi and hστ,τσi) each act freely, and the unlabeled maps are 2-fold covering projections. The maps λ, g+, G and h are each 2-fold branched coverings, since 2 2 hσ, τi acts freely on S × S \ (∆S2 ∪ ΓA). The part of this diagram involving the vertices S2 × S2, CP2 , RP2 × RP2, RP4 and S4 is displayed in [4]. 2 2 On the affine piece U2 = {[z0 : z1 : z2] ∈ CP | z2 6=0} =∼ C we have 1 1 f −1([p : q : 1]) = ([ (q ± pq2 − 4p) : 1], [ (q ∓ pq2 − 4p) : 1]). 2 2 Hence 1 1 G([p : q : 1]) = ν(4p, 2pq¯− 2q,pp¯+1 − qq¯− |q2 − 4p) 2 2 on U2. Homogenizing this formula gives

1 1 2 G([z0 : z1 : z2]) = ν(4z0z¯2, 2z0z¯1 − 2z1z¯2,z0z¯0 + z2z¯2 − z1z¯1 − |z − 4z0z2|). 2 2 1

The argument of ν is nonzero when (z0,z1,z2) 6= (0, 0, 0), and its length is the square root of an homogeneous quartic polynomial in the real and imaginary parts of the harmonic coordinates of CP2. The map G is continuous, and is real analytic 2 away from fˆ(∆) = V (z1 − 4z0z2). Its essential structure is most easily seen after using θ to make a linear change of coordinates. Let ð = Gθ. Then ð([u : v : w]) = ν(iuu¯+uw¯+¯uw−iww,¯ 2(i−1)(uv¯+¯uv−ivw¯−ivw¯ ), 2uu¯+2ww¯−vv¯−|2u2+2w2−v2|), for all [u : v : w] ∈ CP2. (Writing out the norm of the argument of ν explicitly does not lead to further enlightenment.) It is clear from this formula that ðc2 = ð. The map ð is a 2-fold branched 2 2 2 covering, with branch locus Re(CP ) =∼ RP , the set of real points of CP , and so S4 is the quotient of CP2 by complex conjugation [2, 4]. We conclude by showing that the branch set ð(RP2) is unknotted in S4. We view S2 as the unit sphere in the space V of purely imaginary quaternions and shall identify S3 with the unit quaternions. The standard inner product on V is given by v • w = Re(vw¯), for v, w ∈ V . Let 2 2 Cx = {(s,t) ∈ S × S | s • t = x}, ∀ x ∈ [−1, 1]. 3 Then C1 = ∆S2 and C−1 =ΓA, while Cx =∼ C0 for all |x| < 1. The map f : S → C0 given by f(q) = (qiq−1, qjq−1) for all q ∈ S3 is a 2-fold covering projection, and so 3 C0 =∼ RP . It is easily seen that N = ∪x≥0Cx and σ(N) are regular neighbourhoods 2 2 of ∆S2 and ΓA = σ(∆S2 ), respectively. The partition S × S = N ∪ σ(N) into 2 two pieces with common boundary C0 is invariant under the action of hσ , τi, and the pieces are swapped by σ. Hence there is an induced partition of S4 = S2 × S2/hσ2, τi into two diffeomorphic pieces. Since the image of σ(N) in S4 is a regular neighbourhood of the branch set, and its complement is diffeomorphic to this regular neighbourhood, the branch set is the image of one of the (two) standard unknotted embeddings of RP2 in S4, by Theorem 3 of [5]. Remark. The main step in [4] used a result on fixed point sets of involutions of 2 2 4 symmetric products to obtain a diffeomorphism RP × RP /(x, y) ∼ (y, x) =∼ RP . Our contribution has been the explicit branched covering g : RP2 × RP2 → RP4, 4 J.A.HILLMAN and the subsequent formulae for G and ð. The argument in [2] was very different. Let η : C3 → R6 be the function given by 2 2 2 η(z1,z2,z3) = (|z1| , |z2 |, |z3|, Re(z2z¯3), Re(z3z¯1), Re(z1z¯2)). 3 1 2 Then η(ζv) = η(v) for all v ∈ C and ζ ∈ S , so η|S5 factors through CP = 5 1 3 2 S /S . Moreover, η(¯v) = η(v) for all v ∈ C , so η|S5 factors through CP /hc2i. 5 The image of S lies in the affine hyperplane defined by x1 + x2 + x3 = 1. Let 5 3 2 2 Σ= S ∩ Re(C ) =∼ S . Then η|Σ induces the Veronese embedding of RP in this hyperplane. Kuiper showed that η(S5) is the boundary of the convex hull of η(Σ) 5 2 4 in R , and hence that η induces a PL homeomorphism from CP /hc2i to S . References

[1] Akbulut, S. and Kirby, R.C. Branched covers of surfaces in 4-manifolds, Math. Ann. 252 (1979/80), 111–131. [2] Kuiper, N. The quotient space of CP (2) by complex conjugation is the 4-sphere, Math. Ann. 208 (1974), 175–177. [3] Lawson, T. Splitting S4 on RP 2 via the branched cover of CP 2 over S4, Proc. Amer. Math. Soc. 86 (1982), 328–330. [4] Massey, W. The quotient space of the complex projective plane under conjugation is the 4-sphere, Geom. Dedicata 2 (1973), 371–374. [5] Price, T. Homeomorphisms of quaternion space and projective planes in four space, J. Austral. Math. Soc. 23 (1977), 112–128.

School of Mathematics and Statistics, University of Sydney, NSW 2006, Australia E-mail address: [email protected]