 Scientific, 2004.

Y. Aharonov and D. Bohm, Phys. Rev.  [**115**]{}, 485 (1959).
 ---
abstract: 'The CM class number one problem for elliptic curves asked to find all elliptic curves defined over the rationals with non-trivial endomorphism ring. For genus-2 curves it is the problem of determining all CM curves of genus $2$ defined over the *reflex field*. We solve the problem by showing that the list given in Bouyer–Streng [@bouyer Tables 1a, 1b, 2b, and 2c] is complete.'
author:
- 'P[i]{}nar K[i]{}l[i]{}çer[^1]  and Marco Streng[^2]'
bibliography:
-'mybib.bib'
title: |
    The CM class number one problem for\
    curves of genus $2$
---

Introduction
============

By a *curve*, we always mean a projective smooth geometrically irreducible algebraic curve. A curve $C$ over a field $k$ of genus $g$ has *complex multiplication* (CM) if the endomorphism ring of its Jacobian over $\overline{k}$ is an order ${\mathcal{O}}$ in a *CM field* of that is, a totally imaginary quadratic extension of a totally real number field of We say that $C$ by ${\mathcal{O}}$. For example, an elliptic has CM if ${\text{\normalfont{End}}}(E_{\overline{k}})$ is an order in an imaginary quadratic field $K$. An elliptic curve $E$ with CM by an order ${\mathcal{O}}_{K}$ can be defined over ${\mathbb{Q}}$ if and only if the class group ${\text{\normalfont{Cl}}}_{K}:=I_{K}/P_{K}$ is trivial. The CM class number one problem for elliptic curves asks to determine all imaginary quadratic fields of class number one. This problem was solved by Baker [@baker] (1966) and Stark [@stark] (1967); the fields are $K\cong{\mathbb{Q}}(\sqrt{-d})$ where $d\in \{1,\ 2,\ 3,\ 7,\ 11,\ 19,\ 43,\ 67,\ 163\}$.

We consider the analogous problem for curves of genus $2$.

