Questions tagged [hodge-theory]
The study of harmonic differential forms on complex projective varieties, their invariantly defined filtrations, their integrals over topological cycles, especially over subvarieties, the deformations of these integrals and filtrations in families, and a multitude of generalizations.
452
questions
6
votes
0
answers
326
views
Lagrangian up to Hamiltonian in cotangent bundle
I want to understand the folklore conjecture that, in a CY manifold, Lagrangians up to Hamiltonian isotopies are represented by special Lagrangians by examining cotangent bundle and Hodge theory.
...
6
votes
0
answers
184
views
Mixed Hodge modules of product spaces
Let $X$ be an algebraic varietiy (as good as you want, say affine and smooth) and let us denote by $MHM(X)$ the category of mixed Hodge modules as descrived by Saito (see for example this or this).
...
6
votes
0
answers
256
views
Analytical point of view of Kawamata's Unipotent reduction condition for Calabi-Yau family
Motivation: Unipotent reduction condition is very important for study of family of algebraic varieties. For example for algebraic fiber space if we have such condition then the direct image of ...
6
votes
0
answers
128
views
The metric gives the optimal element in a class
In geometry there is plenty of examples in which the following happens:
Some elements are considered equivalent, in some topological or algebraic sense
We take the quotient
The metric is usually not ...
6
votes
0
answers
259
views
Logarithmic view on the classical Eichler–Shimura isomorphism
[Apologies ahead of time that this question is (1) quite heavy in laying out notations, and (2) of the can-you-spot-my-error variety.]
I am trying to recast the Eichler–Shimura isomorphism as a ...
6
votes
0
answers
298
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, ...
6
votes
0
answers
371
views
Generalized Hodge conjecture for cohomology of smooth non-proper varieties?
Is there such a statement known i.e. does there exist a conjectural description of the coniveau filtration for singular cohomology of a smooth non-proper variety over the field of complex numbers (in ...
6
votes
0
answers
688
views
Torelli theorem for cubic hypersurfaces
I'm reading the paper of Claire Voisin on the Torelli theorem for cubic hypersurfaces of $\mathbb{P}^5$ (in french : http://www.springerlink.com/content/j8675gn214l17523/). Are there lecture notes, or ...
6
votes
0
answers
301
views
Cohomology of Zariski neighborhoods
Do there exist smooth compact (=complete) connected complex algebraic varieties $X\subset Y$ and a Zariski neighborhood $U$ of $X$ in $Y$ such that the image of $H^{\ast}(U,\mathbf{Z})$ in $H^{\ast}(X,...
5
votes
2
answers
792
views
Why can we not always take a Kähler class to be in rational cohomology?
Given a Kähler manifold $(X,\omega)$ we know that its Kähler class lies in an open cone of $H^{1,1}(X) \cap H^2 (X,\mathbb{R})$. Since $\mathbb{Q}$ is dense in $\mathbb{R}$ we should be able to find a ...
5
votes
2
answers
832
views
extensions of mixed Hodge structures
Let MHS be the category of rational mixed Hodge structures. In particular, it contains extensions of Tate objects $\mathbb{Q}(n)$ for each integer $n$. Here $\mathbb{Q}(n)$ is the only one dimensional ...
5
votes
2
answers
791
views
Mixed Hodge Polynomial for Algebraic Stacks
Let $X$ be a complex algebraic variety. The numerical invariants associated with the Mixed Hodge Structure of $X$ can be encoded in a polynomial in three variables called the mixed Hodge polynomial $H(...
5
votes
1
answer
656
views
comparing Hodge structures on cohomology of conjugate varieties
What can one say about the relation between the Hodge decompositions
of $H^\*(X,C)$ and $H^{*}(X_\sigma,C)$
for a complex algebraic smooth projective variety $X$ and $\sigma$ an automorphism
of the ...
5
votes
1
answer
436
views
Nearby cycles and extension by zero
Let $f: X\to \text{Spec}(R)$ be a proper and smooth morphism, with $R$ a strictly henselian dvr. Call $s = \overline{s}$ the closed point and $\eta$ the geometric point of $\text{Spec}(R)$.
Call $i_s ...
5
votes
1
answer
452
views
(Higher) extensions of mixed Hodge structures
Mixed Hodge structure is introduced by Deligne and it's very useful for studying complex algebraic varieties. We know $\text{MHS}$, the category of mixed Hodge structures is an abelian category. Where ...
5
votes
2
answers
799
views
What kind of line bundles have Chern class of Hodge type (2,0) or (0,2)?
If $L$ is a complex line bundle on a topological space $X$, let $c_1(L)$ denote the image of its Chern class in $H^2(X;C)$. A complex manifold structure on $X$ [ok which is also compact and say ...
5
votes
1
answer
238
views
Does this extension of Hodge structures split over $\mathbb{Q}$?
Let $X$ be a smooth projective curve of genus $\geq 1$ over $\mathbb{C}$, $H^\cdot=H^\cdot(X)$, and $K$ be the kernel of cup product $\cup: H^1\otimes H^1\rightarrow H^2$. Consider the extension of ...
5
votes
1
answer
483
views
Hodge theoretic properties of intersection cohomology
Let $X$ be a complex projective irreducible reduced variety. It is well known that the intersection cohomology of $X$ satisfies versions of Poincare duality and hard Lefschetz theorem.
Does it admit a ...
5
votes
1
answer
218
views
Is there a way to describe the image of the $n$-fold residue map from $H^0(Y,\Omega_Y^n(\log E))$?
Let $X$ be an $n$-dimensional smooth algebraic variety, and let $Y$ be a compactification with $E=Y\setminus X$ simple normal crossings. There is the natural quotient map
$$\Omega_Y^n(\log E)\to \...
5
votes
1
answer
371
views
Every homotopy class contains at least a harmonic representative
Let $(M^3,g)$ be a closed, connected and oriented Riemannian $3$-manifold. A circle-valued map $v : M \to S^1$ is harmonic iff the gradient $1$-form $\omega_v = v^* d\theta \in \Omega_1(M)$ is ...
5
votes
1
answer
627
views
Mumford-Tate groups of abelian varieties with potentially good reduction everywhere
Let $A$ be an abelian variety defined over a number field, and let $MT(A)$ be its Mumford-Tate group. It is a conjecture of Morita that if $MT(A)$ is anisotropic-mod-center (that is, it has no $\...
5
votes
1
answer
336
views
Spectral sequence in Betti cohomology
Let $X$ be a smooth projective algebraic variety over the complex numbers, and let us name
$$f : X_{\rm an}\to X_{\rm Zar}$$
the morphism of sites induced by sending a Zariski open $U\subset X$ to $...
5
votes
1
answer
532
views
A quite puzzling question on Deligne cohomology sheaves and cycle maps
Intro. I would be deeply grateful if someone could please clarify the following to me.
The question. (the main point is (4))
Let $X$ be a smooth projective variety over $\mathbf{C}$, and $\mathbf{Z}(...
5
votes
2
answers
521
views
Alternative construction of the first Chern class map
Let $X$ be a compact Kähler manifold. Consider the exponential sequence $0 \to \mathbf Z \to \mathscr O_X \to \mathscr O_X^* \to 0$. The boundary map gives a map $H^1(X, \mathscr O_X^*) \to H^2(X, \...
5
votes
1
answer
438
views
Hodge decomposition for Bott-Chern cohomology
$\DeclareMathOperator{im}{im}$
I want to prove that Bott-Chern cohomology group $H^{p,q}_{BC}=\frac{\ker\partial\cap \ker\bar{\partial}}{\im\partial\bar{\partial}}$ has finite dimension via Hodge ...
5
votes
1
answer
253
views
Formula in non-Abelian Hodge theory - Hodge-Riemann bilinear relations
I am currently reading about the non-Abelian Hodge correspondence. Let $(X,\omega)$ be a compact Kahler manifold. Given a Higgs bundle $(E, D_0)$ on $X$, we want to construct the corresponding flat ...
5
votes
0
answers
466
views
Can Hodge symmetry and invariance of Hodge numbers in smooth families be proven purely algebraically?
Let $k$ be an algebraically closed field of characteristic 0.
I am wondering if there are proofs of the following facts that do not use the analytic topology over $\mathbb{C}$:
Let $X$ be a smooth ...
5
votes
0
answers
356
views
multiplicative structure on the monodromy weight filtration spectral sequence
Let $f: X \to \Delta \subset \mathbb{C}$ be a projective morphism of a complex manifold to a small disc, smooth away from 0, and such that $Y=f^{-1}(0)$ is a strictly normal crossing divisor, and let $...
5
votes
0
answers
197
views
cohomology of dual intersection complex of a k3 surface
Let $\Delta \subset \mathbb{C}$ be a small disc and let $f: X \to \Delta$ be a flat morphism of complex manifolds such that $X_t$ is a smooth K3 surface for $t \neq 0$, and $X_0$ is an snc divisor. ...
5
votes
0
answers
200
views
Quantum cup product and Dolbeault cohomology
Let $X$ be a smooth projective variety over $\mathbb{C}$. We consider the small quantum cup product $\star$ on the deRham cohomology ring $\displaystyle H^*(X;\mathbb{C})=\bigoplus_{p,q}H^{p,q}(X)$. ...
5
votes
0
answers
111
views
Flattening a connection on a Kähler manifold
Say $M$ is a closed Kähler manifold and $(V, \nabla)$ is a (say) constant Hermitian bundle on $V$ with (say) trivial flat connection. Now $M$ Kähler gives several distinguished classes of closed one-...
5
votes
0
answers
139
views
Family of Hodge decomposition
It is known that a metric $g$ gives a Hodge decomposition:
$$
\Omega^*(M)=\mathcal H^*(M)\oplus d\Omega^*(M) \oplus \delta_g \Omega^*(M)
$$
Note that the usual differential restricts to an isomorphism ...
5
votes
0
answers
193
views
Intermediate Jacobian of abelian varieties
Is the intermediate Jacobian of an abelian variety again an abelian variety?
5
votes
0
answers
177
views
Reference request: If the local system extends, then the variation of Hodge structures extends
I'm looking for a precise reference for the following theorem.
Let $C$ be a smooth curve over $\mathbb{C}$ and let $S$ be a finite set of closed points of $C$. Let $\ V$ be a polarized variation ...
5
votes
0
answers
406
views
Deligne-Hitchin twistor space
Let $M$ be the moduli space of stable holomorphic Higgs bundles on a Riemann surface $\Sigma$. By Hitchin s work it is equipped with a hyper-kaehler structure, and one can define its twistor space, a ...
5
votes
0
answers
184
views
Real structure in the mixed Hodge structure associated to an isolated singularity
We know that a mixed Hodge structure on a complex vector space $H$ with an integral lattice $H_{\mathbb Z}$ consists of the weight filtration and the Hodge filtration. For an isolated hypersurface ...
5
votes
0
answers
198
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 ...
5
votes
0
answers
565
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 ...
5
votes
0
answers
278
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' ...
5
votes
0
answers
211
views
Which pure categories related with Weil cohomology theories are semi-simple?
As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...
4
votes
2
answers
509
views
Why do the subgroups of $Hdg^{2k}(X)$ generated by the cycle classes and Chern classes of vector bundles coincide in algebraic variety $X$?
In Voinsin's book [1], Theorem 11.32 (page 280) says:
"If X is an algebraic variety, these subgroups of $Hdg^{2k}(X) coincide."
However, the proof did not show that the subgroup generated by
cycle ...
4
votes
2
answers
787
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.
Question:...
4
votes
1
answer
2k
views
Important consequences of the Hodge Index Theorem
The Hodge Index Theorem for compact Kaehler manifolds seems to be a big deal in complex geometry. See here for the surface version of the result.
https://en.wikipedia.org/wiki/Hodge_index_theorem
I ...
4
votes
1
answer
266
views
How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic
Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$.
If $k= \mathbb C$, there is a natural injective morphism of vector spaces
$$H^0(X,\...
4
votes
2
answers
697
views
Hodge theory and varieties defined over subfields of the complex numbers
This question is related to the question: Is there a $k$-structure for Hodge modules over a $k$-variety?.
Suppose $K$ is a subfield of $\mathbb{C}$ and $M$ is a holonomic $D$-module "of geometric ...
4
votes
1
answer
1k
views
Tate twist and comparison between Betti and de Rham cohomology
In Deligne's paper "Hodge cycles on abelian varieties" (see page 11 of http://jmilne.org/math/Documents/Deligne82.pdf) he says that the following diagram fails to commute by a factor of $(2 \pi i)^m$, ...
4
votes
1
answer
911
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 ...
4
votes
1
answer
763
views
Mumford-Tate groups and Hodge structures
It is well known that the Mumford-Tate group of a polarizable pure $Q$-Hodge structure is reductive.
(this is proved for instance in Deligne et al LNM 900, Voisin's books on Algebraic Geometry,..)
...
4
votes
1
answer
1k
views
Do Deligne's decalage and two filtrations for mixed Hodge complexes have a conceptual explanation?
As far as I understood, there are two way to assign weights to a mixed Hodge complex (a way that does not depend on shifts, and another one that does). There is a clever way to relate these to ways ...
4
votes
1
answer
242
views
Second Chern class of Stable Higgs sheaf
Let $X$ be a smooth projective surface, $\mathcal{E}$ a stable torsion free Higgs sheaf of degree 0. Consider the following short exact sequence:
$$0\rightarrow \mathcal{E}\rightarrow \mathcal{E}^{**...