Stack Exchange network consists of 180 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack ExchangeTeams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Learn moreI am actually a brainlet who likes to put bounties on random PDE questions that I see.
Location might not be correct.
Hodge conjecture: Let $X$ be a non-singular complex projective manifold. Then every Hodge class on $X$ is a linear combination with rational coefficients of the cohomology classes of complex subvarieties of $X$.
Proof: Follows from Corollary 8.2.
$\downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow$
Corollary 8.2
Proof: Using Theorem 8.1, we can conclude that (...).
$\downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow$
Theorem 8.1
Proof: From lemma 7.6 we can see (...).
$\downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow$
Lemma 7.6
Proof: (...) and by Proposition 4.3 (...).
$\downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow$
Proposition 4.3
Proof: (...) and the last inequality is a direct consequence of Theorem 6 from (...) by Evans. See references.
$\downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow$
(...), Evans: Theorem 6
Proof: (...) "Without loss of generality" we may (...). "Obviously", (...). Assertion (ii) follows "similarly". (...) and "temporarily suppose" that (...). Now we will "reduce to the special case" as above (...). See Stein [SE, Chapter IV] for "the theory" of (...) and by Theorem 4 we have that (...).
$\downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow\ \ \ \ \ \downarrow$
(...), Evans: Theorem 4
Proof: The proof is trivial and left as an exercise to the reader (Problem 11).
Your privacy
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.