215:
1599:
945:
419:
is finite, which is stronger than "integral".) The normalization of a scheme of dimension 1 is regular, and the normalization of a scheme of dimension 2 has only isolated singularities. Normalization is not usually used for
1396:
1228:
1088:
597:
1407:
789:
707:
649:
1282:
800:
372:, theorem 11) showed that every normal variety is regular outside a subset of codimension at least 2, and a similar result is true for schemes. So, for example, every normal
498:
If the initial scheme is not irreducible, the normalization is defined to be the disjoint union of the normalizations of the irreducible components.
1290:
112:. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve
1096:
956:
517:
1594:{\displaystyle {\text{Proj}}\left(\prod {\frac {k}{(f_{i},g)}}\right)\to {\text{Proj}}\left({\frac {k}{(f_{1}\cdots f_{k},g)}}\right)}
314:.) This is a direct translation, in terms of local rings, of the geometric condition that every finite birational morphism to
1728:
1693:
195:+ 1), is not normal. This also follows from the definition of normality, since there is a finite birational morphism from
723:
660:
432:
160:
1720:
1673:
365:
794:
is not an irreducible scheme since it has two components. Its normalization is given by the scheme morphism
608:
940:{\displaystyle {\text{Spec}}(\mathbb {C} /(x)\times \mathbb {C} /(y))\to {\text{Spec}}(\mathbb {C} /(xy))}
1796:
1615:
1610:
1241:
421:
326:
1715:
108:
A morphism of varieties is finite if the inverse image of every point is finite and the morphism is
264:
40:
1791:
358:
163:
using the classical topology, that every link is connected. Equivalently, every complex point
354:
36:
1775:
1738:
1703:
235:
25:
8:
74:
21:
1746:
Zariski, Oscar (1939), "Some
Results in the Arithmetic Theory of Algebraic Varieties.",
1763:
307:
17:
1724:
1689:
1755:
1710:
1681:
474:
59:
602:
with the cusp singularity at the origin. Its normalization can be given by the map
1771:
1734:
1699:
1677:
452:
373:
268:
109:
71:
1665:
385:
152:
is normal: it cannot be simplified any further by finite birational morphisms.
44:
1685:
1785:
93:
1391:{\displaystyle {\text{Proj}}\left({\frac {k}{(f_{1}\cdots f_{k},g)}}\right)}
1223:{\displaystyle \mathbb {C} /(xy)\to \mathbb {C} /(y,xy)=\mathbb {C} /(y)}
1083:{\displaystyle \mathbb {C} /(xy)\to \mathbb {C} /(x,xy)=\mathbb {C} /(x)}
86:
1767:
246:
103:
329:
if the linear system giving the embedding is complete. Equivalently,
1759:
592:{\displaystyle C={\text{Spec}}\left({\frac {k}{y^{2}-x^{5}}}\right)}
214:
179:
is connected. For example, it follows that the nodal cubic curve
50:(understood to be irreducible) is normal if and only if the ring
1233:
148:)) which is not an isomorphism. By contrast, the affine line
128:
is not normal, because there is a finite birational morphism
1670:
Commutative algebra. With a view toward algebraic geometry.
712:
488:
is defined by gluing together the affine schemes Spec
1410:
1293:
1244:
1099:
959:
803:
726:
663:
611:
520:
203:
which is not an isomorphism; it sends two points of
104:
Geometric and algebraic interpretations of normality
1238:Similarly, for homogeneous irreducible polynomials
1593:
1390:
1276:
1222:
1082:
939:
784:{\displaystyle X={\text{Spec}}(\mathbb {C} /(xy))}
783:
701:
643:
591:
353:). This is the meaning of "normal" in the phrases
484:in its fraction field. Then the normalization of
35:if it is normal at every point, meaning that the
1783:
427:To define the normalization, first suppose that
1234:Normalization of reducible projective variety
702:{\displaystyle x\mapsto t^{2},y\mapsto t^{5}}
337:is not the linear projection of an embedding
70:over a field is normal if and only if every
1723:, vol. 52, New York: Springer-Verlag,
1709:
506:
66:is an integrally closed domain. A variety
1651:(1995). Springer, Berlin. Corollary 13.13
1187:
1141:
1101:
1047:
1001:
961:
898:
850:
813:
742:
1664:
213:
1745:
459:as a union of affine open subsets Spec
369:
97:
1784:
1638:(1995). Springer, Berlin. Theorem 11.5
713:Normalization of axes in affine plane
644:{\displaystyle {\text{Spec}}(k)\to C}
411:a variety over a field, the morphism
399:with an integral birational morphism
321:An older notion is that a subvariety
267:. That is, each of these rings is an
379:
167:has arbitrarily small neighborhoods
92:Normal varieties were introduced by
1676:, vol. 150, Berlin, New York:
1277:{\displaystyle f_{1},\ldots ,f_{k}}
159:has the property, when viewed as a
13:
950:induced from the two quotient maps
14:
1808:
424:for schemes of higher dimension.
1641:
1628:
1581:
1549:
1544:
1512:
1494:
1483:
1464:
1459:
1430:
1378:
1346:
1341:
1309:
1284:in a UFD, the normalization of
1217:
1211:
1203:
1191:
1180:
1165:
1157:
1145:
1137:
1134:
1125:
1117:
1105:
1077:
1071:
1063:
1051:
1040:
1025:
1017:
1005:
997:
994:
985:
977:
965:
934:
931:
922:
914:
902:
894:
886:
883:
880:
874:
866:
854:
843:
837:
829:
817:
809:
778:
775:
766:
758:
746:
738:
686:
667:
635:
632:
629:
623:
617:
554:
542:
439:. Every affine open subset of
1:
1721:Graduate Texts in Mathematics
1674:Graduate Texts in Mathematics
1658:
349:is contained in a hyperplane
654:induced from the algebra map
294:is finitely generated as an
7:
1616:Resolution of singularities
1611:Noether normalization lemma
1604:
501:
422:resolution of singularities
183:in the figure, defined by
10:
1813:
175:minus the singular set of
1686:10.1007/978-1-4612-5350-1
511:Consider the affine curve
155:A normal complex variety
1621:
1401:is given by the morphism
265:integrally closed domain
41:integrally closed domain
507:Normalization of a cusp
368:is normal. Conversely,
325:of projective space is
1602:
1595:
1399:
1392:
1278:
1231:
1224:
1091:
1084:
948:
941:
792:
785:
710:
703:
652:
645:
600:
593:
359:rational normal scroll
231:
100:, section III).
1596:
1403:
1393:
1286:
1279:
1225:
1092:
1085:
952:
942:
796:
786:
719:
704:
656:
646:
604:
594:
513:
355:rational normal curve
217:
207:to the same point in
1408:
1291:
1242:
1097:
957:
801:
724:
661:
609:
518:
298:-module is equal to
116:in the affine plane
1649:Commutative Algebra
1636:Commutative Algebra
318:is an isomorphism.
75:birational morphism
39:at the point is an
1797:Algebraic geometry
1716:Algebraic Geometry
1591:
1388:
1274:
1220:
1080:
937:
781:
699:
641:
589:
443:has the form Spec
395:: a normal scheme
308:field of fractions
234:More generally, a
232:
18:algebraic geometry
1730:978-0-387-90244-9
1711:Hartshorne, Robin
1695:978-0-387-94268-1
1585:
1500:
1487:
1414:
1382:
1297:
892:
807:
736:
615:
583:
530:
380:The normalization
274:, and every ring
77:from any variety
60:regular functions
22:algebraic variety
1804:
1778:
1741:
1706:
1652:
1645:
1639:
1632:
1600:
1598:
1597:
1592:
1590:
1586:
1584:
1574:
1573:
1561:
1560:
1547:
1543:
1542:
1524:
1523:
1507:
1501:
1498:
1493:
1489:
1488:
1486:
1476:
1475:
1462:
1458:
1457:
1442:
1441:
1425:
1415:
1412:
1397:
1395:
1394:
1389:
1387:
1383:
1381:
1371:
1370:
1358:
1357:
1344:
1340:
1339:
1321:
1320:
1304:
1298:
1295:
1283:
1281:
1280:
1275:
1273:
1272:
1254:
1253:
1229:
1227:
1226:
1221:
1210:
1190:
1164:
1144:
1124:
1104:
1089:
1087:
1086:
1081:
1070:
1050:
1024:
1004:
984:
964:
946:
944:
943:
938:
921:
901:
893:
890:
873:
853:
836:
816:
808:
805:
790:
788:
787:
782:
765:
745:
737:
734:
708:
706:
705:
700:
698:
697:
679:
678:
650:
648:
647:
642:
616:
613:
598:
596:
595:
590:
588:
584:
582:
581:
580:
568:
567:
557:
537:
531:
528:
475:integral closure
161:stratified space
1812:
1811:
1807:
1806:
1805:
1803:
1802:
1801:
1782:
1781:
1760:10.2307/2371499
1731:
1696:
1678:Springer-Verlag
1666:Eisenbud, David
1661:
1656:
1655:
1646:
1642:
1633:
1629:
1624:
1607:
1569:
1565:
1556:
1552:
1548:
1538:
1534:
1519:
1515:
1508:
1506:
1502:
1497:
1471:
1467:
1463:
1453:
1449:
1437:
1433:
1426:
1424:
1420:
1416:
1411:
1409:
1406:
1405:
1366:
1362:
1353:
1349:
1345:
1335:
1331:
1316:
1312:
1305:
1303:
1299:
1294:
1292:
1289:
1288:
1268:
1264:
1249:
1245:
1243:
1240:
1239:
1236:
1206:
1186:
1160:
1140:
1120:
1100:
1098:
1095:
1094:
1066:
1046:
1020:
1000:
980:
960:
958:
955:
954:
917:
897:
889:
869:
849:
832:
812:
804:
802:
799:
798:
761:
741:
733:
725:
722:
721:
715:
693:
689:
674:
670:
662:
659:
658:
612:
610:
607:
606:
576:
572:
563:
559:
558:
538:
536:
532:
527:
519:
516:
515:
509:
504:
494:
483:
472:
465:
453:integral domain
435:reduced scheme
382:
327:linearly normal
269:integral domain
259:
245:if each of its
106:
12:
11:
5:
1810:
1800:
1799:
1794:
1780:
1779:
1754:(2): 249–294,
1748:Amer. J. Math.
1743:
1729:
1707:
1694:
1660:
1657:
1654:
1653:
1640:
1626:
1625:
1623:
1620:
1619:
1618:
1613:
1606:
1603:
1589:
1583:
1580:
1577:
1572:
1568:
1564:
1559:
1555:
1551:
1546:
1541:
1537:
1533:
1530:
1527:
1522:
1518:
1514:
1511:
1505:
1496:
1492:
1485:
1482:
1479:
1474:
1470:
1466:
1461:
1456:
1452:
1448:
1445:
1440:
1436:
1432:
1429:
1423:
1419:
1386:
1380:
1377:
1374:
1369:
1365:
1361:
1356:
1352:
1348:
1343:
1338:
1334:
1330:
1327:
1324:
1319:
1315:
1311:
1308:
1302:
1271:
1267:
1263:
1260:
1257:
1252:
1248:
1235:
1232:
1219:
1216:
1213:
1209:
1205:
1202:
1199:
1196:
1193:
1189:
1185:
1182:
1179:
1176:
1173:
1170:
1167:
1163:
1159:
1156:
1153:
1150:
1147:
1143:
1139:
1136:
1133:
1130:
1127:
1123:
1119:
1116:
1113:
1110:
1107:
1103:
1079:
1076:
1073:
1069:
1065:
1062:
1059:
1056:
1053:
1049:
1045:
1042:
1039:
1036:
1033:
1030:
1027:
1023:
1019:
1016:
1013:
1010:
1007:
1003:
999:
996:
993:
990:
987:
983:
979:
976:
973:
970:
967:
963:
936:
933:
930:
927:
924:
920:
916:
913:
910:
907:
904:
900:
896:
888:
885:
882:
879:
876:
872:
868:
865:
862:
859:
856:
852:
848:
845:
842:
839:
835:
831:
828:
825:
822:
819:
815:
811:
780:
777:
774:
771:
768:
764:
760:
757:
754:
751:
748:
744:
740:
732:
729:
714:
711:
696:
692:
688:
685:
682:
677:
673:
669:
666:
640:
637:
634:
631:
628:
625:
622:
619:
587:
579:
575:
571:
566:
562:
556:
553:
550:
547:
544:
541:
535:
526:
523:
508:
505:
503:
500:
492:
481:
470:
463:
386:reduced scheme
381:
378:
366:regular scheme
306:) denotes the
261:
260:
255:
105:
102:
45:affine variety
9:
6:
4:
3:
2:
1809:
1798:
1795:
1793:
1792:Scheme theory
1790:
1789:
1787:
1777:
1773:
1769:
1765:
1761:
1757:
1753:
1749:
1744:
1740:
1736:
1732:
1726:
1722:
1718:
1717:
1712:
1708:
1705:
1701:
1697:
1691:
1687:
1683:
1679:
1675:
1671:
1667:
1663:
1662:
1650:
1647:Eisenbud, D.
1644:
1637:
1634:Eisenbud, D.
1631:
1627:
1617:
1614:
1612:
1609:
1608:
1601:
1587:
1578:
1575:
1570:
1566:
1562:
1557:
1553:
1539:
1535:
1531:
1528:
1525:
1520:
1516:
1509:
1503:
1490:
1480:
1477:
1472:
1468:
1454:
1450:
1446:
1443:
1438:
1434:
1427:
1421:
1417:
1402:
1398:
1384:
1375:
1372:
1367:
1363:
1359:
1354:
1350:
1336:
1332:
1328:
1325:
1322:
1317:
1313:
1306:
1300:
1285:
1269:
1265:
1261:
1258:
1255:
1250:
1246:
1230:
1214:
1207:
1200:
1197:
1194:
1183:
1177:
1174:
1171:
1168:
1161:
1154:
1151:
1148:
1131:
1128:
1121:
1114:
1111:
1108:
1090:
1074:
1067:
1060:
1057:
1054:
1043:
1037:
1034:
1031:
1028:
1021:
1014:
1011:
1008:
991:
988:
981:
974:
971:
968:
951:
947:
928:
925:
918:
911:
908:
905:
877:
870:
863:
860:
857:
846:
840:
833:
826:
823:
820:
795:
791:
772:
769:
762:
755:
752:
749:
730:
727:
718:
709:
694:
690:
683:
680:
675:
671:
664:
655:
651:
638:
626:
620:
603:
599:
585:
577:
573:
569:
564:
560:
551:
548:
545:
539:
533:
524:
521:
512:
499:
496:
491:
487:
480:
476:
469:
462:
458:
454:
450:
446:
442:
438:
434:
430:
425:
423:
418:
414:
410:
406:
402:
398:
394:
393:normalization
391:has a unique
390:
387:
377:
375:
371:
370:Zariski (1939
367:
362:
360:
356:
352:
348:
344:
340:
336:
332:
328:
324:
319:
317:
313:
309:
305:
302:. (Here Frac(
301:
297:
293:
289:
285:
281:
277:
273:
270:
266:
258:
254:
251:
250:
249:
248:
244:
240:
237:
229:
225:
221:
216:
212:
210:
206:
202:
198:
194:
190:
186:
182:
178:
174:
170:
166:
162:
158:
153:
151:
147:
143:
139:
135:
131:
127:
123:
119:
115:
111:
101:
99:
95:
90:
88:
84:
80:
76:
73:
69:
65:
61:
57:
53:
49:
46:
42:
38:
34:
30:
27:
23:
19:
1751:
1747:
1742:, p. 91
1714:
1669:
1648:
1643:
1635:
1630:
1404:
1400:
1287:
1237:
1093:
953:
949:
797:
793:
720:
717:For example,
716:
657:
653:
605:
601:
514:
510:
497:
489:
485:
478:
467:
460:
456:
448:
444:
440:
436:
428:
426:
416:
412:
408:
404:
400:
396:
392:
388:
383:
376:is regular.
363:
350:
346:
342:
338:
334:
330:
322:
320:
315:
311:
303:
299:
295:
291:
290:) such that
287:
283:
279:
275:
271:
262:
256:
252:
242:
238:
233:
227:
223:
219:
208:
204:
200:
196:
192:
188:
184:
180:
176:
172:
168:
164:
156:
154:
149:
145:
141:
137:
133:
129:
125:
121:
117:
113:
107:
91:
82:
78:
67:
63:
55:
51:
47:
32:
28:
15:
433:irreducible
247:local rings
120:defined by
87:isomorphism
1786:Categories
1659:References
171:such that
37:local ring
1563:⋯
1529:…
1495:→
1444:…
1422:∏
1360:⋯
1326:…
1259:…
1138:→
998:→
887:→
847:×
687:↦
668:↦
636:→
570:−
140:maps to (
136:(namely,
1713:(1977),
1668:(1995),
1605:See also
502:Examples
455:. Write
345:(unless
1776:1507376
1768:2371499
1739:0463157
1704:1322960
473:be the
466:. Let
407:. (For
286:⊆ Frac(
96: (
94:Zariski
1774:
1766:
1737:
1727:
1702:
1692:
431:is an
364:Every
263:is an
243:normal
236:scheme
218:Curve
110:proper
85:is an
72:finite
33:normal
26:scheme
1764:JSTOR
1622:Notes
447:with
374:curve
278:with
58:) of
43:. An
20:, an
1725:ISBN
1690:ISBN
1499:Proj
1413:Proj
1296:Proj
891:Spec
806:Spec
735:Spec
614:Spec
529:Spec
384:Any
357:and
230:+ 1)
98:1939
1756:doi
1682:doi
477:of
451:an
341:⊆
310:of
257:X,x
241:is
199:to
81:to
62:on
31:is
24:or
16:In
1788::
1772:MR
1770:,
1762:,
1752:61
1750:,
1735:MR
1733:,
1719:,
1700:MR
1698:,
1688:,
1680:,
1672:,
495:.
415:→
403:→
361:.
333:⊆
282:⊆
222:=
211:.
187:=
144:,
132:→
124:=
89:.
1758::
1684::
1588:)
1582:)
1579:g
1576:,
1571:k
1567:f
1558:1
1554:f
1550:(
1545:]
1540:n
1536:x
1532:,
1526:,
1521:0
1517:x
1513:[
1510:k
1504:(
1491:)
1484:)
1481:g
1478:,
1473:i
1469:f
1465:(
1460:]
1455:n
1451:x
1447:,
1439:0
1435:x
1431:[
1428:k
1418:(
1385:)
1379:)
1376:g
1373:,
1368:k
1364:f
1355:1
1351:f
1347:(
1342:]
1337:n
1333:x
1329:,
1323:,
1318:0
1314:x
1310:[
1307:k
1301:(
1270:k
1266:f
1262:,
1256:,
1251:1
1247:f
1218:)
1215:y
1212:(
1208:/
1204:]
1201:y
1198:,
1195:x
1192:[
1188:C
1184:=
1181:)
1178:y
1175:x
1172:,
1169:y
1166:(
1162:/
1158:]
1155:y
1152:,
1149:x
1146:[
1142:C
1135:)
1132:y
1129:x
1126:(
1122:/
1118:]
1115:y
1112:,
1109:x
1106:[
1102:C
1078:)
1075:x
1072:(
1068:/
1064:]
1061:y
1058:,
1055:x
1052:[
1048:C
1044:=
1041:)
1038:y
1035:x
1032:,
1029:x
1026:(
1022:/
1018:]
1015:y
1012:,
1009:x
1006:[
1002:C
995:)
992:y
989:x
986:(
982:/
978:]
975:y
972:,
969:x
966:[
962:C
935:)
932:)
929:y
926:x
923:(
919:/
915:]
912:y
909:,
906:x
903:[
899:C
895:(
884:)
881:)
878:y
875:(
871:/
867:]
864:y
861:,
858:x
855:[
851:C
844:)
841:x
838:(
834:/
830:]
827:y
824:,
821:x
818:[
814:C
810:(
779:)
776:)
773:y
770:x
767:(
763:/
759:]
756:y
753:,
750:x
747:[
743:C
739:(
731:=
728:X
695:5
691:t
684:y
681:,
676:2
672:t
665:x
639:C
633:)
630:]
627:t
624:[
621:k
618:(
586:)
578:5
574:x
565:2
561:y
555:]
552:y
549:,
546:x
543:[
540:k
534:(
525:=
522:C
493:i
490:B
486:X
482:i
479:A
471:i
468:B
464:i
461:A
457:X
449:R
445:R
441:X
437:X
429:X
417:X
413:Y
409:X
405:X
401:Y
397:Y
389:X
351:P
347:X
343:P
339:X
335:P
331:X
323:X
316:X
312:R
304:R
300:R
296:R
292:S
288:R
284:S
280:R
276:S
272:R
253:O
239:X
228:x
226:(
224:x
220:y
209:X
205:A
201:X
197:A
193:x
191:(
189:x
185:y
181:X
177:X
173:U
169:U
165:x
157:X
150:A
146:t
142:t
138:t
134:X
130:A
126:y
122:x
118:A
114:X
83:X
79:Y
68:X
64:X
56:X
54:(
52:O
48:X
29:X
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.