The hodge-theory tag has no wiki summary.

**1**

vote

**1**answer

199 views

### Questions on the Hodge Dual of the Kähler Class

Let $M$ be a compact complex surface, i.e., a complex manifold with complex dimension two. Also, let us denote its Kähler metric by $g$ and its Kähler form by $K$. Let us denote the Kähler class by ...

**1**

vote

**0**answers

43 views

### How to diagonalise the Laplace-de Rham operator on the 5-forms of AdS5 x S5?

I am considering the manifold $M=AdS_5 \times S^5$. I would like to diagonalize the Laplace-de Rham operator $\Delta=(d+\delta)^2$ on the 5-forms of $M$. This yields complicated differential ...

**3**

votes

**1**answer

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

**0**

votes

**1**answer

78 views

### Is the Hodge Map Unitary?

Let $(V,< \cdot, \cdot >)$ be an inner product space over a field ${K}$. As usual, we can extend $< \cdot, \cdot >$ to a mapping on the exterior algebra of $V$ using the usual matrix ...

**1**

vote

**0**answers

145 views

### The associated graded of a mixed Hodge module

Unfortunately this question will be a bit vague, since the question revolves around a memory of something I may have heard in a talk (long time ago).
Let $X$ be a smooth complex variety. Let $MHM(X)$ ...

**7**

votes

**2**answers

340 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

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

**10**

votes

**1**answer

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

**4**

votes

**2**answers

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

**0**

votes

**1**answer

142 views

### harmonic forms with respect to different metrics

Given a smooth manifold M with two different metric, we can consider U and V, the spaces of harmonic k-forms on M with respect to the first metric and second metric respectively. The question is ...

**11**

votes

**4**answers

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

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

**2**

votes

**0**answers

172 views

### Is the Mumford-Tate group determined by its $\mathbb{Q}$-points?

Let $V$ be a $\mathbb{Q}$-Hodge structure and $MT \subset GL_V$ its Mumford-Tate group. Let $I \subset \mathcal{O}_{GL_V}$ be the ideal of functions vanishing on $MT(\mathbb{Q})$.
Is ...

**7**

votes

**1**answer

440 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

274 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

168 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) ...

**2**

votes

**0**answers

129 views

### Counter-examples for the quasi-unipotence of monodromy over an annulus?

The question is inspired by Carnahan's comment in the following MO question
What is the intuition for $\mathbb{Q}^{ab}$ having cohomological dimension $1$?
Precisely, Borel proved (not Grothendieck, ...

**3**

votes

**1**answer

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

**10**

votes

**2**answers

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

**0**

votes

**2**answers

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

**7**

votes

**0**answers

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

**3**

votes

**0**answers

263 views

### Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold

I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...

**4**

votes

**1**answer

235 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

242 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

416 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

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

**1**

vote

**1**answer

175 views

### Homogeneous Spaces and Equivariant Hodge Maps

For a homogeneous space $G/H$, endowed with a $H$-equivariant metric $g$, let $\ast$ be the corresponding Hodge star map. It seems that $\ast$ must also be $\ast$-equivariant, but I can't see how one ...

**2**

votes

**0**answers

216 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

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

**1**

vote

**1**answer

452 views

### maxwell's equations and hodge theory

How is Hodge theory of harmonic forms related to maxwell's equations.Atiyah says that Hodge was directly motivated by considerations of maxwell's equations while commenting on donaldson.

**5**

votes

**1**answer

818 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

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

**0**

votes

**1**answer

249 views

### Determing Hodges Maps by their Essential Algebraic Properties

Let $M$ be a complex manifold of real dimension $2N$, equipped with a Hermitian metric. The corresponding Hodge map $\ast$ has the following properties:
(i) It is a ${\bf C}$-linear map ...

**3**

votes

**0**answers

142 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}$), ...

**9**

votes

**3**answers

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

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

**6**

votes

**2**answers

361 views

### Splitting of the weight filtration

All varieties are over $\mathbb{C}$. Notions related to weights etc. refer to mixed Hodge structures (say rational, but I would be grateful if the experts would point out any differences in the real ...

**8**

votes

**2**answers

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

**9**

votes

**0**answers

180 views

### Is there a Hodge isomorphism theorem for part-tangential, part-normal, harmonic differential forms?

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ ...

**2**

votes

**0**answers

162 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

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

**0**

votes

**0**answers

103 views

### on variable and primitive cohomology of a hypersurface in a projective space

I have a smooth hypersurface D in $\mathbb{P}^n$: in many books about Hodge theory (as the ones of Voisin and Carlson) they take for granted that the primitive cohomology of D is equal the variable ...

**2**

votes

**1**answer

260 views

### octic K3s inside cubic 4-folds

From the Thesis of B.Hassett I seem to understand that a smooth cubic 4-fold $X$ containing a $\mathbb{P}^2$ should contain also a octic K3, but I cannot see a natural way by which this K3 octic could ...

**3**

votes

**1**answer

379 views

### Polarizable variations of (mixed) Hodge structures

I am trying to come to grips with Saito's theory of mixed Hodge modules (slightly) beyond just the basic axiomatic formalism. I will take my Hodge structures and sheaves to be rational, but I would be ...

**4**

votes

**0**answers

200 views

### Mixed structures on Hom spaces induced by mixed sheaves

Let $D^b_m(X)$ (resp $D^b(X)$) denote the derived category of mixed Hodge modules (resp. constructible sheaves) on a complex variety $X$. Let
$rat\colon D^b_m(X)\to D^b(X)$
be the `forgetful' ...

**3**

votes

**3**answers

335 views

### When can Hodge filtrations (decompositions?) be described explicitly in terms of periods?

It seems that there is no chance to explain the Hodge theory (to students) in an hour or so. Yet do there exist any cases when the Hodge filtration (or the Hodge decomposition) of the cohomology of a ...

**3**

votes

**0**answers

254 views

### Hilbert function of a Hilbert scheme

Given a Hilbert scheme $H$ of curves in $\mathbb{P}^3$ satisfying certain Hilbert polynomial, is there any way of understanding the degree or arithmetic genus of an irreducible component of the ...

**5**

votes

**1**answer

500 views

### Are complex varieties Kahler? - Algebraic, non-projective complex manifolds

Let $X/\mathbb{C}$ a nonsingular proper variety and $X_{an}$ it's associated analytic space. Is $X_{an}$ necessarily Kahler? Certainly we know this if $X$ is projective.
A complex torus is algebraic ...

**1**

vote

**1**answer

260 views

### Inclusion of logarithmic de-Rham complex into differentials

Let $X$ be a complex manifold and $D$ a normal crossing divisor. Let $U = X - D$ and $j: U \rightarrow X$ the natural map. Voisen observes that there is a natural inclusion $$\Omega^k_X(\log D) ...

**0**

votes

**0**answers

146 views

### How do Hodge classes for Calabi-Yau 4-folds compare with the classes for tori?

Let $X$ be a Calabi-Yau 4-fold, i.e., a connected 4-dimensional compact Kahler manifold with $K_{X} \cong \mathscr{O}_{X}$ and $h^{i} (X,O_{X} )= 0$ for $0 \lt i \lt 4$.
Given a general ...