Complex ball quotients from manifolds of \(K3^{[n]}\)-type (Q1621589)

From MaRDI portal
Revision as of 23:16, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Complex ball quotients from manifolds of \(K3^{[n]}\)-type
scientific article

    Statements

    Complex ball quotients from manifolds of \(K3^{[n]}\)-type (English)
    0 references
    0 references
    0 references
    0 references
    9 November 2018
    0 references
    Let $X$ be an irreducible holomorphic symplectic manifold that is a deformation of the Hilbert scheme of $n$ points on a $K3$ surface, for short we say that $X$ is a $IHS-K3^{[n]}$. There exists an isometry between $H^2(X, \mathbb{Z})$ and the lattice $L:= U^{\oplus 3} \oplus E_8^{\oplus 2} \oplus \langle -2(n-1) \rangle$, any such isometry $\eta : L \rightarrow H^2(X, \mathbb{Z})$ is called a marking. Given an even non-degenerate lattice $T$ of rank at least one and signature $(1, r-1)$, a $T$-polarised IHS is a pair $(X, \iota)$ where $X$ is a projective $IHS-K3^{[n]}$ and \[\iota : T \hookrightarrow \text{NS}(X) \subset H^2(X, \mathbb{Z}) \simeq L \] a primitive embedding. \par Consider now $(\bar X, \bar \iota)$, a $T$-polarised $IHS-K3^{[n]}$ such that there exists a cyclic group $G=\langle \bar \sigma \rangle \subset \mathrm{Aut}(\bar X)$ of prime order $p \geq 3$ acting non-symplectically on $X$ such that the $G$-action on $ \iota(T)$ is the identity and there exists a group homomorphism $\rho: G \rightarrow O(L)$ such that $T=L^\rho$. A $(\rho, T)$-polarisation of a $T$-polarised IHS $(X, \iota)$ is defined to be a marking $\eta$ such that $\eta|_T= \iota$ and there exists $\sigma \in \mathrm{Aut}(X)$ satisfying $\sigma^* = \eta \circ \rho(\bar \sigma) \circ \eta^{-1}$. \par The goal of this paper is to study the period map for $(\rho, T)$-polarised marked $IHS-K3^{[n]}$. For this purpose, denote by $\omega$ the line in $L \otimes \mathbb{C}$ defined by the marking $\eta$, and by $\xi \in \mathbb{C}^*$ the $p$-th primitive root of unity such that $\rho(\bar \sigma)(\omega) = \xi \omega$. The period then belongs to the space \[\Omega_T^{\rho, \xi} := \{ x \in \mathbb{P}(S(\xi)) | q(x + \bar x) > 0 \},\] where $S(\xi)$ is the eigenspace of $S \otimes \mathbb{C}$ relative to $\xi$ and $S$ the orthogonal complement of $T \subset L$. Based on \textit{E. Amerik} and \textit{M. Verbitsky}'s theory of MBM-classes [Int. Math. Res. Not. 2015, No. 23, 13009--13045 (2015; Zbl 1334.53038)], the authors define a hyperplane arrangement $\Delta \subset \Omega_T^{\rho, \xi}$ and show that $\Omega_T^{\rho, \xi} \setminus \Delta$ is exactly the image of the period map. They then introduce the notion of $(\rho, T)$-polarised pairs $(X, \phi)$ that are $K(T)$-general and show that for these pairs the period map is injective. Moreover the image of the period map for $K(T)$-general $(\rho, T)$-polarised pairs is $\Omega_T^{\rho, \xi} \setminus (\Delta \cup \Delta')$ where $\Delta'$ is another hyperplane arrangement depending on $K(T)$. Finally the authors use these results to describe the moduli space of $K(T)$-general $(\rho, T)$-polarised $IHS-K3^{[n]}$.
    0 references
    irreducible holomorphic symplectic manifold
    0 references
    non-symplectic automorphism
    0 references
    period map
    0 references
    MBM classes
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references