36:
186:, because of the possibility of multiple components. For (irreducible) varieties, if one takes into account the multiplicities and, in the affine case, the points at infinity, the hypothesis of
190:
may be replaced by the much weaker condition that the intersection of the variety has the dimension zero (that is, consists of a finite number of points). This is a generalization of
195:
364:
57:
201:
The degree is not an intrinsic property of the variety, as it depends on a specific embedding of the variety in an affine or projective space.
108:
80:
17:
87:
183:
94:
76:
374:
127:
65:
61:
542:
In the affine case, the general-position hypothesis implies that there is no intersection point at infinity.
101:
558:
240:
310:
443:
271:
459:
46:
50:
196:
Hilbert series and
Hilbert polynomial § Degree of a projective variety and Bézout's theorem
432:
447:
213:
191:
518:
The degree can be used to generalize BĂ©zout's theorem in an expected way to intersections of
475:
402:
228:, then the degree of the intersection is the product of the degrees of the hypersurfaces.
8:
248:
243:. It follows that, given the equations of the variety, the degree may be computed from a
153:
471:
442:
has repeated factors, that intersection theory is used to count intersections with
301:
264:
175:
244:
491:
398:
294:
236:
149:
552:
179:
421:
209:
205:
487:
467:
382:
141:
503:
171:
499:
157:
35:
428:
393:
is an extrinsic quantity, and not intrinsic as a property of
165:
is the number of intersection points of the variety with
231:
The degree of a projective variety is the evaluation at
474:
defining the embedding by its space of sections. The
313:
182:, the intersection points must be counted with their
358:
550:
212:of its defining equation. A generalization of
513:
389:will be equal to that dimension. The degree
285:is the number of points of intersection of
64:. Unsourced material may be challenged and
222:projective hypersurfaces has codimension
490:. The degree can also be computed in the
128:Learn how and when to remove this message
458:For a more sophisticated approach, the
14:
551:
216:asserts that, if an intersection of
62:adding citations to reliable sources
29:
453:
24:
486:. The degree determines the first
359:{\displaystyle \dim(V)+\dim(L)=n.}
25:
570:
27:Number used in algebraic geometry
510:an appropriate number of times.
77:"Degree of an algebraic variety"
34:
536:
438:defining it (granted, in case
344:
338:
326:
320:
13:
1:
415:
254:
401:has an (essentially unique)
7:
18:Degree (algebraic geometry)
10:
575:
514:Extending BĂ©zout's theorem
506:intersecting the class of
462:defining the embedding of
272:algebraically closed field
460:linear system of divisors
184:intersection multiplicity
529:
476:tautological line bundle
235:of the numerator of the
427:= 0 is the same as the
502:, with the class of a
466:can be related to the
433:homogeneous polynomial
360:
270:and defined over some
361:
403:embedding of degree
311:
251:of these equations.
194:. (For a proof, see
58:improve this article
559:Algebraic varieties
397:. For example, the
356:
154:projective variety
522:hypersurfaces in
138:
137:
130:
112:
16:(Redirected from
566:
543:
540:
472:invertible sheaf
454:Other approaches
448:BĂ©zout's theorem
420:The degree of a
365:
363:
362:
357:
302:general position
265:projective space
234:
227:
221:
214:BĂ©zout's theorem
208:is equal to the
204:The degree of a
192:BĂ©zout's theorem
188:general position
176:general position
170:
164:
133:
126:
122:
119:
113:
111:
70:
38:
30:
21:
574:
573:
569:
568:
567:
565:
564:
563:
549:
548:
547:
546:
541:
537:
532:
516:
492:cohomology ring
456:
418:
399:projective line
312:
309:
308:
295:linear subspace
289:, defined over
257:
241:coordinate ring
232:
223:
217:
166:
160:
134:
123:
117:
114:
71:
69:
55:
39:
28:
23:
22:
15:
12:
11:
5:
572:
562:
561:
545:
544:
534:
533:
531:
528:
515:
512:
482:pulls back to
455:
452:
417:
414:
367:
366:
355:
352:
349:
346:
343:
340:
337:
334:
331:
328:
325:
322:
319:
316:
263:embedded in a
256:
253:
237:Hilbert series
136:
135:
118:September 2024
42:
40:
33:
26:
9:
6:
4:
3:
2:
571:
560:
557:
556:
554:
539:
535:
527:
525:
521:
511:
509:
505:
501:
497:
493:
489:
485:
481:
477:
473:
469:
465:
461:
451:
449:
445:
441:
437:
434:
430:
426:
423:
413:
411:
407:
406:
400:
396:
392:
388:
384:
380:
376:
372:
353:
350:
347:
341:
335:
332:
329:
323:
317:
314:
307:
306:
305:
303:
299:
296:
292:
288:
284:
280:
277:, the degree
276:
273:
269:
266:
262:
252:
250:
246:
245:Gröbner basis
242:
238:
229:
226:
220:
215:
211:
207:
202:
199:
197:
193:
189:
185:
181:
180:algebraic set
177:
173:
169:
163:
159:
155:
151:
147:
143:
132:
129:
121:
110:
107:
103:
100:
96:
93:
89:
86:
82:
79: –
78:
74:
73:Find sources:
67:
63:
59:
53:
52:
48:
43:This article
41:
37:
32:
31:
19:
538:
523:
519:
517:
507:
495:
483:
479:
463:
457:
444:multiplicity
439:
435:
429:total degree
424:
422:hypersurface
419:
409:
404:
394:
390:
386:
378:
370:
368:
304:, such that
297:
290:
286:
282:
278:
274:
267:
260:
258:
230:
224:
218:
210:total degree
206:hypersurface
203:
200:
187:
167:
161:
145:
139:
124:
115:
105:
98:
91:
84:
72:
56:Please help
44:
488:Chern class
468:line bundle
383:codimension
172:hyperplanes
142:mathematics
504:hyperplane
416:Properties
381:, and the
255:Definition
88:newspapers
500:Chow ring
375:dimension
373:) is the
369:Here dim(
336:
318:
293:, with a
178:. For an
158:dimension
45:does not
553:Category
446:, as in
431:of the
247:of the
239:of its
102:scholar
66:removed
51:sources
150:affine
148:of an
146:degree
144:, the
104:
97:
90:
83:
75:
530:Notes
498:, or
249:ideal
109:JSTOR
95:books
259:For
81:news
49:any
47:cite
494:of
478:on
470:or
450:).
408:in
385:of
377:of
333:dim
315:dim
300:in
281:of
198:.)
174:in
156:of
152:or
140:In
60:by
555::
526:.
412:.
524:P
520:n
508:V
496:P
484:V
480:P
464:V
440:F
436:F
425:F
410:P
405:n
395:V
391:d
387:L
379:V
371:V
354:.
351:n
348:=
345:)
342:L
339:(
330:+
327:)
324:V
321:(
298:L
291:K
287:V
283:V
279:d
275:K
268:P
261:V
233:1
225:n
219:n
168:n
162:n
131:)
125:(
120:)
116:(
106:·
99:·
92:·
85:·
68:.
54:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.