{"entities":{"Q5940420":{"pageid":8117222,"ns":120,"title":"Item:Q5940420","lastrevid":97639883,"modified":"2026-06-05T15:09:05Z","type":"item","id":"Q5940420","labels":{"en":{"language":"en","value":"The elliptic genus and hidden symmetry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1631811"}},"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":"Q5940420$4D0952D4-15D6-4E21-97AF-15D131886E15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90df9e466e6339d27e8fd7547684fa5448f504b6","datavalue":{"value":{"text":"The elliptic genus and hidden symmetry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940420$E2328D19-069B-4D1A-9C9F-90285C6D3943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f813fb947f537b9ea0a92276336f2b74d7d80a","datavalue":{"value":"0979.58010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$15672F7B-CA17-42F7-B543-5F643DAF8E76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbde19c3add2752519eaa903cc12c6bad3e36b41","datavalue":{"value":"10.1007/PL00005564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$29EF3D4F-F8DC-4844-884C-B71E214C44EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9da6388ebc9d2b432b9952656e0a14ce4b95d813","datavalue":{"value":{"entity-type":"item","numeric-id":196272,"id":"Q196272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940420$FB26ECF7-36FE-4B49-B93E-F7F3A14BE8DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940420$BB5EF3A0-2182-43CB-8D1D-4FE6845151BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09811d42eddac0306570884e48501ce7068fc838","datavalue":{"value":{"time":"+2001-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940420$BFA45886-D09E-43A4-914C-786D99E9F5FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c9f8d96daeab7ef95e11ef5ad7ec93b99a9dc5d","datavalue":{"value":"The partition function (elliptic genus) of a coupled complex bosonic and fermionic quantum field on \\(S^1\\times \\mathbb{R}\\) is evaluated. The equations, Wess-Zumino equations or Landau-Ginzburg equations, are determined by a superpotential \\(V\\), an \\(\\widetilde n\\)-th degree polynomial, \\(\\widetilde n\\geq 2\\). The complex scalar fields \\(\\varphi= \\{\\varphi_i\\}\\) and the Dirac fields \\(\\psi= \\{\\psi_{\\alpha,i}\\}\\) have \\(n\\) and \\(2n\\) components respectively. They are twist fields, that is a translation about the circle results in each component of the field being multiplied by a phase proportional to a real parameter \\(\\varphi\\in (0,2\\pi]\\). Twisting partially breaks supersymmetry [\\textit{A. Jaffe}, Proc. Natl. Acad. Sci. USA 97, No. 4, 1418-1422 (2000; Zbl 0980.58004)]. Half the supercharges are translation and twist invariant.The elliptic genus can be written as a function of the invariant charges denoted by \\(Q\\). The partition function is  \\[ {\\mathcal Z}^V= \\text{Tr}_{\\mathcal H} (\\Gamma e^{-i\\theta J-i\\sigma P-\\beta H}). \\]  Here \\({\\mathcal H}={\\mathcal H}^b \\otimes{\\mathcal H}^f\\) is the Hilbert space of the theory, where the bosonic and fermionic Hilbert spaces \\({\\mathcal H}^b\\) and \\({\\mathcal H}^f\\) are the symmetric and respectively the skew-symmetric tensor algebras over the one particle space \\({\\mathcal K}\\), the direct sum of \\(2n\\)-copies of \\(L^2(S^1)\\). \\(\\Gamma\\) is \\((-1)^{N^f} \\), \\(N^f\\) the fermion number operator, \\(J=J(V)\\) the generator of the twist symmetries of \\(H=H(V)\\), the Hamiltonian of the theory which is determined by \\(V\\), and \\(P\\) is the momentum operator. \\(Q\\) is related to \\(H\\) an \\(P\\) by the equation \\(Q^2= H+P\\). In [\\textit{E. Witten}, Int. J. Mod. Phys. A 9, 4783-4800 (1994)], it is suggested to compute \\({\\mathcal Z}^V\\), consider \\({\\mathcal Z}^{\\lambda V}\\), then it should be independent of \\(\\lambda\\), so the evaluation of \\({\\mathcal Z}\\) reduces to the case \\(V=0\\). But to show continuity of \\({\\mathcal Z}^{\\lambda V}\\) with respect to \\(\\lambda\\) and to evaluate \\({\\mathcal Z}^V\\) when \\(V=0\\) (this case is ill-defined) are both difficult problems.   In this paper, the author overcomes these difficulties mainly by applying his results in; [`Twist fields and constructive quantum field theory', in preparation, hereafter referred to as [1], and \\textit{O. Grandjean} and \\textit{A. Jaffe}, J. Math. Phys. 41, No. 6, 3698-3763 (2000; Zbl 0974.58022), hereafter, referred to as [2]], for a class of \\(V\\), \\(J\\) and \\(P\\). The answer is expressed in terms of Jacobi's theta function of the second kind \\(\\vartheta_1 (\\tau, \\theta)\\), where \\(\\tau= (\\sigma+ i\\beta)/l\\), \\(l\\) is the radius of \\(S^1\\). Hence there exists a hidden SL\\((2,\\mathbb{Z})\\)-symmetry in the theory.   The outline of the paper is as follows: In Section 1, assumptions on \\(V\\), \\(J\\) and \\(P\\), quasi-homogeneous (QH), elliptic property (EL), twist relations (TR) and normalization condition (NC), are stated. QH means existence of \\(n\\) constants \\(\\Omega_i\\) called quasi-homogeneous weights, such that \\(0<\\Omega_i \\leq 1/2\\) and \\(V(z)=\\sum^n_{i=1} \\Omega_iz_i \\partial V(z)/ \\partial z_i\\). EL means existence of a constant \\(M\\) such that \\(|\\partial^\\alpha V|\\leq \\varepsilon|\\partial V|^2+M\\) and \\(|z|^2+ |V|\\leq M(|\\partial V |^2+1)\\), for a given \\(\\varepsilon>0\\). TR determines twist angles \\(\\chi\\) to be \\(\\chi^b_i= \\Omega_i\\varphi\\), \\(\\chi^f_{1,i}= \\Omega_i\\varphi\\) and \\(\\chi^f_{2,i}= (1-\\Omega_i) \\varphi\\), where \\(\\varphi\\in (0,\\pi]\\) is a single twisting parameter. NC determines \\(J\\) and \\(P\\) to be \\(P\\Omega_{\\text{vac}}=0\\) and \\(J \\Omega_{ \\text{vac}} =-\\frac 12\\widehat c\\Omega_{\\text{vac}}\\), where \\(\\widehat c= \\sum^n_{i=1} (1-2\\Omega_i)\\). Then it is shown  \\[ {\\mathcal Z}^V(\\tau, \\theta, \\varphi) =z^{\\widehat c/2} \\prod^n_{i=1}{f{\\vartheta_1} \\bigl(\\tau, (1-\\Omega_i) (\\theta- \\varphi\\tau) \\bigr) \\over\\vartheta_1 \\bigl(\\tau, \\Omega_i (\\theta-\\varphi \\tau)\\bigr)}.\\tag{1} \\]  By this formula, it follows \\(\\lim_{\\varphi\\to 0}{\\mathcal Z}^V= \\prod^n_{i=1} \\vartheta_1 (\\tau,(1-\\Omega_i) \\theta)/ \\varphi_1 (\\tau,\\Omega_i \\theta)\\), which was obtained in [\\textit{T. Kawai}, \\textit{Y. Yamada}, and \\textit{S.-K. Yang}, Nucl. Phys B 414, No. 1-2, 191-212 (1994; Zbl 0980.58500)]. The integer-valued index \\(\\text{Index}_\\Gamma(Q)\\) of the supercharge is obtained as  \\[ \\text{Index}_\\Gamma(Q) =\\lim_{\\theta\\to 0}\\Bigl( \\lim_{\\varphi \\to 0}{\\mathcal Z}^V \\Bigr)= \\lim_{\\varphi \\to 0}\\Bigl( \\lim_{\\theta \\to 0} {\\mathcal Z}^V\\Bigr)= \\prod^n_{i=1} \\left({1\\over \\Omega_1}- 1\\right). \\]  These results are summarized in Section 2. The supercharge \\(Q=Q(V)\\) with a real parameter \\(\\lambda\\in [0,1]\\) is constructed in Section 3. \\(Q(\\lambda)\\) is expressed as \\(Q_0+ \\lambda Q_I\\). Mollifiers \\(Q_\\Lambda (\\lambda)\\), \\(\\Lambda\\in [0,\\infty]\\) of \\(Q(\\lambda)\\) such that \\(Q_0(\\lambda) =Q_0\\) and \\(Q_\\infty (\\lambda)=Q(\\lambda)\\) are constructed in Section 4. The Hamiltonian \\(H(\\lambda V)\\) and \\(Q(\\lambda V)\\) are related by \\(Q(\\lambda V)^2 =H(\\lambda V)+P\\). Approximating Hamiltonians \\(H_\\Lambda\\) are defined similarly by using \\(Q_\\Lambda\\). It is shown in [1] that the self-adjoint quantum field twist Hamiltonian \\(H(V)\\) is the norm-resolvent limit of \\(H_\\Lambda(V)\\) and \\(e^{-\\beta H(V)}\\) is trace class for \\(\\beta>0\\). Moreover, \\(H\\) and \\(H_\\Lambda\\) both commute with \\(e^{i\\beta J+i \\sigma P}\\) and \\(\\Gamma=(-2)^{N^f}\\) (stated as Prop. 1.1). In Section 5, several estimates on the Hamiltonian and supercharge are given.   The author says that precise proofs of estimates are given in [1] and detailed definitions of several operators appearing in this Section are given in [2]. By using results in Section 5, differentiability of the map \\(\\lambda\\to {\\mathcal Z}_\\Lambda^{\\lambda V}\\) and \\(\\partial {\\mathcal Z}_\\Lambda^{\\lambda V}/\\partial \\lambda =0\\) (Th.6.1), and estimate \\(|{\\mathcal Z}_\\Lambda^{\\lambda V}-{\\mathcal Z}^0 |\\leq M\\lambda^\\alpha\\), \\(0<\\lambda\\leq 1\\) and \\(0\\leq\\alpha <2/(\\widehat n-1)\\) (Th.6.2) are proved in Section 6. By Theorems 6.1 and 6.2, we have \\({\\mathcal Z}^V (\\tau,\\theta, \\varphi)= {\\mathcal Z}^V_\\Lambda (\\tau,\\theta, \\varphi)= {\\mathcal Z}^0 (\\tau,\\theta, \\varphi)\\). This function is shown to be holomorphic for all \\(\\tau\\in \\mathbb{H}\\), the upper halfplane, for all \\(\\theta\\in \\mathbb{C}\\), and extends to a holomorphic function of \\(\\varphi\\). These are shown in Section 7. Then apply the results in [2], \\({\\mathcal Z}^0\\) is evaluated in Section 7 and (1) is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940420$70C6C023-7755-4F91-8324-3C36D92388E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940420$23C50CD7-F7E3-4071-89B2-A7F6C6C78305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"41bfc38a4dfb526d4dc6c5379defde62e79451e1","datavalue":{"value":"58J42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$500EE632-82E6-4988-9C58-4D0694889BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bd20546098ad79674d71d283887be3aa8f2385b","datavalue":{"value":"58J26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$75C148F2-9526-4373-85AC-2EFC32480F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c693e2a3de9b1637cff59b38d19aa5c090e545d2","datavalue":{"value":"46N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$4E54AAAE-792F-4653-8C66-470E6F1027ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d920e26d4d2126211daf19ef0b0212b3e818087a","datavalue":{"value":"81R60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$F353E160-736B-477C-A06C-B82A780AFFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fee8908f34ca01bb962cbc001fe615a1f2ca5276","datavalue":{"value":"81T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$5E1A82B1-AB1B-4541-8501-9DD7B519294F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e356e6a016a232919bf351529a569174677abb70","datavalue":{"value":"1631811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$74399349-344B-4C8C-B34A-F11205E42AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b46d2f971207c379b53a18b65ad31092430c6f6","datavalue":{"value":"elliptic genus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940420$AAB518C8-6E25-4059-88C4-64A1BB956725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd04ebdf7f002baa374f6e7122a72ce9a299df6","datavalue":{"value":"\\(SL(2,\\mathbb{Z})\\) symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940420$234A4E4C-4F7A-4E56-8E58-C72A792E1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb4ae60e19f5d944ef37522769a42585fd7d5f87","datavalue":{"value":"Wess-Zumino equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940420$F7E480A2-5A60-4A28-B807-D2963BE6EADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18bc2e1addcdc9bc56d8909785a09993a1d1318","datavalue":{"value":"twist fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940420$3EE23AA7-E526-4CE0-92FC-A053853E05E8","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":"Q5940420$6F0CA93D-94F8-4428-89E2-7E563CBC23AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdd6f23a4e2e53d929f64481c747cae14cf867bd","datavalue":{"value":"https://doi.org/10.1007/pl00005564","type":"string"},"datatype":"url"},"type":"statement","id":"Q5940420$40740A0F-857A-4F97-ADAD-66BB53A39B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2962685934043d665868d67407a2d3570509291","datavalue":{"value":"W2057043060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940420$750A5504-1332-4692-8AA1-FF724F66CBD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65818f063e9114e10951531756acb73e973fcdd4","datavalue":{"value":{"entity-type":"item","numeric-id":4488634,"id":"Q4488634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3551acdb49fbc612bfbd646d6d698267f6ff7c8","datavalue":{"value":{"amount":"+0.8252262473106384","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":"Q5940420$DE09BF6B-95D0-4BE4-9EBB-B27ECBC4B7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d9827ccfc54a1e4b66ce2b0c19a4f9820e33a8","datavalue":{"value":{"entity-type":"item","numeric-id":579673,"id":"Q579673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604468334b4f303f3e112246fdda0f57c9b6c0f4","datavalue":{"value":{"amount":"+0.7944263815879822","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":"Q5940420$23B1DB7C-C86B-4CB6-90C5-F31B8DE80662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae9b8b406bfed9231526bf0e1cc8549a8c8d8ac","datavalue":{"value":{"entity-type":"item","numeric-id":475960,"id":"Q475960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b73bcce923fbc982c5fc6ee93cde099eb9f4ea0","datavalue":{"value":{"amount":"+0.7703359723091125","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":"Q5940420$40CA0E69-9066-41FD-96F7-49D7914311D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84380963138b299fcdd8b3760cc77513e24568cc","datavalue":{"value":{"entity-type":"item","numeric-id":1709297,"id":"Q1709297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5224ecbe194da933f70a8d99931230637f86314e","datavalue":{"value":{"amount":"+0.7629848718643188","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":"Q5940420$4E70B320-9059-42CB-8AA5-493BA0DC06E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59480d7d623d7d167d91b9ac77d995be3c44d139","datavalue":{"value":{"entity-type":"item","numeric-id":1967617,"id":"Q1967617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd6bb3dac220f26fa34a00bb0e952f0aaaaa616","datavalue":{"value":{"amount":"+0.7506556510925293","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":"Q5940420$7069C1FA-4CFB-4432-8002-E00AC4A54977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The elliptic genus and hidden symmetry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_elliptic_genus_and_hidden_symmetry"}}}}}