# Progress on the Hodge conjecture (as of 2023)

1. Top Mathematician
wejy

Has there been any recent progress in this area? What are the obstacles?

1 weekwejy
Quote 1 Up 0 Down Report
2. Top Mathematician
asvc

Integral Hodge conjecture false. No significant progress since.

1 weekasvc
Quote 5 Up 0 Down Report
3. Top Mathematician
vzue

Voisin proved that the Hodge conjecture for Kahler manifolds is false in 2001. Don't know if this counts as recent.

1 weekvzue
Quote 8 Up 0 Down Report
4. Top Mathematician
iell

false for trivial reasons

1 weekiell
Quote 3 Up 0 Down Report
5. Top Mathematician
iell

trivial for false reasons

1 weekiell
Quote 7 Up 0 Down Report
6. Top Mathematician
clvb

The Hodge conjecture per se, not so much. Maybe ten years ago people were working on various special cases for products of surfaces. But there's certainly progress on Hodge theory more broadly, in the sense of proving that certain a priori analytic objects in Hodge theory are in fact algebraic. For example, Bakker-Brunebarbe-Tsimerman recently proved a conjecture of Griffiths that the image of the period map is quasi-projective:

https://arxiv.org/abs/1811.12230

Concretely what this means is that if you have a family of smooth projective varieties, then you can look at the periods/Hodge structures on the cohomology on the members of the family as defining a subset of the "period domain" of Hodge structures of that type. While whole period domain is something analytic (it's the upper half plane in the simplest classical case of families of elliptic curves), we now know that in fact that the subset of "periods" for a fixed family of smooth projective varieties has the natural structure of quasi-projective variety, that is to say, can be described by finitely many polynomial equations.

By the way, the proof uses the same circle of ideas as used in the proofs of Andre-Oort and Manin-Mumford, that is to say o-minimal geometry.

1 weekclvb
Quote 13 Up 2 Down Report
7. Top Mathematician
jwjf

HD is working on it using pde techniques. He's really close to the solution.

1 weekjwjf
Quote 3 Up 5 Down Report
8. Top Mathematician
clvb

ChatGPT, how can I prove the Hodge conjecture?

The Hodge conjecture is a famous open problem in algebraic geometry, which asserts that for a projective algebraic variety over the complex numbers, the Hodge numbers determine the rational cohomology ring. While there has been significant progress towards the conjecture in recent years, it remains an unsolved problem.

Right...

1 weekclvb
Quote 0 Up 1 Down Report
9. Top Mathematician
nfak

HD is working on it using pde techniques. He's really close to the solution.

HD? whos that

1 weeknfak
Quote 0 Up 0 Down Report
10. Top Mathematician
cexj

HD is working on it using pde techniques. He's really close to the solution.

HD? whos that

Hodge Disprover

1 weekcexj
Quote 2 Up 0 Down Report
11. Top Mathematician
clvb
[...]

HD? whos that

Hodge Disprover

Deligne tried that and failed. The result is "Hodge cycles on abelian varieties".

1 weekclvb
Quote 0 Up 0 Down Report
12. Top Mathematician
gytt

HD is working on it using pde techniques. He's really close to the solution.

HD? whos that

Our hero at Purdue.

1 weekgytt
Quote 4 Up 0 Down Report
13. Top Mathematician
yplf

The Hodge conjecture per se, not so much. Maybe ten years ago people were working on various special cases for products of surfaces. But there's certainly progress on Hodge theory more broadly, in the sense of proving that certain a priori analytic objects in Hodge theory are in fact algebraic. For example, Bakker-Brunebarbe-Tsimerman recently proved a conjecture of Griffiths that the image of the period map is quasi-projective:

https://arxiv.org/abs/1811.12230

Concretely what this means is that if you have a family of smooth projective varieties, then you can look at the periods/Hodge structures on the cohomology on the members of the family as defining a subset of the "period domain" of Hodge structures of that type. While whole period domain is something analytic (it's the upper half plane in the simplest classical case of families of elliptic curves), we now know that in fact that the subset of "periods" for a fixed family of smooth projective varieties has the natural structure of quasi-projective variety, that is to say, can be described by finitely many polynomial equations.

By the way, the proof uses the same circle of ideas as used in the proofs of Andre-Oort and Manin-Mumford, that is to say o-minimal geometry.

This direction is unrelated to the Hodge conjecture, so why mention it?

1 weekyplf
Quote 0 Up 0 Down Report
14. Top Mathematician
clvb

The Hodge conjecture per se, not so much. Maybe ten years ago people were working on various special cases for products of surfaces. But there's certainly progress on Hodge theory more broadly, in the sense of proving that certain a priori analytic objects in Hodge theory are in fact algebraic. For example, Bakker-Brunebarbe-Tsimerman recently proved a conjecture of Griffiths that the image of the period map is quasi-projective:

https://arxiv.org/abs/1811.12230

Concretely what this means is that if you have a family of smooth projective varieties, then you can look at the periods/Hodge structures on the cohomology on the members of the family as defining a subset of the "period domain" of Hodge structures of that type. While whole period domain is something analytic (it's the upper half plane in the simplest classical case of families of elliptic curves), we now know that in fact that the subset of "periods" for a fixed family of smooth projective varieties has the natural structure of quasi-projective variety, that is to say, can be described by finitely many polynomial equations.

By the way, the proof uses the same circle of ideas as used in the proofs of Andre-Oort and Manin-Mumford, that is to say o-minimal geometry.

This direction is unrelated to the Hodge conjecture, so why mention it?

Just to annoy lemons like you.

The Hodge conjecture per se is one of many statements, conjectural or proved, that are similar in spirit: certain a priori topological or analytic objects associated to algebraic varieties satisfy strong constraints that should force them to be algebraic.

1 weekclvb
Quote 4 Up 1 Down Report
15. Top Mathematician
yplf

The most promising way of approaching HC at the moment is via the singularities of normal functions.

There are various instances of HC verified on objects coming out of Shimura varieties using the theory of automorphic forms.

1 weekyplf
Quote 0 Up 1 Down Report
16. Top Mathematician
yplf
[...]

This direction is unrelated to the Hodge conjecture, so why mention it?

Just to annoy lemons like you.

The Hodge conjecture per se is one of many statements, conjectural or proved, that are similar in spirit: certain a priori topological or analytic objects associated to algebraic varieties satisfy strong constraints that should force them to be algebraic.

I disagree with you that the Hodge conjecture and the Griffiths conjecture can be grouped together. The Hodge conjecture is about topological information encoding the data of cycles in the algebraic context, and the reason why it should hold is quite naive. The Griffiths conjecture on the other hand happens in the analytic context, so it is more like a GAGA type statement. The whole setup of the Griffiths conjecture is holomorphic, not merely topological. Also the moral reason why it should hold is very clear: you want to use Chow's theorem, and you expect it to be applicable because 1. you have some positivity by positivity and horizontality of Griffiths bundle and 2. you think it can be compactified because you have a control of singularities of the period map.

1 weekyplf
Quote 3 Up 0 Down Report
17. Top Mathematician
clvb
[...]

Just to annoy lemons like you.

The Hodge conjecture per se is one of many statements, conjectural or proved, that are similar in spirit: certain a priori topological or analytic objects associated to algebraic varieties satisfy strong constraints that should force them to be algebraic.

I disagree with you that the Hodge conjecture and the Griffiths conjecture can be grouped together. The Hodge conjecture is about topological information encoding the data of cycles in the algebraic context, and the reason why it should hold is quite naive. The Griffiths conjecture on the other hand happens in the analytic context, so it is more like a GAGA type statement. The whole setup of the Griffiths conjecture is holomorphic, not merely topological. Also the moral reason why it should hold is very clear: you want to use Chow's theorem, and you expect it to be applicable because 1. you have some positivity by positivity and horizontality of Griffiths bundle and 2. you think it can be compactified because you have a control of singularities of the period map.

How is the Hodge conjecture about topological information? Rather, it is about the intersection of topological and holomorphic information implying algebraicity.

However, I agree that the Griffiths conjecture is more of a GAGA statement, and indeed that's how Bakker-Brunebarbe-Tsimerman frame it.

1 weekclvb
Quote 1 Up 0 Down Report
18. Top Mathematician
oqtg

This direction is unrelated to the Hodge conjecture, so why mention it?

Would you also say Cattani-Deligne-Kaplan is unrelated to the Hodge conjecture??

1 weekoqtg
Quote 3 Up 0 Down Report
Your screen is so tiny that we decided to disable the captcha and posting feature
Store settings & IDs (locally, encrypted)
Formatting guidelines: Commonmark with no images and html allowed. $and$\$ for LaTeX. Input previewed in last post of thread. For a link to be allowed it must include the http(s) tag and come from the list of allowed domains.