Quaternionic pryms and Hodge classes

Abelian varieties of dimension 2n on which a definite quaternion algebra acts are parametrized by symmetrical domains of dimension n(n−1)/2. Such abelian varieties have primitive Hodge classes in the middle dimensional cohomology group. In general, it is not clear that these are cycle classes. In this paper we show that a particular 6-dimensional family of such 8-folds are Prym varieties and we use the method of Schoen to show that all Hodge classes on the general abelian variety in this family are algebraic. We also consider Hodge classes on certain 5-dimensional subfamilies and relate these to the Hodge conjecture for abelian 4-folds.     

Tate twists of Hodge structures arising from abelian varieties of type IV

We show that certain abelian varieties $A$ have the property that for every Hodge structure $V$ in the cohomology of $A$, every effective Tate twist of $V$ occurs in the cohomology of some abelian variety. We deduce the general Hodge conjecture for certain non-simple abelian varieties of type IV.     

Hodge Structures Associated to SU(p, 1)

Let A be an abelian variety over ? such that the semisimple part of the Hodge group of A is a product of copies of SU(p, 1) for some p > 1. We show that any effective Tate twist of a Hodge structure occurring in the cohomology of A is isomorphic to a Hodge structure in the cohomology of some abelian variety.     

Abelian varieties and the general Hodge conjecture

We investigate the relationship between the usual and general Hodgeconjectures for abelian varieties. For certain abelian varieties A, weshow that the usual Hodge conjecture for all powers of A implies thegeneral Hodge conjecture for A.     

Lefschetz Motives and the Tate Conjecture

A Lefschetz class on a smooth projective variety is an element of the Q-algebra generated by divisor classes. We show that it is possible to define Q-linear Tannakian categories of abelian motives using the Lefschetz classes as correspondences, and we compute the fundamental groups of the categories. As an application, we prove that the Hodge conjecture for complex abelian varieties of CM-type implies the Tate conjecture for all Abelian varieties over finite fields, thereby reducing the latter to a problem in complex analysis.     

Grothendieck standard conjectures,morphic cohomology and Hodge index theorem

Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic conjectures, we prove a Hodge index theorem. We answer a question of Friedlander and Lawson by assuming the Grothendieck standard conjecture B and prove that the topological filtration from morphic cohomology is equal to the Grothendieck arithmetic filtration for some cases.     

Algebraic Geometry versus Kähler geometry

These notes discuss Hodge theory in the algebraic and Kähler context. We introduce the notion of (polarized) Hodge structure on a cohomology algebra and show how to extract from it topological restrictions on compact Kähler manifolds, and stronger topological restrictions on projective complex manifolds. The second part of the notes is devoted to the discussion of the Hodge conjecture, showing in particular that there is no way to extend it to the Kähler context. We will also discuss algebraic de Rham cohomology which is specific to projective complex manifolds and allows to formulate a number of arithmetic questions related to the Hodge conjecture.     

Visibility of Shafarevich-Tate Groups of Abelian Varieties

We investigate Mazur's notion of visibility of elements of Shafarevich-Tate groups of abelian varieties. We give a proof that every cohomology class is visible in a suitable abelian variety, discuss the visibility dimension, and describe a construction of visible elements of certain Shafarevich-Tate groups. This construction can be used to give some of the first evidence for the Birch and Swinnerton-Dyer conjecture for abelian varieties of large dimension. We then give examples of visible and invisible Shafarevich-Tate groups.     

Hodge structures on abelian varieties of type IV

Let A be a general member of a PEL-family of abelian varieties with endomorphisms by an imaginary quadratic number field k, and let E be an elliptic curve with complex multiplications by k. We show that the usual Hodge conjecture for products of A with powers of E implies the general Hodge conjecture for all powers of A. We deduce the general Hodge conjecture for all powers of certain 5-dimensional abelian varieties. Mathematics Subject Classification (2000): Primary 14C30, 14K20.Research supported in part by a Research and Creative Activity Award for Summer 2001 from East Carolina University.     

Unitary local systems, multiplier ideals, and polynomial periodicity of Hodge numbers

The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural stratifications of this space. We prove a structure theorem for these stratifications in terms of complex tori and convex rational polytopes, generalizing to the quasi-projective case results of Green-Lazarsfeld and Simpson. As an application we show the polynomial periodicity of Hodge numbers hq,0 of congruence covers in any dimension, generalizing results of E. Hironaka and Sakuma. We extend the structure theorem and polynomial periodicity to the setting of cohomology of unitary local systems. In particular, we obtain a generalization of the polynomial periodicity of Betti numbers of unbranched congruence covers due to Sarnak-Adams. We derive a geometric characterization of finite abelian covers, which recovers the classic one and the one of Pardini. We use this, for example, to prove a conjecture of Libgober about Hodge numbers of abelian covers.     

Coniveau 2 Complete Intersections and Effective Cones

Griffiths computation of the Hodge filtration on the cohomology of a smooth hypersurface X of degree d in \mathbbPⁿ{\mathbb{P}^n} shows that it has coniveau ≥ c once n ≥ dc. The generalized Hodge conjecture (GHC) predicts that the cohomology of X is then supported on a closed algebraic subset of codimension at least c. This is essentially unknown for c ≥ 2. In the case where c = 2, we exhibit a geometric phenomenon in the variety of lines of X explaining the estimate for the coniveau, and show that (GHC) would be implied in this case by the following conjecture on effective cones of cycles of intermediate dimension: Very moving subvarieties have their class in the interior of the effective cone.     

