242:
431:
937:
130:
with certain properties. (There are different conventions for exactly which schemes should be called "varieties". One standard choice is that a variety over a field
1305:
369:
1113:
might be the empty scheme, in which case the pulled-back morphism loses all information about the original morphism. But if the morphism
1137:. Properties that descend include flatness, smoothness, properness, and many other classes of morphisms. These results form part of
60:
845:
303:
up to a unique isomorphism, if it exists. The proof that fiber products of schemes always do exist reduces the problem to the
31:
is a fundamental construction. It has many interpretations and special cases. For example, the fiber product describes how an
1352:
39:
determines a variety over a bigger field, or the pullback of a family of varieties, or a fiber of a family of varieties.
135:
1344:
1008:
290:
that makes the diagram commute. As always with universal properties, this condition determines the scheme
139:
304:
194:
1339:
1395:
1292:
1138:
1126:
52:
1166:) is faithfully flat and quasi-compact. So the descent results mentioned imply that a scheme
1143:
1362:
1326:
56:
8:
250:
64:
36:
254:
115:
24:
1348:
664:
32:
1296:
1334:
1314:
659:
defined by the same equation. Many properties of an algebraic variety over a field
601:
481:
100:
1358:
1322:
1300:
1077:, and many other classes of morphisms are preserved under arbitrary base change.
1074:
1070:
545:
89:
976:. This is immediate from the universal property of the fiber product of schemes.
820:
642:
308:
1389:
1066:
719:
324:
1273:
1257:
1241:
1207:
59:
is a broad setting for algebraic geometry. A fruitful philosophy (known as
764:). This concept helps to justify the rough idea of a morphism of schemes
618:
20:
1318:
1222:
Grothendieck, EGA I, Théorème 3.2.6; Hartshorne (1977), Theorem II.3.3.
1019:, with its natural scheme structure. The same goes for open subschemes.
193:
Formally: it is a useful property of the category of schemes that the
1109:
have property P? Clearly this is impossible in general: for example,
480:
In some cases, the fiber product of schemes has a right adjoint, the
157:
can be imagined as a family of schemes parametrized by the points of
426:{\displaystyle X\times _{Y}Z=\operatorname {Spec} (A\otimes _{B}C).}
1377:
525:)). For example, the product of affine spaces A and A over a field
241:
63:) is that much of algebraic geometry should be developed for a
1301:"Éléments de géométrie algébrique: I. Le langage des schémas"
1084:
refers to the reverse question: if the pulled-back morphism
1191:. The same goes for properness and many other properties.
932:{\displaystyle (X\times _{Y}Z)(k)=X(k)\times _{Y(k)}Z(k).}
122:). The older notion of an algebraic variety over a field
1028:
Some important properties P of morphisms of schemes are
92:, one can study families of curves over any base scheme
1375:
169:, there should be a "pullback" family of schemes over
1291:
848:
372:
197:
always exists. That is, for any morphisms of schemes
521:(which is shorthand for the fiber product over Spec(
487:
931:
663:can be defined in terms of its base change to the
425:
1048:is any morphism of schemes, then the base change
1387:
1101:has some property P, must the original morphism
96:. Indeed, the two approaches enrich each other.
257:with that property. That is, for any scheme
1347:, vol. 52, New York: Springer-Verlag,
273:are equal, there is a unique morphism from
88:. For example, rather than simply studying
1333:
1023:
161:. Given a morphism from some other scheme
363:, the fiber product is the affine scheme
493:In the category of schemes over a field
1129:, then many properties do descend from
772:as a family of schemes parametrized by
1388:
1266:
1250:
1234:
1200:
1030:preserved under arbitrary base change
61:Grothendieck's relative point of view
1306:Publications Mathématiques de l'IHÉS
1121:is flat and surjective (also called
756:)); this is a scheme over the field
671:, which makes the situation simpler.
173:. This is exactly the fiber product
305:tensor product of commutative rings
84:), rather than for a single scheme
13:
989:are closed subschemes of a scheme
686:be a morphism of schemes, and let
149:In general, a morphism of schemes
16:Construction in algebraic geometry
14:
1407:
1369:
1150:Example: for any field extension
960:can be identified with a pair of
488:Interpretations and special cases
1231:Hartshorne (1977), section II.3.
738:is defined as the fiber product
694:. Then there is a morphism Spec(
240:
1178:if and only if the base change
126:is equivalent to a scheme over
99:In particular, a scheme over a
1225:
1216:
923:
917:
909:
903:
892:
886:
877:
871:
868:
849:
417:
398:
43:is a closely related notion.
1:
1345:Graduate Texts in Mathematics
1285:
1065:has property P. For example,
351:) for some commutative rings
46:
1376:The Stacks Project Authors,
972:that have the same image in
7:
529:is the affine space A over
10:
1412:
993:, then the fiber product
110:together with a morphism
1275:Stacks Project, Tag 02YJ
1259:Stacks Project, Tag 02WE
1243:Stacks Project, Tag 0C4I
1209:Stacks Project, Tag 020D
1194:
791:be schemes over a field
624:defined by the equation
567:means the fiber product
508:means the fiber product
29:fiber product of schemes
1293:Grothendieck, Alexandre
1144:faithfully flat descent
1024:Base change and descent
311:). In particular, when
933:
482:restriction of scalars
427:
269:whose compositions to
934:
823:of the fiber product
428:
234:, making the diagram
1158:, the morphism Spec(
846:
836:is easy to describe:
600:is the curve in the
370:
213:, there is a scheme
1040:has property P and
65:morphism of schemes
1379:The Stacks Project
1340:Algebraic Geometry
1319:10.1007/bf02684778
929:
815:. Then the set of
596:. For example, if
423:
261:with morphisms to
226:with morphisms to
136:integral separated
25:algebraic geometry
23:, specifically in
1354:978-0-387-90244-9
1335:Hartshorne, Robin
795:, with morphisms
665:algebraic closure
592:is a scheme over
469:via the morphism
248:
247:
74:(called a scheme
33:algebraic variety
1403:
1382:
1365:
1330:
1280:
1278:
1270:
1264:
1262:
1254:
1248:
1246:
1238:
1232:
1229:
1223:
1220:
1214:
1212:
1204:
1075:proper morphisms
1071:smooth morphisms
938:
936:
935:
930:
913:
912:
864:
863:
658:
657:
616:
615:
602:projective plane
461:of the morphism
432:
430:
429:
424:
413:
412:
385:
384:
244:
237:
236:
101:commutative ring
90:algebraic curves
1411:
1410:
1406:
1405:
1404:
1402:
1401:
1400:
1386:
1385:
1372:
1355:
1297:Dieudonné, Jean
1288:
1283:
1272:
1271:
1267:
1256:
1255:
1251:
1240:
1239:
1235:
1230:
1226:
1221:
1217:
1206:
1205:
1201:
1197:
1187:is smooth over
1186:
1174:is smooth over
1123:faithfully flat
1093:
1057:
1026:
1006:is exactly the
1002:
956:
899:
895:
859:
855:
847:
844:
843:
832:
821:rational points
747:
656:
651:
650:
649:
640:
614:
609:
608:
607:
591:
578:
566:
546:field extension
517:
490:
445:
408:
404:
380:
376:
371:
368:
367:
299:
286:
253:, and which is
222:
182:
106:means a scheme
49:
17:
12:
11:
5:
1409:
1399:
1398:
1384:
1383:
1371:
1370:External links
1368:
1367:
1366:
1353:
1331:
1287:
1284:
1282:
1281:
1265:
1249:
1233:
1224:
1215:
1198:
1196:
1193:
1182:
1089:
1067:flat morphisms
1053:
1032:. That is, if
1025:
1022:
1021:
1020:
998:
978:
977:
952:
941:
940:
939:
928:
925:
922:
919:
916:
911:
908:
905:
902:
898:
894:
891:
888:
885:
882:
879:
876:
873:
870:
867:
862:
858:
854:
851:
838:
837:
828:
777:
743:
690:be a point in
672:
652:
636:
610:
587:
572:
562:
534:
513:
489:
486:
453:is called the
441:
434:
433:
422:
419:
416:
411:
407:
403:
400:
397:
394:
391:
388:
383:
379:
375:
325:affine schemes
309:gluing schemes
295:
282:
246:
245:
218:
178:
48:
45:
15:
9:
6:
4:
3:
2:
1408:
1397:
1396:Scheme theory
1394:
1393:
1391:
1381:
1380:
1374:
1373:
1364:
1360:
1356:
1350:
1346:
1342:
1341:
1336:
1332:
1328:
1324:
1320:
1316:
1312:
1308:
1307:
1302:
1298:
1294:
1290:
1289:
1277:
1276:
1269:
1261:
1260:
1253:
1245:
1244:
1237:
1228:
1219:
1211:
1210:
1203:
1199:
1192:
1190:
1185:
1181:
1177:
1173:
1169:
1165:
1161:
1157:
1153:
1148:
1146:
1145:
1141:'s theory of
1140:
1136:
1132:
1128:
1127:quasi-compact
1124:
1120:
1116:
1112:
1108:
1104:
1100:
1096:
1092:
1087:
1083:
1078:
1076:
1072:
1068:
1064:
1060:
1056:
1051:
1047:
1043:
1039:
1035:
1031:
1018:
1014:
1011:
1010:
1005:
1001:
996:
992:
988:
984:
980:
979:
975:
971:
967:
963:
959:
955:
950:
946:
942:
926:
920:
914:
906:
900:
896:
889:
883:
880:
874:
865:
860:
856:
852:
842:
841:
840:
839:
835:
831:
826:
822:
818:
814:
810:
806:
802:
798:
794:
790:
786:
782:
778:
775:
771:
767:
763:
759:
755:
751:
746:
741:
737:
733:
729:
725:
721:
720:residue field
717:
713:
709:
705:
701:
697:
693:
689:
685:
681:
677:
673:
670:
666:
662:
655:
648:
644:
639:
635:
631:
627:
623:
620:
613:
606:
603:
599:
595:
590:
586:
582:
576:
570:
565:
561:
558:
554:
550:
547:
543:
540:over a field
539:
536:For a scheme
535:
532:
528:
524:
520:
516:
511:
507:
503:
500:
496:
492:
491:
485:
483:
478:
476:
472:
468:
464:
460:
456:
452:
448:
444:
439:
436:The morphism
420:
414:
409:
405:
401:
395:
392:
389:
386:
381:
377:
373:
366:
365:
364:
362:
358:
354:
350:
346:
342:
338:
334:
330:
326:
322:
318:
314:
310:
306:
302:
298:
293:
289:
285:
280:
276:
272:
268:
264:
260:
256:
252:
243:
239:
238:
235:
233:
229:
225:
221:
216:
212:
208:
204:
200:
196:
195:fiber product
191:
189:
185:
181:
176:
172:
168:
164:
160:
156:
152:
147:
145:
141:
137:
133:
129:
125:
121:
117:
113:
109:
105:
102:
97:
95:
91:
87:
83:
80:
77:
73:
69:
66:
62:
58:
54:
44:
42:
38:
34:
30:
26:
22:
1378:
1338:
1310:
1304:
1274:
1268:
1258:
1252:
1242:
1236:
1227:
1218:
1208:
1202:
1188:
1183:
1179:
1175:
1171:
1167:
1163:
1159:
1155:
1151:
1149:
1142:
1139:Grothendieck
1134:
1130:
1122:
1118:
1114:
1110:
1106:
1102:
1098:
1094:
1090:
1085:
1081:
1079:
1062:
1058:
1054:
1049:
1045:
1041:
1037:
1033:
1029:
1027:
1016:
1012:
1009:intersection
1007:
1003:
999:
994:
990:
986:
982:
973:
969:
965:
961:
957:
953:
948:
944:
833:
829:
824:
816:
812:
808:
804:
800:
796:
792:
788:
784:
780:
773:
769:
765:
761:
757:
753:
749:
744:
739:
735:
731:
727:
723:
715:
711:
707:
703:
699:
695:
691:
687:
683:
679:
675:
668:
660:
653:
646:
637:
633:
629:
625:
621:
619:real numbers
611:
604:
597:
593:
588:
584:
580:
574:
568:
563:
559:
556:
552:
548:
541:
537:
530:
526:
522:
518:
514:
509:
505:
501:
498:
494:
479:
474:
470:
466:
462:
458:
454:
450:
446:
442:
437:
435:
360:
356:
352:
348:
344:
340:
336:
332:
328:
320:
316:
312:
300:
296:
291:
287:
283:
278:
274:
270:
266:
262:
258:
249:
231:
227:
223:
219:
214:
210:
206:
202:
198:
192:
187:
183:
179:
174:
170:
166:
162:
158:
154:
150:
148:
143:
131:
127:
123:
119:
111:
107:
103:
98:
93:
85:
81:
78:
75:
71:
67:
50:
40:
28:
18:
964:-points of
943:That is, a
706:with image
557:base change
455:base change
251:commutative
140:finite type
41:Base change
21:mathematics
1286:References
947:-point of
138:scheme of
47:Definition
1162:) → Spec(
1080:The word
897:×
857:×
718:) is the
645:curve in
617:over the
406:⊗
396:
378:×
255:universal
134:means an
35:over one
1390:Category
1337:(1977),
1299:(1960).
710:, where
583:). Here
544:and any
459:pullback
323:are all
53:category
1363:0463157
1327:0217083
1082:descent
643:complex
641:is the
632:, then
499:product
347:= Spec(
343:), and
339:= Spec(
331:= Spec(
57:schemes
1361:
1351:
1325:
1125:) and
787:, and
726:. The
555:, the
497:, the
319:, and
27:, the
1195:Notes
1170:over
811:over
748:Spec(
734:over
728:fiber
702:)) →
579:Spec(
573:Spec(
327:, so
307:(cf.
142:over
37:field
1349:ISBN
985:and
968:and
803:and
779:Let
674:Let
393:Spec
265:and
230:and
205:and
116:Spec
79:over
51:The
1315:doi
1133:to
981:If
730:of
722:of
667:of
628:= 7
551:of
457:or
335:),
277:to
165:to
146:.)
55:of
19:In
1392::
1359:MR
1357:,
1343:,
1323:MR
1321:.
1313:.
1309:.
1303:.
1295:;
1154:⊂
1147:.
1117:→
1105:→
1097:→
1073:,
1069:,
1061:→
1044:→
1036:→
1015:∩
807:→
799:→
783:,
768:→
682:→
678::
626:xy
504:×
484:.
477:.
473:→
465:→
449:→
315:,
209:→
201:→
190:.
186:→
153:→
114:→
70:→
1329:.
1317::
1311:4
1279:.
1263:.
1247:.
1213:.
1189:E
1184:E
1180:X
1176:k
1172:k
1168:X
1164:k
1160:E
1156:E
1152:k
1135:Y
1131:Z
1119:Y
1115:Z
1111:Z
1107:Y
1103:X
1099:Z
1095:Z
1091:Y
1088:x
1086:X
1063:Z
1059:Z
1055:Y
1052:x
1050:X
1046:Y
1042:Z
1038:Y
1034:X
1017:Z
1013:X
1004:Z
1000:Y
997:x
995:X
991:Y
987:Z
983:X
974:Y
970:Z
966:X
962:k
958:Z
954:Y
951:x
949:X
945:k
927:.
924:)
921:k
918:(
915:Z
910:)
907:k
904:(
901:Y
893:)
890:k
887:(
884:X
881:=
878:)
875:k
872:(
869:)
866:Z
861:Y
853:X
850:(
834:Z
830:Y
827:x
825:X
819:-
817:k
813:k
809:Y
805:Z
801:Y
797:X
793:k
789:Z
785:Y
781:X
776:.
774:Y
770:Y
766:X
762:y
760:(
758:k
754:y
752:(
750:k
745:Y
742:×
740:X
736:y
732:f
724:y
716:y
714:(
712:k
708:y
704:Y
700:y
698:(
696:k
692:Y
688:y
684:Y
680:X
676:f
669:k
661:k
654:C
647:P
638:C
634:X
630:z
622:R
612:R
605:P
598:X
594:E
589:E
585:X
581:E
577:)
575:k
571:×
569:X
564:E
560:X
553:k
549:E
542:k
538:X
533:.
531:k
527:k
523:k
519:Y
515:k
512:×
510:X
506:Y
502:X
495:k
475:Y
471:Z
467:Y
463:X
451:Z
447:Z
443:Y
440:×
438:X
421:.
418:)
415:C
410:B
402:A
399:(
390:=
387:Z
382:Y
374:X
361:C
359:,
357:B
355:,
353:A
349:C
345:Z
341:B
337:Y
333:A
329:X
321:Z
317:Y
313:X
301:Z
297:Y
294:×
292:X
288:Z
284:Y
281:×
279:X
275:W
271:Y
267:Z
263:X
259:W
232:Z
228:X
224:Z
220:Y
217:×
215:X
211:Y
207:Z
203:Y
199:X
188:Z
184:Z
180:Y
177:×
175:X
171:Z
167:Y
163:Z
159:Y
155:Y
151:X
144:k
132:k
128:k
124:k
120:R
118:(
112:X
108:X
104:R
94:Y
86:X
82:Y
76:X
72:Y
68:X
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.