1
vote
0answers
142 views

Hodge modules and Deligne-Beilinson cohomology of function fields

Let $K$ be a function field over complex numbers i.e. the fraction field of a complex variety. Then one can define the Deligne-Beilinson cohomology and mixed Hodge modules for $K$ as the direct limit ...
8
votes
1answer
304 views

Hodge numbers of diffeomorphic complete intersections

Is there an example of two complex projective complete intersections that are diffeomorphic but have different Hodge numbers? Edit: as written by Daniel Loughran in the comments below, complete ...
4
votes
1answer
174 views

Surjectivity of certain cohomology groups on hypersurfaces of high degree

I had been reading an article by Spencer Bloch. There is a remark in this text which states the surjectivity of a particular map between cohomology groups without explaining further. I had been trying ...
0
votes
0answers
151 views

splitting of the Hodge filtration

Let $X$ be a smooth projective variety over a subfield $k$ of $\mathbb{C}$. Then one has a short exact sequence $$ 0 \to H^0(X, \Omega^1_X) \to H^1_{dR}(X/k) \to H^1(X, \mathcal{O}_X) \to 0 $$ One ...
1
vote
1answer
183 views

in which sense is a mixed Hodge structure an extension of pure ones?

I have heard several times that mixed Hodge structures are iterated extensions of pure ones. What does it mean? Here is what I figured out. A mixed Hodge structure $H$ comes with an increasing ...
18
votes
0answers
316 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 ...
9
votes
1answer
287 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 ...
1
vote
0answers
339 views

What implications would a solution of the *Standard Conjectures* have on the *Hodge Conjecture*?

I'm new to the field, so I just would like to know what implications would have a solution of the Standard Conjectures on the Hodge Conjecture. I read somewhere they are related in some way, but I ...
1
vote
0answers
49 views

Tangent bundles of period domains of higher weight Hodge structures

Considering $A_{g}$ the moduli space of principally polarized abelian varieties, there is a variation of Hodge structures $\mathbb{V}=E^{1,0}\oplus E^{0,1}$ of weight $1$ on $A_{g}$. It is well-known ...
2
votes
1answer
138 views

Hodge isometry sending the Kahler class to its opposite

i would like to ask you a question i can not answer myself, i hope this is not too trivial and i'm not missing something too basic. Let's suppose we have $X$ and $Y$ Kahler manifolds and ...
0
votes
0answers
81 views

Question about the “middle” intermediate Jacobian