In, we recall the definition of the *CM class group* $I_{K^
Scientific, 2004. 

 Y.   Aharonov and D.   Bohm, Phys.   Rev.    [ * * 115 * * ] { }, 485 (1959). 
  --- 
 abstract:' The CM class number one problem for elliptic curve ask to find all elliptic curves define over the rationals with non - trivial endomorphism band. For genus-2 crook it is the problem of determine all CM curves of genus $ 2 $ defined over the * automatic field *. We solve the problem by showing that the tilt given in Bouyer – Streng [ @bouyer Tables 1a, 1b, 2b, and 2c ] is complete.' 
 writer: 
 -' P[i]{}nar K[i]{}l[i]{}çer[^1 ]   and Marco Streng[^2 ]' 
 bibliography: 
 -'mybib.bib' 
 title: | 
     The CM class act one problem for\ 
     curves of genus $ 2 $ 
 --- 

 Introduction 
 = = = = = = = = = = = = 

 By a * bend *, we always mean a projective smooth geometrically irreducible algebraic curve. A curvature $ C$ over a field $ k$ of genus $ g$ has * complex multiplication * (CM) if the endomorphism ring of its Jacobian over $ \overline{k}$ is an order $ { \mathcal{O}}$ in a * CM discipline * of that is, a totally imaginary quadratic extension of a totally real numeral field of We say that $ C$ by $ { \mathcal{O}}$. For example, an elliptic has CM if $ { \text{\normalfont{End}}}(E_{\overline{k}})$ is an order in an imaginary quadratic field $ K$. An elliptic curve $ E$ with CM by an ordering $ { \mathcal{O}}_{K}$ can be defined over $ { \mathbb{Q}}$ if and only if the course group $ { \text{\normalfont{Cl}}}_{K}:=I_{K}/P_{K}$ is fiddling. The CM course number one problem for elliptic curves asks to determine all imaginary quadratic fields of course number one. This problem was solved by Baker [ @baker ] (1966) and Stark [ @stark ] (1967); the fields are $ K\cong{\mathbb{Q}}(\sqrt{-d})$ where $ d\in \{1,\ 2,\ 3,\ 7,\ 11,\ 19,\ 43,\ 67,\ 163\}$. 

 We consider the analogous problem for curves of genus $ 2$. 

 In, we recall the definition of the * CM class group * $ I_{K^
 Sclentific, 2004.

Y. Aharonov and D. Nohm, Phys. Rev.  [**115**]{}, 485 (1959).
 ---
cvstracv: 'The CJ class vumber one problem for ellipvic xurvew asked to find all eluiptic cugves defibed icer the ravjonals with nkk-trivnao endomorphism ring. For cenus-2 curves id ks the problem of determining all CM surves pf genus $2$ defineq ovtr ehe *dvfoex field*. We solve the problej by shmwing that thr list given in Bouyer–Strejg [@bluyer Tables 1a, 1b, 2b, and 2c] is cimplqre.'
author:
- 'P[i]{}nxr K[i]{}l[i]{}çer[^1]  and Marco Stteng[^2]'
bibliography:
-'mybib.bib'
title: |
    The CM class bunbeg one problen for\
    curves on genus $2$
---

Introdiction
============

By a *curye*, we alqays mean a projectivx smooth geometricaljy irreduwiyle algebraic curve. A cyrve $W$ ovar a dieud $i$ pf genus $g$ ias *complex multiplicarion* (CM) if the endokowinism ring of its Jwcjbian over $\overline{k}$ is an order ${\mathcan{O}}$ jn a *CM field* of that iw, a totally imaginary quadratis extension of a totally real number field of We vay tiag $C$ bn ${\magycwl{O}}$. For example, an elliptic has CM if ${\text{\norizlgokt{End}}}(E_{\overline{k}})$ ls an order in an omwgogary quadratiz fielb $K$. An elliptic curve $E$ with CM bt an ordew ${\mayhcal{O}}_{K}$ can be defined over ${\mathbb{Q}}$ if cnd only if the class group ${\text{\uormalgont{Ck}}}_{K}:=I_{K}/P_{K}$ is trivial. The CO clzss number lne problso for elliptic cjrvvs avks to dtgermine all imagigary quadcatic fields of vlass gumber one. This problem was solved by Bcker [@taker] (1966) and Stark [@stark] (1967); the fields are $K\cong{\mathbb{Q}}(\sqrt{-c})$ fhege $d\in \{1,\ 2,\ 3,\ 7,\ 11,\ 19,\ 43,\ 67,\ 163\}$.

We consider ehe analogous kroblem fjr cufves of gehus $2$.

In, xe recall thq definition mv the *CM clavs group* $I_{K^
Scientific, 2004. Y. Aharonov and D. Bohm, [**115**]{}, (1959). --- 'The CM class curves to find all curves defined over rationals with non-trivial endomorphism ring. For curves it is the problem of determining all CM curves of genus $2$ over the *reflex field*. We solve the problem by showing that the list in [@bouyer 1a, 2b, and 2c] is complete.' author: - 'P[i]{}nar K[i]{}l[i]{}çer[^1] and Marco Streng[^2]' bibliography: -'mybib.bib' title: | CM class number one problem for\ curves of $2$ --- Introduction ============ a *curve*, we always mean projective geometrically irreducible curve. curve over a field of genus $g$ has *complex multiplication* (CM) if the endomorphism ring of its Jacobian over $\overline{k}$ is order ${\mathcal{O}}$ *CM field* that a imaginary quadratic extension totally real number field of We by ${\mathcal{O}}$. For example, an elliptic has CM ${\text{\normalfont{End}}}(E_{\overline{k}})$ is order in an imaginary quadratic field An elliptic curve $E$ with CM by an ${\mathcal{O}}_{K}$ can be defined over ${\mathbb{Q}}$ if and only if the class group ${\text{\normalfont{Cl}}}_{K}:=I_{K}/P_{K}$ is CM class number one for elliptic curves to all quadratic of class one. This problem was solved by Baker [@baker] (1966) and Stark (1967); the fields are $K\cong{\mathbb{Q}}(\sqrt{-d})$ where $d\in \{1,\ 2,\ 3,\ 19,\ 67,\ 163\}$. We the analogous problem for of $2$. In, we recall of *CM
 Scientific, 2004.

Y. Aharonov and D. BoHm, Phys. Rev.  [**115**]{}, 485 (1959).
 ---
aBstraCt: 'THe Cm cLass NumbEr one problem foR ElliPtic curves asked to find aLl ellIpTIc cuRVeS defiNed over THe RATioNaLs WitH nON-tRiviaL enDomorphIsm ring. For GenUs-2 Curves it is thE PrOblem of detErmIning all CM cuRveS of genUs $2$ DefINed ovEr tHe *refLex fieLD*. We solVe the probLeM By showINg that tHE LiSt giVen in Bouyer–Streng [@BOuYEr Tables 1a, 1b, 2b, and 2C] is comPlETe.'
AUThoR:
- 'P[i]{}Nar K[i]{}l[i]{}çer[^1]  AnD MarcO streng[^2]'
bIBlIOGRapHY:
-'mybib.bib'
titlE: |
    The CM class NUmbEr one pRoBleM For\
    curVes of GeNUs $2$
---

INtroduction
============

by a *cUrve*, we alwAys meaN A projecTIve smooTh geomEtrIcaLly iRReDuCibLe ALgeBRaIc cURve. a curve $C$ oVeR a Field $K$ of gENUS $G$ has *ComPlex MultiPlication* (CM) if The EndoMOrpHism rIng of Its JAcObian Over $\ovErlinE{k}$ Is an order ${\mathcaL{O}}$ in A *CM field* oF thAt Is, a ToTally IMaginaRy qUadRatic exTension OF a tOtALLY rEal number field of We SaY THaT $C$ by ${\mathCal{O}}$. FoR ExAmPLe, an elliPtIc hAs CM IF ${\Text{\nOrmaLFoNt{End}}}(E_{\ovErline{K}})$ Is An Order in An ImaginArY quAdrAtic fIEld $K$. an elliPtic curvE $E$ witH cM by an order ${\matHCal{O}}_{K}$ can be defINeD OVeR ${\MathBb{Q}}$ If and only if The cLAss gRoup ${\TExT{\noRMalfoNt{Cl}}}_{K}:=i_{K}/p_{k}$ iS Trivial. The CM class nuMbEr one pRobleM for elliptic cUrves asks tO DETermine aLl imAGiNAry quadratic fiElds oF class numbER one. This ProblEm was solVed by BakeR [@BAker] (1966) and STarK [@stArk] (1967); The FIElDs are $K\cong{\matHBB{Q}}(\sqRt{-D})$ where $d\In \{1,\ 2,\ 3,\ 7,\ 11,\ 19,\ 43,\ 67,\ 163\}$.

WE considEr tHe aNalOgoUs Problem foR curves oF gEnUs $2$.

in, We rEcall THe definiTiOn oF tHe *Cm clasS Group* $I_{k^
 Scientific, 2004.

Y. Aha ronov andD. Bo hm,  Ph ys . Re v. [**115**]{}, 4 8 5 (1 959).
 ---
abstract: ' The C Mc lass nu mberone pro b le m for  e ll ipt ic cu rvesask ed to f ind all el lip ti c curves def i ne d over the  ra tionals with  no n-triv ia l e n domor phi sm ri ng. Fo r  genus -2 curves  i t  is th e  proble m of  det ermining all CM c u rv e s of genus $2$  defin ed ov e r  th e * reflex fie ld *. We solve t h ep r o ble m  by showing t hat the lis t  gi ven in  B ouy e r–Stre ng [@ bo u yer  Tables 1a,  1b,  2b, and2c] is complet e .'
auth or:
-'P[ i]{ }nar K[ i] {}l [i ] {}ç e r[ ^1]  an d MarcoSt re ng[^2 ]'
b i b l i ogra phy :
-' mybib .bib'
title:|
   T h e C M cla ss nu mber  o ne pr oblemfor\   curves of gen us $ 2$
---

I ntr od uct io n
=== = ====== ==
By  a *cur ve*, we alw ay s m ea n a projective smo ot h ge ometrica lly ir r ed uc i ble alge br aic  cur v e . A c urve $C $ over a  field $k $of genu s$g$ ha s*co mpl ex mu l tipl icatio n* (CM)if th e  endomorphismr ing of its Ja c ob i a no ver$\o verline{k}$  isa n or der$ {\ mat h cal{O }}$ i na  * C M field* of that is ,a tota lly i maginary quad ratic exte n s i on of atota l ly real number fi eld o f We say t h at $C$ b y ${\ mathcal{ O}}$. For e xample,anell ipt ich a sCM if ${\text { \ norm al font{En d}} }(E_{\o ver lin e{k }}) $is an ord er in an  i ma gi na ryquadr a tic fiel d$K$ .Anellip t ic cur ve $E $ wi th  C M  by  an ord e r$ { \mat hc al {O}} _{K }$  canbe d e fin ed over  ${\mathb b{Q } }$ i fan d onlyif the classgr oup ${\tex t{ \no rmalfo n t {Cl}}}_{ K}:=I_{K}/P_{K}$ is tri v ial. Th e C M cla ss n umber one  pr oblemfor ellipt ic cur ves a sk s t o deter m i ne  al limaginaryq u adr aticfi elds  of cla ss number one. Thi s  pr oblem was sol ved  byB a ke r [ @ ba k er]  ( 1 966 ) and Stark [@sta rk] (1967) ;t he  fields ar e  $K \c ong{\ma thbb{Q} }(\sq r t{-d})$  where $d \in \{1,\  2 ,\ 3 , \  7, \ 11,\ 19, \ 43,\ 6 7,\ 163\} $ .

We co nside r t he ana lo gou s pro blem f o r c urves  of ge nu s $2$. 

In,  w e recall  the definition of the*CM cl ass g rou p* $I_{K^ 
 Scientific,_2004.

Y. Aharonov and_D. Bohm, Phys. Rev.  [**115**]{}, 485_(1959).
 ---
abstract:_'The_CM class_number_one problem for_elliptic curves asked_to find all elliptic_curves defined over_the_rationals with non-trivial endomorphism ring. For genus-2 curves it is the problem of determining_all_CM curves_of_genus_$2$ defined over the *reflex_field*. We solve the problem_by showing_that the list given in Bouyer–Streng [@bouyer Tables_1a,_1b, 2b, and_2c] is complete.'
author:
- 'P[i]{}nar K[i]{}l[i]{}çer[^1]  and Marco Streng[^2]'
bibliography:
-'mybib.bib'
title: |
_   The CM class_number one problem_for\
__  curves of_genus $2$
---

Introduction
============

By a *curve*, we always_mean a projective smooth geometrically irreducible_algebraic curve. A curve $C$ over a_field $k$ of genus $g$ has_*complex multiplication* (CM) if the_endomorphism ring_of its Jacobian over $\overline{k}$_is an order_${\mathcal{O}}$ in_a *CM field*_of that is, a totally imaginary_quadratic extension of_a totally real number field of_We_say that $C$_by_${\mathcal{O}}$._For example,_an elliptic has_CM_if ${\text{\normalfont{End}}}(E_{\overline{k}})$_is_an order in an imaginary quadratic_field_$K$. An elliptic curve $E$ with CM_by an order ${\mathcal{O}}_{K}$_can_be defined over ${\mathbb{Q}}$_if and only if the_class group ${\text{\normalfont{Cl}}}_{K}:=I_{K}/P_{K}$ is trivial. The_CM class_number one_problem for elliptic curves asks to determine all imaginary quadratic fields_of class number one. This problem_was solved by Baker_[@baker] (1966)_and_Stark [@stark] (1967);_the_fields are_$K\cong{\mathbb{Q}}(\sqrt{-d})$ where $d\in \{1,\ 2,\ 3,\ 7,\_11,\ 19,\_43,\ 67,\ 163\}$.

We consider the analogous_problem for curves of_genus_$2$.

In, we recall the definition of_the *CM class group* $I_{K^