553:
377:
212:
145:
498:
334:
276:
53:
594:
99:
363:
394:
587:
414:
An affine scheme is quasi-compact. In fact, a scheme is quasi-compact if and only if it is a finite union of open affine subschemes.
618:
580:
368:
The composition of quasi-compact morphisms is quasi-compact. The base change of a quasi-compact morphism is quasi-compact.
613:
389:
56:
175:
185:
415:
155:
is quasi-compact, then the pre-image of a compact open subscheme (e.g., open affine subscheme) under
166:
admits a covering by compact open subschemes whose pre-images are compact. To give an example, let
104:
21:
525:
171:
17:
492:
307:
249:
26:
564:
560:
511:
473:
485:
77:
481:
339:
521:
227:
607:
472:, Contemp. Math., vol. 386, Amer. Math. Soc., Providence, RI, pp. 157–172,
430:
179:
148:
71:
418:
gives a necessary and sufficient condition for a quasi-compact scheme to be affine.
552:
477:
524:, "Notes on Grothendieck topologies, fibered categories and descent theory."
301:
A morphism from a quasi-compact scheme to an affine scheme is quasi-compact.
468:
Schwede, Karl (2005), "Gluing schemes and a scheme without closed points",
68:
529:
541:
370:
365:
is closed if and only if it is stable under specialization.
568:
421:
A quasi-compact scheme has at least one closed point.
342:
310:
252:
188:
107:
80:
29:
470:
Recent progress in arithmetic and algebraic geometry
357:
336:be a quasi-compact morphism between schemes. Then
328:
270:
206:
139:
93:
47:
588:
497:: CS1 maint: DOI inactive as of April 2024 (
386:needs attention from an expert in Mathematics
8:
542:When is an irreducible scheme quasi-compact?
595:
581:
503:. See in particular Proposition 4.1.
341:
309:
278:is the inclusion of one of the copies of
251:
187:
128:
112:
106:
85:
79:
28:
207:{\displaystyle X=\operatorname {Spec} A}
442:
490:
397:may be able to help recruit an expert.
449:This is the definition in Hartshorne.
7:
549:
547:
567:. You can help Knowledge (XXG) by
282:, then the pre-image of the other
14:
551:
375:
352:
346:
320:
262:
134:
121:
39:
1:
140:{\displaystyle f^{-1}(V_{i})}
635:
546:
226:be the scheme obtained by
176:ascending chain conditions
174:that does not satisfy the
222:that is not compact. Let
101:such that the pre-images
329:{\displaystyle f:X\to Y}
271:{\displaystyle f:X\to Y}
218:contains an open subset
48:{\displaystyle f:X\to Y}
480:(inactive 2024-04-29),
395:WikiProject Mathematics
619:Abstract algebra stubs
563:-related article is a
478:10.1090/conm/386/07222
359:
330:
298:is not quasi-compact.
272:
208:
162:It is not enough that
141:
95:
49:
458:Remark 1.5 in Vistoli
360:
331:
294:—not compact. Hence,
273:
246:are both compact. If
209:
142:
96:
94:{\displaystyle V_{i}}
50:
614:Morphisms of schemes
358:{\displaystyle f(X)}
340:
308:
250:
186:
105:
78:
27:
516:Algebraic Geometry
355:
326:
268:
204:
137:
91:
67:can be covered by
45:
18:algebraic geometry
576:
575:
416:Serre’s criterion
412:
411:
286:, open affine in
626:
597:
590:
583:
561:abstract algebra
555:
548:
512:Robin Hartshorne
504:
502:
496:
488:
465:
459:
456:
450:
447:
407:
404:
398:
379:
378:
371:
364:
362:
361:
356:
335:
333:
332:
327:
277:
275:
274:
269:
213:
211:
210:
205:
146:
144:
143:
138:
133:
132:
120:
119:
100:
98:
97:
92:
90:
89:
54:
52:
51:
46:
634:
633:
629:
628:
627:
625:
624:
623:
604:
603:
602:
601:
538:
508:
507:
489:
467:
466:
462:
457:
453:
448:
444:
439:
427:
408:
402:
399:
393:
380:
376:
338:
337:
306:
305:
248:
247:
184:
183:
124:
108:
103:
102:
81:
76:
75:
25:
24:
12:
11:
5:
632:
630:
622:
621:
616:
606:
605:
600:
599:
592:
585:
577:
574:
573:
556:
545:
544:
537:
536:External links
534:
533:
532:
522:Angelo Vistoli
519:
506:
505:
460:
451:
441:
440:
438:
435:
434:
433:
426:
423:
410:
409:
383:
381:
374:
354:
351:
348:
345:
325:
322:
319:
316:
313:
267:
264:
261:
258:
255:
203:
200:
197:
194:
191:
180:radical ideals
136:
131:
127:
123:
118:
115:
111:
88:
84:
59:is said to be
44:
41:
38:
35:
32:
13:
10:
9:
6:
4:
3:
2:
631:
620:
617:
615:
612:
611:
609:
598:
593:
591:
586:
584:
579:
578:
572:
570:
566:
562:
557:
554:
550:
543:
540:
539:
535:
531:
527:
523:
520:
517:
513:
510:
509:
500:
494:
487:
483:
479:
475:
471:
464:
461:
455:
452:
446:
443:
436:
432:
431:fpqc morphism
429:
428:
424:
422:
419:
417:
406:
396:
391:
387:
384:This article
382:
373:
372:
369:
366:
349:
343:
323:
317:
314:
311:
302:
299:
297:
293:
289:
285:
281:
265:
259:
256:
253:
245:
241:
237:
233:
229:
225:
221:
217:
201:
198:
195:
192:
189:
181:
177:
173:
169:
165:
160:
158:
154:
150:
129:
125:
116:
113:
109:
86:
82:
73:
70:
66:
62:
61:quasi-compact
58:
42:
36:
33:
30:
23:
19:
569:expanding it
558:
530:math/0412512
515:
469:
463:
454:
445:
420:
413:
400:
392:for details.
385:
367:
303:
300:
295:
291:
287:
283:
279:
243:
239:
235:
231:
223:
219:
215:
167:
163:
161:
159:is compact.
156:
152:
64:
60:
15:
403:August 2023
388:. See the
74:subschemes
608:Categories
437:References
182:, and put
390:talk page
321:→
263:→
199:
114:−
40:→
493:citation
425:See also
234:s along
55:between
22:morphism
486:2182775
214:. Then
149:compact
57:schemes
484:
228:gluing
72:affine
559:This
526:arXiv
290:, is
170:be a
151:. If
565:stub
499:link
304:Let
230:two
196:Spec
172:ring
147:are
69:open
20:, a
474:doi
178:on
63:if
16:In
610::
514:,
495:}}
491:{{
482:MR
242:,
238:.
232:X'
596:e
589:t
582:v
571:.
528::
518:.
501:)
476::
405:)
401:(
353:)
350:X
347:(
344:f
324:Y
318:X
315::
312:f
296:f
292:U
288:Y
284:X
280:X
266:Y
260:X
257::
254:f
244:Y
240:X
236:U
224:Y
220:U
216:X
202:A
193:=
190:X
168:A
164:Y
157:f
153:f
135:)
130:i
126:V
122:(
117:1
110:f
87:i
83:V
65:Y
43:Y
37:X
34::
31:f
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.