783:
759:
795:
807:
771:
25:
602:
of the canonical divisor of the relative canonical model was
Cartier and the number of exceptional components where this agrees with the same multiple of the canonical divisor of Y is also independent of the choice of Y. When it equals the number of components of Y it was called
374:
529:
456:
271:
298:
219:
401:
700:
680:
657:
634:
600:
577:
553:
176:
152:
35:
303:
782:
582:
Some basic properties were as follows: The relative canonical model was independent of the choice of resolution. Some integer multiple
93:
461:
65:
718:
proved that the sheaf in the definition always is finitely generated and therefore that relative canonical models always exist.
72:
406:
50:
79:
749:
832:
827:
222:
61:
837:
228:
703:
706:. Since that time in the 1970s other mathematicians solved affirmatively the problem of whether they are
711:
758:
86:
131:
707:
610:
842:
763:
605:
276:
119:
775:
192:
799:
127:
379:
636:, most authors simplify the terminology, referring to it as the relative canonical model
42:
811:
787:
715:
685:
665:
642:
619:
585:
562:
538:
161:
155:
137:
821:
806:
741:(courtesy copy), proceedings of the Angiers 'Journees de Geometrie Algebrique' 1979
738:
115:
24:
369:{\displaystyle f_{*}\omega _{Y}^{\otimes n}=I_{n}\omega _{X}^{\otimes n}}
702:. The class of varieties that are relative canonical models have
524:{\displaystyle Proj\oplus _{n}f_{*}\omega _{Y}^{\otimes n}\to X}
225:
define the adjunction sequence to be the sequence of subsheaves
18:
609:. It was not known whether relative canonical models were
616:
Because the relative canonical model is independent of
451:{\displaystyle \oplus _{n}f_{*}\omega _{Y}^{\otimes n}}
46:
747:
688:
668:
645:
622:
588:
565:
541:
464:
409:
382:
306:
279:
231:
195:
164:
140:
694:
674:
651:
628:
594:
571:
547:
523:
450:
395:
368:
292:
265:
213:
170:
146:
659:rather than either the relative canonical model
266:{\displaystyle f_{*}\omega _{Y}^{\otimes n};}
8:
403:is the higher adjunction ideal. Problem. Is
51:introducing citations to additional sources
687:
667:
644:
621:
587:
564:
540:
506:
501:
491:
481:
463:
458:finitely generated? If this is true then
439:
434:
424:
414:
408:
387:
381:
357:
352:
342:
326:
321:
311:
305:
284:
278:
251:
246:
236:
230:
194:
163:
139:
41:Relevant discussion may be found on the
754:
727:
7:
733:
731:
178:, which simplifies the structure.
14:
805:
793:
781:
769:
757:
34:relies largely or entirely on a
23:
16:Complex manifolds in mathematics
515:
205:
1:
682:or the canonical blow-up of
186:The precise definition is:
293:{\displaystyle \omega _{X}}
859:
62:"Relative canonical model"
533:relative canonical model
214:{\displaystyle f:Y\to X}
124:relative canonical model
704:canonical singularities
696:
676:
653:
630:
596:
573:
549:
525:
452:
397:
370:
294:
267:
215:
172:
158:variety that maps to
148:
712:minimal model program
697:
677:
654:
631:
597:
574:
550:
526:
453:
398:
396:{\displaystyle I_{n}}
371:
295:
268:
216:
173:
149:
708:Cohen–Macaulay
686:
666:
643:
620:
586:
563:
539:
462:
407:
380:
304:
277:
229:
193:
162:
138:
47:improve this article
833:Birational geometry
514:
447:
365:
334:
259:
132:mathematical object
828:Algebraic geometry
692:
672:
649:
626:
592:
569:
545:
521:
497:
448:
430:
393:
366:
348:
317:
290:
263:
242:
211:
168:
144:
120:algebraic geometry
838:Complex manifolds
739:Canonical 3-folds
695:{\displaystyle X}
675:{\displaystyle Y}
652:{\displaystyle X}
629:{\displaystyle Y}
595:{\displaystyle r}
572:{\displaystyle X}
557:canonical blow-up
548:{\displaystyle Y}
171:{\displaystyle X}
147:{\displaystyle X}
112:
111:
97:
850:
810:
809:
798:
797:
796:
786:
785:
774:
773:
772:
762:
761:
753:
742:
735:
701:
699:
698:
693:
681:
679:
678:
673:
658:
656:
655:
650:
635:
633:
632:
627:
601:
599:
598:
593:
578:
576:
575:
570:
554:
552:
551:
546:
530:
528:
527:
522:
513:
505:
496:
495:
486:
485:
457:
455:
454:
449:
446:
438:
429:
428:
419:
418:
402:
400:
399:
394:
392:
391:
375:
373:
372:
367:
364:
356:
347:
346:
333:
325:
316:
315:
299:
297:
296:
291:
289:
288:
272:
270:
269:
264:
258:
250:
241:
240:
220:
218:
217:
212:
177:
175:
174:
169:
154:is a particular
153:
151:
150:
145:
128:singular variety
107:
104:
98:
96:
55:
27:
19:
858:
857:
853:
852:
851:
849:
848:
847:
818:
817:
816:
804:
794:
792:
780:
770:
768:
756:
748:
746:
745:
736:
729:
724:
684:
683:
664:
663:
641:
640:
618:
617:
584:
583:
561:
560:
537:
536:
487:
477:
460:
459:
420:
410:
405:
404:
383:
378:
377:
338:
307:
302:
301:
280:
275:
274:
232:
227:
226:
191:
190:
184:
160:
159:
136:
135:
108:
102:
99:
56:
54:
40:
28:
17:
12:
11:
5:
856:
854:
846:
845:
840:
835:
830:
820:
819:
815:
814:
802:
790:
778:
766:
744:
743:
726:
725:
723:
720:
716:Shigefumi Mori
691:
671:
648:
625:
611:Cohen–Macaulay
591:
568:
544:
531:is called the
520:
517:
512:
509:
504:
500:
494:
490:
484:
480:
476:
473:
470:
467:
445:
442:
437:
433:
427:
423:
417:
413:
390:
386:
363:
360:
355:
351:
345:
341:
337:
332:
329:
324:
320:
314:
310:
300:is invertible
287:
283:
262:
257:
254:
249:
245:
239:
235:
210:
207:
204:
201:
198:
183:
180:
167:
143:
110:
109:
45:. Please help
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
855:
844:
841:
839:
836:
834:
831:
829:
826:
825:
823:
813:
808:
803:
801:
791:
789:
784:
779:
777:
767:
765:
760:
755:
751:
740:
734:
732:
728:
721:
719:
717:
713:
709:
705:
689:
669:
662:
646:
639:
623:
614:
612:
608:
607:
589:
580:
566:
558:
542:
534:
518:
510:
507:
502:
498:
492:
488:
482:
478:
474:
471:
468:
465:
443:
440:
435:
431:
425:
421:
415:
411:
388:
384:
361:
358:
353:
349:
343:
339:
335:
330:
327:
322:
318:
312:
308:
285:
281:
260:
255:
252:
247:
243:
237:
233:
224:
208:
202:
199:
196:
187:
181:
179:
165:
157:
141:
133:
129:
125:
121:
117:
106:
95:
92:
88:
85:
81:
78:
74:
71:
67:
64: –
63:
59:
58:Find sources:
52:
48:
44:
38:
37:
36:single source
32:This article
30:
26:
21:
20:
660:
637:
615:
604:
581:
556:
532:
188:
185:
123:
116:mathematical
113:
103:October 2021
100:
90:
83:
76:
69:
57:
33:
764:Mathematics
714:started by
182:Description
822:Categories
776:Arithmetic
722:References
223:resolution
73:newspapers
843:Dimension
800:Chemistry
737:M. Reid,
555:, or the
516:→
508:⊗
499:ω
493:∗
479:⊕
441:⊗
432:ω
426:∗
412:⊕
359:⊗
350:ω
328:⊗
319:ω
313:∗
282:ω
253:⊗
244:ω
238:∗
206:→
156:canonical
118:field of
43:talk page
812:Science
788:Physics
750:Portals
606:crepant
114:In the
87:scholar
710:. The
376:where
134:where
122:, the
89:
82:
75:
68:
60:
221:is a
130:of a
126:of a
94:JSTOR
80:books
66:news
661:of
638:of
559:of
535:of
273:if
189:If
49:by
824::
730:^
613:.
579:.
752::
690:X
670:Y
647:X
624:Y
590:r
567:X
543:Y
519:X
511:n
503:Y
489:f
483:n
475:j
472:o
469:r
466:P
444:n
436:Y
422:f
416:n
389:n
385:I
362:n
354:X
344:n
340:I
336:=
331:n
323:Y
309:f
286:X
261:;
256:n
248:Y
234:f
209:X
203:Y
200::
197:f
166:X
142:X
105:)
101:(
91:·
84:·
77:·
70:·
53:.
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.