Nov 09, 2015 we prove the hard lefschetz theorem and the hodge riemann relations for a commutative ring associated to an arbitrary matroid m. Jandu, january 20, 2006, infinite bandwidth publishing edition, paperback in english. Gt to be the number of proper colorings of g using t colors. The hodge conjecture is not known even in the following nice examples. Specifically, they are the riemann hypothesis, which lingers from hilberts list, yangmills theory and the mass gap hypothesis, the p versus np problem, the navierstokes equations, the poincaire conjecture, the birch and swinnertondyer conjecture, and the hodge conjecture. The hodge conjecture january 20, 2006 edition open library. Serres conjecture for gl2 and to the geometric breuilmezard conjecture for potentially barsottitate representations. Algebraicity of hodge loci for variations of hodge structure. The hodge conjecture applied to the product of x and a suitable abelian variety predicts that h. The conjecture is a central problem in the theory of algebraic cycles. In mathematics, the hodge conjecture is a major unsolved problem in the field of algebraic geometry that relates the algebraic topology of a nonsingular complex algebraic variety to its subvarieties. The conjecture was first formulated by british mathematician william hodge in 1941, though it received little attention before he presented it in an.
Hodge conjecture implies that the locus where this happens is a denumerable union of algebraic subvarieties of s known. We use the hodgeriemann relations to resolve a conjecture of heron, rota, and welsh that postulates the logconcavity of the coefficients of the characteristic polynomial of m. By contrast, the hodge conjecture for divisors on any smooth complex projective variety is known the lefschetz 1,1theorem. The hodge conjecture asserts that, for particularly nice types of spaces called projective algebraic varieties, the pieces called hodge cycles are actually rational.
So the hc predicts that algebraic cycles jump up on special varieties of the. We use the hodge riemann relations to resolve a conjecture of heron, rota, and welsh that postulates the logconcavity of the coefficients of the characteristic polynomial of m. The evaluation is then a canonically normalized function on the socle. In this paper we prove the axschanuel conjecture in the more general setting of variations of pure hodge structures formulated recently by klingler kli17, conjecture 7. Let x tbe a family of algebraic varieties parametrized by a. Three lectures on the hodge conjecture deduce from this that for 2k hodge conjecture is true for all x of dimension conjecture 1. The characteristic polynomial and rotas conjecture overview of the proof of rotas conjecture whitney numbers of the second kind reeds conjecture let g be a connected nite graph. Period domains, algebraic cycles, and arithmetic 1020 june, 20 university of british columbia, vancouver a fourday summer school for graduate students and postdocs, followed by a sixday research conference on the. Logarithmic series and hodge integrals in the tautological.
Even though im able to understand what it says, and at first glance i do find it a very nice assertion, i cannot grasp yet why it is so relevant as to be. Suppose one has a smooth family of complex projective varieties and a locally constant cohomology class in the fibres which is everywhere a hodge class and is algebraic at one fibre. This is motivated largely by a recent approach of lawrencevenkatesh lv18 to proving analogs of the arithmetic shafarevich conjecture for families of varieties with. We furthermore conclude that the fvector of the independence. On the hodge conjecture for products of certain surfaces. Indam program on serre conjectures and the padic local. Journal of algebraic geometry 11 2002 here is the bundled source for this document. What progress has been made to date on the hodge conjecture.
Products of it with itself give candidates for counterexamples to the hodge conjecture which may be of interest. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. I cannot really answer this, but it is a key ingredient in a larger framework governing cycles in algebraic geometry. It can be considered an arithmetic analog of the hodge conjecture. Lecture notes geometry of manifolds mathematics mit. Hodge conjecture in the context of algebraic cycles, and discuss its relationship with the generalized bloch conjecture and the nilpotence conjecture. Mar 20, 2011 hodge conjecture conjecture hackman remix label. B, the hodge decompositions on x t vary continuously for t2b, and ltrations vary holomorphically. Given the paucity of evidence, why do people believe the hodge conjecture.
Jan 11, 2017 some progress was made by voisin and others using complex analytical tools and decomposition of the diagonal, in particular regarding complex tori, perhaps also hyperkahker varieties, say by ogrady. I think that the written paragraphs were irrelevant, but the assumption in the hodge conjecture that x is algebraic cannot be weakened. Pdf on the general hodge conjecture for abelian varieties. The hodge conjecture for general prym varieties by indranil biswas school of maths, tifr, homi bhabha road, mumbai 400 005. An automorphic variant of a conjecture of deligne jie lin abstract. However, some objects are even more complicated and cannot be built wi. Hodge, is a method for studying the cohomology groups of a smooth manifold m using partial differential equations. From the hodge conjecture for function elds, one expects that the galois group and hodgepink group are isomorphic, which we prove with the help of tannakian theory dmos82, prop. Find materials for this course in the pages linked along the left. We also prove the hodge conjecture for arbitrary selfproducts of a k3 surface xsuch that the.
The hodge conjecture simply means that shapes fit inside shapes. Hodge type conjecture for higher chow groups 949 conjecture see 21, 29, 32. Pdf the general hodge conjecture for abelian varieties of cmtype is shown to be implied by the usual hodge conjecture for those up to codimension two. The tate conjecture is the analogue where c \mathbfc is replaced by a finite field or number field, and the target category of pure hodge structures is replaced by the ladic representations. A gauge transformation is a gequivariant di eomorphism of p living over the identity, i. Hodge made an additional, stronger conjecture than the integral hodge conjecture. Some geometric objects that are interesting to study and relevant to areas like engineering or physics can be defined algebraically, but not geometrically. Subhodge structure means the subgroup of the integral lattice whose complexi.
Hi all, in my engineering class we had to choose to do a product on any stem topic, and i chose the millenium problems. Paranjape imsc, cit campus, tharamani, chennai 600 1. Hodge theoretic invariants for algebraic cycles mark green and phillip griffiths abstract. Let x be a nonsingular complex projective manifold.
This is a polynomial in t, called the chromatic polynomialof g. Devlin profiles each problem and offers insight into how it came about and its significance. Logarithmic series and hodge integrals in the tautological ring. We furthermore conclude that the fvector of the independence complex of a matroid forms. It is natural to hope analogous gorenstein properties hold for r. Hodge conjecture, in algebraic geometry, assertion that for certain nice spaces projective algebraic varieties, their complicated shapes can be covered approximated by a collection of simpler geometric pieces called algebraic cycles. However, in the case of genus0 maps to homogeneous varieties, it is. Then the tate conjecture for divisors on x is equivalent to the birchswinnertondyer conjecture for the jacobian variety of f. Logarithmic series and hodge integrals in the tautological ring 219 rings in the more general setting of stable maps. In fact, though not introduced in this article, zucker showed in 1977 that complex tori with nonanalytic rational cohomology of type.
Assuming the generalized hodge conjecture and a conjecture of blochbeilinson, we show that. Even though im able to understand what it says, and at first glance i do find it a very nice assertion, i cannot grasp yet why it is so relevant as to be considered one of the biggest open problems in algebraic. Say that a cohomology class on x is of colevel c coniveau c if it is the pushforward of a cohomology class on a c codimensional subvariety of x. Key to this approach is showing that a given family of hodge classes is absolute, extending delignes theorem for abelian varieties. This is joint work with ana caraiani, matthew emerton, and toby gee. Hodgetype conjecture for higher chow groups 949 conjecture see 21, 29, 32. Mgis a gorenstein algebra with socle in codimension g. Hodge conjecture article about hodge conjecture by the. If the hodge conjecture is known for a and b is another abelian variety such that gb ga then the hodge conjecture follows for b as well. Categories and noncommutative geometry statement of the conjecture kaledin, several papers on the proof math0511665, math0611623, 0708. We prove the hard lefschetz theorem and the hodgeriemann relations for a commutative ring associated to an arbitrary matroid m. Hodgetheoretic invariants for algebraic cycles mark green and phillip griffiths abstract. Thomas gives a proof to descending the hodge conjecture into showing that every n,nhodge class in a.
810 33 896 557 555 195 314 1488 1401 626 1003 1274 605 420 1343 300 863 20 1066 208 187 618 540 1200 543 1454 1041 1365 1497 1337 552 1405 316 546 41 24 73 1306 865 678 229 1024 1436 707 541 703 113 78 76 817