Hodge Theory and Geometry

Hodge theory for a smooth algebraic curve includes both theHodge structure (period matrix) on cohomology and the use ofthat Hodge structure to study the geometry of the curve, viathe Jacobian variety. Hodge extended the theory of the periodmatrix to smooth algebraic varieties of any dimension, definingin general a Hodge structure on the cohomology of the variety.He gave a few applications to the geometry of the variety, butthese did not attain the richness of the Jacobian variety. Inrecent years, Hodge theory has been successfully extended toarbitrary varieties, and to families of varieties. In this expositorypaper, some of these developments are reviewed, with specialemphasis on instances where these extensions can be used tostudy the geometry – especially the algebraic cycles –on the variety. 2000 Mathematics Subject Classification 14CDFJ.     

Mirror duality and string-theoretic Hodge numbers

 We prove in full generality the mirror duality conjecture for string-theoretic Hodge numbers of Calabi–Yau complete intersections in Gorenstein toric Fano varieties. The proof is based on properties of intersection cohomology. Oblatum 9-X-1995 & 11-III-1996     

Local Points of Motives in Semistable Reduction

In this paper we study – for a semistable scheme – a comparison map between its log-syntomic cohomology and the p-adic étale cohomology of its generic fiber. The image can be described in terms of what Bloch and Kato call the local points of the underlying motive. The results extend a proven conjecture of Schneider which treats the good reduction case. The proof uses the theory of logarithmic schemes, some crystalline cohomology theories defined on them and various techniques in p-adic Hodge theory, in particular the Fontaine–Jannsen conjecture proven by Kato and Tsuji as well as Fontaine's rings of p-adic periods and their properties. The comparison result may become useful with respect to cycle class maps.     

Motivic integral of K3 surfaces over a non-archimedean field

We prove a formula expressing the motivic integral (Loeser and Sebag, 2003) [34] of a K3 surface over C((t)) with semi-stable reduction in terms of the associated limit mixed Hodge structure. Secondly, for every smooth variety over a complete discrete valuation field we define an analogue of the monodromy pairing, constructed by Grothendieck in the case of abelian varieties, and prove that our monodromy pairing is a birational invariant of the variety. Finally, we propose a conjectural formula for the motivic integral of maximally degenerate K3 surfaces over an arbitrary complete discrete valuation field and prove this conjecture for Kummer K3 surfaces.     

Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders

Let S be a closed Shimura variety uniformized by the complex n-ball associated with a standard unitary group. The Hodge conjecture predicts that every Hodge class in \({H^{2k} (S, \mathbb{Q})}\), \({k=0,\dots, n}\), is algebraic. We show that this holds for all degrees k away from the neighborhood \({\bigl]\tfrac13n,\tfrac23n\bigr[}\) of the middle degree. We also prove the Tate conjecture for the same degrees as the Hodge conjecture and the generalized form of the Hodge conjecture in degrees away from an interval (depending on the codimension c of the subvariety) centered at the middle dimension of S. These results are derived from a general theorem that applies to all Shimura varieties associated with standard unitary groups of any signature. The proofs make use of Arthur’s endoscopic classification of automorphic representations of classical groups. As such our results rely on the stabilization of the trace formula for the (disconnected) groups \({GL (N) \rtimes \langle \theta \rangle}\) associated with base change.     

Cohomology of the Weil group of a p-adic field

We establish duality and vanishing results for the cohomology of the Weil group of a p-adic field. Among them is a duality theorem for finitely generated modules, which implies Tate–Nakayama Duality. We prove comparison results with Galois cohomology, which imply that the cohomology of the Weil group determines that of the Galois group. When the module is defined by an abelian variety, we use these comparison results to establish a duality theorem analogous to Tate?s duality theorem for abelian varieties over p-adic fields.     

Mixed Hodge polynomials of character varieties

We calculate the E-polynomials of certain twisted GL(n,ℂ)-character varieties of Riemann surfaces by counting points over finite fields using the character table of the finite group of Lie-type and a theorem proved in the appendix by N. Katz. We deduce from this calculation several geometric results, for example, the value of the topological Euler characteristic of the associated PGL(n,ℂ)-character variety. The calculation also leads to several conjectures about the cohomology of : an explicit conjecture for its mixed Hodge polynomial; a conjectured curious hard Lefschetz theorem and a conjecture relating the pure part to absolutely indecomposable representations of a certain quiver. We prove these conjectures for n=2.     

Régulateurs supérieurs,périodes et valeurs spéciales de la fonction L de degré 4 de GSp(4)

We present some results in direction of Beilinson's conjecture for the degree four L-function of an automorphic representation π of the symplectic group GSp(4). Our main result relates some motivic cohomology classes over powers of the universal abelian scheme over the Shimura variety of GSp(4) to the product of an archimedean integral, an occult period defined by Harris, a Deligne period and the special value of the L-function predicted by Beilinson's conjecture. We assume that π is stable, of multiplicity one, and has a Bessel model of a specific type. To cite this article: F. Lemma, C. R. Acad. Sci. Paris, Ser. I 346 (2008).