1430:
971:
is closed. In algebraic geometry, the above formulation is used because a scheme which is a
Hausdorff space is necessarily empty or zero-dimensional. The difference between the topological and algebro-geometric context comes from the topological structure of the fiber product (in the category of
1108:
966:
879:
1018:
600:
1274:
523:
645:
100:
1342:
295:
1169:
683:
139:
186:
1304:
1471:
456:
416:
252:
49:
369:
342:
213:
1210:
1133:
838:
814:
790:
759:
739:
715:
315:
1038:
840:
with itself is a closed immersion. Emphasizing the relative point of view, one might equivalently define a scheme to be separated if the unique morphism
901:
1464:
1407:
219:
1490:
1457:
843:
975:
1399:
536:
1031:
is separated, because the diagonal corresponds to the surjective map of rings (hence is a closed immersion of schemes):
1495:
892:
1225:
484:
475:
1394:
605:
60:
106:
1309:
1135:
be a scheme obtained by identifying two affine lines through the identity map except at the origins (see
261:
1180:
1142:
650:
459:
111:
17:
152:
1437:
1282:
1403:
1358:
1353:
885:
471:
429:
389:
225:
22:
1441:
1389:
1219:
is by intersecting (restricting) their cartesian product with (to) the diagonal: precisely,
423:
1417:
347:
320:
191:
1413:
1184:
1189:
1213:
1118:
823:
799:
775:
744:
724:
700:
300:
1484:
1136:
718:
1103:{\displaystyle A\otimes _{\mathbb {Z} }A\rightarrow A,a\otimes a'\mapsto a\cdot a'}
961:{\displaystyle Y{\stackrel {\Delta }{\longrightarrow }}Y\times Y,\,y\mapsto (y,y)}
1429:
765:
as a closed subscheme — in other words, the diagonal morphism is a
762:
1139:). It is not separated. Indeed, the image of the diagonal morphism
1171:
image has two origins, while its closure contains four origins.
1020:, which is different from the product of topological spaces.
462:
if and only if the diagonal embedding is an open immersion.
874:{\displaystyle X\rightarrow {\textrm {Spec}}(\mathbb {Z} )}
1013:{\displaystyle X\times _{{\textrm {Spec}}(\mathbb {Z} )}X}
105:
is a morphism determined by the universal property of the
1445:
1312:
1285:
1228:
1192:
1145:
1121:
1041:
978:
904:
846:
826:
802:
778:
747:
727:
703:
653:
608:
539:
487:
432:
392:
350:
323:
303:
264:
228:
194:
155:
114:
63:
25:
595:{\displaystyle X\times _{k}X=\{(x,y)\in X\times X\}}
1336:
1298:
1268:
1204:
1163:
1127:
1102:
1012:
960:
873:
832:
808:
784:
753:
733:
709:
677:
639:
594:
517:
450:
410:
363:
344:. The diagonal embedding is the graph morphism of
336:
309:
289:
246:
207:
180:
133:
94:
43:
1269:{\displaystyle A\cdot B=\delta ^{*}(A\times B)}
518:{\displaystyle p:X\to \operatorname {Spec} (k)}
1465:
1306:is the pullback along the diagonal embedding
8:
589:
559:
1402:, vol. 52, New York: Springer-Verlag,
1472:
1458:
1377:
640:{\displaystyle \delta :X\to X\times _{k}X}
95:{\displaystyle \delta :X\to X\times _{S}X}
1311:
1290:
1284:
1245:
1227:
1191:
1144:
1120:
1051:
1050:
1049:
1040:
998:
997:
988:
987:
986:
977:
936:
916:
911:
909:
908:
903:
864:
863:
854:
853:
845:
825:
801:
777:
746:
726:
702:
652:
628:
607:
547:
538:
486:
431:
391:
355:
349:
328:
322:
302:
278:
263:
227:
199:
193:
160:
154:
122:
113:
83:
62:
24:
1370:
1337:{\displaystyle \delta :X\to X\times X}
685:; whence the name diagonal morphism.
525:the structure map. Then, identifying
458:locally of finite presentation is an
7:
1426:
1424:
1444:. You can help Knowledge (XXG) by
917:
290:{\displaystyle X\to X\times _{S}Y}
14:
1428:
422:) if the diagonal morphism is a
16:In algebraic geometry, given a
1322:
1263:
1251:
1164:{\displaystyle S\to S\times S}
1149:
1083:
1060:
1002:
994:
955:
943:
940:
912:
868:
860:
850:
678:{\displaystyle x\mapsto (x,x)}
672:
660:
657:
618:
574:
562:
512:
506:
497:
442:
402:
268:
258:, the graph morphism of it is
238:
172:
73:
35:
1:
1400:Graduate Texts in Mathematics
134:{\displaystyle X\times _{S}X}
1179:A classic way to define the
895:iff the diagonal embedding
181:{\displaystyle 1_{X}:X\to X}
1299:{\displaystyle \delta ^{*}}
772:As a consequence, a scheme
470:As an example, consider an
1512:
1423:
1175:Use in intersection theory
476:algebraically closed field
218:It is a special case of a
1491:Algebraic geometry stubs
451:{\displaystyle p:X\to S}
411:{\displaystyle p:X\to S}
247:{\displaystyle f:X\to Y}
149:applied to the identity
44:{\displaystyle p:X\to S}
1440:–related article is a
1338:
1300:
1270:
1206:
1165:
1137:gluing scheme#Examples
1129:
1104:
1014:
962:
875:
834:
810:
786:
755:
735:
711:
679:
641:
596:
519:
452:
412:
365:
338:
311:
291:
248:
209:
182:
135:
96:
45:
1339:
1301:
1271:
1207:
1166:
1130:
1105:
1015:
963:
876:
835:
811:
796:when the diagonal of
787:
756:
736:
712:
680:
642:
597:
520:
453:
413:
366:
364:{\displaystyle 1_{X}}
339:
337:{\displaystyle 1_{X}}
312:
292:
249:
210:
208:{\displaystyle 1_{X}}
183:
136:
97:
46:
1310:
1283:
1226:
1190:
1181:intersection product
1143:
1119:
1039:
976:
902:
844:
824:
800:
776:
745:
725:
701:
651:
606:
537:
529:with the set of its
485:
430:
390:
348:
321:
301:
262:
226:
192:
153:
112:
61:
23:
1205:{\displaystyle A,B}
460:unramified morphism
426:. Also, a morphism
222:: given a morphism
18:morphism of schemes
1496:Algebraic geometry
1438:algebraic geometry
1395:Algebraic Geometry
1334:
1296:
1266:
1202:
1161:
1125:
1100:
1010:
958:
871:
830:
806:
782:
751:
741:with itself along
731:
707:
695:separated morphism
689:Separated morphism
675:
637:
592:
533:-rational points,
515:
448:
420:separated morphism
408:
361:
334:
307:
287:
244:
205:
178:
131:
92:
41:
1453:
1452:
1409:978-0-387-90244-9
1390:Hartshorne, Robin
1359:Diagonal morphism
1354:regular embedding
1128:{\displaystyle S}
991:
921:
886:topological space
857:
833:{\displaystyle X}
809:{\displaystyle X}
785:{\displaystyle X}
754:{\displaystyle f}
734:{\displaystyle f}
710:{\displaystyle f}
472:algebraic variety
317:and the identity
310:{\displaystyle f}
188:and the identity
53:diagonal morphism
1503:
1474:
1467:
1460:
1432:
1425:
1420:
1381:
1380:, Example 4.0.1.
1375:
1343:
1341:
1340:
1335:
1305:
1303:
1302:
1297:
1295:
1294:
1275:
1273:
1272:
1267:
1250:
1249:
1211:
1209:
1208:
1203:
1185:algebraic cycles
1170:
1168:
1167:
1162:
1134:
1132:
1131:
1126:
1109:
1107:
1106:
1101:
1099:
1082:
1056:
1055:
1054:
1019:
1017:
1016:
1011:
1006:
1005:
1001:
993:
992:
989:
967:
965:
964:
959:
923:
922:
920:
915:
910:
880:
878:
877:
872:
867:
859:
858:
855:
839:
837:
836:
831:
815:
813:
812:
807:
791:
789:
788:
783:
767:closed immersion
760:
758:
757:
752:
740:
738:
737:
732:
716:
714:
713:
708:
684:
682:
681:
676:
646:
644:
643:
638:
633:
632:
601:
599:
598:
593:
552:
551:
524:
522:
521:
516:
457:
455:
454:
449:
424:closed immersion
417:
415:
414:
409:
380:separated scheme
370:
368:
367:
362:
360:
359:
343:
341:
340:
335:
333:
332:
316:
314:
313:
308:
296:
294:
293:
288:
283:
282:
253:
251:
250:
245:
214:
212:
211:
206:
204:
203:
187:
185:
184:
179:
165:
164:
140:
138:
137:
132:
127:
126:
101:
99:
98:
93:
88:
87:
50:
48:
47:
42:
1511:
1510:
1506:
1505:
1504:
1502:
1501:
1500:
1481:
1480:
1479:
1478:
1410:
1388:
1385:
1384:
1378:Hartshorne 1977
1376:
1372:
1367:
1350:
1308:
1307:
1286:
1281:
1280:
1241:
1224:
1223:
1188:
1187:
1177:
1141:
1140:
1117:
1116:
1092:
1075:
1045:
1037:
1036:
982:
974:
973:
900:
899:
842:
841:
822:
821:
798:
797:
774:
773:
743:
742:
723:
722:
699:
698:
691:
649:
648:
624:
604:
603:
543:
535:
534:
483:
482:
468:
428:
427:
388:
387:
374:By definition,
351:
346:
345:
324:
319:
318:
299:
298:
274:
260:
259:
224:
223:
195:
190:
189:
156:
151:
150:
118:
110:
109:
79:
59:
58:
21:
20:
12:
11:
5:
1509:
1507:
1499:
1498:
1493:
1483:
1482:
1477:
1476:
1469:
1462:
1454:
1451:
1450:
1433:
1422:
1421:
1408:
1383:
1382:
1369:
1368:
1366:
1363:
1362:
1361:
1356:
1349:
1346:
1333:
1330:
1327:
1324:
1321:
1318:
1315:
1293:
1289:
1277:
1276:
1265:
1262:
1259:
1256:
1253:
1248:
1244:
1240:
1237:
1234:
1231:
1214:smooth variety
1201:
1198:
1195:
1176:
1173:
1160:
1157:
1154:
1151:
1148:
1124:
1113:
1112:
1098:
1095:
1091:
1088:
1085:
1081:
1078:
1074:
1071:
1068:
1065:
1062:
1059:
1053:
1048:
1044:
1009:
1004:
1000:
996:
985:
981:
969:
968:
957:
954:
951:
948:
945:
942:
939:
935:
932:
929:
926:
919:
914:
907:
884:Notice that a
881:is separated.
870:
866:
862:
852:
849:
829:
818:scheme product
805:
781:
750:
730:
717:such that the
706:
697:is a morphism
690:
687:
674:
671:
668:
665:
662:
659:
656:
636:
631:
627:
623:
620:
617:
614:
611:
591:
588:
585:
582:
579:
576:
573:
570:
567:
564:
561:
558:
555:
550:
546:
542:
514:
511:
508:
505:
502:
499:
496:
493:
490:
467:
464:
447:
444:
441:
438:
435:
407:
404:
401:
398:
395:
358:
354:
331:
327:
306:
286:
281:
277:
273:
270:
267:
243:
240:
237:
234:
231:
220:graph morphism
202:
198:
177:
174:
171:
168:
163:
159:
130:
125:
121:
117:
103:
102:
91:
86:
82:
78:
75:
72:
69:
66:
40:
37:
34:
31:
28:
13:
10:
9:
6:
4:
3:
2:
1508:
1497:
1494:
1492:
1489:
1488:
1486:
1475:
1470:
1468:
1463:
1461:
1456:
1455:
1449:
1447:
1443:
1439:
1434:
1431:
1427:
1419:
1415:
1411:
1405:
1401:
1397:
1396:
1391:
1387:
1386:
1379:
1374:
1371:
1364:
1360:
1357:
1355:
1352:
1351:
1347:
1345:
1331:
1328:
1325:
1319:
1316:
1313:
1291:
1287:
1260:
1257:
1254:
1246:
1242:
1238:
1235:
1232:
1229:
1222:
1221:
1220:
1218:
1215:
1199:
1196:
1193:
1186:
1182:
1174:
1172:
1158:
1155:
1152:
1146:
1138:
1122:
1110:
1096:
1093:
1089:
1086:
1079:
1076:
1072:
1069:
1066:
1063:
1057:
1046:
1042:
1034:
1033:
1032:
1030:
1026:
1021:
1007:
983:
979:
952:
949:
946:
937:
933:
930:
927:
924:
905:
898:
897:
896:
894:
890:
887:
882:
847:
827:
819:
803:
795:
779:
770:
768:
764:
748:
728:
720:
719:fiber product
704:
696:
688:
686:
669:
666:
663:
654:
634:
629:
625:
621:
615:
612:
609:
586:
583:
580:
577:
571:
568:
565:
556:
553:
548:
544:
540:
532:
528:
509:
503:
500:
494:
491:
488:
480:
477:
473:
465:
463:
461:
445:
439:
436:
433:
425:
421:
405:
399:
396:
393:
385:
381:
377:
372:
356:
352:
329:
325:
304:
284:
279:
275:
271:
265:
257:
241:
235:
232:
229:
221:
216:
200:
196:
175:
169:
166:
161:
157:
148:
144:
128:
123:
119:
115:
108:
107:fiber product
89:
84:
80:
76:
70:
67:
64:
57:
56:
55:
54:
38:
32:
29:
26:
19:
1446:expanding it
1435:
1393:
1373:
1278:
1216:
1178:
1114:
1035:
1028:
1024:
1022:
970:
888:
883:
817:
793:
771:
766:
694:
692:
647:is given as
530:
526:
478:
469:
419:
383:
379:
375:
373:
255:
217:
146:
142:
104:
52:
15:
816:within the
466:Explanation
297:induced by
1485:Categories
1365:References
1329:×
1323:→
1314:δ
1292:∗
1288:δ
1258:×
1247:∗
1243:δ
1233:⋅
1156:×
1150:→
1090:⋅
1084:↦
1073:⊗
1061:→
1047:⊗
984:×
972:schemes)
941:↦
928:×
918:Δ
913:⟶
893:Hausdorff
851:→
794:separated
658:↦
626:×
619:→
610:δ
584:×
578:∈
545:×
504:
498:→
443:→
403:→
276:×
269:→
239:→
173:→
120:×
81:×
74:→
65:δ
36:→
1392:(1977),
1348:See also
1097:′
1080:′
763:diagonal
761:has its
474:over an
1418:0463157
1027:scheme
1416:
1406:
1279:where
1029:Spec A
1025:affine
51:, the
1436:This
1212:on a
418:is a
382:over
378:is a
254:over
1442:stub
1404:ISBN
1115:Let
1023:Any
990:Spec
856:Spec
602:and
501:Spec
481:and
145:and
1183:of
891:is
820:of
792:is
721:of
141:of
1487::
1414:MR
1412:,
1398:,
1344:.
769:.
693:A
371:.
215:.
1473:e
1466:t
1459:v
1448:.
1332:X
1326:X
1320:X
1317::
1264:)
1261:B
1255:A
1252:(
1239:=
1236:B
1230:A
1217:X
1200:B
1197:,
1194:A
1159:S
1153:S
1147:S
1123:S
1111:.
1094:a
1087:a
1077:a
1070:a
1067:,
1064:A
1058:A
1052:Z
1043:A
1008:X
1003:)
999:Z
995:(
980:X
956:)
953:y
950:,
947:y
944:(
938:y
934:,
931:Y
925:Y
906:Y
889:Y
869:)
865:Z
861:(
848:X
828:X
804:X
780:X
749:f
729:f
705:f
673:)
670:x
667:,
664:x
661:(
655:x
635:X
630:k
622:X
616:X
613::
590:}
587:X
581:X
575:)
572:y
569:,
566:x
563:(
560:{
557:=
554:X
549:k
541:X
531:k
527:X
513:)
510:k
507:(
495:X
492::
489:p
479:k
446:S
440:X
437::
434:p
406:S
400:X
397::
394:p
386:(
384:S
376:X
357:X
353:1
330:X
326:1
305:f
285:Y
280:S
272:X
266:X
256:S
242:Y
236:X
233::
230:f
201:X
197:1
176:X
170:X
167::
162:X
158:1
147:p
143:p
129:X
124:S
116:X
90:X
85:S
77:X
71:X
68::
39:S
33:X
30::
27:p
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.