Questions tagged [hodge-theory]
The study of harmonic differential forms on complex projective varieties, their invariantly defined filtrations, their integrals over topological cycles, especially over subvarieties, the deformations of these integrals and filtrations in families, and a multitude of generalizations.
452
questions
115
votes
2
answers
30k
views
Why is the Hodge Conjecture so important?
The Hodge Conjecture states that every Hodge class of a non singular projective variety over $\mathbf{C}$ is a rational linear combination of cohomology classes of algebraic cycles: Even though I'm ...
56
votes
2
answers
9k
views
What is prismatic cohomology?
Prismatic cohomology is a new theory developed by Bhatt and Scholze; see, for instance, these course notes. For the sake of the community, it would be great if the following question is discussed in ...
39
votes
1
answer
5k
views
Clausen's modified Hodge Conjecture
In a recent talk at the University of Geneve, Dustin Clausen presented a "modified Hodge Conjecture". I found the abstract intriguing but couldn't find videos or notes available online.
If I'...
39
votes
6
answers
8k
views
Down-to-earth expositions of Hodge theory
What are nice expositions of Hodge theory not using advanced language of algebraic geometry or category theory?
Of course, since I haven't found a (for me) readable introduction, I don't know what I ...
37
votes
4
answers
9k
views
Proving Hodge decomposition without using the theory of elliptic operators?
In the common Hodge theory books, the authors usually cite other sources for the theory of elliptic operators, like in the Book about Hodge Theory of Claire Voisin, where you find on page 128 the ...
35
votes
1
answer
1k
views
What is the meaning of $(h^{11},h^{21})\to (h^{11}-240,h^{21}+240)$ in Calabi-Yau threefolds?
By browsing through the Hodge data of known Calabi-Yau threefolds, I stumbled upon an observation that frequently enough a pair of Hodge numbers $(h^{11},h^{21})$ comes together with the pair $ (h^{...
34
votes
2
answers
3k
views
Equivalent descriptions of Hodge conjecture?
I would like to know equivalent descriptions of the Hodge conjecture (with references).
Dan Freed's Version:
Consider a topological cycle (boundary less chains that are free to deform) on a ...
32
votes
7
answers
6k
views
Examples of Mixed Hodge Structures
Does anyone know a user-friendly, example-laden introduction to mixed Hodge structures? I get from Wikipedia how to calculate for a punctured and pinched curve (http://en.wikipedia.org/wiki/...
31
votes
2
answers
3k
views
On Grothendieck's idea on his Standard Conjecture B
Let me recall the Standard Conjecture B (see [1,2] below):
The $\Lambda$-operation of Hodge theory is algebraic.
It more or less says that the partial inverse to “cupping with the class of a ...
30
votes
2
answers
2k
views
Diffeomorphic Kähler manifolds with different Hodge numbers
This question made me wonder about the following:
Are there orientedly diffeomorphic Kähler manifolds with different Hodge numbers?
It seems that this would require that those manifolds are not ...
27
votes
1
answer
3k
views
Mixed Hodge structure on the rational homotopy type
A mixed Hodge structure (mHs) on a commutative differential graded algebra (cgda) over $\mathbf{Q}$ is a mixed Hodge structure on the underlying vector space such that the product and the differential ...
26
votes
4
answers
6k
views
Why do people think that abelian varieties are the hardest case for the Hodge conjecture?
Today, I heard that people think that if you can prove the Hodge conjecture for abelian varieties, then it should be true in general. Apparently this case is important enough (and hard enough) that ...
26
votes
0
answers
2k
views
Is there a proof of Hodge theory using condensed mathematics?
As is well known, many results in complex geometry "feel" algebraic (and often have statements which are "completely algebraic") but only have "transcendental" proofs (i....
25
votes
2
answers
2k
views
Hodge theory (after Deligne)
In an interview with Deligne on the Simons Foundation website, I heard Robert MacPherson say that at the time Deligne's papers on Hodge theory were being published, the results seemed absolutely ...
25
votes
1
answer
2k
views
Hodge decomposition and degeneration of the spectral sequence
I am teaching a course on Hodge theory and I realised that I don't understand something basic.
Let first $X$ be a compact Kahler manifold. Let $H^{p,q}(X)=H^q(X,\Omega^p_X)$ where $\Omega^p_X$ is the ...
24
votes
4
answers
5k
views
The prerequisites for Deligne's Théorie de Hodge I, II, III
I am an undergraduate student. I am not sure if it's OK to ask this question here.
I want to learn Hodge theory. But I do not know how to start it, and how much mathematics I should need before I ...
23
votes
2
answers
5k
views
What exactly does the weight filtration in Hodge theory have to do with the Weil conjectures?
Let $X$ be a variety over $\mathbb{C}$, say separated. According to Deligne's results, there is a "mixed Hodge structure" on the total cohomology $H^\bullet(X(\mathbb{C}), \mathbb{Z})$. One component ...
22
votes
2
answers
2k
views
Comparing cohomology over ${\mathbb C}$ and over ${\mathbb F}_q$
I have the following (probably well-known) question: let $X$ be a regular scheme over
$\mathbb Z$. Let $p$ be a prime and Let us denote the reduction of $X$ mod $p$ by $X_p$.
Let also $X_{\mathbb C}$...
21
votes
0
answers
598
views
Bounding failures of the integral Hodge and Tate conjectures
It is well know that the integral versions of the Hodge and Tate conjectures can fail. I once heard an off hand comment however that they should only fail by a "bounded amount". My question is what ...
20
votes
3
answers
2k
views
Exercises in Hodge Theory
I was wondering: is there a good place to find exercises in Hodge theory? Mostly computations and proving small (preferably nifty) theorems, is what I have in mind. Something roughly like the ...
20
votes
0
answers
1k
views
Reference request: deforming a G-local system to a variation of Hodge structure
Let $X$ be a smooth connected quasiprojective variety over $\mathbb{C}$ and let $G$ be a complex reductive group. Let $$\iota: G\to GL_N$$ be a representation and let $$\rho: \pi_1(X(\mathbb{C}))\to G(...
20
votes
0
answers
609
views
A Green's function for the Laplacian on k-forms
Let $X$ be a compact, oriented, Riemannian $n$-fold. Then we have a Laplacian operator $\Delta = d d^{\ast} + d^{\ast} d$ from $\Omega^k(X)$ to itself. We have the Hodge decomposition $\Omega^k(X) = \...
19
votes
2
answers
2k
views
is the Hodge conjecture birationally invariant?
Let $X$ and $Y$ be two birational smooth projective varieties over the complex numbers. Assume $X$ satisfies the Hodge conjecture.
Is it known that the Hodge conjecture holds for $Y$?
19
votes
1
answer
3k
views
When does the Torelli Theorem hold?
The Torelli theorem states that the map $\mathcal{M}_g(\mathbb{C})\to \mathcal{A}_g(\mathbb{C})$ taking a curve to its Jacobian is injective. I've seen a couple of proofs, but all seem to rely on the ...
17
votes
2
answers
3k
views
Hodge decomposition in Minkowski space
This question is motivated by the physical description of magnetic monopoles. I will give the motivation, but you can also jump to the last section.
Let us recall Maxwell’s equations: Given a semi-...
17
votes
2
answers
1k
views
Hodge standard conjecture for étale cohomology
It is known that Hodge standard conjecture is true for étale cohomology for a field $k$ of characteristic zero. It means that the following pairing
$$
(x,y)\mapsto (-1)^{i}\langle L^{r-2i}(x),y\...
16
votes
3
answers
3k
views
Primitive Cohomology Useful?
In her book, after proving the hodge decomposition, Voisin spends time discussing primitive cohomology $H^r(X, \mathbb{C})_{prim} = \ker L^{n-r+1} \subset H^r(X, \mathbb{C})$ (where $L$ is the ...
16
votes
2
answers
1k
views
Why the similarity between Hodge theory for compact Riemannian and complex manifolds?
I'm aware to varying extents of the existence of certain decompositions of the space of $k$-forms on a compact complex or compact Riemannian manifold that split into closed, co-closed, and harmonic ...
15
votes
3
answers
776
views
Log-concavity of matroids: characterization of equality?
Let $M$ be a (loopless) matroid of rank $r$.
The characteristic polynomial $\chi_M(x)$ is defined by $\chi_M(x)=\sum_{F \in \mathcal{L}(M)}\mu(\hat{0},F) \cdot x^{\mathrm{rk}(F)}$, where $ \mathcal{L}(...
15
votes
1
answer
1k
views
Mixed Hodge structure on sheaf cohomology of a variation of Hodge structures
I'm new here. I hope to do it right!
I am interested in studying mixed Hodge structures over complex algebraic surfaces and their generalizations.
Let us take a smooth complex variety $X$ and a ...
15
votes
2
answers
2k
views
Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?
(For a formulation of the Mumford–Tate conjecture, see below.)
The question
As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...
15
votes
3
answers
4k
views
Formal adjoint of the covariant derivative
Let $E \to M$ be a vector bundle over some Riemannian metric $(M, g)$ and endow it with some fibre metric. Assume that covariant derivative $\nabla$ is compatible with the metric.
It is essentially ...
15
votes
1
answer
2k
views
Tate twists and cohomology of $\mathbf{P}^1$
I was wondering if anyone could give me some intuition as to why, for a smooth projective variety $X$ over $\mathbf{C}$ of complex dimension $d$, the Tate twist on $H^n(X(\mathbf{C}),\mathbf{Z})$ to ...
15
votes
1
answer
2k
views
Hodge numbers in a family
Let $X \to Y$ be a smooth projective morphism of smooth varieties over $\mathbb{C}$. Then the fibers $X_y, y \in Y$ have locally constant Hodge numbers $H^q(X_y, \Omega^p_{X_y})$. Namely, one can ...
15
votes
3
answers
880
views
Lower central series quotients in terms of (co)homology
Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this ...
15
votes
1
answer
1k
views
Some basic questions on crystalline cohomology
Let $X_0$ be a smooth projective variety over $\mathbf{F}_q$ and ${X}$ its base change to an algebraic closure $k$ of $\mathbf{F}_q$.
Crystalline cohomology $H^*_{\rm cris}(X) := H^*((X/W(k))_{\rm ...
15
votes
2
answers
938
views
Mixed Hodge structure on configuration spaces
Let $X$ be a smooth complex projective variety. Let $F(X,n)$ be the configuration space parametrizing $n$ distinct ordered points in $X$. The cohomology groups $H^k(F(X,n),\mathbf Q)$ carry a mixed ...
15
votes
1
answer
707
views
Semistable filtered vector spaces, a Tannakian category.
Let $k$ be a field (char = 0, perhaps). Let $(V,F)$ be a pair, where $V$ is a finite-dimensional $k$-vector space, and $F$ is a filtration of $V$, indexed by rational numbers, satisfying:
$F^i V \...
14
votes
2
answers
2k
views
Can one find the hodge number by counting points over finite fields?
Given a proper smooth variety $X$ of dimension $n$ over $\mathbb{C}$, assume it has a model over a DVR of mixed characteristic $(0,p)$ with residue field $\mathbb{F}_q$, and assume the closed fiber $...
14
votes
1
answer
2k
views
On polarized (pure) Hodge structures
Some simple questions, for which I know no precise reference (and would be deeply grateful for a nice one!):
Is it true that the category of (pure) polarized Hodge structures is abelian semi-simple, ...
14
votes
1
answer
741
views
Hodge to de Rham spectral sequence for stacks
For some work I'm doing, I need a version of the Hodge to de Rham spectral sequence for stacks. I am not at all an expert on stacks, so please excuse me if I make minor technical mistakes in stating ...
14
votes
1
answer
1k
views
What makes a Kähler manifold projective?
Let $X$ be a compact Kähler manifold, I know there are (at least?) 2 ways to make $X$ a projective manifold.
(integral condition) If the Kähler class $[\omega]$ is integral, i.e., $[\omega]\in H^2(X,\...
14
votes
2
answers
1k
views
When is a homogeneous space a variety?
Let $G$ be a Lie group and let $H$ be a closed subgroup of $G$. Then $G/H$ may not be a group, but it will be a homogeneous space for $G$ with stabilizers conjugate to $H$. Sometimes, this is a ...
14
votes
2
answers
1k
views
Is Deligne cohomology the motivic cohomology of analytic spaces?
Let $X$ be a smooth projective complex analytic space.
We can cook up a complex analytic version of Bloch's cycle complex by declaring
$z^n(X^{\rm an}, m)$
is the free abelian group on all ...
13
votes
1
answer
841
views
Hodge structure not coming from the cohomology of a manifold
What is an explicit example a pure polarizable finite-dimensional $\mathbb{Q}$-Hodge structure that is not a subquotient of the cohomology of a scheme smooth proper over $\mathbb{C}$? What if replace "...
13
votes
1
answer
508
views
Which rational cohomology classes on a product of elliptic curves come from subschemes?
Let $X=E_1\times\cdots\times E_n$, where $E_i$ is the elliptic curve $E_i=\mathbb{C}/(\mathbb{Z}+\mathbb{Z}\alpha_i)$. In Grothendieck's "The Hodge Conjecture is False for Trivial Reasons," $X$ is ...
13
votes
1
answer
677
views
Functoriality of crystalline cohomology
Let $k$ be a perfect field of characteristic $p>0$, $X$ a smooth projective $k$-variety.
Denote by $(X/W_n(k))_{\rm cris}$ the small crystalline site of $X$.
Let $f : X\to Y$ be a morphism of ...
13
votes
1
answer
585
views
Is there a yoga of effectivity for motives and their realizations?
Inside the 'usual' categories of motives (Chow, Voevodsky ones) there are the categories of effective motives. Similarly, there are effective Hodge structures; they seem to be closely related with ...
13
votes
0
answers
257
views
dual to Hodge theory
Let $(M,g)$ be a closed Riemannian manifold.
In my understanding Hodge theory shows that any de Rham cohomology class can be represented uniquely by a harmonic form. Moreover the harmonic form ...
12
votes
3
answers
2k
views
Motivic vs Deligne cohomology
Where can I find the construction of the cycle class map from motivic cohomology to Deligne cohomology of smooth projective varieties over the complex numbers?
It should be a construction by Bloch ...