Abstract:Let $L$ be a number field and let $E/L$ be an elliptic curve with complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$. We use class field theory and results of Skorobogatov and Zarhin to compute the transcendental part of the Brauer group of the abelian surface $E\times E$. The results for the odd order torsion also apply to the Brauer group of the K3 surface $\textrm{Kum}(E\times E)$. We describe explicitly the elliptic curves $E/\mathbb{Q}$ with complex multiplication by $\mathcal{O}_K$ such that the Brauer group of $E\times E$ contains a transcendental element of odd order. We show that such an element gives rise to a Brauer-Manin obstruction to weak approximation on $\textrm{Kum}(E\times E)$, while there is no obstruction coming from the algebraic part of the Brauer group.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate the transcendental part in the Brauer group of the self - product $E\times E$ of an elliptic curve $E$ with complex multiplication (CM). Specifically, the author focuses on how to calculate the transcendental part of the Brauer group of $E\times E$ when the elliptic curve $E$ is defined over a number field $L$ and has complex multiplication given by the ring of integers $O_K$ of an imaginary quadratic field $K$. ### Core of the problem 1. **Structure of the Brauer group**: The Brauer group $\text{Br}(X)$ is an important invariant of an algebraic - geometric object, which can be used to study arithmetic properties on algebraic varieties. In particular, the Brauer group can give obstructions to the Hasse principle and weak approximation (Brauer - Manin obstruction). For an abelian surface $E\times E$, its Brauer group can be decomposed into an algebraic part and a transcendental part: \[ \text{Br}(E\times E)=\text{Br}_1(E\times E)\oplus\text{Br}(E\times E)/\text{Br}_1(E\times E) \] where $\text{Br}_1(E\times E)$ is the algebraic part, and $\text{Br}(E\times E)/\text{Br}_1(E\times E)$ is the transcendental part. 2. **Calculation of the transcendental part**: The author uses class field theory and the results of Skorobogatov and Zarhin to calculate the transcendental part of the Brauer group of $E\times E$. In particular, for an odd prime $\ell$, the author gives a specific description of the $\ell$-elementary part of $\text{Br}(E\times E)/\text{Br}_1(E\times E)$. 3. **Application to K3 surfaces**: Since the quotient space $\text{Kum}(E\times E)$ of $E\times E$ is a K3 surface, these results also apply to the calculation of the Brauer group of K3 surfaces. In particular, the author shows how to derive the Brauer - Manin obstruction on K3 surfaces from the transcendental elements in the Brauer group of $E\times E$. ### Main conclusions - **Theorem 1.1**: For an odd prime $\ell$ and $m = m(\ell)$, we have \[ \left(\frac{\text{Br}(E\times E)}{\text{Br}_1(E\times E)}\right)_{\ell^\infty}=\frac{\text{Br}(E\times E)_{\ell^m}}{\text{Br}_1(E\times E)_{\ell^m}}\cong\text{End}_{\Gamma_L}(O_K\otimes\mathbb{Z}/\ell^m)\cong \begin{cases} (\mathbb{Z}/\ell^m)^2&\text{if }K\subset L\\ \mathbb{Z}/\ell^m&\text{if }K\not\subset L \end{cases} \] - **Theorem 1.2**: For an elliptic curve $E$ defined over $\mathbb{Q}$ and having complex multiplication, if $\text{Br}(E\times E)$ contains a transcendental element of odd order, then the affine equation of $E$ is $y^2 = x^3+2c^3$, where $c$

Transcendental Brauer groups of products of CM elliptic curves

Transcendental Brauer-Manin obstructions on singular K3 surfaces

On the Cuspidal Cohomology of Arithmetic Groups

Boundedness of the p-primary torsion of the Brauer group of products of varieties

Torsion points and Galois representations on CM elliptic curves

Torsion phenomena for zero-cycles on a product of curves over a number field

On the Brauer groups of fibrations II

Boundedness of the p-primary torsion of the Brauer groups of K3 surfaces

Torsion subgroups of CM elliptic curves over odd degree number fields

The Brauer Group of Rational Numbers

Relative Brauer groups of genus 1 curves

Prime torsion in the Brauer group of an elliptic curve

Torsion Points on CM Elliptic Curves Over Real Number Fields

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Some remarks on Brauer Classes of K3-type

Brauer-Manin obstructions requiring arbitrarily many Brauer classes

Brauertsch fields

The relative Brauer group of $K(1)$-local spectra

Cartan matrices and Brauer's k(B)-Conjecture III

Brauer–Manin obstructions requiring arbitrarily many Brauer classes

Sporadic Cubic Torsion