Finiteness and infiniteness results for Torelli groups of (hyper-)Kähler manifolds

The 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 ] .

Superconformal mechanics of AdS2 D-brane boundstates

We explicitly construct a family of $$ \mathcal{N} $$ N = 4 superconformal mechanics of dyonic particles, generalizing the work of Anninos et al. [1] to an arbitrary number of particles. These mechanics are obtained from a scaling limit of the effective Coulomb branch description of $$ \mathcal{N} $$ N = 4 quiver quantum mechanics describing D-branes in type II Calabi-Yau compactifications. In the supergravity description of these D-branes this limit changes the asymptotics to AdS2×S2×CY3. We exhibit the D(1, 2; 0) superconformal symmetry and conserved charges of the mechanics in detail. In addition we present an alternative formulation as a sigma model on a hyperkähler manifold with torsion.

Complex Lagrangians in a hyperKähler manifold and the relative Albanese

Let M be the moduli space of complex Lagrangian submanifolds of a hyperKähler manifold X, and let ω̄ : 𝒜̂ → M be the relative Albanese over M. We prove that 𝒜̂ has a natural holomorphic symplectic structure. The projection ω̄ defines a completely integrable structure on the symplectic manifold 𝒜̂. In particular, the fibers of ω̄ are complex Lagrangians with respect to the symplectic form on 𝒜̂. We also prove analogous results for the relative Picard over M.

LEHN’S FORMULA IN CHOW AND CONJECTURES OF BEAUVILLE AND VOISIN

The Beauville–Voisin conjecture for a hyperkähler manifold $X$ states that the subring of the Chow ring $A^{\ast }(X)$ generated by divisor classes and Chern characters of the tangent bundle injects into the cohomology ring of $X$ . We prove a weak version of this conjecture when $X$ is the Hilbert scheme of points on a K3 surface for the subring generated by divisor classes and tautological classes. This in particular implies the weak splitting conjecture of Beauville for these geometries. In the process, we extend Lehn’s formula and the Li–Qin–Wang $W_{1+\infty }$ algebra action from cohomology to Chow groups for the Hilbert scheme of an arbitrary smooth projective surface $S$ .

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

Let [Formula: see text] be a Lagrangian fibration on a hyperkähler manifold of maximal holonomy (also known as IHS), and [Formula: see text] be the generator of the Picard group of [Formula: see text]. Assume that [Formula: see text] has no multiple fibers in codimension 1. We prove that [Formula: see text] is a primitive class on [Formula: see text].

Locality in the Fukaya category of a hyperkähler manifold

Let $(M,I,J,K,g)$ be a hyperkähler manifold. Then the complex manifold $(M,I)$ is holomorphic symplectic. We prove that for all real $x,y$, with $x^{2}+y^{2}=1$ except countably many, any finite-energy $(xJ+yK)$-holomorphic curve with boundary in a collection of $I$-holomorphic Lagrangians must be constant. By an argument based on the Łojasiewicz inequality, this result holds no matter how the Lagrangians intersect each other. It follows that one can choose perturbations such that the holomorphic polygons of the associated Fukaya category lie in an arbitrarily small neighborhood of the Lagrangians. That is, the Fukaya category is local. We show that holomorphic Lagrangians are tautologically unobstructed. Moreover, the Fukaya $A_{\infty }$ algebra of a holomorphic Lagrangian is formal. Our result also explains why the special Lagrangian condition holds without instanton corrections for holomorphic Lagrangians.

Compact Tori Associated to Hyperkähler Manifolds of Kummer Type

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.

Collections of Orbits of Hyperplane Type in Homogeneous Spaces, Homogeneous Dynamics, and Hyperkähler Geometry

Consider the space M = O(p, q)/O(p) × O(q) of positive p-dimensional subspaces in a pseudo-Euclidean space V of signature (p, q), where p > 0, q > 1 and $(p,q)\neq (1,2)$, with integral structure: $V = V_{\mathbb{Z}} \otimes \mathbb{Z}$. Let Γ be an arithmetic subgroup in $G = O(V_{\mathbb{Z}})$, and $R \subset V_{\mathbb{Z}}$ a Γ-invariant set of vectors with negative square. Denote by R⊥ the set of all positive p-planes W ⊂ V such that the orthogonal complement W⊥ contains some r ∈ R. We prove that either R⊥ is dense in M or Γ acts on R with finitely many orbits. This is used to prove that the squares of primitive classes giving the rational boundary of the Kähler cone (i.e., the classes of “negative” minimal rational curves) on a hyperkähler manifold X are bounded by a number which depends only on the deformation class of X. We also state and prove the density of orbits in a more general situation when M is the space of maximal compact subgroups in a simple real Lie group.

Construction of automorphisms of hyperkähler manifolds

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).

Symmetric powers of symmetric bilinear forms, homogeneous orthogonal polynomials on the sphere and an application to compact Hyperkähler manifolds

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.