The tag has no wiki summary.

learn more… | top users | synonyms

18
votes
0answers
299 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 ...
13
votes
0answers
1k views

Mixed Hodge structure on the rational homotopy type

A mixed Hodge structure (mHs) on a commutative differential graded algebra (cgda) over $\mathbf{Q}$ is a mixed Hodge structure on the underlying vector space such that the product and the differential ...
9
votes
0answers
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 ...
8
votes
0answers
232 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 ...
8
votes
0answers
740 views

Weight filtration over the integers

This is a follow up question to Weight filtration for smooth analytic manifolds As mentioned in that question, the integral cohomology of some smooth complex analytic manifolds is equipped with a ...
7
votes
0answers
325 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 ...
6
votes
0answers
137 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
0answers
246 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, ...
6
votes
0answers
134 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$ ...
6
votes
0answers
501 views

How does complex conjugation act on the Hodge decomposition?

Let $A$ be a principally polarized abelian variety over $\mathbf{Q}$. Let $G$ be the Mumford--Tate group of $A$. The action of complex conjugation on $A(\mathbf{C})$ induces an involution on the de ...
6
votes
0answers
265 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 ...
6
votes
0answers
215 views

Positivity properties of virtual Hodge numbers of Calabi-Yaus

Let $X$ be a normal, projective complex variety with an anticanonical divisor $D$. Do the virtual Hodge numbers of the noncompact Calabi-Yau variety $X$ \ $D$ enjoy some sort of positivity property? ...
5
votes
0answers
137 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
0answers
193 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 ...
5
votes
0answers
290 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 ...
4
votes
0answers
196 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' ...
4
votes
0answers
188 views

Leray degeneration for smooth projective morphisms and formality of families of compact Kähler manifolds

Let $\pi \colon X \to S$ be a smooth projective morphism of algebraic varieties, say over $\mathbf C$. By Deligne's argument ("Théorème de Lefschetz...", 1968), there is for each $i$ an injection $$ ...
4
votes
0answers
449 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 ...
4
votes
0answers
506 views

Hodge Standard Conjecture in Positive Characteristic

In the Wikipedia article on the Hodge Standard Conjecture it is written: In characteristic zero the Hodge standard conjecture holds, being a consequence of Hodge theory. In positive characteristic ...
4
votes
0answers
249 views

Rozansky-Witten class associated to the Theta Graph

Suppose I have a holomorphic symplectic manifold, and a smooth $(1,0)$ connection on the tangent bundle which is compatible with both the complex and the symplectic structures. Say that the ...
3
votes
0answers
63 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 ...
3
votes
0answers
196 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 ...
3
votes
0answers
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}$), ...
3
votes
0answers
128 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 ...
3
votes
0answers
237 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 ...
3
votes
0answers
304 views

Which properties of p-adic representations can be recovered from (\varphi,\Gamma)-modules?

In Berger's "An introduction to the Theory of $p$-adic Representations", he mentions that due the the equivalence of categories between etale $(\varphi,\Gamma)$-modules and $p$-adic representations, ...
2
votes
0answers
69 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 ...
2
votes
0answers
158 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 ...
2
votes
0answers
119 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, ...
2
votes
0answers
202 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 ...
2
votes
0answers
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 ...
2
votes
0answers
230 views

Does Artin's vanishing hold for '$E_2$-weight pieces' for (torsion) cohomology of affine varieties?

Let $X$ be an affine variety of dimension $n$ (say, over complex numbers). Then Artin's vanishing theorem yields: both singular and etale cohomology $H^i(X):=H^i(X,\mathbb{Z}/l\mathbb{Z})=0$ for ...
2
votes
0answers
161 views

A Hodge substructure with ''nice' weight factors that does not correspond to a mixed submotif?

Suppose that we have a mixed motif $M$ with only two (subsequent) weights, and have a subobject for each weight factor. How we can control whether there exists a submotif of $M$ with these two ...
2
votes
0answers
129 views

On 'graded polarizable' triangulated categories; are there any mixed Galois module analogues known? Also on mixed realizations

There is a construction by Beilinson (in section 3 of "Notes on absolute Hodge cohomology") of the derived category of graded polarizable mixed Hodge complexes; he also proved that this category is ...
1
vote
0answers
243 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
0answers
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 ...
1
vote
0answers
69 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 ...
1
vote
0answers
34 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 ...
1
vote
0answers
103 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)$ ...
1
vote
0answers
160 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, ...
1
vote
0answers
165 views

Cattani-Deligne-Kaplan Cattani-Deligne-Kaplan for non-integral cycles

Can one can omit the integrality condition in the Cattani-Deligne-Kaplan theorem? That is, in Corollary 1.2 in the Cattani-Deligne-Kaplan paper, is the condition "$u\in V_s$ is integral" in "$u\in ...
1
vote
0answers
157 views

Question about specifying complex 1-motives

A 1-motive over a field $k$ is an algebraic torus $T$, an abelian variety $A$, a group scheme $G$ that's an extension of $A$ by $T$, a finitely generated free abelian group $L$, and a group ...
1
vote
0answers
257 views

genus one Gromov-Witten invariants of Calabi-Yau 3-folds

In http://arxiv.org/PS_cache/hep-th/pdf/9302/9302103v1.pdf physicists calculate (predict) genus one GW invariants of quintic (Table 1) and some other cases (Table 2). Can any body explain to me ...
1
vote
0answers
218 views

Schubert Cells for the Projective Line

I am trying at the moment to understand Schubert calculus, and have taken the simple example of the complex projective line ${\mathbb CP}^1$ as a guide. Now in the simplest formulation I know, we have ...
0
votes
0answers
144 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 ...
0
votes
0answers
79 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 ...
0
votes
0answers
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 ...
0
votes
0answers
160 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 ...
0
votes
0answers
226 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$ ...
0
votes
0answers
87 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 ...