Knowledge (XXG)

Deligne–Mumford stack

Source 📝

1316: 703: 550: 777: 413: 994: 1064: 302: 517: 1182: 1149: 822: 545: 915: 331: 80: 1357: 121: 215: 1116: 1090: 1272: 1247: 886: 463: 465:
is an affine smooth Deligne–Mumford stack with a non-trivial stabilizer at the origin. If we wish to think about this as a category fibered in groupoids over
336: 920: 996:
Notice that since this quotient is not from a finite group we have to look for points with stabilizers and their respective stabilizer groups. Then
708: 1350: 698:{\displaystyle {\text{Spec}}(\mathbb {C} /(s^{n}-1))\times {\text{Spec}}(\mathbb {C} )(S)\rightrightarrows {\text{Spec}}(\mathbb {C} )(S).} 1381: 1343: 140: 83: 787:
Non-affine examples come up when taking the stack quotient for weighted projective space/varieties. For example, the space
999: 249: 468: 1376: 124: 246:
of some variety where the stabilizers are finite groups. For example, consider the action of the cyclic group
221:
is quasi-compact, has only finitely many automorphisms. A Deligne–Mumford stack admits a presentation by a
1281: 1154: 1121: 790: 522: 891: 307: 53: 1286: 39: 1184:, respectively, showing that the only stabilizers are finite, hence the stack is Deligne–Mumford. 1323: 31: 94: 1327: 1291: 148: 100: 1303: 1299: 226: 191: 174: 166: 162: 152: 1249:
since this has an infinite stabilizer. Stacks of this form are examples of Artin stacks.
1095: 1069: 1259: 243: 132: 1267: 1206: 827: 418: 17: 1370: 1263: 170: 136: 1193: 155: 144: 1315: 705:
Note that we could be slightly more general if we consider the group action on
772:{\displaystyle \mathbb {A} ^{2}\in {\text{Sch}}/{\text{Spec}}(\mathbb {Z} )} 222: 1295: 408:{\displaystyle a\cdot \colon (x,y)\mapsto (\zeta _{n}x,\zeta _{n}y).} 989:{\displaystyle \lambda \cdot (x,y)=(\lambda ^{2}x,\lambda ^{3}y).} 242:
Deligne–Mumford stacks are typically constructed by taking the
1268:"The irreducibility of the space of curves of given genus" 1331: 1209: 1203:
One simple non-example of a Deligne–Mumford stack is
1157: 1124: 1098: 1072: 1002: 923: 894: 830: 793: 711: 553: 525: 471: 421: 339: 310: 252: 194: 139:
introduced this notion in 1969 when they proved that
103: 56: 1059:{\displaystyle (x,y)=(\lambda ^{2}x,\lambda ^{3}y)} 297:{\displaystyle C_{n}=\langle a\mid a^{n}=1\rangle } 1241: 1176: 1143: 1110: 1084: 1058: 988: 909: 880: 816: 771: 697: 539: 512:{\displaystyle ({\text{Sch}}/\mathbb {C} )_{fppf}} 511: 457: 407: 325: 296: 209: 115: 74: 1351: 8: 855: 849: 291: 266: 1358: 1344: 1285: 1230: 1226: 1225: 1219: 1208: 1168: 1156: 1135: 1123: 1097: 1071: 1044: 1028: 1001: 971: 955: 922: 901: 897: 896: 893: 869: 865: 864: 858: 840: 836: 835: 829: 795: 794: 792: 757: 746: 745: 737: 732: 727: 718: 714: 713: 710: 661: 660: 652: 618: 617: 609: 588: 576: 563: 562: 554: 552: 533: 532: 524: 494: 486: 485: 480: 475: 470: 446: 437: 431: 427: 426: 420: 390: 374: 338: 317: 313: 312: 309: 279: 257: 251: 193: 180:A key fact about a Deligne–Mumford stack 102: 55: 824:is constructed by the stack quotient 7: 1312: 1310: 1273:Publications Mathématiques de l'IHÉS 27:Type of object in algebraic geometry 1177:{\displaystyle \lambda =\zeta _{2}} 1144:{\displaystyle \lambda =\zeta _{3}} 169:(also called an Artin stack, after 1330:. You can help Knowledge (XXG) by 165:", then such a stack is called an 25: 817:{\displaystyle \mathbb {P} (2,3)} 540:{\displaystyle S\to \mathbb {C} } 1314: 910:{\displaystyle \mathbb {C} ^{*}} 326:{\displaystyle \mathbb {C} ^{2}} 161:If the "étale" is weakened to " 1236: 1210: 1053: 1021: 1015: 1003: 980: 948: 942: 930: 875: 831: 811: 799: 766: 763: 750: 742: 689: 683: 680: 677: 665: 657: 649: 646: 640: 637: 634: 622: 614: 603: 600: 581: 573: 567: 559: 547:the over category is given by 529: 491: 472: 452: 422: 399: 367: 364: 361: 349: 204: 198: 107: 86:, quasi-compact and separated. 75:{\displaystyle F\to F\times F} 60: 1: 1398: 1309: 1191: 1382:Algebraic geometry stubs 783:Weighted Projective Line 415:Then the stack quotient 158:Deligne–Mumford stacks. 1326:–related article is a 1243: 1178: 1145: 1112: 1086: 1060: 990: 911: 882: 818: 773: 699: 541: 513: 459: 409: 327: 298: 211: 117: 116:{\displaystyle U\to F} 76: 50:the diagonal morphism 18:Deligne-Mumford stacks 1244: 1179: 1146: 1113: 1087: 1061: 991: 912: 883: 819: 774: 700: 542: 514: 460: 410: 328: 299: 212: 118: 77: 36:Deligne–Mumford stack 1207: 1155: 1122: 1096: 1070: 1000: 921: 917:-action is given by 892: 828: 791: 709: 551: 523: 519:then given a scheme 469: 419: 337: 308: 250: 210:{\displaystyle F(B)} 192: 177:is Deligne–Mumford. 101: 54: 1111:{\displaystyle y=0} 1085:{\displaystyle x=0} 1377:Algebraic geometry 1324:algebraic geometry 1296:10.1007/BF02684599 1239: 1174: 1141: 1108: 1082: 1056: 986: 907: 878: 814: 769: 695: 537: 509: 455: 405: 323: 294: 207: 113: 89:There is a scheme 72: 32:algebraic geometry 1339: 1338: 740: 730: 655: 612: 557: 478: 16:(Redirected from 1389: 1360: 1353: 1346: 1318: 1311: 1306: 1289: 1248: 1246: 1245: 1242:{\displaystyle } 1240: 1235: 1234: 1229: 1223: 1183: 1181: 1180: 1175: 1173: 1172: 1150: 1148: 1147: 1142: 1140: 1139: 1117: 1115: 1114: 1109: 1091: 1089: 1088: 1083: 1065: 1063: 1062: 1057: 1049: 1048: 1033: 1032: 995: 993: 992: 987: 976: 975: 960: 959: 916: 914: 913: 908: 906: 905: 900: 887: 885: 884: 881:{\displaystyle } 879: 874: 873: 868: 862: 845: 844: 839: 823: 821: 820: 815: 798: 778: 776: 775: 770: 762: 761: 749: 741: 738: 736: 731: 728: 723: 722: 717: 704: 702: 701: 696: 664: 656: 653: 621: 613: 610: 593: 592: 580: 566: 558: 555: 546: 544: 543: 538: 536: 518: 516: 515: 510: 508: 507: 489: 484: 479: 476: 464: 462: 461: 458:{\displaystyle } 456: 451: 450: 441: 436: 435: 430: 414: 412: 411: 406: 395: 394: 379: 378: 332: 330: 329: 324: 322: 321: 316: 303: 301: 300: 295: 284: 283: 262: 261: 216: 214: 213: 208: 149:arithmetic genus 122: 120: 119: 114: 81: 79: 78: 73: 21: 1397: 1396: 1392: 1391: 1390: 1388: 1387: 1386: 1367: 1366: 1365: 1364: 1260:Deligne, Pierre 1258: 1255: 1224: 1205: 1204: 1201: 1196: 1190: 1164: 1153: 1152: 1131: 1120: 1119: 1094: 1093: 1068: 1067: 1066:if and only if 1040: 1024: 998: 997: 967: 951: 919: 918: 895: 890: 889: 863: 834: 826: 825: 789: 788: 785: 753: 712: 707: 706: 584: 549: 548: 521: 520: 490: 467: 466: 442: 425: 417: 416: 386: 370: 335: 334: 311: 306: 305: 275: 253: 248: 247: 240: 235: 227:groupoid scheme 190: 189: 175:algebraic space 167:algebraic stack 130: 99: 98: 97:surjective map 52: 51: 28: 23: 22: 15: 12: 11: 5: 1395: 1393: 1385: 1384: 1379: 1369: 1368: 1363: 1362: 1355: 1348: 1340: 1337: 1336: 1319: 1308: 1307: 1287:10.1.1.589.288 1264:Mumford, David 1254: 1251: 1238: 1233: 1228: 1222: 1218: 1215: 1212: 1200: 1197: 1192:Main article: 1189: 1186: 1171: 1167: 1163: 1160: 1138: 1134: 1130: 1127: 1107: 1104: 1101: 1081: 1078: 1075: 1055: 1052: 1047: 1043: 1039: 1036: 1031: 1027: 1023: 1020: 1017: 1014: 1011: 1008: 1005: 985: 982: 979: 974: 970: 966: 963: 958: 954: 950: 947: 944: 941: 938: 935: 932: 929: 926: 904: 899: 877: 872: 867: 861: 857: 854: 851: 848: 843: 838: 833: 813: 810: 807: 804: 801: 797: 784: 781: 768: 765: 760: 756: 752: 748: 744: 735: 726: 721: 716: 694: 691: 688: 685: 682: 679: 676: 673: 670: 667: 663: 659: 651: 648: 645: 642: 639: 636: 633: 630: 627: 624: 620: 616: 608: 605: 602: 599: 596: 591: 587: 583: 579: 575: 572: 569: 565: 561: 535: 531: 528: 506: 503: 500: 497: 493: 488: 483: 474: 454: 449: 445: 440: 434: 429: 424: 404: 401: 398: 393: 389: 385: 382: 377: 373: 369: 366: 363: 360: 357: 354: 351: 348: 345: 342: 320: 315: 293: 290: 287: 282: 278: 274: 271: 268: 265: 260: 256: 244:stack quotient 239: 236: 234: 231: 206: 203: 200: 197: 133:Pierre Deligne 129: 128: 112: 109: 106: 87: 71: 68: 65: 62: 59: 47: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 1394: 1383: 1380: 1378: 1375: 1374: 1372: 1361: 1356: 1354: 1349: 1347: 1342: 1341: 1335: 1333: 1329: 1325: 1320: 1317: 1313: 1305: 1301: 1297: 1293: 1288: 1283: 1280:(1): 75–109, 1279: 1275: 1274: 1269: 1265: 1261: 1257: 1256: 1252: 1250: 1231: 1220: 1216: 1213: 1198: 1195: 1187: 1185: 1169: 1165: 1161: 1158: 1136: 1132: 1128: 1125: 1105: 1102: 1099: 1079: 1076: 1073: 1050: 1045: 1041: 1037: 1034: 1029: 1025: 1018: 1012: 1009: 1006: 983: 977: 972: 968: 964: 961: 956: 952: 945: 939: 936: 933: 927: 924: 902: 870: 859: 852: 846: 841: 808: 805: 802: 782: 780: 758: 754: 733: 724: 719: 692: 686: 674: 671: 668: 643: 631: 628: 625: 606: 597: 594: 589: 585: 577: 570: 526: 504: 501: 498: 495: 481: 447: 443: 438: 432: 402: 396: 391: 387: 383: 380: 375: 371: 358: 355: 352: 346: 343: 340: 318: 288: 285: 280: 276: 272: 269: 263: 258: 254: 245: 238:Affine Stacks 237: 232: 230: 228: 224: 220: 201: 195: 187: 183: 178: 176: 172: 171:Michael Artin 168: 164: 159: 157: 154: 150: 146: 145:stable curves 142: 141:moduli spaces 138: 137:David Mumford 134: 126: 110: 104: 96: 92: 88: 85: 84:representable 69: 66: 63: 57: 49: 48: 46: 44: 41: 37: 33: 19: 1332:expanding it 1321: 1277: 1271: 1202: 1194:Stacky curve 1188:Stacky curve 786: 241: 218: 185: 184:is that any 181: 179: 160: 131: 90: 42: 35: 29: 1199:Non-Example 123:(called an 1371:Categories 1253:References 888:where the 45:such that 1282:CiteSeerX 1232:∗ 1166:ζ 1159:λ 1133:ζ 1126:λ 1042:λ 1026:λ 969:λ 953:λ 928:⋅ 925:λ 903:∗ 871:∗ 847:− 755:ζ 725:∈ 650:⇉ 607:× 595:− 530:→ 388:ζ 372:ζ 365:↦ 347:: 344:⋅ 333:given by 292:⟩ 273:∣ 267:⟨ 147:of fixed 108:→ 67:× 61:→ 1266:(1969), 233:Examples 223:groupoid 217:, where 1304:0262240 1302:  1284:  225:; see 173:). An 163:smooth 156:smooth 153:proper 1322:This 125:atlas 95:étale 40:stack 38:is a 1328:stub 1118:and 739:Spec 654:Spec 611:Spec 556:Spec 151:are 135:and 93:and 34:, a 1292:doi 1151:or 1092:or 729:Sch 477:Sch 304:on 188:in 143:of 82:is 30:In 1373:: 1300:MR 1298:, 1290:, 1278:36 1276:, 1270:, 1262:; 779:. 229:. 127:). 1359:e 1352:t 1345:v 1334:. 1294:: 1237:] 1227:C 1221:/ 1217:t 1214:p 1211:[ 1170:2 1162:= 1137:3 1129:= 1106:0 1103:= 1100:y 1080:0 1077:= 1074:x 1054:) 1051:y 1046:3 1038:, 1035:x 1030:2 1022:( 1019:= 1016:) 1013:y 1010:, 1007:x 1004:( 984:. 981:) 978:y 973:3 965:, 962:x 957:2 949:( 946:= 943:) 940:y 937:, 934:x 931:( 898:C 876:] 866:C 860:/ 856:} 853:0 850:{ 842:2 837:C 832:[ 812:) 809:3 806:, 803:2 800:( 796:P 767:) 764:] 759:n 751:[ 747:Z 743:( 734:/ 720:2 715:A 693:. 690:) 687:S 684:( 681:) 678:] 675:y 672:, 669:x 666:[ 662:C 658:( 647:) 644:S 641:( 638:) 635:] 632:y 629:, 626:x 623:[ 619:C 615:( 604:) 601:) 598:1 590:n 586:s 582:( 578:/ 574:] 571:s 568:[ 564:C 560:( 534:C 527:S 505:f 502:p 499:p 496:f 492:) 487:C 482:/ 473:( 453:] 448:n 444:C 439:/ 433:2 428:C 423:[ 403:. 400:) 397:y 392:n 384:, 381:x 376:n 368:( 362:) 359:y 356:, 353:x 350:( 341:a 319:2 314:C 289:1 286:= 281:n 277:a 270:a 264:= 259:n 255:C 219:B 205:) 202:B 199:( 196:F 186:X 182:F 111:F 105:U 91:U 70:F 64:F 58:F 43:F 20:)

Index

Deligne-Mumford stacks
algebraic geometry
stack
representable
étale
atlas
Pierre Deligne
David Mumford
moduli spaces
stable curves
arithmetic genus
proper
smooth
smooth
algebraic stack
Michael Artin
algebraic space
groupoid
groupoid scheme
stack quotient
Stacky curve
Deligne, Pierre
Mumford, David
"The irreducibility of the space of curves of given genus"
Publications Mathématiques de l'IHÉS
CiteSeerX
10.1.1.589.288
doi
10.1007/BF02684599
MR

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