{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T20:11:41Z","timestamp":1776802301628,"version":"3.51.2"},"reference-count":20,"publisher":"American Mathematical Society (AMS)","issue":"306","license":[{"start":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T00:00:00Z","timestamp":1510099200000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00c3\u00ada y Competitividad","doi-asserted-by":"publisher","award":["MTM2013- 42135-P."],"award-info":[{"award-number":["MTM2013- 42135-P."]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    Let\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K\">\n                        <mml:semantics>\n                          <mml:mi>K<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    be a real quadratic field and\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"script upper O Subscript upper K\">\n                        <mml:semantics>\n                          <mml:msub>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"script\">O<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                          <\/mml:msub>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathscr {O}_K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    its ring of integers. Let\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"normal upper Gamma\">\n                        <mml:semantics>\n                          <mml:mi mathvariant=\"normal\">\n                            \u0393\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\Gamma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    be a congruence subgroup of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"normal upper S normal upper L Subscript 2 Baseline left-parenthesis script upper O Subscript upper K Baseline right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:msub>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"normal\">S<\/mml:mi>\n                                <mml:mi mathvariant=\"normal\">L<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msub>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"script\">O<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mi>K<\/mml:mi>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathrm {SL}_2(\\mathscr {O}_K)<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    and\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper M Subscript left-parenthesis k 1 comma k 2 right-parenthesis Baseline left-parenthesis normal upper Gamma right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:msub>\n                              <mml:mi>M<\/mml:mi>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mo stretchy=\"false\">(<\/mml:mo>\n                                <mml:msub>\n                                  <mml:mi>k<\/mml:mi>\n                                  <mml:mn>1<\/mml:mn>\n                                <\/mml:msub>\n                                <mml:mo>,<\/mml:mo>\n                                <mml:msub>\n                                  <mml:mi>k<\/mml:mi>\n                                  <mml:mn>2<\/mml:mn>\n                                <\/mml:msub>\n                                <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <\/mml:mrow>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi mathvariant=\"normal\">\n                              \u0393\n                              \n                            <\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">M_{(k_1,k_2)}(\\Gamma )<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    be the finite dimensional space of Hilbert modular forms of weight\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"left-parenthesis k 1 comma k 2 right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msub>\n                              <mml:mi>k<\/mml:mi>\n                              <mml:mn>1<\/mml:mn>\n                            <\/mml:msub>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:msub>\n                              <mml:mi>k<\/mml:mi>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">(k_1,k_2)<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    for\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"normal upper Gamma\">\n                        <mml:semantics>\n                          <mml:mi mathvariant=\"normal\">\n                            \u0393\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\Gamma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . Given a form\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"f left-parenthesis z right-parenthesis element-of upper M Subscript left-parenthesis k 1 comma k 2 right-parenthesis Baseline left-parenthesis normal upper Gamma right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>f<\/mml:mi>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>z<\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo>\n                              \u2208\n                              \n                            <\/mml:mo>\n                            <mml:msub>\n                              <mml:mi>M<\/mml:mi>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mo stretchy=\"false\">(<\/mml:mo>\n                                <mml:msub>\n                                  <mml:mi>k<\/mml:mi>\n                                  <mml:mn>1<\/mml:mn>\n                                <\/mml:msub>\n                                <mml:mo>,<\/mml:mo>\n                                <mml:msub>\n                                  <mml:mi>k<\/mml:mi>\n                                  <mml:mn>2<\/mml:mn>\n                                <\/mml:msub>\n                                <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <\/mml:mrow>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi mathvariant=\"normal\">\n                              \u0393\n                              \n                            <\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">f(z) \\in M_{(k_1,k_2)}(\\Gamma )<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , how many Fourier coefficients determine it uniquely in such space? This problem was solved by Hecke for classical forms, and Sturm proved its analogue for congruences modulo a prime ideal. The present article solves the same problem for Hilbert modular forms over\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K\">\n                        <mml:semantics>\n                          <mml:mi>K<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . We construct a finite set of indices (which depends on the cusps desingularization of the modular surface attached to\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"normal upper Gamma\">\n                        <mml:semantics>\n                          <mml:mi mathvariant=\"normal\">\n                            \u0393\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\Gamma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    ) such that the Fourier coefficients of any form in such set determines it uniquely.\n                  <\/p>","DOI":"10.1090\/mcom\/3187","type":"journal-article","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T07:07:43Z","timestamp":1466147263000},"page":"1949-1978","source":"Crossref","is-referenced-by-count":1,"title":["Hecke and Sturm bounds for Hilbert modular forms over real quadratic fields"],"prefix":"10.1090","volume":"86","author":[{"given":"Jose Ignacio","family":"Burgos Gil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ariel","family":"Pacetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"issue":"9","key":"1","doi-asserted-by":"publisher","first-page":"2497","DOI":"10.1090\/S0002-9939-02-06609-1","article-title":"On the number of Fourier coefficients that determine a Hilbert modular form","volume":"130","author":"Baba, Srinath","year":"2002","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"issue":"3","key":"2","doi-asserted-by":"publisher","first-page":"541","DOI":"10.2307\/1971469","article-title":"Arithmetic minimal compactification of the Hilbert-Blumenthal moduli spaces","volume":"131","author":"Chai, C.-L.","year":"1990","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"3","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02945-9","volume-title":"A course in computational algebraic number theory","volume":"138","author":"Cohen, Henri","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/3540556400"},{"key":"4","series-title":"A Wiley-Interscience Publication","isbn-type":"print","volume-title":"Primes of the form $x^2 + ny^2$","author":"Cox, David A.","year":"1989","ISBN":"https:\/\/id.crossref.org\/isbn\/0471506540"},{"key":"5","first-page":"953","article-title":"Modularity of the Consani-Scholten quintic","volume":"17","author":"Dieulefait, Luis","year":"2012","journal-title":"Doc. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1431-0635","issn-type":"print"},{"key":"6","unstructured":"[Fre03] E. Freitag, Modular embeddings of hilbert modular surfaces, \\url{http:\/\/www.rzuser.uni-heidelberg.de\/ t91\/index4.html}, 2003."},{"key":"7","series-title":"The Wadsworth \\& Brooks\/Cole Mathematics Series","isbn-type":"print","volume-title":"Holomorphic Hilbert modular forms","author":"Garrett, Paul B.","year":"1990","ISBN":"https:\/\/id.crossref.org\/isbn\/0534103448"},{"key":"8","series-title":"CRM Monograph Series","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1090\/crmm\/014","volume-title":"Lectures on Hilbert modular varieties and modular forms","volume":"14","author":"Goren, Eyal Z.","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/082181995X"},{"key":"9","volume-title":"Mathematische Werke","author":"Hecke, Erich","year":"1970"},{"issue":"2","key":"10","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF01457366","article-title":"Thetareihen und modulare Spitzenformen zu den Hilbertschen Modulgruppen reell-quadratischer K\u00f6rper","volume":"277","author":"Hermann, Carl Friedrich","year":"1987","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"issue":"4","key":"11","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01442861","article-title":"Thetareihen und modulare Spitzenformen zu den Hilbertschen Modulgruppen reell-quadratischer K\u00f6rper. II","volume":"283","author":"Hermann, Carl Friedrich","year":"1989","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"key":"12","first-page":"69","article-title":"\ud835\udc5d-adic properties of modular schemes and modular forms","author":"Katz, Nicholas M.","year":"1973"},{"issue":"3","key":"13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BF01455561","article-title":"On elliptic surfaces in characteristic \ud835\udc5d","volume":"272","author":"Katsura, Toshiyuki","year":"1985","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"issue":"1","key":"14","first-page":"43","article-title":"Arithmetic models for Hilbert modular varieties","volume":"98","author":"Pappas, Georgios","year":"1995","journal-title":"Compositio Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-437X","issn-type":"print"},{"key":"15","unstructured":"[PAR12] The PARI Group, Bordeaux, PARI\/GP, version 2.6.0, 2012. available from \\url{http:\/\/pari.math.u-bordeaux.fr\/}."},{"issue":"3","key":"16","first-page":"255","article-title":"Compactifications de l\u2019espace de modules de Hilbert-Blumenthal","volume":"36","author":"Rapoport, M.","year":"1978","journal-title":"Compositio Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-437X","issn-type":"print"},{"key":"17","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":"2","key":"18","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF01421924","article-title":"Hilbert modular forms for the field \ud835\udc44(\u221a6)","volume":"233","author":"van der Geer, G.","year":"1978","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"key":"19","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61553-5","volume-title":"Hilbert modular surfaces","volume":"16","author":"van der Geer, Gerard","year":"1988","ISBN":"https:\/\/id.crossref.org\/isbn\/3540176012"},{"key":"20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF01389785","article-title":"The Hilbert modular group for the field \ud835\udc44(\u221a13)","volume":"42","author":"van der Geer, G.","year":"1977","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2017-86-306\/S0025-5718-2016-03187-7\/mcom3187_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/www.ams.org\/mcom\/2017-86-306\/S0025-5718-2016-03187-7\/S0025-5718-2016-03187-7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2017-86-306\/S0025-5718-2016-03187-7\/S0025-5718-2016-03187-7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T19:13:21Z","timestamp":1776798801000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2017-86-306\/S0025-5718-2016-03187-7\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,8]]},"references-count":20,"journal-issue":{"issue":"306","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["S0025-5718-2016-03187-7"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3187","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":[[2016,11,8]]}}}