{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T16:43:34Z","timestamp":1776789814906,"version":"3.51.2"},"reference-count":41,"publisher":"American Mathematical Society (AMS)","issue":"266","license":[{"start":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T00:00:00Z","timestamp":1251936000000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    We present a method to solve in an efficient way the problem of constructing the curves given by Torelli\u2019s theorem in dimension\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"3\">\n                        <mml:semantics>\n                          <mml:mn>3<\/mml:mn>\n                          <mml:annotation encoding=\"application\/x-tex\">3<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    over the complex numbers: For an absolutely simple principally polarized abelian threefold\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper A\">\n                        <mml:semantics>\n                          <mml:mi>A<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">A<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    over\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"double-struck upper C\">\n                        <mml:semantics>\n                          <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                            <mml:mi mathvariant=\"double-struck\">C<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathbb {C}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    given by its period matrix\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"normal upper Omega comma\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi mathvariant=\"normal\">\n                              \u03a9\n                              \n                            <\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\Omega ,<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    compute a model of the curve of genus three (unique up to isomorphism) whose Jacobian, equipped with its canonical polarization, is isomorphic to\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper A\">\n                        <mml:semantics>\n                          <mml:mi>A<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">A<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    as a principally polarized abelian variety. We use this method to describe the non-hyperelliptic modular Jacobians of dimension 3. We investigate all the non-hyperelliptic new modular Jacobians\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"Jac left-parenthesis upper C Subscript f Baseline right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mtext>Jac<\/mml:mtext>\n                            <\/mml:mrow>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msub>\n                              <mml:mi>C<\/mml:mi>\n                              <mml:mi>f<\/mml:mi>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\textrm {Jac}(C_f)<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    of dimension\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"3\">\n                        <mml:semantics>\n                          <mml:mn>3<\/mml:mn>\n                          <mml:annotation encoding=\"application\/x-tex\">3<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    which are isomorphic to\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper A Subscript f\">\n                        <mml:semantics>\n                          <mml:msub>\n                            <mml:mi>A<\/mml:mi>\n                            <mml:mi>f<\/mml:mi>\n                          <\/mml:msub>\n                          <mml:annotation encoding=\"application\/x-tex\">A_f<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , where\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"f element-of upper S 2 Superscript new Baseline left-parenthesis upper X 0 left-parenthesis upper N right-parenthesis right-parenthesis comma\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>f<\/mml:mi>\n                            <mml:mo>\n                              \u2208\n                              \n                            <\/mml:mo>\n                            <mml:msubsup>\n                              <mml:mi>S<\/mml:mi>\n                              <mml:mn>2<\/mml:mn>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mtext>new<\/mml:mtext>\n                              <\/mml:mrow>\n                            <\/mml:msubsup>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msub>\n                              <mml:mi>X<\/mml:mi>\n                              <mml:mn>0<\/mml:mn>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>N<\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo>,<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">f\\in S_2^\\textrm {new}(X_0 (N)),<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper N less-than-or-equal-to 4000 period\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>N<\/mml:mi>\n                            <mml:mo>\n                              \u2264\n                              \n                            <\/mml:mo>\n                            <mml:mn>4000.<\/mml:mn>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">N\\leq 4000.<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                  <\/p>","DOI":"10.1090\/s0025-5718-08-02174-1","type":"journal-article","created":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T13:09:23Z","timestamp":1259672963000},"page":"1173-1191","source":"Crossref","is-referenced-by-count":3,"title":["Non-hyperelliptic modular Jacobians of dimension 3"],"prefix":"10.1090","volume":"78","author":[{"given":"Roger","family":"Oyono","sequence":"first","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2008,9,3]]},"reference":[{"key":"1","unstructured":"R. Avanzi, N. Th\u00e9riault, and Z. Wang, Rethinking low genus hyperelliptic Jacobian arithmetic over binary fields: Interplay of field arithmetic and explicit formulae, preprint, 2006."},{"issue":"6","key":"2","doi-asserted-by":"crossref","first-page":"1325","DOI":"10.1353\/ajm.2005.0037","article-title":"Finiteness results for modular curves of genus at least 2","volume":"127","author":"Baker, Matthew H.","year":"2005","journal-title":"Amer. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"},{"key":"3","isbn-type":"print","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-24847-7_6","article-title":"Implementing the arithmetic of \ud835\udc36_{3,4} curves","author":"Basiri, Abdolali","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540221565"},{"issue":"2","key":"4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1090\/S1056-3911-02-00307-7","article-title":"Recovering plane curves from their bitangents","volume":"12","author":"Caporaso, Lucia","year":"2003","journal-title":"J. Algebraic Geom.","ISSN":"https:\/\/id.crossref.org\/issn\/1056-3911","issn-type":"print"},{"key":"5","unstructured":"C. Diem and E. Thom\u00e9, Index calculus in class groups of non-hyperelliptic curves of genus 3, 2006, preprint."},{"issue":"3","key":"6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0001-8708(87)90010-7","article-title":"On the projective invariants of quartic plane curves","volume":"64","author":"Dixmier, J.","year":"1987","journal-title":"Adv. in Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"7","unstructured":"I. Dolgachev, Topics in classical algebraic geometry, part I, Available on \\url{http:\/\/www.math.lsa.umich.edu\/ idolga\/lecturenotes.html}, 2003."},{"key":"8","isbn-type":"print","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-24632-9_5","article-title":"Fast arithmetic on Jacobians of Picard curves","author":"Flon, St\u00e9phane","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540210180"},{"key":"9","unstructured":"S. Flon, R. Oyono, and C. Ritzenthaler, Fast addition on non-hyperelliptic genus 3 curves, Preprint, available on \\url{http:\/\/eprint.iacr.org\/2004}, 2004."},{"key":"10","isbn-type":"print","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/11792086_25","article-title":"Classification of genus 3 curves in special strata of the moduli space","author":"Girard, Martine","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540360759"},{"issue":"3","key":"11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.4064\/aa116-3-3","article-title":"Abelian surfaces of \ud835\udc3a\ud835\udc3f\u2082-type as Jacobians of curves","volume":"116","author":"Gonz\u00e1lez, Josep","year":"2005","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"12","unstructured":"E. Gonz\u00e1lez-Jim\u00e9nez and R. Oyono, Non-hyperelliptic modular curves of genus 3, work in progress, 2007."},{"issue":"241","key":"13","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1090\/S0025-5718-02-01458-8","article-title":"Modular curves of genus 2","volume":"72","author":"Gonz\u00e1lez-Jim\u00e9nez, Enrique","year":"2003","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"14","isbn-type":"print","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-45455-1_15","article-title":"Computations on modular Jacobian surfaces","author":"Gonz\u00e1lez-Jim\u00e9nez, Enrique","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/3540438637"},{"key":"15","unstructured":"E. Gonz\u00e1lez-Jim\u00e9nez and J. Gu\u00e0rdia, MAV, modular abelian varieties for magma, 2001."},{"key":"16","series-title":"Wiley Classics Library","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1002\/9781118032527","volume-title":"Principles of algebraic geometry","author":"Griffiths, Phillip","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0471050598"},{"issue":"1","key":"17","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/S0021-8693(02)00049-2","article-title":"Jacobian nullwerte and algebraic equations","volume":"253","author":"Gu\u00e0rdia, Jordi","year":"2002","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"4","key":"18","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.5802\/aif.2293","article-title":"Jacobian Nullwerte, periods and symmetric equations for hyperelliptic curves","volume":"57","author":"Gu\u00e0rdia, Jordi","year":"2007","journal-title":"Ann. Inst. Fourier (Grenoble)","ISSN":"https:\/\/id.crossref.org\/issn\/0373-0956","issn-type":"print"},{"issue":"6","key":"19","doi-asserted-by":"publisher","first-page":"1647","DOI":"10.1090\/S0002-9939-00-05887-1","article-title":"Plane quartics with Jacobians isomorphic to a hyperelliptic Jacobian","volume":"129","author":"Howe, Everett W.","year":"2001","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"key":"20","unstructured":"G. Humbert, Sur les fonctions ab\u00e9liennes singuli\u00e8res (deuxieme m\u00e9moire), J. Math. Pures Appl. 5(6) (1900), 279\u2013386."},{"issue":"3","key":"21","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1215\/S0012-7094-87-05531-1","article-title":"Abelian varieties with several principal polarizations","volume":"55","author":"Lange, Herbert","year":"1987","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"key":"22","unstructured":"D. Lehavi, Bitangents and two level structures for curves of genus 3, Ph.D. thesis, Hebrew University of Jerusalem, 2002."},{"key":"23","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BF02773542","article-title":"Any smooth plane quartic can be reconstructed from its bitangents","volume":"146","author":"Lehavi, David","year":"2005","journal-title":"Israel J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-2172","issn-type":"print"},{"key":"24","doi-asserted-by":"crossref","unstructured":"A. Logan, The Brauer-Manin obstruction on del Pezzo surfaces of degree 2 branched along a plane section of a Kummer surface, preprint, 2007.","DOI":"10.1017\/S0305004108001102"},{"key":"25","unstructured":"Magma, Computational Algebra System, Available on \\url{http:\/\/magma.maths.usyd.edu.au\/magma\/}."},{"key":"26","unstructured":"T. Ohno, Invariant subring of ternary quartics I - generators and relations, preprint."},{"key":"27","unstructured":"R. Oyono, Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie, Ph.D. thesis, Essen, 2006."},{"issue":"3","key":"28","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1215\/S0012-7094-94-07634-5","article-title":"The hyperelliptic locus","volume":"76","author":"Poor, Cris","year":"1994","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"key":"29","isbn-type":"print","first-page":"13","article-title":"Efficient reduction on the Jacobian variety of Picard curves","author":"Reinaldo Barreiro, Ernesto","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/3540662480"},{"key":"30","unstructured":"B. Riemann, Sur la th\u00e9orie des fonctions ab\u00e9liennes, Oeuvres de Riemann, 2nd edition (1898), 487."},{"key":"31","unstructured":"C. Ritzenthaler, Probl\u00e8mes arithm\u00e9tiques relatifs \u00e0 certaines familles de courbes sur les corps finis, Ph.D. thesis, Universit\u00e9 Paris 7, 2003."},{"key":"32","doi-asserted-by":"crossref","unstructured":"T. Shaska and J. L. Thompson, On the generic curve of genus 3, Contemporary. Math. 369 (2005), 233\u2013244.","DOI":"10.1090\/conm\/369\/06814"},{"key":"33","doi-asserted-by":"publisher","first-page":"523","DOI":"10.2969\/jmsj\/02530523","article-title":"On the factors of the jacobian variety of a modular function field","volume":"25","author":"Shimura, Goro","year":"1973","journal-title":"J. Math. Soc. Japan","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5645","issn-type":"print"},{"key":"34","series-title":"Publications of the Mathematical Society of Japan","isbn-type":"print","volume-title":"Introduction to the arithmetic theory of automorphic functions","volume":"11","author":"Shimura, Goro","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0691080925"},{"issue":"1","key":"35","first-page":"61","article-title":"Plane quartics and Mordell-Weil lattices of type \ud835\udc38\u2087","volume":"42","author":"Shioda, Tetsuji","year":"1993","journal-title":"Comment. Math. Univ. St. Paul.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-258X","issn-type":"print"},{"issue":"3","key":"36","doi-asserted-by":"publisher","first-page":"553","DOI":"10.2307\/2118560","article-title":"Ring-theoretic properties of certain Hecke algebras","volume":"141","author":"Taylor, Richard","year":"1995","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"37","volume-title":"Weierstrass points of weight two on curves of genus three","author":"Vermeulen, Alexius Maria","year":"1983"},{"key":"38","unstructured":"H-J. Weber, Algorithmische Konstruktion hyperelliptischer Kurven mit kryptographischer Relevanz und einem Endomorphismenring echt gr\u00f6\u00dfer als \u2124, Ph.D. thesis, Institut f\u00fcr Experimentelle Mathematik Essen, 1997."},{"issue":"4","key":"39","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1080\/10586458.1997.10504615","article-title":"Hyperelliptic simple factors of \ud835\udc3d\u2080(\ud835\udc41) with dimension at least 3","volume":"6","author":"Weber, Hermann-Josef","year":"1997","journal-title":"Experiment. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1058-6458","issn-type":"print"},{"key":"40","first-page":"33","article-title":"Zum Beweis des Torellischen Satzes","volume":"1957","author":"Weil, Andr\u00e9","year":"1957","journal-title":"Nachr. Akad. Wiss. G\\\"{o}ttingen. Math.-Phys. Kl. IIa."},{"issue":"3","key":"41","doi-asserted-by":"publisher","first-page":"443","DOI":"10.2307\/2118559","article-title":"Modular elliptic curves and Fermat\u2019s last theorem","volume":"141","author":"Wiles, Andrew","year":"1995","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2009-78-266\/S0025-5718-08-02174-1\/S0025-5718-08-02174-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2009-78-266\/S0025-5718-08-02174-1\/S0025-5718-08-02174-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:58:55Z","timestamp":1776787135000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2009-78-266\/S0025-5718-08-02174-1\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,3]]},"references-count":41,"journal-issue":{"issue":"266","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["S0025-5718-08-02174-1"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-08-02174-1","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2008,9,3]]}}}