The hodge-theory tag has no usage guidance.

**0**

votes

**0**answers

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

**1**

vote

**1**answer

406 views

### How to prove this Weitzenbock formula?

In Hutchings and Taubes lecture note on Seiberg-Witten equation HERE, above equation (4.20) the authors claim that there is a version of Weitzenbock formula reads (where $\beta \in \Omega^{0,2}(M, ...

**2**

votes

**1**answer

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

**11**

votes

**1**answer

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

**6**

votes

**0**answers

176 views

### Rational Hodge Theory

I am currently learning about the formality result for Kaehler manifolds proved in DGMS. Their result uses some basic Hodge theory, and so only gives formality over $\mathbf{R}$. Later, however, ...

**1**

vote

**0**answers

77 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

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

**25**

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

**31**

votes

**1**answer

906 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

227 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

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

**12**

votes

**2**answers

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

**2**

votes

**0**answers

83 views

### How does Cnops' operator terminology correspond to standard terminology?

I have been reading Jan Cnops' book, "An Introduction to Dirac Operators on Manifolds" (Birkhaeuser Boston, 2002) and various more standard texts on both Dirac operators and differential geometry in ...

**8**

votes

**0**answers

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

**0**

votes

**0**answers

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

**-1**

votes

**1**answer

177 views

### Relation of Hodge Theorem to Eigenfunction Basis of Laplacian

The classical Hodge theorem I know of relates the de Rham cohomology groups isomorphically to the space of harmonic forms and shows that $Id=\pi+\Delta G$, where $\pi$ is the harmonic projection of ...

**5**

votes

**0**answers

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

**2**

votes

**0**answers

70 views

### CM Hodge structures

There are several definitions of Hodge structures with complex multiplication. One of them is the following:
Definition. A Hodge structure $H$ is CM if it is polarizable and its Mumford-Tate group ...

**7**

votes

**2**answers

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

**1**

vote

**1**answer

215 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

45 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

138 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

80 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

164 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

358 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

224 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

**2**answers

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

578 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

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

**15**

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

227 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

179 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

502 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

297 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

182 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

136 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

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

**11**

votes

**2**answers

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

343 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

309 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

**0**answers

319 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

252 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

249 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

448 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

272 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

190 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

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

**10**

votes

**0**answers

244 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

517 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

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