306:
youtube) that both
Grothendieck and to some detail Weil had the idea of a rational cohomology of varieties over finite fields that once stated would solve ALL of the conjectures. It turned out that no such thing existed, but - and once again I base my belief mainly in what I've heard experts saying, not so much on my own knowledge - I thought the theory of l-adic cohomology was more than enough to handle all the conjectures on this fashion envisioned by Weil and Grothendieck, except for the local Riemann hypothesis. So, can some one give me an insight? Because, at least the way we see it nowadays, l-adic cohomology makes most of these conjectures easy exercises, and it seems impossible to me that Grothendieck managed to develope the theory without making the proofs. Once again, the impression I got reading on the subject was that he developed the theory to fit the proof, somehow. Or were those previous proofs here mentioned done in some other fashion?
84:
74:
53:
474:
many nonrational points"- Now I'm not sure that phrase is true for curves over finite fields, unless finite field is used loosely as meaning the completion of a finite field. I would like to keep it or a similar phrase in there to keep it understandable. Is it correct as it stands, or should we put in an exception for finite fields? Thank you.--Rich
Peterson 18:04, 27 January 2012 (UTC)
22:
584:
If you take the viewpoint that a point is a geometric point, then you're working over the algebraic closure of the field. Choose an affine open subscheme of the curve and embed it in affine space. If the curve had only finitely many points over an algebraically closed field, then this affine open
316:
By the way, Deligne was indeed responsible for the proof of one of the conjectures, the local
Riemann hypothesis I mention, and it does use the l-adic theory of Grothendieck, but itself introduced a bunch of cool stuff, some of them by Deligne, some by others, such as mixed Hodge structures and the
473:
so that a college freshman can understand some of it. After I wrote the sentence: -"It should be pointed out that many algebraic curves contain no rational points, or just finitely many rational points."-, I put in the seemingly, but not, mickey mouse phrase: -"although they do contain infinitely
305:
OK, I am probably wrong, as I thought that besides the local
Riemann hypothesis all proofs were due to Grothendieck. Actually, I was under the impression (impression I've gotten in reading Katz notes on Deligne's proof and in seeing a conference by Sophie Morel on the subject that can be found in
598:
If you take the viewpoint that a point is a point of the underlying topological space, then you can apply the fact of the previous paragraph: Two non-equivalent geometric points map to distinct points of the topological space, and since there are infinitely many geometric points, the topological
283:
on page 1203, it lists B. Dwork's solution of part 1 as being from 1959 (versus 1960 in the article text), and it lists A. Grothendieck as the solver of part 2. It also mentions
Grothendieck as having provided a more general solution to part 1 in 1964.
343:
My knowledge of algebraic geometry is tiny, but it is usu. done over algebraically closed thus infinite fields, isn't it? So I wonder if the current 1st sentence with "...algebraic varieties over finite fields." might be incorrect.
245:
Dwork and
Deligne are responsible for the proofs themselves, Weil gets credit for the conjectures, and Grothendieck is responsible for creating the theory of etale cohomology which was used by Deligne in his proofs. -
140:
629:
650:
Could you provide a reference for the facts you're interested in this article having? Or maybe, if you have the time, write a new section of the article yourself?
509:
If you take the viewpoint that a point is a map from the spectrum of a field into a space, then any non-empty scheme has infinitely many points: Take any point
430:-adic everywhere in this article. I'd fix it myself except that there must be so many articles needing that change that it would be better done by a bot. --
758:
130:
585:
subscheme would of course also be finite, so, by the
Nullstellensatz, it would correspond to a finite intersection of maximal ideals in K (here
106:
689:
better lead that explains the (incredible!) link between enumerative questions in positive characteristics and topology in characteristic zero
753:
490:
481:
169:
324:
241:
Who proved these? Deligne? Others? Many others? Deligne seems to have gotten a Fields medal for this or at least something related.
605:
97:
58:
162:
I think that, in the second version of the functional equation, the $ T$ on the left hand side should be replaced by $ T^{-1}$ .
633:
680:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
211:
I think the conjectures was made mainly by taniyama. you should mention the fact it is now calld shimura-taniyama conjectures.
542:). These give an infinite family of points. But they're all trivially equivalent; a slightly less trivial example is to let
33:
593:
is the dimension of the ambient affine space). But such an ideal would be zero-dimensional, which is a contradiction.
219:
450:
416:
494:
485:
408:
345:
435:
397:
328:
173:
446:
412:
355:
264:
230:
39:
83:
639:
477:
320:
165:
21:
735:
411:. It still helps legibiility to use it, though. It is â„“-adic everywhere in this article, at least.
725:
WC4 predicts the degree sequence will be 1,0,2,0,3,0,..,n, but the Betti numbers are 1,0,1,0,,,1?
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
431:
393:
89:
692:
Better organisation of the text with statement and explanation of the conjectures before history
73:
52:
281:
212:
504:
From any perspective you look at it, a curve always has infinitely many non-rational points.
218:
No, you are mistaken about that. These Weil conjectures were made by Weil around 1949. The
731:
655:
613:
470:
462:
205:
189:
747:
677:
285:
712:
Last edited at 20:17, 13 June 2007 (UTC). Substituted at 02:40, 5 May 2016 (UTC)
695:
Much fuller explanation of the conjectures and their cohomological interpretation
102:
260:
247:
79:
651:
609:
445:
No, what I meant is that it is not I-adic, as you wrote (no italic format).
185:
739:
659:
643:
617:
498:
454:
439:
420:
401:
358:
348:
332:
288:
267:
250:
193:
177:
701:
Applications and major implications (in number theory, coding theory,...)
604:
By the way, you should make an account! After you do, come join us at
339:
finite fields or algebraically closed fields of prime characteristic?
720:
223:
589:
is an algebraically closed field containing the ground field and
407:
I guess the traditional typography with â„“ really references the
579:
s are indeterminates, because then all the points are distinct.
15:
698:
Explanation of relations to motives and standard conjectures
426:
It is? IE, Firefox, and Chrome are all showing it to me as
213:
http://www.fact-index.com/t/ta/taniyama_shimura_theorem.html
204:
I moved the page here because it is a group of conjectures.
721:
https://en.wikipedia.org/Weil_conjectures#Projective_space
672:
317:
study of variations of Hodge structures on families.
534:} be an infinite family of fields all isomorphic to
101:, a collaborative effort to improve the coverage of
676:, and are posted here for posterity. Following
384:, but maybe there's some reason for preferring
670:The comment(s) below were originally left at
628:Without Lubkin this article is incomplete. -
222:was made about the time of the conference in
8:
388:over â„“? Ditto for other articles mentioning
354:I've added a para of further explanation.
318:
47:
465:in relation to curves over finite fields
49:
19:
380:is indistinguishable from lower-case
7:
95:This article is within the scope of
184:I think that you're right. Thanks!
38:It is of interest to the following
759:High-priority mathematics articles
630:2601:4:3880:395:21E:C2FF:FEBB:A1D1
14:
678:several discussions in past years
606:Knowledge:Wikiproject Mathematics
599:space has infinitely many points.
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
716:Projective space Betti numbers
673:Talk:Weil conjectures/Comments
1:
333:20:32, 20 November 2017 (UTC)
289:14:24, 9 September 2006 (UTC)
109:and see a list of open tasks.
754:C-Class mathematics articles
660:14:54, 4 February 2014 (UTC)
644:03:18, 4 February 2014 (UTC)
618:02:25, 28 January 2012 (UTC)
499:18:29, 27 January 2012 (UTC)
280:Per Allyn Jackson's article
359:08:35, 24 August 2006 (UTC)
349:15:43, 23 August 2006 (UTC)
220:Taniyama-Shimura conjecture
775:
521:) be the residue field at
469:Hi, I'm trying to rewrite
455:21:24, 11 April 2011 (UTC)
440:19:50, 11 April 2011 (UTC)
421:08:15, 10 April 2011 (UTC)
376:-adic or â„“-adic? Capital
194:01:52, 17 March 2011 (UTC)
178:09:44, 14 March 2011 (UTC)
704:Lots of basic copyediting
685:
402:22:20, 9 April 2011 (UTC)
268:21:16, 10 July 2005 (UTC)
259:Some credit goes also to
251:20:45, 10 July 2005 (UTC)
233:16:29, 20 Sep 2004 (UTC)
134:
67:
46:
208:17:26 12 Jun 2003 (UTC)
141:project's priority scale
740:10:06, 7 May 2022 (UTC)
98:WikiProject Mathematics
28:This article is rated
728:Where is the error?
121:mathematics articles
409:golfball typewriter
158:Functional equation
666:Assessment comment
90:Mathematics portal
34:content assessment
710:
709:
480:comment added by
335:
323:comment added by
168:comment added by
155:
154:
151:
150:
147:
146:
766:
683:
682:
675:
646:
489:
447:Charles Matthews
413:Charles Matthews
368:-adic or â„“-adic?
356:Charles Matthews
265:Charles Matthews
231:Charles Matthews
180:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
774:
773:
769:
768:
767:
765:
764:
763:
744:
743:
718:
671:
668:
637:
626:
574:
565:
550:
533:
491:198.189.194.129
482:198.189.194.129
475:
467:
370:
341:
239:
202:
163:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
772:
770:
762:
761:
756:
746:
745:
717:
714:
708:
707:
706:
705:
702:
699:
696:
693:
690:
667:
664:
663:
662:
642:comment added
625:
622:
621:
620:
601:
600:
595:
594:
581:
580:
570:
563:
546:
529:
506:
505:
471:rational point
466:
463:rational point
459:
458:
457:
424:
423:
369:
363:
362:
361:
340:
337:
314:
313:
312:
311:
310:
309:
308:
307:
296:
295:
294:
293:
292:
291:
273:
272:
271:
270:
254:
253:
238:
235:
228:
227:
201:
198:
197:
196:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
771:
760:
757:
755:
752:
751:
749:
742:
741:
737:
733:
729:
726:
723:
722:
715:
713:
703:
700:
697:
694:
691:
688:
687:
684:
681:
679:
674:
665:
661:
657:
653:
649:
648:
647:
645:
641:
635:
631:
623:
619:
615:
611:
607:
603:
602:
597:
596:
592:
588:
583:
582:
578:
573:
569:
562:
558:
554:
549:
545:
541:
537:
532:
528:
524:
520:
516:
512:
508:
507:
503:
502:
501:
500:
496:
492:
487:
483:
479:
472:
464:
460:
456:
452:
448:
444:
443:
442:
441:
437:
433:
432:Vaughan Pratt
429:
422:
418:
414:
410:
406:
405:
404:
403:
399:
395:
394:Vaughan Pratt
391:
387:
383:
379:
375:
367:
364:
360:
357:
353:
352:
351:
350:
347:
338:
336:
334:
330:
326:
322:
304:
303:
302:
301:
300:
299:
298:
297:
290:
287:
282:
279:
278:
277:
276:
275:
274:
269:
266:
262:
258:
257:
256:
255:
252:
249:
244:
243:
242:
236:
234:
232:
225:
221:
217:
216:
215:
214:
209:
207:
199:
195:
191:
187:
183:
182:
181:
179:
175:
171:
170:84.167.241.29
167:
157:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
730:
727:
724:
719:
711:
669:
627:
590:
586:
576:
575:) where the
571:
567:
560:
556:
552:
547:
543:
539:
535:
530:
526:
522:
518:
514:
510:
476:— Preceding
468:
461:question on
427:
425:
389:
385:
381:
377:
373:
371:
365:
342:
325:85.240.65.87
319:— Preceding
315:
240:
229:
210:
203:
161:
136:
96:
40:WikiProjects
638:—Preceding
525:, and let {
263:, I think.
164:—Preceding
112:Mathematics
103:mathematics
59:Mathematics
748:Categories
392:-adic. --
261:Mike Artin
226:, in 1954.
732:Darcourse
206:LittleDan
624:Lubkin !
478:unsigned
321:unsigned
166:unsigned
686:Need:
640:undated
566:, ...,
286:Myasuda
139:on the
30:C-class
513:, let
372:Is it
36:scale.
248:Gauge
224:Nikko
736:talk
656:talk
652:Ozob
634:talk
614:talk
610:Ozob
495:talk
486:talk
451:talk
436:talk
417:talk
398:talk
346:Rich
329:talk
237:Who?
200:Move
190:talk
186:Ozob
174:talk
131:High
636:)
608:.
750::
738:)
658:)
616:)
559:)(
551:=
497:)
488:)
453:)
438:)
419:)
400:)
331:)
192:)
176:)
734:(
654:(
632:(
612:(
591:n
587:K
577:x
572:i
568:x
564:1
561:x
557:P
555:(
553:k
548:i
544:k
540:P
538:(
536:k
531:i
527:k
523:P
519:P
517:(
515:k
511:P
493:(
484:(
449:(
434:(
428:l
415:(
396:(
390:l
386:l
382:l
378:I
374:I
366:I
327:(
188:(
172:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.