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