The Phenotype
• Member for 4 years, 5 months
• Last seen more than 3 years ago
• Jeruzalem, Israël
Stats
5,129
reputation
706k
reached
200
3
questions
Communities

I 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).

9
22
34
45
Score
25
Posts
12
Posts %
37
Score
22
Posts
11
Posts %
33
Score
26
Posts
13
Posts %
22
Score
13
Posts
6
Posts %
21
Score
10
Posts
5
Posts %
20
Score
17
Posts
8
Posts %
Top posts
View all questions and answers
25
Dec 23, 2017
25
Jan 20, 2018
13
Dec 17, 2017
8
Jan 15, 2018
7
Dec 17, 2017
5
Jan 15, 2018
4
Jan 20, 2018
4
Jan 11, 2018