Knowledge

Iterated monodromy group

Source 📝

188: 994: 517: 415: 682: 52:, this construction on spaces is expected to correspond to a construction on groups. The iterated monodromy group provides this construction, and it is applied to encode the combinatorics and 591: 86: 1155: 796: 233: 1032:
Iterated monodromy groups of rational functions usually have exotic properties from the point of view of classical group theory. Most of them are infinitely presented, many have
549: 730: 320: 1023: 48:
of the covering. A single covering map between spaces is therefore used to create a tower of coverings, by placing the covering over itself repeatedly. In terms of the
1079: 891: 848: 276: 904: 430: 335: 1142: 1127: 49: 1193: 616: 855: 1089: 558: 183:{\displaystyle \mathrm {IMG} f:={\frac {\pi _{1}(X,t)}{\bigcap _{n\in \mathbb {N} }\mathrm {Ker} \,\digamma ^{n}}}} 1203: 1198: 735: 199: 17: 1033: 57: 859: 522: 1045: 690: 607: 283: 33: 894: 999: 1138: 1123: 819: 323: 53: 41: 21: 1051: 1099: 851: 37: 869: 826: 254: 418: 244: 240: 1122:, Mathematical Surveys and Monographs Vol. 117, Amer. Math. Soc., Providence, RI, 2005; 989:{\displaystyle f:{\hat {C}}\setminus f^{-1}(P_{f})\rightarrow {\hat {C}}\setminus P_{f}} 1094: 1026: 77: 1164: 1117: 1187: 603: 1174: 236: 29: 512:{\displaystyle \digamma ^{n}:\pi _{1}(X,t)\rightarrow \mathrm {Sym} \,f^{-n}(t)} 1168: 1104: 410:{\displaystyle \digamma :\pi _{1}(X,t)\rightarrow \mathrm {Sym} \,f^{-1}(t)} 45: 1054: 1002: 907: 872: 829: 738: 693: 677:{\displaystyle T_{f}:=\bigsqcup _{n\geq 0}f^{-n}(t),} 619: 561: 525: 433: 338: 286: 257: 202: 89: 1073: 1048:is the iterated monodromy group of the polynomial 1017: 988: 885: 842: 790: 724: 676: 585: 543: 511: 409: 314: 270: 227: 182: 901:is the iterated monodromy group of the covering 1161:- preprints about the Iterated Monodromy Group. 807:Iterated monodromy groups of rational functions 1167:- Movies illustrating the Dehn twists about a 586:{\displaystyle \forall n\in \mathbb {N} _{0}} 8: 1135:Combinations of Complex Dynamical Systems 1059: 1053: 1004: 1003: 1001: 980: 962: 961: 949: 933: 915: 914: 906: 877: 871: 834: 828: 758: 737: 704: 692: 653: 637: 624: 618: 577: 573: 572: 560: 531: 530: 524: 491: 486: 475: 451: 438: 432: 389: 384: 373: 349: 337: 291: 285: 262: 256: 213: 201: 171: 166: 155: 149: 148: 141: 114: 107: 90: 88: 56:of the covering, and provide examples of 897:), then the iterated monodromy group of 973: 926: 791:{\displaystyle f(z)\in f^{-(n-1)}(t)} 602:The iterated monodromy group acts by 7: 228:{\displaystyle f:X_{1}\rightarrow X} 893:is finite (or has a finite set of 562: 535: 532: 482: 479: 476: 380: 377: 374: 162: 159: 156: 97: 94: 91: 14: 1137:, Springer-Verlag, Berlin, 2003; 544:{\displaystyle n^{\mathrm {th} }} 50:Galois theory of covering spaces 1159:.org - Iterated Monodromy Group 519:is the monodromy action of the 1009: 967: 958: 955: 942: 920: 785: 779: 774: 762: 748: 742: 725:{\displaystyle z\in f^{-n}(t)} 719: 713: 668: 662: 506: 500: 472: 469: 457: 404: 398: 370: 367: 355: 309: 297: 219: 132: 120: 1: 732:is connected by an edge with 315:{\displaystyle \pi _{1}(X,t)} 1180:- The Monodromy Group page. 1220: 1090:Growth rate (group theory) 1018:{\displaystyle {\hat {C}}} 1165:Laurent Bartholdi's page 1116:Volodymyr Nekrashevych, 70:iterated monodromy group 26:iterated monodromy group 1074:{\displaystyle z^{2}-1} 1194:Geometric group theory 1075: 1019: 990: 887: 844: 792: 726: 678: 587: 545: 513: 411: 316: 272: 245:locally path-connected 229: 184: 18:geometric group theory 1076: 1020: 991: 888: 886:{\displaystyle P_{f}} 845: 843:{\displaystyle P_{f}} 793: 727: 679: 588: 546: 514: 412: 317: 273: 271:{\displaystyle X_{1}} 230: 185: 1052: 1000: 905: 870: 827: 736: 691: 617: 559: 523: 431: 336: 284: 255: 200: 87: 1119:Self-Similar Groups 1034:intermediate growth 895:accumulation points 58:self-similar groups 1133:Kevin M. Pilgrim, 1071: 1040:IMG of polynomials 1015: 986: 883: 840: 788: 722: 674: 648: 583: 541: 509: 407: 312: 268: 247:topological space 225: 180: 154: 1012: 970: 923: 860:post-critical set 820:rational function 633: 324:fundamental group 178: 137: 76:is the following 54:symbolic dynamics 42:fundamental group 22:dynamical systems 1211: 1204:Complex analysis 1100:Complex dynamics 1080: 1078: 1077: 1072: 1064: 1063: 1024: 1022: 1021: 1016: 1014: 1013: 1005: 995: 993: 992: 987: 985: 984: 972: 971: 963: 954: 953: 941: 940: 925: 924: 916: 892: 890: 889: 884: 882: 881: 850:be the union of 849: 847: 846: 841: 839: 838: 797: 795: 794: 789: 778: 777: 731: 729: 728: 723: 712: 711: 683: 681: 680: 675: 661: 660: 647: 629: 628: 592: 590: 589: 584: 582: 581: 576: 550: 548: 547: 542: 540: 539: 538: 518: 516: 515: 510: 499: 498: 485: 456: 455: 443: 442: 419:monodromy action 416: 414: 413: 408: 397: 396: 383: 354: 353: 321: 319: 318: 313: 296: 295: 277: 275: 274: 269: 267: 266: 234: 232: 231: 226: 218: 217: 189: 187: 186: 181: 179: 177: 176: 175: 165: 153: 152: 135: 119: 118: 108: 100: 38:monodromy action 1219: 1218: 1214: 1213: 1212: 1210: 1209: 1208: 1199:Homotopy theory 1184: 1183: 1152: 1113: 1086: 1055: 1050: 1049: 1042: 998: 997: 976: 945: 929: 903: 902: 873: 868: 867: 856:critical points 830: 825: 824: 809: 804: 754: 734: 733: 700: 689: 688: 687:where a vertex 649: 620: 615: 614: 600: 571: 557: 556: 526: 521: 520: 487: 447: 434: 429: 428: 385: 345: 334: 333: 287: 282: 281: 258: 253: 252: 209: 198: 197: 167: 136: 110: 109: 85: 84: 66: 36:describing the 12: 11: 5: 1217: 1215: 1207: 1206: 1201: 1196: 1186: 1185: 1182: 1181: 1172: 1162: 1151: 1150:External links 1148: 1147: 1146: 1131: 1112: 1109: 1108: 1107: 1102: 1097: 1095:Amenable group 1092: 1085: 1082: 1070: 1067: 1062: 1058: 1046:Basilica group 1041: 1038: 1027:Riemann sphere 1011: 1008: 983: 979: 975: 969: 966: 960: 957: 952: 948: 944: 939: 936: 932: 928: 922: 919: 913: 910: 880: 876: 864: 863: 852:forward orbits 837: 833: 822: 808: 805: 803: 800: 787: 784: 781: 776: 773: 770: 767: 764: 761: 757: 753: 750: 747: 744: 741: 721: 718: 715: 710: 707: 703: 699: 696: 685: 684: 673: 670: 667: 664: 659: 656: 652: 646: 643: 640: 636: 632: 627: 623: 599: 596: 595: 594: 580: 575: 570: 567: 564: 537: 534: 529: 508: 505: 502: 497: 494: 490: 484: 481: 478: 474: 471: 468: 465: 462: 459: 454: 450: 446: 441: 437: 426: 406: 403: 400: 395: 392: 388: 382: 379: 376: 372: 369: 366: 363: 360: 357: 352: 348: 344: 341: 331: 311: 308: 305: 302: 299: 294: 290: 279: 265: 261: 251:by its subset 241:path-connected 224: 221: 216: 212: 208: 205: 191: 190: 174: 170: 164: 161: 158: 151: 147: 144: 140: 134: 131: 128: 125: 122: 117: 113: 106: 103: 99: 96: 93: 78:quotient group 65: 62: 13: 10: 9: 6: 4: 3: 2: 1216: 1205: 1202: 1200: 1197: 1195: 1192: 1191: 1189: 1179: 1177: 1173: 1170: 1166: 1163: 1160: 1158: 1154: 1153: 1149: 1144: 1143:3-540-20173-4 1140: 1136: 1132: 1129: 1128:0-412-34550-1 1125: 1121: 1120: 1115: 1114: 1110: 1106: 1103: 1101: 1098: 1096: 1093: 1091: 1088: 1087: 1083: 1081: 1068: 1065: 1060: 1056: 1047: 1039: 1037: 1035: 1030: 1028: 1006: 981: 977: 964: 950: 946: 937: 934: 930: 917: 911: 908: 900: 896: 878: 874: 861: 857: 853: 835: 831: 823: 821: 818:be a complex 817: 814: 813: 812: 806: 801: 799: 782: 771: 768: 765: 759: 755: 751: 745: 739: 716: 708: 705: 701: 697: 694: 671: 665: 657: 654: 650: 644: 641: 638: 634: 630: 625: 621: 613: 612: 611: 610:of preimages 609: 605: 597: 578: 568: 565: 554: 551:iteration of 527: 503: 495: 492: 488: 466: 463: 460: 452: 448: 444: 439: 435: 427: 424: 420: 401: 393: 390: 386: 364: 361: 358: 350: 346: 342: 339: 332: 329: 325: 306: 303: 300: 292: 288: 280: 263: 259: 250: 246: 242: 238: 222: 214: 210: 206: 203: 196: 195: 194: 193:where : 172: 168: 145: 142: 138: 129: 126: 123: 115: 111: 104: 101: 83: 82: 81: 79: 75: 71: 63: 61: 59: 55: 51: 47: 43: 39: 35: 31: 27: 23: 19: 1178:.wolfram.com 1175: 1156: 1134: 1118: 1043: 1031: 898: 865: 815: 810: 686: 604:automorphism 601: 552: 422: 327: 248: 192: 73: 69: 67: 30:covering map 25: 15: 811:Let : 608:rooted tree 1188:Categories 1111:References 64:Definition 46:iterations 1176:mathworld 1169:Julia set 1105:Julia set 1066:− 1010:^ 974:∖ 968:^ 959:→ 935:− 927:∖ 921:^ 769:− 760:− 752:∈ 706:− 698:∈ 655:− 642:≥ 635:⨆ 569:∈ 563:∀ 493:− 473:→ 449:π 436:ϝ 391:− 371:→ 347:π 340:ϝ 289:π 220:→ 169:ϝ 146:∈ 139:⋂ 112:π 1084:See also 996:, where 802:Examples 237:covering 1025:is the 854:of its 606:on the 417:is the 322:is the 44:on all 40:of the 1141:  1126:  598:Action 1157:arXiv 858:(the 239:of a 235:is a 34:group 32:is a 28:of a 1139:ISBN 1124:ISBN 1044:The 421:for 243:and 68:The 24:the 20:and 866:If 330:and 326:of 72:of 16:In 1190:: 1036:. 1029:. 862:). 798:. 631::= 555:, 105::= 80:: 60:. 1171:. 1145:. 1130:. 1069:1 1061:2 1057:z 1007:C 982:f 978:P 965:C 956:) 951:f 947:P 943:( 938:1 931:f 918:C 912:: 909:f 899:f 879:f 875:P 836:f 832:P 816:f 786:) 783:t 780:( 775:) 772:1 766:n 763:( 756:f 749:) 746:z 743:( 740:f 720:) 717:t 714:( 709:n 702:f 695:z 672:, 669:) 666:t 663:( 658:n 651:f 645:0 639:n 626:f 622:T 593:. 579:0 574:N 566:n 553:f 536:h 533:t 528:n 507:) 504:t 501:( 496:n 489:f 483:m 480:y 477:S 470:) 467:t 464:, 461:X 458:( 453:1 445:: 440:n 425:. 423:f 405:) 402:t 399:( 394:1 387:f 381:m 378:y 375:S 368:) 365:t 362:, 359:X 356:( 351:1 343:: 328:X 310:) 307:t 304:, 301:X 298:( 293:1 278:, 264:1 260:X 249:X 223:X 215:1 211:X 207:: 204:f 173:n 163:r 160:e 157:K 150:N 143:n 133:) 130:t 127:, 124:X 121:( 116:1 102:f 98:G 95:M 92:I 74:f

Index

geometric group theory
dynamical systems
covering map
group
monodromy action
fundamental group
iterations
Galois theory of covering spaces
symbolic dynamics
self-similar groups
quotient group
covering
path-connected
locally path-connected
fundamental group
monodromy action
automorphism
rooted tree
rational function
forward orbits
critical points
post-critical set
accumulation points
Riemann sphere
intermediate growth
Basilica group
Growth rate (group theory)
Amenable group
Complex dynamics
Julia set

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