1: \begin{abstract}
2: Inspired by the classical theory of CM abelian varieties, in this paper we discuss the theory of complex multiplication for K3 surfaces. Let $X$ be a complex K3 surface with complex multiplication by the maximal order $\Oo_E$ of a CM field $E$. We compute the field of moduli of triples $(T(X), B, \iota)$, where $T(X)$ denotes the transcendental lattice of $X$, $B \subset \Br(X)$ a finite, $\Oo_E$-invariant subgroup and $\iota \colon E \xrightarrow{\sim} \End(T(X)_\Q)$ an isomorphism. If $X$ is defined over a number field $K$, we show how our results can be efficiently implemented to study the Galois-invariant part of the geometric Brauer group of $X$. As an application, we list all the possible groups that can appear as $\Br(\overline{X})^{\Gamma_K}$ when $X$ has (geometric) maximal Picard rank, $K$ is the field of moduli of $(T(X_{\C}), \iota)$ and ${\Gamma_K}$ denotes its absolute Galois group.
3:
4: \end{abstract}
5: