{"entities":{"Q384632":{"pageid":386399,"ns":120,"title":"Item:Q384632","lastrevid":61436379,"modified":"2026-04-10T23:22:01Z","type":"item","id":"Q384632","labels":{"en":{"language":"en","value":"Arithmetic intersection on a Hilbert modular surface and the Faltings height"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234190"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384632$5498123E-F5B4-4936-8BEC-67E80BC027F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566d26e7e9e897f6afe0b0c47ff8590773ff26bf","datavalue":{"value":{"text":"Arithmetic intersection on a Hilbert modular surface and the Faltings height","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q384632$AE0A71F1-9877-421B-BBCB-57BD33033639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fac71f78b12453fa323acfd34730c4e3bef6890c","datavalue":{"value":"1298.11056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384632$25B6D929-78EE-4681-BEC4-8F1AC4F5C294","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"420a446279f177455da37eef95cbcfc08608fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":167109,"id":"Q167109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384632$DD19B6E1-F6B8-4388-A020-84F8B1415055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fe50e98b0aa99209fa6db00abb40af0a8c01ca9","datavalue":{"value":{"entity-type":"item","numeric-id":170982,"id":"Q170982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384632$18123B06-BD7B-4862-8321-DE3EF31F698E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q384632$B1FCAC25-5E9D-4102-BEC4-325A180362D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc7fc4d554a3422c1dc61d550a5218606ba53587","datavalue":{"value":"https://arxiv.org/abs/1008.1854","type":"string"},"datatype":"url"},"type":"statement","id":"Q384632$0A71BB17-103A-48A6-8770-9FC408B96A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a5c51dc99a5b2aea85d7c7a7e51014829c346ba","datavalue":{"value":"https://projecteuclid.org/euclid.ajm/1383923854","type":"string"},"datatype":"url"},"type":"statement","id":"Q384632$F8FE8CCB-097A-4605-9B06-386DFAE60AC9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80c579dd745f3460156bfafa19a8b054900e55df","datavalue":{"value":{"entity-type":"item","numeric-id":455791,"id":"Q455791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384632$556E712B-2696-48AE-8C5C-18083151FB60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e73741fa11dbaced05bdf76ee53b166909502a6","datavalue":{"value":"11G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384632$F794411B-791B-460F-96A4-C6C76971500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de98e1b969c8219b2123c91e37fce4119495e7a9","datavalue":{"value":"11F41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384632$86590FE5-427E-42A4-9A18-2227344689E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bde0c59f5bdd17dae5dc2f563065baaae8538d40","datavalue":{"value":"14K22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384632$DF906361-F587-4105-9710-02CB18F75532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"260d2be84347b84b70601fac6edfef6db7fd4e35","datavalue":{"value":"6234190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384632$2A579948-7F30-486D-9199-0CEA498D16C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0621a25e5ea05d9c9212b57bdd061187fc581a35","datavalue":{"value":"Hilbert modular surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$9CC340C2-FA40-4208-9901-71E41219538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e6ca212cad971af9f0937a5259a26f5b17f741d","datavalue":{"value":"Hirzebruch-Zagier divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$D4E70679-9050-4464-AD3D-F2B798671BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b0f0ae9a462ca135a4b5e6a706e022221580da","datavalue":{"value":"arithmetic intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$EA659140-739D-44FB-8FB4-2C2C1ECDFFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95338411d87b83339b3f6951adff9aeac6670b84","datavalue":{"value":"Colmez conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$D41F2AF1-84C4-4AB7-B4FA-70249620EE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a3b31176fbd60ab4b3e292d707539f742c320c","datavalue":{"value":"Igusa invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$617373C0-A59F-4DDD-80BC-733D18BD9DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50218d34492f8e396f0a8a6953818d0923e8eeab","datavalue":{"value":"Faltings' height","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$2608110E-A013-470E-8CB9-93ECD6FD2015","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384632$E3EE8EFB-EFF5-4BC6-AE88-D6C7B141D6D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2abb4ee92849b473341a426ba6a6310cf9f533ba","datavalue":{"value":"10.4310/AJM.2013.V17.N2.A4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384632$9923F439-AE85-4E2B-8E8C-9DBAEEAAF9D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ded2fe3900ad1d8c7a911fbfeed8778a719e87e2","datavalue":{"value":"The author studies the arithmetic intersection of two different types of cycles in a Hilbert modular surface over \\(\\mathbb Z\\). One is the arithmetic Hirzebruch-Zagier divisor and the other one is the arithmetic CM cycles associated to non-biquadratic quartic CM field. The main purpose of this paper is to prove a conjecture of Bruinier and Yang under a minor technical condition on the CM number field.NEWLINENEWLINEMore specifically, let \\(D \\equiv 1\\) modulo \\(4\\) be a prime number and \\(F := {\\mathbb Q}(\\sqrt{D})\\). Let \\(\\partial = \\sqrt{D}{\\mathcal O}_F\\) be the different of \\(F\\). Let \\({\\mathcal M}\\) be the Hilbert moduli stack that assigns a base scheme \\(S\\) over \\({\\mathbb Z}\\) a triple \\((A, \\iota, \\lambda)\\) where \\(A\\) is an abelian surface over \\(S\\), \\(\\iota\\) is a real multiplication of \\({\\mathcal O}_F\\) on \\(A\\), and \\(\\lambda\\) is a \\(\\partial^{-1}\\)-polarization such that \\(\\partial^{-1} \\otimes A \\to A^{\\wedge}\\) is an isomorphism. For any integer \\(m \\geq 1\\), let \\({\\mathcal T}_m\\) be the integral Hirzebruch-Zagier divisor in \\({\\mathcal M}\\) defined in [\\textit{J. H. Bruinier} et al., Duke Math. J. 139, No. 1, 1--88 (2007; Zbl 1208.11077)]. Let \\(K = F(\\sqrt{\\Delta})\\) be a quartic non-biquadratic CM number field. Let \\({\\mathcal CM}(K)\\) be the moduli stack over \\({\\mathbb Z}\\) representing the moduli problem. Let \\(\\Phi\\) be a CM type of \\(K\\) and let \\(\\tilde{K}\\) be the reflex field of \\((K, \\Phi)\\). It is a quartic non-biquadratic CM field with real quadratic field \\(\\tilde{F}\\). Let \\(\\tilde{D} = d_{\\tilde{F}}\\) be the discriminant of \\(\\tilde{F}\\).NEWLINENEWLINEThe first main result of the paper is the following theorem that proves Bruinier and Yang's conjecture in a special case: \\vskip 0.1in \\noindent \\textbf{Theorem 1}: Using the above notations. Suppose that NEWLINE\\[NEWLINE{\\mathcal O}_K = {\\mathcal O}_F + {\\mathcal O}_F \\frac{w + \\sqrt{\\Delta}}{2}NEWLINE\\]NEWLINE is free over \\({\\mathcal O}_F\\), where \\(w \\in {\\mathcal O}_F\\) and that \\(\\Delta \\Delta'\\) is odd where \\(\\Delta'\\) is the Galois conjugate of \\(\\Delta\\) in \\(F\\). Then \\(\\tilde{D} = \\Delta \\Delta'\\). Assume furthermore that \\(\\tilde{D} = \\Delta \\Delta' \\equiv 1\\) modulo \\(4\\) is a prime, then NEWLINE\\[NEWLINE{\\mathcal T}_m.{\\mathcal CM}(K) = \\frac{1}{2}\\sum_p \\sum_{{\\mathfrak p} | p} \\sum_{\\substack{ t = \\frac{n+m\\sqrt{\\tilde{D}}}{2D} \\in d^{-1}_{\\tilde{K}/{\\tilde{F}}},\\\\ |n| < m\\sqrt{\\tilde{D}}}} B_t({\\mathfrak p})NEWLINE\\]NEWLINE where NEWLINE\\[NEWLINEB_t(\\mathfrak p) = \\begin{cases} 0 & \\text{if \\(\\mathfrak{p}\\) is split in \\(\\tilde{K}\\)},\\\\ (\\mathrm{ord}_{\\mathfrak{p}}t + 1)\\rho(td_{\\tilde{K}/\\tilde{F}}\\mathfrak{p}^{-1})\\log|\\mathfrak{p}| & \\text{if \\(\\mathfrak{p}\\) is not split in \\(\\tilde{K}\\)}, \\end{cases}NEWLINE\\]NEWLINE \\(|\\mathfrak{p}|\\) is the norm of the ideal \\(\\mathfrak{p}\\) of \\(\\tilde{F}\\), and NEWLINE\\[NEWLINE\\rho(\\mathfrak{a}) = \\#\\{ \\mathfrak{A} \\subset \\mathcal{O}_{\\tilde{K}} : N_{\\tilde{K}/\\tilde{F}} (\\mathfrak{A}) = \\mathfrak{a}\\}.NEWLINE\\]NEWLINENEWLINENEWLINEUsing Theorem 1, the authors prove several applications. The first application is to show Colmez's conjecture with the same assumption as in Theorem 1. If \\(K\\) is a non-biquadratic quartic CM number field with real quadratic subfield \\(F\\). Let \\(\\chi\\) be the quadratic Hecke character of \\(F\\) associated to \\(K/F\\) by global class field theory, and let NEWLINE\\[NEWLINE\\Lambda(s,\\chi) = C(\\chi)^{s/2}\\pi^{-s-1}\\Gamma\\left(\\frac{s+1}{2}\\right)^2L(s,\\chi)NEWLINE\\]NEWLINE be the complete \\(L\\)-function of \\(\\chi\\) with \\(C(\\chi) = DN_{F/{\\mathbb Q}}d_{K/F}\\). \\vskip 0.1in \\noindent \\textbf{Theorem 2}: Assume that \\(K\\) satisfies the condition in Theorem 1, then NEWLINE\\[NEWLINE h_{\\mathrm{Fal}}(A) = \\frac{1}{2}\\left(\\frac{\\Gamma'(1)}{\\Gamma(1)} - \\frac{\\Lambda'(0,\\chi)}{\\Lambda(0,\\chi)} - \\log 4\\pi\\right).NEWLINE\\]NEWLINENEWLINENEWLINEThe second application of Theorem 1 is to show a variant of Kudla's conjecture in a special case. More precisely, let NEWLINE\\[NEWLINE\\hat{\\phi}(\\tau) = -\\frac{1}{2}\\hat{\\omega}+ \\sum_{m>0}\\hat{\\mathcal T}_mq^mNEWLINE\\]NEWLINE be the modular form of weight \\(2\\), level \\(D\\), and character \\((\\frac{D}{})\\) with values in the arithmetic Chow group defined by Bruinier, Burgos Gil and K\u00fchn [loc. cit.], where \\(\\hat{\\omega}\\) is the metrized Hodge bundle on \\(\\tilde{M}\\) with Peterson metric, and \\(\\hat{\\mathcal T}_m\\) is some arithmetic Chow cycle related to \\(\\mathcal T_m\\). Then we have \\vskip 0.1in \\noindent \\textbf{Theorem 3}: Let the notation and assumption be as in Theorem 1. Then NEWLINE\\[NEWLINEh_{\\hat{\\phi}}({\\mathcal CM}(K))+\\frac{1}{4}\\Lambda(0,\\chi)\\beta(K/F)E_2^+(\\tau)NEWLINE\\]NEWLINE is the holomorphic projection of the diagonal restriction of the central derivative of some incoherent Hilbert Eisenstein series on \\(\\tilde{F}\\). Here \\(E^+_2(\\tau)\\) is an Eisenstein series of weight \\(2\\). \\vskip 0.1in The third application of Theorem 1 is to find an explicit arithmetic intersection formula between arithmetic Humbert surfaces and CM cycles in the arithmetic Siegel modular variety of genus two. More precisely, let \\(\\mathcal A_2\\) be the moduli stack of principally polarized abelian surfaces. For each integer \\(m\\), let \\(G_m\\) be the Humbert surface in \\({\\mathcal A}_2(\\mathbb C)\\). Let \\(\\mathcal G_m\\) be the flat closure of \\(G_m\\) in \\(\\mathcal A_2\\). For a quartic CM number field \\(K\\), let \\({\\mathcal CM}_S(K)\\) be the moduli stack of principally polarized CM abelian surfaces by \\(\\mathcal O_K\\). \\vskip 0.1in \\noindent \\textbf{Theorem 4}: Assume \\(K\\) satisfies the condition in Theorem 1 and that \\(Dm\\) is not a square. Then \\({\\mathcal CM}_S(K)\\) and \\(\\mathcal G_m\\) intersect properly, and NEWLINE\\[NEWLINE{\\mathcal CM}_S(K). {\\mathcal G}_m = \\frac{1}{2} \\sum_{\\substack{ n>0, \\\\ \\frac{Dm-n^2}{4} \\in {\\mathbb Z}_{>0}}} b_{\\frac{Dm-n^2}{4}}.NEWLINE\\]NEWLINE \\vskip 0.1in The fourth and the last application is to prove Lauter's conjecture about the denominators of CM values of Igusa invariants subject to the condition of Theorem 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q384632$DC80072F-1971-42A6-8F17-FD1C601EA8FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aec376b059154e37d02dc0232939c4b125e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":3057776,"id":"Q3057776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc26dd8d61723c4e38976bf38b4e6b6648e1ea6d","datavalue":{"value":{"amount":"+0.920387089252472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q384632$0C6A8F32-CD11-4B44-945E-5D83118B295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31346e3204e4af7c415ba076a021e074509ca326","datavalue":{"value":{"entity-type":"item","numeric-id":639221,"id":"Q639221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfdcfd84182db4131dd0a2cdbc52f78db49c1b8","datavalue":{"value":{"amount":"+0.8689283728599548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q384632$F7E32ECA-A5DF-42D1-AC5A-046E77439FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a34019fca7ae4698d7ffed1b2f03a003084466","datavalue":{"value":{"entity-type":"item","numeric-id":2642228,"id":"Q2642228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd20c9479743f0f35de368f9d17b149d1d6a9637","datavalue":{"value":{"amount":"+0.8635547757148743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q384632$E7B91D02-3A5F-40A1-931A-37ADECFA945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5538618294b34b7255852b57448007b4654eb00d","datavalue":{"value":{"entity-type":"item","numeric-id":3550152,"id":"Q3550152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f220ddaa877c26d0b50432139fd7e1b744124a7e","datavalue":{"value":{"amount":"+0.8528020977973938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q384632$7AD9BE09-1F43-4918-AF35-EBF13F249553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8399fd5c5f1a3e902c3bac1ca8abe3fa662fded8","datavalue":{"value":{"entity-type":"item","numeric-id":2998237,"id":"Q2998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6ebc9f043e00bbab2d38feef498c2d3ed6c965","datavalue":{"value":{"amount":"+0.8469430804252625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q384632$F82E0093-28A5-4B7A-91E7-69517E87A1EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic intersection on a Hilbert modular surface and the Faltings height","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_intersection_on_a_Hilbert_modular_surface_and_the_Faltings_height"}}}}}