84:
74:
53:
22:
184:
I guess what I was getting at is that the article moves immediately from a sort of vague undergrad level discussion to the level only of interest to an algebraic geometer. What is Hodge theory to an analyst, a common differential geometer, or a Lie theorist, for instance? Probably 99% of the papers
430:
As I understand, "Hodge structure" is an axiomatization of Hodge theory (on Kähler manifolds); the usual Hodge theory simply says there exists Hodge structure. Since the Hodge structure article is well-developed and is lengthy, I think it's ok to have two separate articles. Since I'm not seeing an
157:
This seems to be a definition of Hodge structure, which is what the self-proclaiimed "Hodge theorists" talk about -- namely those working on the Hodge conjecture. But from my point of view, Hodge _theory_ is really the study of finding "harmonic" representatives of cohomology classes on various
171:, and so on. In those applications one doesn't usually want to look closely at the harmonic representatives. Hodge was an algebraic geometer, no question. So far WP doesn't have the analytic theory described. I suppose there is some mention of the history on the
158:
sorts of structures (e.g., Riemannian manifolds, complex manifolds, algebraic varieties, homogeneous vector bundles on Lie groups, etc). Maybe there should be some discussion about the origins and applications of Hodge theory (from this point of view).
754:
453:
The article contains a seeming non-sequitur: "On the other hand, the integral can be written as the cap product of the homology class of Z...". There is no previous mention of an integral or of Z. Can someone elaborate?
393:. The reason is because, as I understand, Hodge theory for differential manifolds and one in complex geometry are distinct theories, if spiritually similar, (and thus should be covered by separate articles). --
185:
I have seen actually using Hodge theory do not use, and are not primarily interested in, the abstract definition of a Hodge structure. What do harmonic representatives have to do with this abstract definition?
370:, hoping to find information about its multidimensional extension (as stated on that page). On the present page, I do not see any mention of Helmholtz decomposition though. What is the link between both?
642:
201:
I have posted some more detailed discussion of Hodge theory in the de Rham case, and for elliptic complexes. It still needs a lot of work, but I'm having some Wiki problems, so editing is slow.
140:
549:
794:
The "Kähler package" is a powerful set of restrictions on the cohomology of smooth complex projective varieties (or compact Kähler manifolds), building on Hodge theory.
661:
851:
130:
106:
846:
221:-- Helpful it would be if more specific constructive criticism you offered. Otherwise delete both our comments will the moderators. -Yoda
97:
58:
390:
570:
33:
408:
I'm not an expert, but the split seems reasonable, with a summary retained in this article. What should be done with
167:
Well, it's both, isn't it? Hodge structures do more than point at the Hodge conjecture; they have moduli and provide
431:
objection, I will be doing the split-off in a couple of days and turns this page into a broad-concept article. --
192:
As an afterthought, maybe Hodge structure could be moved to a separate article with some sort of segue into it?
495:
459:
367:
330:
389:
I propose we split off the Hodge theory for complex projective varieties and other two related sections to
648:
436:
398:
347:
259:
455:
417:
178:
39:
492:
as a generalization of the de Rham complex. The Hodge theorem extends to this setting, as follows. Let
375:
252:
It does, sort of. See the section on de Rham cohomology where it defines the space of harmonic forms.
83:
21:
371:
315:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
326:
242:
89:
73:
52:
432:
394:
341:
253:
766:
Maybe the author could be a great deal more generous to the reader by explaining — at least
489:
413:
172:
409:
168:
749:{\displaystyle 0\to \Gamma (E_{0})\to \Gamma (E_{1})\to \cdots \to \Gamma (E_{N})\to 0}
552:
481:
217:
Could someone try to simplify the first sentence? I find it really difficult to parse.
840:
412:, which is claimed as the main article for the complex projective variety section? --
238:
204:
196:
161:
774:. Thereby answering an obvious question that 97% of readers will probably have.
307:
285:
102:
652:
485:
79:
824:
And complex projective varieties are all examples of Kähler manifolds.
463:
440:
421:
402:
379:
355:
334:
267:
246:
207:
655:
sections of these vector bundles, and that the induced sequence
15:
777:
Instead of merely providing a link to an article about it.
830:
The information in the sentence could probably be written
300:
and the omission glares at you. Obviously it should say
637:{\displaystyle L_{i}:\Gamma (E_{i})\to \Gamma (E_{i+1})}
385:
Split off Hodge theory for complex projective varieties
475:
Hodge theory of elliptic complexes" begins as follows:
808:"restrictions" placed on the cohomology in question,
664:
573:
555:, equipped with metrics, on a closed smooth manifold
498:
175:
page, in that
Kodaira really tidied up the analysis.
101:, a collaborative effort to improve the coverage of
748:
636:
543:
469:Please state how an "elliptic complex" is defined
8:
787:Hodge theory of complex projective varieties
391:Hodge theory in complex algebraic geometry
188:So, I still find this article imbalanced.
47:
731:
703:
681:
663:
619:
597:
578:
572:
544:{\displaystyle E_{0},E_{1},\ldots ,E_{N}}
535:
516:
503:
497:
237:..but it does not define a harmonic form!
818:by the cohomology of Kähler manifolds.
49:
19:
278:The first line of this article says:
7:
95:This article is within the scope of
366:I clicked through from the page on
38:It is of interest to the following
721:
693:
671:
609:
587:
14:
852:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
832:even more confusingly than it is
118:Template:WikiProject Mathematics
82:
72:
51:
20:
362:Link to Helmholtz decomposition
135:This article has been rated as
834:... but I can't think of how.
740:
737:
724:
718:
712:
709:
696:
690:
687:
674:
668:
631:
612:
606:
603:
590:
1:
247:20:17, 12 November 2008 (UTC)
229:What is p-adic Hodge theory?
109:and see a list of open tasks.
847:C-Class mathematics articles
800:This is extremely unclear!!!
356:18:44, 9 December 2008 (UTC)
335:18:42, 9 December 2008 (UTC)
268:18:46, 9 December 2008 (UTC)
233:Harmonic form redirects here
772:what an elliptic complex is
868:
464:16:30, 29 March 2023 (UTC)
441:03:06, 29 March 2018 (UTC)
422:00:52, 25 March 2018 (UTC)
403:22:57, 22 March 2018 (UTC)
181:06:48, 15 Sep 2004 (UTC)
164:01:52, 15 Sep 2004 (UTC)
134:
67:
46:
789:contains this sentence:
141:project's priority scale
759:is an elliptic complex.
380:06:57, 2 May 2017 (UTC)
368:Helmholtz decomposition
208:03:24, 7 May 2005 (UTC)
98:WikiProject Mathematics
750:
649:differential operators
638:
545:
28:This article is rated
751:
639:
546:
816:conditions satisfied
662:
571:
496:
121:mathematics articles
559:with a volume form
225:p-adic Hodge theory
781:Confusing sentence
746:
634:
541:
490:elliptic complexes
318:, is one aspect of
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
859:
814:Rather they are
755:
753:
752:
747:
736:
735:
708:
707:
686:
685:
643:
641:
640:
635:
630:
629:
602:
601:
583:
582:
550:
548:
547:
542:
540:
539:
521:
520:
508:
507:
352:
351:
344:
292:is one aspect of
274:Glaring omission
264:
263:
256:
179:Charles Matthews
173:Kunihiko Kodaira
169:Torelli theorems
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
867:
866:
862:
861:
860:
858:
857:
856:
837:
836:
783:
727:
699:
677:
660:
659:
615:
593:
574:
569:
568:
531:
512:
499:
494:
493:
471:
451:
410:Hodge structure
387:
364:
349:
348:
342:
276:
261:
260:
254:
235:
227:
215:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
865:
863:
855:
854:
849:
839:
838:
782:
779:
765:
757:
756:
745:
742:
739:
734:
730:
726:
723:
720:
717:
714:
711:
706:
702:
698:
695:
692:
689:
684:
680:
676:
673:
670:
667:
645:
644:
633:
628:
625:
622:
618:
614:
611:
608:
605:
600:
596:
592:
589:
586:
581:
577:
563:. Suppose that
553:vector bundles
538:
534:
530:
527:
524:
519:
515:
511:
506:
502:
470:
467:
456:Sloth sisyphos
450:
447:
446:
445:
444:
443:
425:
424:
386:
383:
363:
360:
359:
358:
324:
323:
321:
320:
319:
314:, named after
298:
297:
295:
294:
293:
275:
272:
271:
270:
234:
231:
226:
223:
220:
214:
213:first sentence
211:
194:
193:
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:
864:
853:
850:
848:
845:
844:
842:
835:
833:
828:
827:
822:
821:
817:
812:
811:
807:
802:
801:
797:
795:
790:
788:
780:
778:
775:
773:
769:
763:
762:
743:
732:
728:
715:
704:
700:
682:
678:
665:
658:
657:
656:
654:
650:
626:
623:
620:
616:
598:
594:
584:
579:
575:
567:
566:
565:
564:
560:
556:
554:
536:
532:
528:
525:
522:
517:
513:
509:
504:
500:
491:
487:
483:
477:
476:
468:
466:
465:
461:
457:
448:
442:
438:
434:
429:
428:
427:
426:
423:
419:
415:
411:
407:
406:
405:
404:
400:
396:
392:
384:
382:
381:
377:
373:
369:
361:
357:
353:
345:
339:
338:
337:
336:
332:
328:
327:Michael Hardy
322:
317:
313:
309:
305:
304:
303:
302:
301:
296:
291:
287:
283:
282:
281:
280:
279:
273:
269:
265:
257:
251:
250:
249:
248:
244:
240:
232:
230:
224:
222:
218:
212:
210:
209:
206:
202:
199:
198:
191:
190:
189:
186:
182:
180:
176:
174:
170:
165:
163:
159:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
831:
829:
825:
823:
819:
815:
813:
809:
805:
803:
799:
798:
793:
791:
786:
785:The section
784:
776:
771:
767:
764:
760:
758:
646:
562:
558:
480:
478:
474:
473:The section
472:
452:
449:cap product?
388:
365:
343:siℓℓy rabbit
325:
316:?????? Hodge
312:Hodge theory
311:
299:
290:Hodge theory
289:
277:
255:siℓℓy rabbit
236:
228:
219:
216:
203:
200:
195:
187:
183:
177:
166:
160:
156:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
647:are linear
414:Mark viking
308:mathematics
286:mathematics
112:Mathematics
103:mathematics
59:Mathematics
841:Categories
804:These are
651:acting on
810:Are they?
488:defined
239:Billlion
205:Jholland
197:Jholland
162:Jholland
768:briefly
372:Spiri82
340:Fixed.
139:on the
30:C-class
826:Right?
820:Right?
482:Atiyah
36:scale.
486:Bott
484:and
460:talk
437:talk
433:Taku
418:talk
399:talk
395:Taku
376:talk
350:talk
331:talk
262:talk
243:talk
806:not
551:be
306:In
284:In
131:Low
843::
796:"
770:—
741:→
722:Γ
719:→
716:⋯
713:→
694:Γ
691:→
672:Γ
669:→
610:Γ
607:→
588:Γ
561:dV
526:…
462:)
439:)
420:)
401:)
378:)
354:)
333:)
310:,
288:,
266:)
245:)
792:"
761:"
744:0
738:)
733:N
729:E
725:(
710:)
705:1
701:E
697:(
688:)
683:0
679:E
675:(
666:0
653:C
632:)
627:1
624:+
621:i
617:E
613:(
604:)
599:i
595:E
591:(
585::
580:i
576:L
557:M
537:N
533:E
529:,
523:,
518:1
514:E
510:,
505:0
501:E
479:"
458:(
435:(
416:(
397:(
374:(
346:(
329:(
258:(
241:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.