Compact Tori Associated to Hyperkähler Manifolds of Kummer Type

Author(s):  
Kieran G O’Grady

Abstract Dedicato alla piccola Mia. For $X$ a hyperkähler manifold of Kummer type, let $J^3(X)$ be the intermediate Jacobian associated to $H^3(X)$. We prove that $H^2(X)$ can be embedded into $H^2(J^3(X))$. We show that there exists a natural smooth quadric $Q(X)$ in the projectivization of $H^3(X)$, such that Gauss–Manin parallel transport identifies the set of projectivizations of $H^{2,1}(Y)$, for $Y$ a deformation of $X$, with an open subset of a linear section of $Q^{+}(X)$, one component of the variety of maximal linear subspaces of $Q(X)$. We give a new proof of a result of Mongardi restricting the action of monodromy on $H^2(X)$. Lastly, we show that if $X$ is projective, then $J^3(X)$ is an abelian fourfold of Weil type.

2007 ◽  
Vol 143 (6) ◽  
pp. 1576-1592 ◽  
Author(s):  
Misha Verbitsky

AbstractLet (M,I,J,K) be a compact hyperkähler manifold, $\dim _{\mathbb {H}}M=n$, and L a non-trivial holomorphic line bundle on (M,I). Using the quaternionic Dolbeault complex, we prove the following vanishing theorem for holomorphic cohomology of L. If c1(L) lies in the closure $\hat K$ of the dual Kähler cone, then Hi(L)=0 for i>n. If c1(L) lies in the opposite cone $-\hat K$, then Hi(L)=0 for i<n. Finally, if c1(L) is neither in $\hat K$ nor in $-\hat K$, then Hi(L)=0 for $i\neq n$.


Author(s):  
Mingmin Shen

AbstractIn this paper we define the notion of a hyperkähler manifold (potentially) of Jacobian type. If we view hyperkähler manifolds as “abelian varieties”, then those of Jacobian type should be viewed as “Jacobian varieties”. Under a minor assumption on the polarization, we show that a very general polarized hyperkähler fourfold


2016 ◽  
Vol 59 (1) ◽  
pp. 167-187 ◽  
Author(s):  
TATYANA BARRON ◽  
BARAN SERAJELAHI

AbstractWe suggest a way to quantize, using Berezin–Toeplitz quantization, a compact hyperkähler manifold (equipped with a natural 3-plectic form), or a compact integral Kähler manifold of complex dimensionnregarded as a (2n−1)-plectic manifold. We show that quantization has reasonable semiclassical properties.


2003 ◽  
Vol 14 (03) ◽  
pp. 289-311 ◽  
Author(s):  
HIROSHI KONNO

A toric hyperKähler manifold is defined to be a smooth hyperKähler quotient of the quaternionic vector space ℍN by a subtorus of TN. It has two parameters corresponding to the de Rham cohomology classes represented by the Kähler form and the complex symplectic form respectively. We study the variation of its complex structure according to these parameters. After the detailed analysis of the stability condition depending on the first parameter, we show that toric hyperKähler manifolds with the same second parameter are related by a sequence of Mukai's elementary transformations. We also give a complete description of its Kähler cone and discuss when certain rational curves exist.


2017 ◽  
Vol 153 (8) ◽  
pp. 1610-1621 ◽  
Author(s):  
Ekaterina Amerik ◽  
Misha Verbitsky

Let $M$ be an irreducible holomorphic symplectic (hyperkähler) manifold. If $b_{2}(M)\geqslant 5$, we construct a deformation $M^{\prime }$ of $M$ which admits a symplectic automorphism of infinite order. This automorphism is hyperbolic, that is, its action on the space of real $(1,1)$-classes is hyperbolic. If $b_{2}(M)\geqslant 14$, similarly, we construct a deformation which admits a parabolic automorphism (and many other automorphisms as well).


2000 ◽  
Vol 11 (08) ◽  
pp. 1001-1026 ◽  
Author(s):  
HIROSHI KONNO

A hyperKähler quotient of a quaternionic vector space HN by a subtorus of TN is called a toric hyperKähler manifold if it has a manifold structure. We describe the cohomology ring of a toric hyperKähler manifold in two ways. Since its topology depends only on the subtorus, we describe its cohomology ring only in terms of the subtorus. On the other hand, a toric hyperKähler manifold is constructed from a certain arrangement of hyperplanes. So we also describe its cohomology ring in terms of the arrangement of hyperplanes.


2017 ◽  
Vol 19 (02) ◽  
pp. 1650007
Author(s):  
Simon Kapfer

The Beauville–Fujiki relation for a compact Hyperkähler manifold [Formula: see text] of dimension [Formula: see text] allows to equip the symmetric power [Formula: see text] with a symmetric bilinear form induced by the Beauville–Bogomolov form. We study some of its properties and compare it to the form given by the Poincaré pairing. The construction generalizes to a definition for an induced symmetric bilinear form on the symmetric power of any free module equipped with a symmetric bilinear form. We point out how the situation is related to the theory of orthogonal polynomials in several variables. Finally, we construct a basis of homogeneous polynomials that are orthogonal when integrated over the unit sphere [Formula: see text], or equivalently, over [Formula: see text] with a Gaussian kernel.


Author(s):  
Matthias Kreck ◽  
Yang Su

AbstractThe Torelli group $$\mathcal T(X)$$ T ( X ) of a closed smooth manifold X is the subgroup of the mapping class group $$\pi _0(\mathrm {Diff}^+(X))$$ π 0 ( Diff + ( X ) ) consisting of elements which act trivially on the integral cohomology of X. In this note we give counterexamples to Theorem 3.4 by Verbitsky (Duke Math J 162(15):2929–2986, 2013) which states that the Torelli group of simply connected Kähler manifolds of complex dimension $$\ge 3$$ ≥ 3 is finite. This is done by constructing under some mild conditions homomorphisms $$J: \mathcal T(X) \rightarrow H^3(X;\mathbb Q)$$ J : T ( X ) → H 3 ( X ; Q ) and showing that for certain Kähler manifolds this map is non-trivial. We also give a counterexample to Theorem 3.5 (iv) in (Verbitsky in Duke Math J 162(15):2929–2986, 2013) where Verbitsky claims that the Torelli group of hyperkähler manifolds are finite. These examples are detected by the action of diffeomorphsims on $$\pi _4(X)$$ π 4 ( X ) . Finally we confirm the finiteness result for the special case of the hyperkähler manifold $$K^{[2]}$$ K [ 2 ] .


Author(s):  
Yu.K. Shlyk ◽  
◽  
Yu.A. Vedernikova ◽  
S.Yu. Bondarenko ◽  
◽  
...  
Keyword(s):  

Author(s):  
Ehud Hrushovski ◽  
François Loeser

This chapter includes some additional material on homotopies. In particular, for a smooth variety V, there exists an “inflation” homotopy, taking a simple point to the generic type of a small neighborhood of that point. This homotopy has an image that is properly a subset of unit vector V, and cannot be understood directly in terms of definable subsets of V. The image of this homotopy retraction has the merit of being contained in unit vector U for any dense Zariski open subset U of V. The chapter also proves the continuity of functions and homotopies using continuity criteria and constructs inflation homotopies before proving GAGA type results for connectedness. Additional results regarding the Zariski topology are given.


Sign in / Sign up

Export Citation Format

Share Document