# Tagged Questions

**1**

vote

**0**answers

140 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

**1**answer

302 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

**1**answer

173 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

**0**answers

147 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

**1**answer

182 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

**0**answers

310 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

**1**answer

286 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

**0**answers

257 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

**0**answers

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

**1**answer

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

**0**answers

80 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

**1**answer

89 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

**0**answers

145 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

**1**answer

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

**0**answers

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

**1**answer

180 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

**6**answers

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

**1**answer

754 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

**1**answer

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

**1**answer

121 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

**1**answer

638 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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**2**answers

306 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

**0**answers

163 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

**2**answers

544 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

**4**answers

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

**1**answer

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

**1**answer

350 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

**0**answers

229 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

**1**answer

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

**1**answer

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

**2**answers

224 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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

221 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

**1**answer

698 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

**1**answer

316 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

**0**answers

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

**3**answers

811 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

**0**answers

129 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

**2**answers

722 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

**0**answers

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

**0**answers

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