885:
2059:
1040:
1926:
The category of schemes admits finite pullbacks and in some cases finite pushouts; they both are constructed by gluing affine schemes. For affine schemes, fiber products and pushouts correspond to tensor products and fiber squares of algebras.
1391:
781:
411:
223:
475:
1132:
838:
312:
1526:
1455:
673:
935:
1881:
1283:
575:
1809:
1608:
98:
1783:
1247:
1177:
521:
1910:
1637:
1697:
2100:
1573:
605:
926:
906:
868:
154:
255:
1743:
1309:
1207:
124:
1829:
1717:
1318:
679:
2093:
2011:
1831:
is obtained by identifying two parallel lines except the origin; i.e., it is an affine line with the doubled origin. (It can be shown that
319:
159:
2119:
418:
2086:
1049:
787:
2003:
263:
1460:
1399:
1035:{\displaystyle X=\operatorname {Spec} (k)\simeq \mathbb {A} ^{1},Y=\operatorname {Spec} (k)\simeq \mathbb {A} ^{1}}
616:
1998:
1921:
1850:
1252:
2124:
534:
1788:
1578:
57:
1843:.) In contrast, if two lines are glued so that origin on the one line corresponds to the (illusionary)
1748:
1212:
1137:
480:
1886:
1613:
1650:
31:
2066:
1534:
583:
2007:
1844:
888:
The projective line is obtained by gluing two affine lines so that the origin and illusionary
35:
2070:
911:
891:
1993:
1840:
843:
129:
2021:
228:
2017:
1722:
1288:
1186:
103:
2043:
1814:
1702:
2113:
884:
1639:
is covered by the two open affine charts whose affine rings are of the above form.
1981:"Section 37.14 (07RS): Pushouts in the category of schemes, I—The Stacks project"
2058:
17:
2047:
1980:
2029:
1386:{\displaystyle \Gamma (X,{\mathcal {O}}_{Z}),\Gamma (Y,{\mathcal {O}}_{Z})}
776:{\displaystyle \psi _{i}(U_{ij})=\psi _{i}(X_{i})\cap \psi _{j}(X_{j}),}
1883:, then the resulting scheme is, at least visually, the projective line
883:
406:{\displaystyle \varphi _{ij}(U_{ij}\cap U_{ik})=U_{ji}\cap U_{jk}}
218:{\displaystyle \varphi _{ij}:U_{ij}{\overset {\sim }{\to }}U_{ji}}
1531:
where the two rings are viewed as subrings of the function field
225:. Now, if the isomorphisms are compatible in the sense: for each
470:{\displaystyle \varphi _{jk}\circ \varphi _{ij}=\varphi _{ik}}
1479:
1418:
1369:
1337:
1127:{\displaystyle X_{t}=\{t\neq 0\}=\operatorname {Spec} (k)}
54:
Suppose there is a (possibly infinite) family of schemes
1393:
are both polynomial rings in one variable in such a way
2074:
833:{\displaystyle \psi _{i}=\psi _{j}\circ \varphi _{ij}}
1889:
1853:
1817:
1791:
1751:
1725:
1705:
1653:
1616:
1581:
1537:
1463:
1402:
1321:
1291:
1255:
1215:
1189:
1140:
1052:
938:
914:
894:
846:
790:
682:
619:
586:
537:
483:
421:
322:
266:
231:
162:
132:
106:
60:
1904:
1875:
1823:
1803:
1777:
1737:
1711:
1691:
1631:
1602:
1567:
1520:
1449:
1385:
1303:
1277:
1241:
1201:
1171:
1126:
1034:
920:
900:
862:
832:
775:
667:
599:
569:
515:
469:
405:
306:
249:
217:
148:
118:
92:
307:{\displaystyle \varphi _{ij}=\varphi _{ji}^{-1}}
1521:{\displaystyle \Gamma (Y,{\mathcal {O}}_{Z})=k}
1450:{\displaystyle \Gamma (X,{\mathcal {O}}_{Z})=k}
928:and the origin on the other line, respectively.
1699:be as in the above example. But this time let
1042:be two copies of the affine line over a field
2094:
2030:"Math 216: Foundations of algebraic geometry"
1847:for the other line; i.e, use the isomrophism
8:
1166:
1154:
1078:
1066:
668:{\displaystyle X=\cup _{i}\psi _{i}(X_{i}),}
75:
61:
2006:, vol. 52, New York: Springer-Verlag,
2101:
2087:
1943:
1896:
1892:
1891:
1888:
1858:
1852:
1816:
1790:
1769:
1756:
1750:
1724:
1704:
1683:
1670:
1652:
1623:
1619:
1618:
1615:
1594:
1590:
1589:
1580:
1536:
1506:
1484:
1478:
1477:
1462:
1423:
1417:
1416:
1401:
1374:
1368:
1367:
1342:
1336:
1335:
1320:
1290:
1260:
1254:
1233:
1220:
1214:
1188:
1145:
1139:
1109:
1057:
1051:
1026:
1022:
1021:
978:
974:
973:
937:
913:
893:
851:
845:
821:
808:
795:
789:
761:
748:
732:
719:
700:
687:
681:
653:
640:
630:
618:
607:is an isomorphism onto an open subset of
591:
585:
555:
542:
536:
504:
488:
482:
458:
442:
426:
420:
394:
378:
359:
343:
327:
321:
295:
287:
271:
265:
230:
206:
192:
183:
167:
161:
137:
131:
105:
78:
68:
59:
1936:
1876:{\displaystyle t^{-1}\leftrightarrow u}
1278:{\displaystyle t^{-1}\leftrightarrow u}
908:on one line corresponds to illusionary
1916:Fiber products and pushouts of schemes
1967:
1955:
1719:denote the scheme obtained by gluing
1183:denote the scheme obtained by gluing
7:
2055:
2053:
1134:be the complement of the origin and
570:{\displaystyle \psi _{i}:X_{i}\to X}
2073:. You can help Knowledge (XXG) by
1804:{\displaystyle t\leftrightarrow u}
1603:{\displaystyle Z=\mathbb {P} ^{1}}
1464:
1403:
1354:
1322:
915:
895:
93:{\displaystyle \{X_{i}\}_{i\in I}}
25:
2028:Vakil, Ravi (November 18, 2017).
1778:{\displaystyle X_{t}\simeq Y_{u}}
1242:{\displaystyle X_{t}\simeq Y_{u}}
1172:{\displaystyle Y_{u}=\{u\neq 0\}}
516:{\displaystyle U_{ij}\cap U_{ik}}
2057:
1905:{\displaystyle \mathbb {P} ^{1}}
1632:{\displaystyle \mathbb {P} ^{1}}
1692:{\displaystyle X,Y,X_{t},Y_{u}}
1643:Affine line with doubled origin
1867:
1795:
1562:
1556:
1547:
1541:
1515:
1499:
1490:
1467:
1444:
1438:
1429:
1406:
1380:
1357:
1348:
1325:
1269:
1121:
1118:
1096:
1090:
1014:
1011:
1005:
999:
966:
963:
957:
951:
767:
754:
738:
725:
709:
693:
659:
646:
561:
531:, together with the morphisms
368:
336:
194:
1:
2004:Graduate Texts in Mathematics
30:In algebraic geometry, a new
527:then there exists a scheme
2141:
2052:
1919:
1610:; because, by definition,
1568:{\displaystyle k(Z)=k(s)}
1311:with the open subsets of
600:{\displaystyle \psi _{i}}
126:, there are open subsets
2120:Algebraic geometry stubs
1946:, Ch. II, Exercise 2.12.
1922:Fiber product of schemes
1315:. Now, the affine rings
1179:defined similarly. Let
921:{\displaystyle \infty }
901:{\displaystyle \infty }
2069:–related article is a
1906:
1877:
1825:
1805:
1779:
1745:along the isomorphism
1739:
1713:
1693:
1633:
1604:
1575:. But this means that
1569:
1522:
1451:
1387:
1305:
1279:
1243:
1209:along the isomorphism
1203:
1173:
1128:
1036:
929:
922:
902:
864:
863:{\displaystyle U_{ij}}
834:
777:
669:
601:
571:
517:
471:
407:
308:
251:
219:
150:
149:{\displaystyle U_{ij}}
120:
94:
2048:26.14 Glueing schemes
1907:
1878:
1826:
1811:. So, geometrically,
1806:
1780:
1740:
1714:
1694:
1634:
1605:
1570:
1523:
1452:
1388:
1306:
1280:
1244:
1204:
1174:
1129:
1037:
923:
903:
887:
865:
835:
778:
670:
602:
572:
518:
472:
408:
309:
252:
250:{\displaystyle i,j,k}
220:
151:
121:
95:
46:through gluing maps.
38:) can be obtained by
1887:
1851:
1815:
1789:
1749:
1723:
1703:
1651:
1614:
1579:
1535:
1461:
1400:
1319:
1289:
1253:
1213:
1187:
1138:
1050:
936:
912:
892:
844:
788:
680:
617:
584:
535:
481:
419:
320:
264:
229:
160:
130:
104:
58:
27:Mathematical concept
1738:{\displaystyle X,Y}
1304:{\displaystyle X,Y}
1202:{\displaystyle X,Y}
303:
119:{\displaystyle i,j}
2067:algebraic geometry
1999:Algebraic Geometry
1902:
1873:
1821:
1801:
1775:
1735:
1709:
1689:
1629:
1600:
1565:
1518:
1447:
1383:
1301:
1275:
1239:
1199:
1169:
1124:
1032:
930:
918:
898:
860:
830:
773:
665:
597:
567:
513:
467:
403:
304:
283:
247:
215:
146:
116:
90:
2082:
2081:
2013:978-0-387-90244-9
1994:Hartshorne, Robin
1845:point at infinity
1824:{\displaystyle Z}
1712:{\displaystyle Z}
200:
156:and isomorphisms
36:algebraic variety
16:(Redirected from
2132:
2103:
2096:
2089:
2061:
2054:
2033:
2024:
1985:
1984:
1977:
1971:
1965:
1959:
1953:
1947:
1941:
1911:
1909:
1908:
1903:
1901:
1900:
1895:
1882:
1880:
1879:
1874:
1866:
1865:
1841:separated scheme
1830:
1828:
1827:
1822:
1810:
1808:
1807:
1802:
1784:
1782:
1781:
1776:
1774:
1773:
1761:
1760:
1744:
1742:
1741:
1736:
1718:
1716:
1715:
1710:
1698:
1696:
1695:
1690:
1688:
1687:
1675:
1674:
1638:
1636:
1635:
1630:
1628:
1627:
1622:
1609:
1607:
1606:
1601:
1599:
1598:
1593:
1574:
1572:
1571:
1566:
1527:
1525:
1524:
1519:
1514:
1513:
1489:
1488:
1483:
1482:
1456:
1454:
1453:
1448:
1428:
1427:
1422:
1421:
1392:
1390:
1389:
1384:
1379:
1378:
1373:
1372:
1347:
1346:
1341:
1340:
1310:
1308:
1307:
1302:
1284:
1282:
1281:
1276:
1268:
1267:
1248:
1246:
1245:
1240:
1238:
1237:
1225:
1224:
1208:
1206:
1205:
1200:
1178:
1176:
1175:
1170:
1150:
1149:
1133:
1131:
1130:
1125:
1117:
1116:
1062:
1061:
1041:
1039:
1038:
1033:
1031:
1030:
1025:
983:
982:
977:
927:
925:
924:
919:
907:
905:
904:
899:
869:
867:
866:
861:
859:
858:
839:
837:
836:
831:
829:
828:
813:
812:
800:
799:
782:
780:
779:
774:
766:
765:
753:
752:
737:
736:
724:
723:
708:
707:
692:
691:
674:
672:
671:
666:
658:
657:
645:
644:
635:
634:
606:
604:
603:
598:
596:
595:
576:
574:
573:
568:
560:
559:
547:
546:
522:
520:
519:
514:
512:
511:
496:
495:
476:
474:
473:
468:
466:
465:
450:
449:
434:
433:
412:
410:
409:
404:
402:
401:
386:
385:
367:
366:
351:
350:
335:
334:
313:
311:
310:
305:
302:
294:
279:
278:
256:
254:
253:
248:
224:
222:
221:
216:
214:
213:
201:
193:
191:
190:
175:
174:
155:
153:
152:
147:
145:
144:
125:
123:
122:
117:
99:
97:
96:
91:
89:
88:
73:
72:
21:
2140:
2139:
2135:
2134:
2133:
2131:
2130:
2129:
2110:
2109:
2108:
2107:
2040:
2038:Further reading
2027:
2014:
1992:
1989:
1988:
1979:
1978:
1974:
1966:
1962:
1954:
1950:
1944:Hartshorne 1977
1942:
1938:
1933:
1924:
1918:
1890:
1885:
1884:
1854:
1849:
1848:
1813:
1812:
1787:
1786:
1765:
1752:
1747:
1746:
1721:
1720:
1701:
1700:
1679:
1666:
1649:
1648:
1645:
1617:
1612:
1611:
1588:
1577:
1576:
1533:
1532:
1502:
1476:
1459:
1458:
1415:
1398:
1397:
1366:
1334:
1317:
1316:
1287:
1286:
1256:
1251:
1250:
1229:
1216:
1211:
1210:
1185:
1184:
1141:
1136:
1135:
1105:
1053:
1048:
1047:
1020:
972:
934:
933:
910:
909:
890:
889:
882:
880:Projective line
877:
847:
842:
841:
817:
804:
791:
786:
785:
757:
744:
728:
715:
696:
683:
678:
677:
649:
636:
626:
615:
614:
587:
582:
581:
551:
538:
533:
532:
500:
484:
479:
478:
454:
438:
422:
417:
416:
390:
374:
355:
339:
323:
318:
317:
267:
262:
261:
227:
226:
202:
179:
163:
158:
157:
133:
128:
127:
102:
101:
74:
64:
56:
55:
52:
28:
23:
22:
15:
12:
11:
5:
2138:
2136:
2128:
2127:
2122:
2112:
2111:
2106:
2105:
2098:
2091:
2083:
2080:
2079:
2062:
2051:
2050:
2044:Stacks Project
2039:
2036:
2035:
2034:
2025:
2012:
1987:
1986:
1972:
1960:
1948:
1935:
1934:
1932:
1929:
1917:
1914:
1899:
1894:
1872:
1869:
1864:
1861:
1857:
1820:
1800:
1797:
1794:
1772:
1768:
1764:
1759:
1755:
1734:
1731:
1728:
1708:
1686:
1682:
1678:
1673:
1669:
1665:
1662:
1659:
1656:
1644:
1641:
1626:
1621:
1597:
1592:
1587:
1584:
1564:
1561:
1558:
1555:
1552:
1549:
1546:
1543:
1540:
1529:
1528:
1517:
1512:
1509:
1505:
1501:
1498:
1495:
1492:
1487:
1481:
1475:
1472:
1469:
1466:
1446:
1443:
1440:
1437:
1434:
1431:
1426:
1420:
1414:
1411:
1408:
1405:
1382:
1377:
1371:
1365:
1362:
1359:
1356:
1353:
1350:
1345:
1339:
1333:
1330:
1327:
1324:
1300:
1297:
1294:
1285:; we identify
1274:
1271:
1266:
1263:
1259:
1236:
1232:
1228:
1223:
1219:
1198:
1195:
1192:
1168:
1165:
1162:
1159:
1156:
1153:
1148:
1144:
1123:
1120:
1115:
1112:
1108:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1083:
1080:
1077:
1074:
1071:
1068:
1065:
1060:
1056:
1029:
1024:
1019:
1016:
1013:
1010:
1007:
1004:
1001:
998:
995:
992:
989:
986:
981:
976:
971:
968:
965:
962:
959:
956:
953:
950:
947:
944:
941:
917:
897:
881:
878:
876:
873:
872:
871:
857:
854:
850:
827:
824:
820:
816:
811:
807:
803:
798:
794:
783:
772:
769:
764:
760:
756:
751:
747:
743:
740:
735:
731:
727:
722:
718:
714:
711:
706:
703:
699:
695:
690:
686:
675:
664:
661:
656:
652:
648:
643:
639:
633:
629:
625:
622:
612:
594:
590:
566:
563:
558:
554:
550:
545:
541:
525:
524:
510:
507:
503:
499:
494:
491:
487:
464:
461:
457:
453:
448:
445:
441:
437:
432:
429:
425:
414:
400:
397:
393:
389:
384:
381:
377:
373:
370:
365:
362:
358:
354:
349:
346:
342:
338:
333:
330:
326:
315:
301:
298:
293:
290:
286:
282:
277:
274:
270:
246:
243:
240:
237:
234:
212:
209:
205:
199:
196:
189:
186:
182:
178:
173:
170:
166:
143:
140:
136:
115:
112:
109:
100:and for pairs
87:
84:
81:
77:
71:
67:
63:
51:
48:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
2137:
2126:
2125:Scheme theory
2123:
2121:
2118:
2117:
2115:
2104:
2099:
2097:
2092:
2090:
2085:
2084:
2078:
2076:
2072:
2068:
2063:
2060:
2056:
2049:
2045:
2042:
2041:
2037:
2031:
2026:
2023:
2019:
2015:
2009:
2005:
2001:
2000:
1995:
1991:
1990:
1982:
1976:
1973:
1969:
1964:
1961:
1957:
1952:
1949:
1945:
1940:
1937:
1930:
1928:
1923:
1915:
1913:
1897:
1870:
1862:
1859:
1855:
1846:
1842:
1838:
1834:
1818:
1798:
1792:
1770:
1766:
1762:
1757:
1753:
1732:
1729:
1726:
1706:
1684:
1680:
1676:
1671:
1667:
1663:
1660:
1657:
1654:
1642:
1640:
1624:
1595:
1585:
1582:
1559:
1553:
1550:
1544:
1538:
1510:
1507:
1503:
1496:
1493:
1485:
1473:
1470:
1441:
1435:
1432:
1424:
1412:
1409:
1396:
1395:
1394:
1375:
1363:
1360:
1351:
1343:
1331:
1328:
1314:
1298:
1295:
1292:
1272:
1264:
1261:
1257:
1234:
1230:
1226:
1221:
1217:
1196:
1193:
1190:
1182:
1163:
1160:
1157:
1151:
1146:
1142:
1113:
1110:
1106:
1102:
1099:
1093:
1087:
1084:
1081:
1075:
1072:
1069:
1063:
1058:
1054:
1045:
1027:
1017:
1008:
1002:
996:
993:
990:
987:
984:
979:
969:
960:
954:
948:
945:
942:
939:
886:
879:
874:
855:
852:
848:
825:
822:
818:
814:
809:
805:
801:
796:
792:
784:
770:
762:
758:
749:
745:
741:
733:
729:
720:
716:
712:
704:
701:
697:
688:
684:
676:
662:
654:
650:
641:
637:
631:
627:
623:
620:
613:
610:
592:
588:
580:
579:
578:
564:
556:
552:
548:
543:
539:
530:
508:
505:
501:
497:
492:
489:
485:
462:
459:
455:
451:
446:
443:
439:
435:
430:
427:
423:
415:
398:
395:
391:
387:
382:
379:
375:
371:
363:
360:
356:
352:
347:
344:
340:
331:
328:
324:
316:
299:
296:
291:
288:
284:
280:
275:
272:
268:
260:
259:
258:
244:
241:
238:
235:
232:
210:
207:
203:
197:
187:
184:
180:
176:
171:
168:
164:
141:
138:
134:
113:
110:
107:
85:
82:
79:
69:
65:
49:
47:
45:
41:
37:
33:
19:
18:Gluing scheme
2075:expanding it
2064:
1997:
1975:
1963:
1951:
1939:
1925:
1836:
1832:
1646:
1530:
1312:
1180:
1043:
931:
608:
528:
526:
53:
43:
39:
29:
2114:Categories
1970:, § 4.4.5.
1968:Vakil 2017
1958:, § 4.4.6.
1956:Vakil 2017
1931:References
1920:See also:
577:such that
1868:↔
1860:−
1796:↔
1785:given by
1763:≃
1508:−
1465:Γ
1404:Γ
1355:Γ
1323:Γ
1270:↔
1262:−
1249:given by
1227:≃
1161:≠
1111:−
1088:
1073:≠
1018:≃
997:
970:≃
949:
916:∞
896:∞
819:φ
815:∘
806:ψ
793:ψ
746:ψ
742:∩
717:ψ
685:ψ
638:ψ
628:∪
589:ψ
562:→
540:ψ
498:∩
456:φ
440:φ
436:∘
424:φ
388:∩
353:∩
325:φ
297:−
285:φ
269:φ
198:∼
195:→
165:φ
83:∈
50:Statement
42:existing
34:(e.g. an
1996:(1977),
875:Examples
2022:0463157
44:schemes
2020:
2010:
1046:. Let
40:gluing
32:scheme
2065:This
2071:stub
2008:ISBN
1647:Let
1457:and
1085:Spec
994:Spec
946:Spec
932:Let
1837:not
1835:is
840:on
477:on
2116::
2046:,
2018:MR
2016:,
2002:,
1912:.
1839:a
257:,
2102:e
2095:t
2088:v
2077:.
2032:.
1983:.
1898:1
1893:P
1871:u
1863:1
1856:t
1833:Z
1819:Z
1799:u
1793:t
1771:u
1767:Y
1758:t
1754:X
1733:Y
1730:,
1727:X
1707:Z
1685:u
1681:Y
1677:,
1672:t
1668:X
1664:,
1661:Y
1658:,
1655:X
1625:1
1620:P
1596:1
1591:P
1586:=
1583:Z
1563:)
1560:s
1557:(
1554:k
1551:=
1548:)
1545:Z
1542:(
1539:k
1516:]
1511:1
1504:s
1500:[
1497:k
1494:=
1491:)
1486:Z
1480:O
1474:,
1471:Y
1468:(
1445:]
1442:s
1439:[
1436:k
1433:=
1430:)
1425:Z
1419:O
1413:,
1410:X
1407:(
1381:)
1376:Z
1370:O
1364:,
1361:Y
1358:(
1352:,
1349:)
1344:Z
1338:O
1332:,
1329:X
1326:(
1313:Z
1299:Y
1296:,
1293:X
1273:u
1265:1
1258:t
1235:u
1231:Y
1222:t
1218:X
1197:Y
1194:,
1191:X
1181:Z
1167:}
1164:0
1158:u
1155:{
1152:=
1147:u
1143:Y
1122:)
1119:]
1114:1
1107:t
1103:,
1100:t
1097:[
1094:k
1091:(
1082:=
1079:}
1076:0
1070:t
1067:{
1064:=
1059:t
1055:X
1044:k
1028:1
1023:A
1015:)
1012:]
1009:u
1006:[
1003:k
1000:(
991:=
988:Y
985:,
980:1
975:A
967:)
964:]
961:t
958:[
955:k
952:(
943:=
940:X
870:.
856:j
853:i
849:U
826:j
823:i
810:j
802:=
797:i
771:,
768:)
763:j
759:X
755:(
750:j
739:)
734:i
730:X
726:(
721:i
713:=
710:)
705:j
702:i
698:U
694:(
689:i
663:,
660:)
655:i
651:X
647:(
642:i
632:i
624:=
621:X
611:,
609:X
593:i
565:X
557:i
553:X
549::
544:i
529:X
523:,
509:k
506:i
502:U
493:j
490:i
486:U
463:k
460:i
452:=
447:j
444:i
431:k
428:j
413:,
399:k
396:j
392:U
383:i
380:j
376:U
372:=
369:)
364:k
361:i
357:U
348:j
345:i
341:U
337:(
332:j
329:i
314:,
300:1
292:i
289:j
281:=
276:j
273:i
245:k
242:,
239:j
236:,
233:i
211:i
208:j
204:U
188:j
185:i
181:U
177::
172:j
169:i
142:j
139:i
135:U
114:j
111:,
108:i
86:I
80:i
76:}
70:i
66:X
62:{
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.