The hodge-theory tag has no wiki summary.

**54**

votes

**2**answers

9k 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 ...

**28**

votes

**1**answer

683 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 $ ...

**22**

votes

**7**answers

2k 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 ...

**21**

votes

**6**answers

1k 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 ...

**19**

votes

**4**answers

3k 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 ...

**18**

votes

**2**answers

1k 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 ...

**17**

votes

**3**answers

1k 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 ...

**15**

votes

**4**answers

2k 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 ...

**15**

votes

**1**answer

851 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 ...

**14**

votes

**1**answer

463 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 ...

**13**

votes

**2**answers

837 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 ...

**13**

votes

**0**answers

990 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 ...

**12**

votes

**2**answers

1k 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 ...

**11**

votes

**4**answers

943 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 ...

**11**

votes

**2**answers

666 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 ...

**11**

votes

**1**answer

733 views

### Hodge structures on algebraic spaces

Let $X$ be a proper smooth algebraic space over $\mathbb C$ (which amounts, due to Artin, to giving a Moishezon space: a compact complex manifold whose dimension equals the transcendence degree of its ...

**10**

votes

**1**answer

578 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$?

**10**

votes

**1**answer

551 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 ...

**10**

votes

**2**answers

572 views

### Weight filtration and Hodge theory for tropical varieties

Many concepts is algebraic geometry have tropical analogues.
Question: Is there an analogue of the weight filtration or Hodge filtration for tropical varieties?
A tropical curve ends up being ...

**10**

votes

**1**answer

338 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 ...

**10**

votes

**1**answer

209 views

### Why is the kth cohomology group of the DM-compactification of the moduli space of curves pure of weight k?

I'm trying to understand the paper
Arbarello, Enrico, Cornalba, Maurizio,
Calculating cohomology groups of moduli spaces of curves via algebraic geometry.
Inst. Hautes Études Sci. Publ. Math. No. 88 ...

**10**

votes

**2**answers

349 views

### A_infinity structure on cohomology and the weight filtration

Let $X$ be a complex algebraic variety. The rational cohomology of $X(\mathbb{C})$ carries a canonical filtration called the weight filtration. It also carries a canonical equivalence class of ...

**9**

votes

**2**answers

591 views

### Hodge numbers of compactifications

Let $X$ be a smooth complex quasi-projective variety. We can find good compactification: a smooth proper variety $\bar{X}$ such that ${\bar X} \setminus X$ is a divisor with normal crossing. The ...

**9**

votes

**0**answers

216 views

### Can I compute the cohomology of the complement of a log canonical divisor as if it were normal crossings?

Let $X$ be a smooth projective variety and $D$ a log-canonical divisor and let $U = X \setminus D$. I have heard the slogan "log-canonical is just as good as normal crossings for Hodge theory". This ...

**8**

votes

**4**answers

688 views

### Does there exist a family of curves (or abelian varieties) on the punctured line with specified monodromy on H^1?

Suppose I have a finite set of points in $\mathbb{P}^1$ (over the complex numbers), and suppose that at each point, I am given a [Edit: quasi-unipotent] conjugacy class in $Sp(2g,\mathbb{Z})$ for $g$ ...

**8**

votes

**2**answers

694 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 ...

**8**

votes

**3**answers

759 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 ...

**8**

votes

**2**answers

618 views

### Torsion in cohomology of smooth manifolds

I've been interested in the possible (singular) cohomology groups of complex projective algebraic varieties, and there are lots of theorems that give various restrictions on these (Hodge ...

**8**

votes

**1**answer

656 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, ...

**8**

votes

**2**answers

405 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 ...

**8**

votes

**2**answers

1k 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 ...

**8**

votes

**1**answer

298 views

### Betti numbers of Proper nonprojective varieties

This is a question about pathologies.
Let $X/\mathbb{C}$ be an irreducible projective variety smooth over $\mathbb{C}$. Then, the singular cohomology groups $H^i(X, \mathbb{C})$ have a hodge ...

**8**

votes

**2**answers

289 views

### Higher degree generalizations of the Hard Lefschetz Theorem

Let $M$ be a $2d$-dimensional manifold. We say that $\omega \in H^2(M)$ has the Hard Lefschetz Property (HLP) if multiplication with $\omega^j$ is an isomorphism $H^{d-j} \to H^{d+j}$. This holds for ...

**8**

votes

**1**answer

202 views

### Duality between singularities and non-compactness in the yoga of weights

According to Deligne's "yoga of weights", the cohomology of an algebraic variety should have a weight filtration. For concreteness we can consider the rational cohomology of complex varieties, with ...

**8**

votes

**1**answer

674 views

### Cubical cohomology and de Rham cohomology

Qiaochu's question on a discrete analogue of harmonic function theory reminded me of some thoughts I had a long time ago about the relationship between cubical cohomology and de Rham cohomology.
The ...

**8**

votes

**0**answers

228 views

### Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...

**8**

votes

**0**answers

724 views

### Weight filtration over the integers

This is a follow up question to Weight filtration for smooth analytic manifolds
As mentioned in that question, the integral cohomology of some smooth complex analytic manifolds is equipped with a ...

**7**

votes

**2**answers

461 views

### Adjoint of a Connection Using the Hodge Map?

For a Riemannian manifold $(M,g)$ with exterior derivative d, the codifferential d$^\ast$ is defined to be the unique map for which
$$
g(\omega,d\omega') = g(d^* \omega,\omega'), ~~~ \omega,\omega' ...

**7**

votes

**1**answer

586 views

### Reference for the Hodge Bundle

For the purposes of this question, let the Hodge bundle $\lambda$ be the bundle on a fibration of abelian varieties $X\to B$ with fiber over $b\in B$ the space of 1-forms on $X_b$, or the pullback to ...

**7**

votes

**1**answer

833 views

### If the numerical equivalence of cycles coincides with the homological one, does the Hodge standard conjecture follow?

Suppose that over an algebraically closed field $K$ of finite characteristic the numerical equivalence of cycles relation (for algebraic cycles of smooth projective varieties) coincides with the ...

**7**

votes

**0**answers

316 views

### Fontaine-Mazur for Hodge Structures

Is there a conjecture, or known result, describing which integral Hodge structures are composition factors in the Hodge structure on the cohomology groups of smooth proper algebraic varieties over ...

**6**

votes

**2**answers

320 views

### Hodge structure versus Weight structure

This is a naive question.
One is told that, somehow, Hodge theory for varieties over complex numbers, is an analog of weight theory for varities over finite fields. In weight theory, one considers ...

**6**

votes

**2**answers

687 views

### How does one view the De Rham spectral sequence as a Grothendieck spectral sequence?

I was rereading basic results on de Rham cohomology, and this led me inevitably to the fact that $H^q(X,\Omega^p)$ converges to $H^*(X)$ for any smooth proper variety (over any field). How does one ...

**6**

votes

**1**answer

236 views

### $H^1(X,O_X)$, holomorphic $1$-forms, and $b_1(X)/2$ for normal $X$.

Suppose $X$ is a normal projective variety over $\mathbb C$. In the case $X$ is smooth according to Hodge theory $h^1(X,O(X))$ is the dimension of the space of holomorphic $1$-forms on $X$ and this ...

**6**

votes

**1**answer

483 views

### Mumford-Tate group and Galois representations

Could someone please point me towards a proof of why the image of a Galois representation on the Tate-module of an abelian variety is limited by its Mumford-Tate group?

**6**

votes

**3**answers

885 views

### Betti number and harmonic forms

Dear Experts,
On a compact, boundless, Riemannian manifold, the dimension of the space of harmonic k-forms is equal to the k-th Betti number. Is this correct (by Hodge theory)? For example, on the ...

**6**

votes

**1**answer

467 views

### Kähler Structure for Projective Varieties over a Finite Field

(i) In 1960 Serre proved a famous analogue of the Weil conjectures for Kähler manifolds. This poses an obvious question: Does there exist an analogue of a Kähler structure for (non-singular) ...

**6**

votes

**1**answer

597 views

### Is there an integral version of Faltings' isomorphism in p-adic Hodge theory between etale and Hodge cohomologies

Let $K$ be a $p$-adic field, that is a complete discrete valuation ring of characteristic $0$ with a perfect residue field $k$ of characteristic $p > 0$ (to simplify one could also take $K$ to be a ...

**6**

votes

**1**answer

305 views

### Motives over the complex numbers versus mixed Hodge structures

Let $\mathsf{MM}(\mathbf C)$ be the hypothetical category of mixed motives over the complex numbers, and consider the realization functor $\Phi : \mathsf{MM}( \mathbf C) \to \mathsf{MHS}$ to integral ...

**6**

votes

**1**answer

491 views

### Equivalence between statements of Hodge conjecture

Dear everyone,
I was unable to obtain the equivalence between the two statements of the Hodge conjecture. I searched for some previous questions that others asked here, to check whether someone has ...