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.

Filter by
Sorted by
Tagged with
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 ...
Fitzcarraldo's user avatar
  • 1,253
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 ...
Dr. Evil's user avatar
  • 2,641
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'...
user avatar
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 ...
user47573's user avatar
  • 391
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 ...
Konrad Voelkel's user avatar
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^{...
Lev Borisov's user avatar
  • 5,166
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/...
Eric Zaslow's user avatar
  • 3,247
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 ...
jmc's user avatar
  • 5,434
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 ...
Sándor Kovács's user avatar
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 ...
algori's user avatar
  • 23.2k
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 ...
Charles Siegel's user avatar
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....
Gabriel's user avatar
  • 943
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 ...
THC's user avatar
  • 4,313
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 ...
Alexander Braverman's user avatar
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 ...
Sam's user avatar
  • 351
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 ...
Akhil Mathew's user avatar
  • 25.3k
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}$...
Alexander Braverman's user avatar
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 ...
Daniel Loughran's user avatar
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 ...
Charles Siegel's user avatar
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(...
Daniel Litt's user avatar
  • 22.2k
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) = \...
David E Speyer's user avatar
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$?
hughes's user avatar
  • 199
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 ...
Charles Siegel's user avatar
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-...
The User's user avatar
  • 2,452
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\...
mikis's user avatar
  • 797
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 ...
LMN's user avatar
  • 3,525
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 ...
Akhil Mathew's user avatar
  • 25.3k
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}(...
Sam Hopkins's user avatar
  • 22.7k
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 ...
a_g's user avatar
  • 497
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 ...
jmc's user avatar
  • 5,434
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 ...
Tobias Diez's user avatar
  • 5,442
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 ...
user avatar
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 ...
Akhil Mathew's user avatar
  • 25.3k
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 ...
SashaP's user avatar
  • 7,027
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 ...
user avatar
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 ...
Dan Petersen's user avatar
  • 39.2k
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 \...
Marty's user avatar
  • 13.1k
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 $...
Yuhao Huang's user avatar
  • 4,982
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, ...
Mikhail Bondarko's user avatar
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 ...
Sarah's user avatar
  • 143
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,\...
Tom's user avatar
  • 341
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 ...
Charles Siegel's user avatar
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 ...
user avatar
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 "...
user avatar
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 ...
Hans Sachs's user avatar
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 ...
user avatar
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 ...
Mikhail Bondarko's user avatar
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 ...
Thomas Rot's user avatar
  • 7,363
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 ...
user avatar

1
2 3 4 5
10