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.

Filter by
Sorted by
Tagged with
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. ...
Mimi's user avatar
  • 61
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). ...
a_g's user avatar
  • 497
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 ...
user avatar
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 ...
geodude's user avatar
  • 2,129
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 ...
Jay's user avatar
  • 725
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, ...
Brian Williams's user avatar
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 ...
Mikhail Bondarko's user avatar
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 ...
user10023's user avatar
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,...
algori's user avatar
  • 23.2k
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 ...
Ugosugo's user avatar
  • 67
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 ...
MHS93's user avatar
  • 51
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(...
Dr. Evil's user avatar
  • 2,641
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 ...
o a's user avatar
  • 468
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 ...
Ari's user avatar
  • 181
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 ...
sawdada's user avatar
  • 6,148
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 ...
David Treumann's user avatar
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 ...
P.E.'s user avatar
  • 299
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 ...
asv's user avatar
  • 21.1k
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 \...
user2520938's user avatar
  • 2,768
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 ...
Eduardo Longa's user avatar
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 $\...
Keerthi Madapusi's user avatar
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 $...
user avatar
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}(...
user avatar
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, \...
Shubhodip Mondal's user avatar
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 ...
Fallen Apart's user avatar
  • 1,605
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 ...
Will Fisher's user avatar
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 ...
William C. Newman's user avatar
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 $...
Dima Sustretov's user avatar
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. ...
Dima Sustretov's user avatar
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)$. ...
ChiHong Chow's user avatar
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-...
Dmitry Vaintrob's user avatar
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 ...
Hang's user avatar
  • 2,719
5 votes
0 answers
193 views

Intermediate Jacobian of abelian varieties

Is the intermediate Jacobian of an abelian variety again an abelian variety?
Chen's user avatar
  • 1,583
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 ...
Telg's user avatar
  • 51
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 ...
Sebastian's user avatar
  • 6,715
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 ...
Guangbo Xu's user avatar
  • 1,197
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 ...
mir345's user avatar
  • 51
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 ...
user avatar
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' ...
Reladenine Vakalwe's user avatar
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 ...
Mikhail Bondarko's user avatar
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 ...
Jun Lu's user avatar
  • 471
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:...
Dan Petersen's user avatar
  • 39.2k
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 ...
Juan Corrida's user avatar
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,\...
Carl's user avatar
  • 49
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 ...
Moosbrugger's user avatar
  • 1,517
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$, ...
Martin Orr's user avatar
  • 1,500
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 ...
Chitrabhanu's user avatar
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,..) ...
SGP's user avatar
  • 3,847
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 ...
Mikhail Bondarko's user avatar
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}^{**...
Feng Hao's user avatar
  • 1,071

1 2 3
4
5
10