Knowledge

Talk:Boy's surface

Source 📝

331:. A little more explanation: if you have a collection of cuboids in Euclidean space, meeting face-to-face, you can form a collection of 2-manifolds by drawing three equatorial quadrilaterals in each cuboid and connecting pairs of quadrilaterals from cuboids that share faces. Sometimes (in the meshing literature) this collection of surfaces is called the "spatial twist continuum". This paper finds a collection of cuboids from which this construction forms a Boy's surface. It can also be interpreted as a similar construction on the surface of a four-polytope with cuboid faces. — 84: 74: 53: 993: 22: 162: 533:', hoping that it would help those who (like myself) weren't aware of who 'Hilbert' referred to. I am not, however, certain that it is indeed in reference to David Hilbert, but his biographical information (lifetime, profession, nationality, etc.) strongly suggests that this is true. Please correct my edit if I am mistaken. Thank you. 343: 1044:
pi - phi. This last part is pretty easy, you can chose a subset of the spherical harmonics that satisfy it. This is how John Hughes found his parametrization of Boy's surface -- he projected a 7-vertex polygon model on the spherical harmonics to solve for the three functions, also taking use of the
1028:
The first external link of the article contains various parameterizations and references to the articles where they are defined. It explains also (in French) why Boy's surface differs from other realizations of projective plane (all singular points are simple crossing points — no cusps). I guess that
918:
By the way, beside a lacking correct parametrization, other fundamental properties are lacking: I believe that Boy's surface is algebraic. Therefore, an implicit equation must be provided, or, at least, its degree must be given (from the picture, I guess 6). Also, it must been said if Boy's surface
382:
It looks like the parameterization used for the statue is from Kusner, which is (as far as I can tell) different from the parameterization currently given in the article which is attributed to Bryant. That parameterization with the credit to Bryant also appears in Apery's book. If there are no
396:
Upon even more in depth digging it turns out that this class of parameterizations is due to a collaboration between Bryant and Kusner, and they are commonly refered to as "Bryant-Kusner parameterizations". So a compromise it is, and unless no one objects I'll make the change.
371:
attributes the parametrization formula to Rob Kusner instead of Robert Bryant. Instead it credits Bryant with a general result about rational immersions of some kind of minimal surfaces, of which this parametrization is a special case apparently. regards,
1190:- From the set of three ovals, each enclosing the next, that gives you three roughly J shaped sloping and slanting arches, with their feet forming a regular hexagon, each arch going over the next and linking opposite vertices of the hexagon. 229:
this afternoon. If you think that looks right feel free to insert it as you see fit (I assume you have done most of the organizing of this article.) Let me know if you would like a smaller verision too, it does seem rather big now. —
194:
I'd like to propose moving the section on the Structure of Boy's Surface in front of the section on parameterization. Knowledge is addressed to a general audiance, who are more likely to relate to the pictures than the equations.
1097:
to represent the complex variable of the definition. Doing so would avoid confusing the non-mathematicians in our audience (and also promote clarity and rigour among the mathematicians!) I suggest using the letter
614:
which are themselves irrational functions of the real and imaginary parts of a complex number, named by the same letter as the third coordinate of the points of the surface. The problem is that, the expression of
1193:- Looking at the arches two at a time lets you see that each strip bridging opposite edges of the hexagon can be set up to fit with the others, though the creasing still needs a straightforward rounding off. 1043:
IMHO the easiest way to derive a parametrization is to start with the unit circle, and write x(theta, phi), y(theta, phi), z(theta, phi) making sure that each coordinate function is periodic in phi -: -->
901: 213:
I think the images could use more transparency and smoothness. Drawing them opaque and polygonized like this makes it harder to see what's happening. There's a sketchy idea of what I mean on my page
419:
Here's a model of Boy's that one can move around, for those of us who like to play with things. If anyone else thinks that it's worth it feel free to link it, but I'll refrain since I made it. —
216:
but maybe a raytrace would look better. I'd also like to see a more prominent treatment of the locus of self-intersection points (a single triple point connecting three loops of double points). —
829: 140: 510:
In fact, the argument presented in the "Relating the Boy's surface..." section is bogus: what's said there does not imply that the parametrization is injective in the interior of the disk.
1218:, which shows the construction from a Mobius strip, various slices of u and v. Not sure if it is worth it to add a link to the main page, or upload the video. I'd need some advice. 757: 612: 698: 999:
I wish I had the skill to derive a parametrization based on trig functions and the stitching illustrated here. Has no one done so? Would it be a double or a quadruple cover? —
919:
admits a rational parametrization. I guess that it is true, because, otherwise, Boy's surface would not be isomorphic (that is birationally equivalent) to the projective plane.
1102:
for the complex variable, as is often done. This would obviously require a thorough edit of the article, at least the Parametrization section, to replace all instances of
558:
The given parametrization of Boy's surface is either inconsistent or some essential information is lacking: the coordinates of a point are expressed rationally in terms of
645: 466:
The page says that the Boy surface is homeomorphic to RP^2, but that is just impossible, as there are a compact non orientable surface cannot be embedded in R^3...
176: 1014:
Given the three-fold symmetry of the usual embeddings, wouldn't it make more sense to start with a hexagon with opposite edges glued, instead of a square? —
1246: 130: 1196:
Is this merely a visual aid that at least helped me, or is there a deeper association? And is it worth it/acceptable to put any of this in the article?
952:
This is explained in section "Property of Bryant-Kusner parametrization": this is a two fold parameterization, and the condition that the magnitude of
245:
Pretty! And a lot more understandable than what's there now. I'll work on getting it in and making the other images a little less space-consuming. —
106: 1251: 1241: 1181:- First, set up or imagine the rings as symmetrical ovals, e.g. ellipses, each placed symmetrically in a plane orthogonal to the others. 973:
I have added an external link to a page that answers to my preceding questions. It remains to edit the article to include these answers.
482: 1029:
the answer to your question is in this link and its references. By the way, it would be useful to expand the article, using this link.
340:
That wouldn't be you in the references would it ;-)? I think I get the idea. After a bit of smoothing it does make for a nice model
97: 58: 431:
I like it! It's much more helpful IMHO to have something one can rotate freely instead of seeing it animated. So I'll add it. --
1184:- Then look at them along the body diagonal of a cube symmetrically containing them, to see the threefold rotational symmetry. 1155:
I find the "Construction" section pretty obscure. Some diagrams seem pretty necessary. Does anyone know where that's from? --
834: 328: 33: 383:
objections, we can change the mention in the "statue" section. Thanks, High on a tree! Sorry this is rather late.
1089:
are conventionally used as the three spatial coordinates in Cartesian 3-space, it would be wise to choose some letter
1117: 766: 1160: 1019: 478: 284:
U. Brehm, How to build minimal polyhedral models of the Boy surface. Math. Intelligencer 12(4):51-56 (1990).
449:
Something should be said about left and right-handed Boy's surfaces, which are not regularly homotopic. --
703: 1113: 474: 171: 39: 561: 515: 83: 1046: 956:
is not greater than 1 is here only for having a bijective parameterization (outside the unit sphere).
650: 1223: 1219: 1201: 1197: 470: 314: 270: 21: 1156: 1015: 492: 373: 332: 246: 217: 204: 196: 511: 105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1140: 1034: 978: 961: 924: 89: 73: 52: 1004: 943: 908: 281:
Doing some google digging finds which talks about a discreet Boy's surface, with a reference
759:
Thus this complicate parametrization is simply a strange parametrization of the unit sphere.
367:
It should be noted that the article by Hermann Karcher and Ulrich Pinkall which can be found
262: 1058: 534: 424: 414: 235: 227: 1175: 618: 349: 310: 266: 259: 992: 504:
That's irrelevant. The problem is with the word homeomorphic, which is evidently wrong.
302: 214: 1235: 1136: 1030: 974: 957: 920: 530: 453: 435: 1000: 939: 904: 1187:- Then bisect them at a plane orthogonal to that diagonal and discard one part. 1054: 544: 420: 398: 384: 348:. The tight immersions stuff seems quite interesting space for a new article? -- 231: 102: 1216: 292: 79: 299:
discussed the imposibility of tight imersions of the real projective plane.
450: 432: 1227: 1205: 1164: 1144: 1121: 1062: 1050: 1038: 1023: 1008: 982: 965: 947: 928: 912: 547: 537: 519: 495: 456: 438: 401: 387: 376: 352: 335: 318: 274: 249: 220: 207: 161: 342: 1106:(except for those that refer to the third spatial coordinate) with 1045:
three-fold symmetry. This is also how the parametrization for the
368: 1073:
Eliminating confusion caused by a poor choice of variable names
1053:, although in that case there's not any three-fold symmetry. 203:
There being no objection, I went ahead and made the change. --
156: 15: 991: 341: 309:
seems to have some interesting stuff, but its in french? --
180:. It may contain ideas you can use to improve this article. 263:
http://torus.math.uiuc.edu/jms/Papers/isama/color/opt2.htm
327:
As long as you're finding things in Google, there's also
258:
Seems like Boys surface is used as a halfway stage in a
896:{\displaystyle {\sqrt {g_{1}^{2}+g_{2}^{2}+g_{3}^{2}}}} 837: 769: 706: 653: 621: 564: 101:, a collaborative effort to improve the coverage of 303:
http://www.jp-petit.com/science/maths_f/maths_f.htm
934:I'm also bothered that the Bryant parametrization 895: 823: 751: 692: 639: 606: 265:, something to this effect should be included. -- 824:{\displaystyle g_{1}^{2}+g_{2}^{2}+g_{3}^{2}} 8: 47: 885: 880: 867: 862: 849: 844: 838: 836: 815: 810: 797: 792: 779: 774: 768: 737: 724: 711: 705: 684: 671: 658: 652: 620: 595: 582: 569: 563: 529:I changed 'Hilbert' in the article to ' 49: 19: 1174:I realised that there is a way to use 938:. Could someone explain how that is? — 554:Parametrization and implicit equation 7: 752:{\displaystyle x^{2}+y^{2}+z^{2}=1.} 95:This article is within the scope of 491:It's not embedded, it's immersed. — 174:by Knowledge editors, which is now 38:It is of interest to the following 1178:to help visualise the immersion:- 607:{\displaystyle g_{1},g_{2},g_{3},} 14: 1247:Mid-priority mathematics articles 1127:I agree. Moreover, it is written 693:{\displaystyle g_{1},g_{2},g_{3}} 115:Knowledge:WikiProject Mathematics 1135:) in the article. I'll do that. 190:Old comments on parameterization 160: 118:Template:WikiProject Mathematics 82: 72: 51: 20: 763:No, because the denominator is 135:This article has been rated as 548:11:05, 28 September 2007 (UTC) 538:00:38, 28 September 2007 (UTC) 402:02:38, 20 September 2007 (UTC) 353:22:06, 14 September 2006 (UTC) 336:20:16, 14 September 2006 (UTC) 329:Another discrete Boy's surface 319:18:30, 14 September 2006 (UTC) 275:22:45, 13 September 2006 (UTC) 221:21:56, 13 September 2006 (UTC) 1: 1170:Connection to Borromean rings 1049:of the real projective plane 109:and see a list of open tasks. 1252:Old requests for peer review 1242:C-Class mathematics articles 1228:20:20, 3 November 2023 (UTC) 1145:14:47, 29 October 2015 (UTC) 1122:13:22, 29 October 2015 (UTC) 520:02:47, 3 December 2008 (UTC) 377:21:05, 6 December 2006 (UTC) 289:other interesting links are 250:05:03, 4 November 2006 (UTC) 208:18:01, 21 October 2005 (UTC) 1165:15:20, 4 October 2016 (UTC) 1268: 988:two-period parametrization 445:Left and right handed boys 1206:04:15, 19 July 2020 (UTC) 1039:09:27, 29 June 2014 (UTC) 1024:05:17, 29 June 2014 (UTC) 1009:05:14, 29 June 2014 (UTC) 929:15:35, 4 April 2014 (UTC) 700:implies immediately that 496:00:03, 19 July 2007 (UTC) 457:11:17, 8 April 2007 (UTC) 388:02:35, 26 June 2007 (UTC) 134: 67: 46: 1063:17:32, 1 July 2014 (UTC) 983:09:44, 8 June 2014 (UTC) 966:09:44, 8 June 2014 (UTC) 948:07:38, 8 June 2014 (UTC) 913:07:38, 8 June 2014 (UTC) 439:23:36, 13 May 2007 (UTC) 293:A New Polyhedral Surface 199:15:47, 6 Jun 2005 (UTC) 141:project's priority scale 543:That's the right one. 98:WikiProject Mathematics 1215:I created a new video 996: 897: 825: 753: 694: 641: 608: 346: 28:This article is rated 995: 898: 826: 754: 695: 642: 640:{\displaystyle x,y,z} 609: 345: 835: 767: 704: 651: 619: 562: 121:mathematics articles 890: 872: 854: 820: 802: 784: 997: 893: 876: 858: 840: 821: 806: 788: 770: 749: 690: 637: 604: 347: 90:Mathematics portal 34:content assessment 891: 487: 473:comment added by 184: 183: 155: 154: 151: 150: 147: 146: 1259: 902: 900: 899: 894: 892: 889: 884: 871: 866: 853: 848: 839: 830: 828: 827: 822: 819: 814: 801: 796: 783: 778: 758: 756: 755: 750: 742: 741: 729: 728: 716: 715: 699: 697: 696: 691: 689: 688: 676: 675: 663: 662: 646: 644: 643: 638: 613: 611: 610: 605: 600: 599: 587: 586: 574: 573: 486: 467: 226:I put together: 164: 157: 123: 122: 119: 116: 113: 92: 87: 86: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 1267: 1266: 1262: 1261: 1260: 1258: 1257: 1256: 1232: 1231: 1213: 1176:Borromean rings 1172: 1153: 1075: 1047:other immersion 990: 833: 832: 765: 764: 733: 720: 707: 702: 701: 680: 667: 654: 649: 648: 617: 616: 591: 578: 565: 560: 559: 556: 527: 468: 464: 447: 415:The Boy Surface 412: 365: 363:Bryant / Kusner 260:Sphere eversion 192: 120: 117: 114: 111: 110: 88: 81: 61: 32:on Knowledge's 29: 12: 11: 5: 1265: 1263: 1255: 1254: 1249: 1244: 1234: 1233: 1212: 1209: 1171: 1168: 1157:Dylan Thurston 1152: 1149: 1148: 1147: 1074: 1071: 1070: 1069: 1068: 1067: 1066: 1065: 1016:David Eppstein 989: 986: 971: 970: 969: 968: 936:has a boundary 916: 915: 888: 883: 879: 875: 870: 865: 861: 857: 852: 847: 843: 818: 813: 809: 805: 800: 795: 791: 787: 782: 777: 773: 748: 745: 740: 736: 732: 727: 723: 719: 714: 710: 687: 683: 679: 674: 670: 666: 661: 657: 636: 633: 630: 627: 624: 603: 598: 594: 590: 585: 581: 577: 572: 568: 555: 552: 551: 550: 526: 523: 508: 507: 506: 505: 499: 498: 493:David Eppstein 463: 460: 446: 443: 442: 441: 411: 410:Javaview model 408: 407: 406: 405: 404: 391: 390: 374:High on a tree 364: 361: 360: 359: 358: 357: 356: 355: 333:David Eppstein 322: 321: 307: 306: 305: 297: 296: 295: 287: 286: 285: 278: 277: 255: 254: 253: 252: 247:David Eppstein 240: 239: 218:David Eppstein 211: 210: 191: 188: 186: 182: 181: 165: 153: 152: 149: 148: 145: 144: 133: 127: 126: 124: 107:the discussion 94: 93: 77: 65: 64: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 1264: 1253: 1250: 1248: 1245: 1243: 1240: 1239: 1237: 1230: 1229: 1225: 1221: 1217: 1210: 1208: 1207: 1203: 1199: 1194: 1191: 1188: 1185: 1182: 1179: 1177: 1169: 1167: 1166: 1162: 1158: 1150: 1146: 1142: 1138: 1134: 1130: 1126: 1125: 1124: 1123: 1119: 1115: 1111: 1109: 1105: 1101: 1096: 1092: 1088: 1084: 1080: 1072: 1064: 1060: 1056: 1052: 1048: 1042: 1041: 1040: 1036: 1032: 1027: 1026: 1025: 1021: 1017: 1013: 1012: 1011: 1010: 1006: 1002: 994: 987: 985: 984: 980: 976: 967: 963: 959: 955: 951: 950: 949: 945: 941: 937: 933: 932: 931: 930: 926: 922: 914: 910: 906: 886: 881: 877: 873: 868: 863: 859: 855: 850: 845: 841: 816: 811: 807: 803: 798: 793: 789: 785: 780: 775: 771: 762: 761: 760: 746: 743: 738: 734: 730: 725: 721: 717: 712: 708: 685: 681: 677: 672: 668: 664: 659: 655: 634: 631: 628: 625: 622: 601: 596: 592: 588: 583: 579: 575: 570: 566: 553: 549: 546: 542: 541: 540: 539: 536: 532: 531:David Hilbert 524: 522: 521: 517: 513: 503: 502: 501: 500: 497: 494: 490: 489: 488: 484: 480: 476: 475:201.252.9.131 472: 461: 459: 458: 455: 452: 444: 440: 437: 434: 430: 429: 428: 426: 422: 417: 416: 409: 403: 400: 395: 394: 393: 392: 389: 386: 381: 380: 379: 378: 375: 370: 362: 354: 351: 344: 339: 338: 337: 334: 330: 326: 325: 324: 323: 320: 316: 312: 308: 304: 301: 300: 298: 294: 291: 290: 288: 283: 282: 280: 279: 276: 272: 268: 264: 261: 257: 256: 251: 248: 244: 243: 242: 241: 237: 233: 228: 225: 224: 223: 222: 219: 215: 209: 206: 202: 201: 200: 198: 189: 187: 179: 178: 173: 169: 168:Boy's surface 166: 163: 159: 158: 142: 138: 132: 129: 128: 125: 108: 104: 100: 99: 91: 85: 80: 78: 75: 71: 70: 66: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 1214: 1195: 1192: 1189: 1186: 1183: 1180: 1173: 1154: 1151:Construction 1132: 1128: 1112: 1107: 1103: 1099: 1094: 1090: 1086: 1082: 1078: 1076: 998: 972: 953: 935: 917: 647:in terms of 557: 528: 509: 465: 448: 418: 413: 366: 212: 193: 185: 175: 167: 137:Mid-priority 136: 96: 62:Mid‑priority 40:WikiProjects 1077:Given that 535:Spinnick597 469:—Preceding 462:False claim 172:peer review 170:received a 112:Mathematics 103:mathematics 59:Mathematics 1236:Categories 1220:Coolwanglu 1198:PMLawrence 350:Salix alba 311:Salix alba 267:Salix alba 1211:New Video 1051:was found 1137:D.Lazard 1031:D.Lazard 975:D.Lazard 958:D.Lazard 921:D.Lazard 483:contribs 471:unsigned 177:archived 1001:Tamfang 940:Tamfang 905:Tamfang 525:Hilbert 512:Mariano 139:on the 30:C-class 1055:a13ean 545:A13ean 454:(Talk) 436:(Talk) 421:A13ean 399:A13ean 385:A13ean 232:A13ean 36:scale. 1093:than 1091:other 1224:talk 1202:talk 1161:talk 1141:talk 1118:talk 1114:yoyo 1085:and 1059:talk 1035:talk 1020:talk 1005:talk 979:talk 962:talk 944:talk 925:talk 909:talk 831:not 516:talk 479:talk 425:talk 369:here 315:talk 271:talk 236:talk 903:. — 451:C S 433:C S 205:agr 197:agr 131:Mid 1238:: 1226:) 1204:) 1163:) 1143:) 1120:) 1110:. 1081:, 1061:) 1037:) 1022:) 1007:) 981:) 964:) 946:) 927:) 911:) 747:1. 518:) 485:) 481:• 427:) 317:) 273:) 195:-- 1222:( 1200:( 1159:( 1139:( 1133:z 1131:( 1129:z 1116:( 1108:w 1104:z 1100:w 1095:z 1087:z 1083:y 1079:x 1057:( 1033:( 1018:( 1003:( 977:( 960:( 954:z 942:( 923:( 907:( 887:2 882:3 878:g 874:+ 869:2 864:2 860:g 856:+ 851:2 846:1 842:g 817:2 812:3 808:g 804:+ 799:2 794:2 790:g 786:+ 781:2 776:1 772:g 744:= 739:2 735:z 731:+ 726:2 722:y 718:+ 713:2 709:x 686:3 682:g 678:, 673:2 669:g 665:, 660:1 656:g 635:z 632:, 629:y 626:, 623:x 602:, 597:3 593:g 589:, 584:2 580:g 576:, 571:1 567:g 514:( 477:( 423:( 313:( 269:( 238:) 234:( 143:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Mid
project's priority scale

peer review
archived
agr
agr
18:01, 21 October 2005 (UTC)

David Eppstein
21:56, 13 September 2006 (UTC)

A13ean
talk
David Eppstein
05:03, 4 November 2006 (UTC)
Sphere eversion
http://torus.math.uiuc.edu/jms/Papers/isama/color/opt2.htm
Salix alba

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.