We analyze the relationship between abelian fourfolds of Weil type and Hodge structures of type K3, and we extend some of these correspondences to the case of arbitrary dimension.
This paper gives an introduction to Kuga-Satake varieties and discusses some aspects of the Hodge conjecture related to them. Kuga-Satake varieties are abelian varieties associated to certain weight two Hodge structures, for example the second cohomology group of a K3 surface. We give a detailed account of the construction of Kuga-Satake varieties and of their decomposition in simple subvarieties. We recall the Hodge conjecture and we point out a connection between the Hodge conjecture for abelian fourfolds and Kuga-Satake varieties. We discuss the implications of the Hodge conjecture on the g…
We extend the Kuga-Satake construction to the case of limit mixed Hodge structures of K3 type. We use this to study the geometry and Hodge theory of degenerations of Kuga-Satake abelian varieties, associated to polarized variations of K3 type Hodge structures over the punctured disc.
The endomorphism algebra of a K3 type Hodge structure is a totally real field or a CM field. In this paper we give a low brow introduction to the case of a totally real field. We give existence results for the Hodge structures, for their polarizations and for certain K3 surfaces. We consider the Kuga Satake variety of these Hodge structures and we discuss some examples. Finally we indicate various open problems related to the Hodge conjecture.
The Kuga-Satake construction associates to a K3 type polarized weight 2 Hodge structure H an abelian variety A such that H is a quotient Hodge structure of H^2(A). The first step is to consider the Clifford algebra of H. It turns out that it is endowed with a weight 2 Hodge structure compatible with the algebra structure. We show more generally that a weight 2 polarized Hodge structure which carries a compatible (unitary, associative) algebra structure is a quotient of the H^2 of an abelian variety.
We complete Satake's classification of Kuga fiber varieties by showing that if a representation $ρ$ of a hermitian algebraic group satisfies Satake's necessary conditions, then some multiple of $ρ$ defines a Kuga fiber variety.
This note explains an approach to producing examples of 'generalized Kuga-Satake theory' based on establishing special cases of Simpson's conjecture that rigid local systems are motivic. This strategy is then carried out, using work of Bogner and Reiter, in a low-dimensional example, producing the first non-trivial examples of generalized Kuga-Satake theory outside of the Tannakian category of motives generated by abelian varieties. For a more robust collection of examples, see the sequel "Generalized Kuga-Satake theory and rigid local systems, II: rigid Hecke eigensheaves."
Kuga-Satake construction on families of K3 surfaces of Picard rank 14
National Center for Theoretical Sciences(国家理论科学中心);Department of Mathematical Sciences, University of Bath(巴斯大学数学科学系);North Rd, Claverton Down, Bath BA2 7AY, UK(英国巴思克拉弗顿唐北径)
Kuga and Satake associate with every polarized complex K3 surface (X,L) a complex abelian variety called the Kuga-Satake abelian variety of (X,L). We use this construction to define morphisms between moduli spaces of polarized K3 surface with certain level structures and moduli spaces of polarized abelian varieties with level structure over C. In this note we study these morphisms. We prove first that they are defined over finite extensions of Q. Then we show that they extend in positive characteristic. In this way we give an indirect construction of Kuga-Satake abelian varieties over an arbit…
This paper uses rigid Hecke eigensheaves, building on Yun's work on the construction of motives with exceptional Galois groups, to produce the first robust examples of `generalized Kuga-Satake theory' outside the Tannakian category of motives generated by abelian varieties. To strengthen our description of the `motivic' nature of Kuga-Satake lifts, we digress to establish a result that should be of independent interest: for any quasi-projective variety over a (finitely-generated) characteristic zero field, the associated weight-graded of its intersection cohomology arises from a motivated moti…
Let M be a simple hyperkahler manifold. Kuga-Satake construction gives an embedding of H^2(M,C) into the second cohomology of a torus, compatible with the Hodge structure. We construct a torus T and an embedding of the graded cohomology space H^*(M,C) \to H^{*+l}(T,C) for some l, which is compatible with the Hodge structures and the Poincare pairing. Moreover, this embedding is compatible with an action of the Lie algebra generated by all Lefschetz sl(2)-triples on M.
Using the Kuga-Satake correspondence we provide an effective algorithm for the computation of the Picard and Brauer groups of K3 surfaces of degree 2 over number fields.
We use a result of van Geemen to determine the endomorphism algebra of the Kuga--Satake variety of a K3 surface with real multiplication. This is applied to prove the Hodge conjecture for self-products of double covers of $\PP^2$ which are ramified along six lines.
Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli spaces. On the K3 side, this is achieved with the help of elliptic fibrations. We also study the Kuga-Satake correspondence on these special divisors.
Recent papers by Markman and O'Grady give, besides their main results on the Hodge conjecture and on hyperkaehler varieties, surprising and explicit descriptions of families of abelian fourfolds of Weil type with trivial discriminant. They also provide a new perspective on the well-known fact that these abelian varieties are Kuga Satake varieties for certain weight two Hodge structures of rank six. In this paper we give a pedestrian introduction to these results. The spinor map, which is defined using a half-spin representation of SO(8), is used intensively. For simplicity, we use basic repres…
To a Hodge structure V of weight k with CM by a field K we associate Hodge structures V_{-n/2} of weight k+n for n positive and, under certain circumstances, also for n negative. We show that these `half twists' come up naturally in the Kuga-Satake varieties of weight two Hodge structures with CM by an imaginary quadratic field.
In this paper we give a general construction of transcendental lattices for K3 surfaces with real multiplication by arbitrary field up to degree 6 along with formula for their discriminants. We also show that all simple Abelian fourfolds with definite quaternionic multiplication can be realized as Kuga-Satake varieties of K3 surfaces with Picard rank 16 and real multiplication by a quadratic field by keeping track of the arithmetic input on both sides.
Let X be a hyperkaehler manifold of Kummer type. We study the 4 dimensional intermediate Jacobian J^3(X) constructed out of the 3rd cohomology of X, motivated by the desire to understand the Kuga-Satake torus associated to X. We prove that there is an embedding of Hodge structures of H^2(X) into H^2(J^3(X)). It follows that if X is projective with polarization L, the projective Kuga-Satake torus of (X,L) is isogenous to the fourth power of J^3(X). By studying the cohomology ring of X, we find that there is a natural smooth quadric Q(X) in the projectivization of H^3(X), with a natural choice o…
We indicate a geometric relation between Laplace-Beltrami spectra and eigenfunctions on compact Riemannian symmetric spaces and the Borel-Weil theory using ideas from symplectic geometry and geometric quantization. This is done by associating to each compact Riemannian symmetric space, via Marsden-Weinstein reduction, a generalized flag manifold which covers the space parametrizing all of its maximal totally geodesic tori. In the process we notice a direct relation between the Satake diagram of the symmetric space and the painted Dynkin diagram of its associated flag manifold. We consider in d…