Suppose $Y$ is a smooth projective variety of dimension $2p-1$ over $\mathbb{C}$. I have a few questions about the $p^{~\text{ th}}$ intermediate Jacobian $J^p(Y)$ of $Y$. Does it come from (i.e. is ...
2
votes
1answer
90 views

Is it possible to compute the mixed Hodge structure of a unramified covering space?

Assume that we know the mixed Hodge structure of a complex manifold $X$. Is it possible to compute the mixed Hodge structure of unramified covering $Y$ of $X$ if we know the deck transformation of the ...
0
votes
0answers
147 views

Is there a “natural” reformulation of Hodge conjecture in terms of L-functions?

I just glanced at the Wikipedia article about the Hodge conjecture, and a (probably very naive, due to my huge lack of knowledge of the subject) question just came to my mind: can one associate ...
10
votes
1answer
254 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 ...
1
vote
0answers
70 views

Local system over $\mathcal A_{g,[n]}$ with unipotent monodromy

Let $\mathcal A_{g,[n]}$ denote the moduli space of principal polarized abelian varieties with level-[n] structure and $\bar {\mathcal A}_{g,[n]}\supset \mathcal A_{g,[n]}$ a smooth Toroida ...
4
votes
1answer
182 views

Smooth mixed hodge modules - representations of fundamental group?

I do not know much about mixed Hodge modules. I would like to ask: Let $X$ be a smooth connected algebraic complex variety, with a chosen point. Could one describe smooth mixed Hodge modules on $X$ as ...
21
votes
6answers
2k 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 ...
29
votes
1answer
762 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 $ ...
2
votes
1answer
145 views

mixed Hodge structure on Cohomology with compact support

Let $X$ be a smooth quasi-projective variety of dimension $n$ over the complex numbers (let us assume it is the complement of a normal crossings divisor in a smooth projective variety). Then how does ...
3
votes
1answer
122 views

on a family of CM Hodge structures

I am having a look at the paper "Hodge structures of type $(n, 0, \ldots, 0, n)$" by Totaro. At the very beginning he says that a Hodge structure of type $(1, 0, 1)$ has always complex multiplication. ...
10
votes
1answer
643 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$?
0
votes
0answers
162 views

Hodge structure of abelian surfaces

In my case, I have an abelian surface $A$ of (2,8)-polarization, and I have some finite group (may not be abelian group) $G$ acting on $A$ without fixed point. I want to understand when there is a ...
5
votes
0answers
138 views

on the automorphisms of the transcendental Hodge structure of a K3 surface

Let $S$ be a complex projective K3 surface and consider the sub-Hodge structure $$ T(S) \subset H^2(S, \mathbb{Q}) $$ consisting of transcendental cycles. Let $\varphi$ be an automorphism of Hodge ...
6
votes
2answers
340 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 ...
3
votes
1answer
124 views

Hodge numbers of symmetric squares

Let $X$ be a projective variety. Consider $Sym^2X$, the quotient of $X \times X$ by the involution $(x, x') \mapsto (x', x)$. What is the relation between the (mixed) Hodge numbers of $Sym^2 X$ ...
7
votes
2answers
307 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 ...
1
vote
0answers
166 views

lefschetz hyperplane theorem in positive characteristic

The proof of the Lefschetz Hyperplane theorem over $\mathbb{C}$ is well-known, and relies on Hodge theory in an important way. Does there exist an analogue of this theorem in positive characteristic, ...
4
votes
2answers
546 views

Does anyone know this seemingly simple result in mixed Hodge theory?

Let $f:X\to Y$ be a proper surjection of complex algebraic varieties. Let $H_i$ denote Borel-Moore homology. Then $$ \mathrm{Gr}^W_{-k} H_k(X) \to \mathrm{Gr}^W_{-k} H_k(Y) $$ is surjective. ...
11
votes
4answers
1k 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 ...
8
votes
1answer
205 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 ...
7
votes
1answer
353 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 ...
0
votes
0answers
230 views

Local System and Gauss-Manin connection

Fix a complex manifold $X$. Then if we have a line bundle $L=\mathcal{O}(D)$ together with Gauss-Manin connection $\nabla: L \rightarrow L \otimes \Omega^{1}_X$, we get the locally constant sheaf $F$ ...
1
vote
1answer
161 views

dimension of compact support cohomology

Let $X$ be a smooth complex algebraic variety and let $\overline{X}$ be a compactification by a divisor $D$ with normal crossings. Then there is a non-canonical isomorphism \begin{equation} (1) ...
3
votes
1answer
125 views

Polarizations of Hodge structures

Let $V$ be a rational pure Hodge structure of weight $n$ and assume that $V$ is a Hodge sub-structure of the cohomology of some smooth projective complex algebraic variety $X$, that is $V \subset ...
0
votes
2answers
225 views

Surjectivity of the Gysin morphism

Let $f:X \to Y$ be a closed immersion between smooth projective complex varieties. Suppose that the codimension of (the image of) $Y$ in $X$ is equal to $r \ge 1$. This induces the Gysin morphism ...
6
votes
0answers
250 views

mixed Hodge polynomial

Let $X$ be a smooth projective algebraic variety over a field of characteristic zero. Let $U$ be the complement in $X$ of a simple normal crossings divisor $D$. For each degree $k$, put $h^{p, ...
4
votes
1answer
210 views

Hodge classes and Leray filtration

Let $f :X \to Y$ be a submersion between smooth projective varieties over $\mathbb{C}$ and let $\alpha \in Z^k(X)$ be an algebraic cycle of $X$. Is is true that for all odd numbers $p$ and $q$ such ...
1
vote
1answer
234 views

a question on Euler characteristic of normal crossing divisors

Let $X$ be a smooth, projective complex algebraic variety. Let $D$ be a simple normal crossings divisor on $X$, with irreducible components $D_i$, for $i \in I$. For each non-empty subset $J \subset ...
11
votes
2answers
374 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 ...
6
votes
1answer
249 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 ...
2
votes
0answers
204 views

Hodge structures as complex structures

Let $H$ be a finite dimensional $\mathbb{Q}$-vector space. I've heard that to give an effectif Hodge structure of weight 1 on $H$ is the same as to give a complex structure on $H_\mathbb{R}$. Why is ...
9
votes
0answers
224 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 ...
4
votes
1answer
703 views

what is Deligne's cohomological descent (and what are some examples)

As far as I understand Deligne's far reaching generalisation of Čech cohomology is called cohomological descent and is used to endow any variety with a (mixed) Hodge structure. Again, AFAIU, the idea ...
9
votes
1answer
320 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 ...
3
votes
0answers
123 views

VHS for universal family of false elliptic curves

If $f: X \rightarrow C$ is the universal family of false elliptic curves (i.e. abelian surfaces $A$ such that $End(A) \otimes \mathbb{Q}$ is a totally indefinite quaternion algebra over $\mathbb{Q}$), ...
8
votes
3answers
816 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 ...
3
votes
0answers
130 views

sign in the polarization of Hodge structures

I have been trying to understand signs and conventions in the Hodge theory. Clearly, I am no expert in this area. I apologize if I ask stupid question(s) and make wrong comment(s). In Deligne's ...
8
votes
2answers
729 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 ...
2
votes
0answers
160 views

Basis for hodge decomposition of Elliptic K3 Surfaces

We know the hodge numbers of K3 Surfaces. To work out some ideas, I'd like to know an explicit basis for the hodge decomposition $H^{p,q}$ of a smooth Elliptic K3 Surface over $\mathbb{C}$ (for all ...
7
votes
0answers
332 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 ...