772:
380:
178:
232:
419:
264:
175:
292:
476:
449:
813:
113:
616:
Séminaire de Géométrie Algébrique du Bois Marie - 1966-67 - Théorie des intersections et théorÚme de
Riemann-Roch - (SGA 6) (Lecture notes in mathematics
177:
is not coherent, working with coherent sheaves has awkwardness (namely the kernel of a finite presentation can fail to be coherent). Because of this,
639:
806:
308:
623:
727:
603:
837:
550:
Ben-Zvi, David; Francis, John; Nadler, David (2010), "Integral transforms and
Drinfeld centers in derived algebraic geometry",
799:
715:
478:. If the complex consists only of the zero-th degree term, then it is pseudo-coherent if and only if it is so as a module.
83:
490:
832:
194:
607:
393:
238:
149:
58:
is a module that is perfect when it is viewed as a complex concentrated at degree zero. For example, if
676:
71:
32:
657:
Kerz, Moritz; Strunk, Florian; Tamme, Georg (2018). "Algebraic K-theory and descent for blow-ups".
666:
585:
559:
697:
481:
Roughly speaking, a pseudo-coherent complex may be thought of as a limit of perfect complexes.
635:
295:
120:
783:
271:
779:
684:
627:
569:
495:
458:
428:
235:
36:
698:"Algebraic K-Theory and Manifold Topology (Math 281), Lecture 19: K-Theory of Ring Spectra"
649:
581:
645:
577:
135:
127:
89:
63:
47:
680:
826:
131:
17:
589:
189:
573:
771:
611:
751:
688:
622:. Lecture Notes in Mathematics (in French). Vol. 225. Berlin; New York:
739:
631:
455:
has degree bounded above and consists of finite free modules in degree
671:
564:
70:
is perfect if and only if it is finitely generated and of finite
375:{\displaystyle L_{n}\to L_{n-1}\to \cdots \to L_{0}\to F\to 0}
498:(related notion; discussed at SGA 6 Exposé II, Appendix II.)
400:
245:
210:
156:
421:-modules is called pseudo-coherent if, for every integer
787:
728:"An alternative definition of pseudo-coherent complex"
461:
431:
396:
311:
274:
241:
197:
152:
92:
516:
470:
443:
413:
374:
286:
258:
226:
169:
126:A compact object in the â-category of (say right)
107:
716:"Determinantal identities for perfect complexes"
528:
268:is called pseudo-coherent if for every integer
807:
8:
552:Journal of the American Mathematical Society
814:
800:
670:
563:
460:
430:
405:
399:
398:
395:
354:
329:
316:
310:
273:
250:
244:
243:
240:
215:
209:
208:
196:
161:
155:
154:
151:
91:
42:is an object in the derived category of
508:
425:, there is locally a quasi-isomorphism
46:-modules that is quasi-isomorphic to a
227:{\displaystyle (X,{\mathcal {O}}_{X})}
119:-modules. They are also precisely the
539:
7:
768:
766:
517:Ben-Zvi, Francis & Nadler (2010)
82:Perfect complexes are precisely the
786:. You can help Knowledge (XXG) by
414:{\displaystyle {\mathcal {O}}_{X}}
259:{\displaystyle {\mathcal {O}}_{X}}
170:{\displaystyle {\mathcal {O}}_{X}}
134:is often called perfect; see also
86:in the unbounded derived category
25:
770:
529:Kerz, Strunk & Tamme (2018)
435:
366:
360:
347:
341:
322:
221:
198:
102:
96:
1:
574:10.1090/S0894-0347-10-00669-7
181:introduces the notion of a
854:
765:
740:"15.74 Perfect complexes"
689:10.1007/s00222-017-0752-2
298:of finite type of length
146:When the structure sheaf
659:Inventiones Mathematicae
287:{\displaystyle n\geq 0}
188:By definition, given a
78:Other characterizations
838:Abstract algebra stubs
782:-related article is a
608:Alexandre Grothendieck
472:
471:{\displaystyle \geq n}
445:
444:{\displaystyle L\to F}
415:
376:
294:, locally, there is a
288:
260:
228:
171:
109:
696:Lurie, Jacob (2014).
491:HilbertâBurch theorem
473:
446:
416:
377:
289:
261:
229:
183:pseudo-coherent sheaf
172:
142:Pseudo-coherent sheaf
110:
50:of finite projective
18:Pseudo-coherent sheaf
459:
429:
394:
309:
272:
239:
195:
150:
108:{\displaystyle D(A)}
90:
72:projective dimension
681:2018InMat.211..523K
744:The Stacks project
632:10.1007/BFb0066283
468:
441:
411:
372:
284:
256:
224:
167:
123:in this category.
121:dualizable objects
105:
795:
794:
641:978-3-540-05647-8
604:Berthelot, Pierre
296:free presentation
16:(Redirected from
845:
833:Abstract algebra
816:
809:
802:
780:abstract algebra
774:
767:
759:
752:"perfect module"
747:
735:
723:
704:
702:
692:
674:
653:
592:
567:
542:
537:
531:
525:
519:
513:
496:elliptic complex
477:
475:
474:
469:
450:
448:
447:
442:
420:
418:
417:
412:
410:
409:
404:
403:
381:
379:
378:
373:
359:
358:
340:
339:
321:
320:
293:
291:
290:
285:
265:
263:
262:
257:
255:
254:
249:
248:
233:
231:
230:
225:
220:
219:
214:
213:
176:
174:
173:
168:
166:
165:
160:
159:
114:
112:
111:
106:
66:, a module over
37:commutative ring
21:
853:
852:
848:
847:
846:
844:
843:
842:
823:
822:
821:
820:
763:
750:
738:
726:
714:
711:
700:
695:
656:
642:
624:Springer-Verlag
614:, eds. (1971).
602:
599:
549:
546:
545:
538:
534:
526:
522:
514:
510:
505:
487:
457:
456:
427:
426:
397:
392:
391:
350:
325:
312:
307:
306:
270:
269:
242:
237:
236:
207:
193:
192:
153:
148:
147:
144:
136:module spectrum
88:
87:
84:compact objects
80:
48:bounded complex
29:perfect complex
23:
22:
15:
12:
11:
5:
851:
849:
841:
840:
835:
825:
824:
819:
818:
811:
804:
796:
793:
792:
775:
761:
760:
748:
736:
724:
710:
709:External links
707:
706:
705:
693:
665:(2): 523â577.
654:
640:
598:
595:
594:
593:
558:(4): 909â966,
544:
543:
532:
527:Lemma 2.6. of
520:
507:
506:
504:
501:
500:
499:
493:
486:
483:
467:
464:
440:
437:
434:
408:
402:
384:
383:
371:
368:
365:
362:
357:
353:
349:
346:
343:
338:
335:
332:
328:
324:
319:
315:
283:
280:
277:
253:
247:
223:
218:
212:
206:
203:
200:
164:
158:
143:
140:
128:module spectra
104:
101:
98:
95:
79:
76:
56:perfect module
27:In algebra, a
24:
14:
13:
10:
9:
6:
4:
3:
2:
850:
839:
836:
834:
831:
830:
828:
817:
812:
810:
805:
803:
798:
797:
791:
789:
785:
781:
776:
773:
769:
764:
757:
753:
749:
745:
741:
737:
733:
729:
725:
721:
717:
713:
712:
708:
699:
694:
690:
686:
682:
678:
673:
668:
664:
660:
655:
651:
647:
643:
637:
633:
629:
625:
621:
619:
613:
609:
605:
601:
600:
596:
591:
587:
583:
579:
575:
571:
566:
561:
557:
553:
548:
547:
541:
536:
533:
530:
524:
521:
518:
512:
509:
502:
497:
494:
492:
489:
488:
484:
482:
479:
465:
462:
454:
438:
432:
424:
406:
389:
369:
363:
355:
351:
344:
336:
333:
330:
326:
317:
313:
305:
304:
303:
301:
297:
281:
278:
275:
267:
251:
216:
204:
201:
191:
186:
184:
180:
162:
141:
139:
137:
133:
132:ring spectrum
129:
124:
122:
118:
99:
93:
85:
77:
75:
73:
69:
65:
61:
57:
53:
49:
45:
41:
38:
34:
30:
19:
788:expanding it
777:
762:
755:
743:
732:MathOverflow
731:
720:MathOverflow
719:
662:
658:
617:
615:
597:Bibliography
555:
551:
540:Lurie (2014)
535:
523:
511:
480:
452:
422:
387:
385:
299:
190:ringed space
187:
182:
179:SGA 6 Expo I
145:
125:
116:
81:
67:
59:
55:
54:-modules. A
51:
43:
39:
28:
26:
756:ncatlab.org
626:. xii+700.
612:Luc Illusie
515:See, e.g.,
827:Categories
672:1611.08466
503:References
386:A complex
64:Noetherian
565:0805.0157
463:≥
436:→
367:→
361:→
348:→
345:⋯
342:→
334:−
323:→
302:; i.e.,
279:≥
485:See also
677:Bibcode
650:0354655
590:2202294
582:2669705
266:-module
130:over a
35:over a
33:modules
648:
638:
588:
580:
451:where
778:This
701:(PDF)
667:arXiv
586:S2CID
560:arXiv
234:, an
784:stub
636:ISBN
685:doi
663:211
628:doi
618:225
570:doi
390:of
115:of
62:is
31:of
829::
754:.
742:.
730:.
718:.
683:.
675:.
661:.
646:MR
644:.
634:.
610:;
606:;
584:,
578:MR
576:,
568:,
556:23
554:,
185:.
138:.
74:.
815:e
808:t
801:v
790:.
758:.
746:.
734:.
722:.
703:.
691:.
687::
679::
669::
652:.
630::
620:)
572::
562::
466:n
453:L
439:F
433:L
423:n
407:X
401:O
388:F
382:.
370:0
364:F
356:0
352:L
337:1
331:n
327:L
318:n
314:L
300:n
282:0
276:n
252:X
246:O
222:)
217:X
211:O
205:,
202:X
199:(
163:X
157:O
117:A
103:)
100:A
97:(
94:D
68:A
60:A
52:A
44:A
40:A
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.