{"entities":{"Q2884424":{"pageid":2895149,"ns":120,"title":"Item:Q2884424","lastrevid":83984192,"modified":"2026-05-07T15:28:40Z","type":"item","id":"Q2884424","labels":{"en":{"language":"en","value":"\\(A\\)-hypergeometric systems that come from geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038836"}},"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":"Q2884424$25D827C7-7A40-4A7D-A3AD-56CB1B0A2247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5eb7840af02b7c312e99ccd32d2f29756e2853e","datavalue":{"value":"1257.14016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$89EBE99A-84E2-4806-BF01-EC348EDB0432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dd4526f0a2d763b30543492116f0f606c495f55","datavalue":{"value":"10.1090/S0002-9939-2011-11073-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$D645EC0B-0368-4EEF-83BC-D56526D33FD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01536880d5e218da2748fc590d4f115aec5d37e8","datavalue":{"value":{"entity-type":"item","numeric-id":176994,"id":"Q176994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$7F01DAED-7DF9-4DEF-B9D4-8657D34BCFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61590c96bf01a5c5f0fde8d86ff10acef59e0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1144606,"id":"Q1144606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$BB3F621B-43F1-4542-A213-E785608341D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$3904E339-0D20-49E4-B09B-FDEF5FE9E314","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d8047b677a36e307cc9bbb6b9315bc65a6f74ae","datavalue":{"value":{"time":"+2012-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2884424$6F0348AE-1C26-4023-A3F8-F4E7193352B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb97e77b44b520bd722adbbafb876533e2044ddb","datavalue":{"value":"https://arxiv.org/abs/1007.4030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884424$AC84610F-C0B0-49DF-A6A1-673B51FB0FC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$C50C0CE0-D3DA-419D-ADDF-276350F9DB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3e602a8c73546bd986479e9bd917eee3ef168eb","datavalue":{"value":"33C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$DF4FA191-2493-44CF-AE66-E586B79934E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce56484ed2ea49652d95b64623df5b48df6b4a4","datavalue":{"value":"14F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$BDC9D1C4-BD73-48BA-A323-14214A0B6D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$1506A963-97DB-477F-A22C-DAF9C8658551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc9d74d31440d23ebbdfd777c90404e3003b074","datavalue":{"value":"6038836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$E3A41D3B-7567-4226-88C3-6EE2775F5A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83f2c23a7d416ae64a1c039c2ac65fb9d3562a1","datavalue":{"value":"A-hypergeomeric system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884424$4DECAEB0-5B63-4855-AD5B-211B6D8E16A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"409e482e78cf5e95efd9865e73724e7fdb321343","datavalue":{"value":"\\(\\mathcal{D}\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884424$0BCAE472-DAAA-4B10-B9A8-4195F7E32AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7551e658b9273098c100a7b6b8b7fe855edc26c","datavalue":{"value":"Gauss-Manin connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884424$DA090DE7-8616-427A-83E9-273D65180863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792cfb8f1604e9c7b9163c7b6a704699a9fe20ce","datavalue":{"value":"torus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884424$BFD5C4A0-8F2F-486C-8579-54F1B6E08E9E","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":"Q2884424$5F93454C-8DA9-4C35-A6E7-5859255EE446","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65120cccf297ea2ce0718561df98c1f9d72e833d","datavalue":{"value":{"entity-type":"item","numeric-id":1325164,"id":"Q1325164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$175C5499-EB43-453D-B31C-D8CBA6169007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea3c5c31946c7e386acf4a8447c75bc9ecb3c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1296437,"id":"Q1296437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$D1BCADA7-9A47-439D-8534-74448AEDA9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cefd6bd229a2636fc2340efb61abdbc81c1704c","datavalue":{"value":{"entity-type":"item","numeric-id":4352116,"id":"Q4352116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$6E9B0480-0E67-4C02-95C8-4FD7B746C63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7884adc3ed65797bebc791efddbc6186fd4523ac","datavalue":{"value":{"entity-type":"item","numeric-id":967636,"id":"Q967636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$97C086FB-BDC4-41DB-A192-754416F2878A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6696f7c0636b0019e3cfe34344489c5dab94512","datavalue":{"value":{"entity-type":"item","numeric-id":3999153,"id":"Q3999153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$7BFB675F-F38C-4222-A9BC-ED41D22B0F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34608d7d21d8a39728cffa557c037e4cc19b65b","datavalue":{"value":{"entity-type":"item","numeric-id":4280723,"id":"Q4280723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$E31A9348-6E65-46E6-B170-776041ADD834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd66dfbd1f171b153494acced0d8232120d901d","datavalue":{"value":{"entity-type":"item","numeric-id":2547245,"id":"Q2547245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$FA561B76-F529-4F65-98A6-0FAE5DEE7929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c322e6f30435d5a4487bbcd9cada74a16a47d95","datavalue":{"value":{"entity-type":"item","numeric-id":1394391,"id":"Q1394391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$A3B8FEE4-2C26-4CEE-A96B-CA4650B3C15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846b0a534289ace5ec0e095a592179749354e1fa","datavalue":{"value":{"entity-type":"item","numeric-id":4740009,"id":"Q4740009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$63DBECF4-7CE2-4AFE-869F-79917F18E2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$843B4777-14C2-4E7D-8DB4-7B7E3DF0571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bf5f03270c0ba724f8d97bb942f8c159f0688e","datavalue":{"value":{"entity-type":"item","numeric-id":2654073,"id":"Q2654073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$8043D7C7-C0B0-4C39-9231-CB44BE503FD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"573af273a5efb6944f065e9eaad9142fff3a3a12","datavalue":{"value":"W2592530723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884424$45E1C9D1-E527-46C2-A5EE-CB1D31DFA447","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dd18aaa8035d4a3ec382574c744d6f3745fa5f3","datavalue":{"value":{"text":"\\(A\\)-hypergeometric systems that come from geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884424$ECC3EBB7-C4CB-4CE8-972D-77027B98A9F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3061a53e61dba99d5b90fe86306d01f99840d13","datavalue":{"value":"In recent work, \\textit{F. Beukers} [Invent. Math. 180, No. 3, 589--610 (2010; Zbl 1251.33011)] characterized \\(A\\)-hypergeometric systems having a full set of algebraic solutions. He determined which \\(A\\)-hypergeometric systems have a full set of solutions modulo \\(p\\) for almost all primes \\(p\\) and showed that these systems come from geometry. Then he applied a theorem of N. Katz which says the such systems have a full set of algebraic solutions.NEWLINENEWLINEIn the present paper a connection between nonresonant \\(A\\)-hypergeometric systems and de Rham-type complexes is established, this leads to a determination of which \\(A\\)-hypergeometric systems come from geometry.NEWLINENEWLINEConsider a \\(A\\)-hypergeomeric system determined by \\(A=\\{a^{(1)},\\dots,a^{(N)}\\}\\subset \\mathbb{Z}^n\\) and \\(\\alpha=(\\alpha_1\\dots,\\alpha_n)\\in \\mathbb{C}^n\\). Let \\(L=\\{(l_1,\\dots,l_N)\\in \\mathbb{Z}^N| \\sum_{j=1}^N l_ja^{(j)}=0\\}\\). An \\(A\\)-hypergeometric system if defined as a system of equationsNEWLINENEWLINENEWLINE\\[NEWLINE\\square_lf=\\prod_{l_j>0}(\\frac{\\partial }{\\partial \\lambda_j})^{l_j}f-\\prod_{l_j<0}(\\frac{\\partial }{\\partial \\lambda_j})^{-l_j}f=0,NEWLINE\\]NEWLINENEWLINE\\[NEWLINEZ_{i,\\alpha}f=\\sum_{j=1}^N a_i^{(j)}\\lambda_j\\frac{\\partial }{\\partial \\lambda_j}f-\\alpha_if=0. NEWLINE\\]NEWLINENEWLINENEWLINELet \\(\\mathcal{D}=\\mathbb{C}(\\lambda_1,\\dots,\\lambda_N,\\frac{\\partial}{\\partial \\lambda_1},\\dots,\\frac{\\partial}{\\partial \\lambda_N})\\) be the rign of differential operators. Denote as \\(\\mathcal{M}_{\\alpha}=\\mathcal{D}/(\\sum_l\\mathcal{D}\\square_lf+\\sum_{i=1}^n\\mathcal{D}Z_{i,\\alpha})\\) the corresponing \\(\\mathcal{D}\\)-module. It is called \\(A\\)-hypergeometric \\(\\mathcal{D}\\)-module.NEWLINENEWLINENow let us define the class of \\(\\mathcal{D}\\)-modules that come from geometry. Let \\(X\\) be a smooth variety over \\(\\mathbb{C}[\\lambda]=\\mathbb{C}[\\lambda_1,\\dots,\\lambda_n]\\). Let \\(G\\) be a group acting on \\(X\\), then it acts on \\(H^i_{DR}(X/\\mathbb{C}[\\lambda])\\) also. For an irreducible representation \\(\\chi\\) of \\(G\\) denote \\(H^i_{DR}(X/\\mathbb{C}[\\lambda])^{\\chi}\\) the sum of all \\(G\\) submodules isomorphic to \\(\\chi\\). The \\(H^i_{DR}(X/\\mathbb{C}[\\lambda])^{\\chi}\\) have a \\(\\mathcal{D}\\)-module structure via Gauss-Manin connection. This \\(\\mathcal{D}\\)-module is called a \\(\\mathcal{D}\\)-module that comes from geometry.NEWLINENEWLINELet \\(C(A)\\) be a real cone generated by \\(A\\), let \\(l_1,\\dots,l_s\\) be homogeneous linear forms definig codimension-one faces of \\(C(A)\\). We say that \\(\\alpha\\) is nonresonant for \\(A\\) if \\(l_i(\\alpha)\\notin \\mathbb{Z}\\) for all \\(i\\).NEWLINENEWLINEThe main result of the paper is the following says that if \\(f=x_ng(x_1,\\dots,x_{n-1})\\), \\(\\alpha\\) is nonresonant for \\(A\\), \\(\\alpha\\in \\mathbb{Q}^n\\), then the \\(A\\)-hypergeometric \\(\\mathcal{D}\\)-module \\(\\mathcal{M}_{\\alpha}\\) comes from geometry.NEWLINENEWLINEA relation of the obtained results with results of N. Katz about systems with full set of algebraic solution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884424$67FC7AA8-748C-4204-ACD4-D22FCBF4528B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c8924d6f7312e3ddc50312b9d1953e72e923f41","datavalue":{"value":{"entity-type":"item","numeric-id":587530,"id":"Q587530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884424$D88A9F05-A085-482A-B329-896752E16199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6ec92364fdd81018a2a72b815bccf321f1ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":5146670,"id":"Q5146670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb8330b26d220c7ee80d9379b58ed4cb0dc499e","datavalue":{"value":{"amount":"+0.8158818483352661","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":"Q2884424$E0A2C2CF-3F40-4CD0-9A43-4BF0FF5136A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b49258633d7039efc1a9b768135a95c7eac5762","datavalue":{"value":{"entity-type":"item","numeric-id":967636,"id":"Q967636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44139a8ab7c13f9d586d8916f726ddb80095fe1a","datavalue":{"value":{"amount":"+0.7988409399986267","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":"Q2884424$3268CEE1-A7AF-4130-835D-5F793D57939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0097fdbd86486f595a5b30ebe9b306b08f70e95b","datavalue":{"value":{"entity-type":"item","numeric-id":2451119,"id":"Q2451119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f0c79806222f2e84984a27de474274d1fd96dc","datavalue":{"value":{"amount":"+0.7966804504394531","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":"Q2884424$D37AF514-0802-42D2-BDA0-B93ECEC69468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af00b2beea580b1c75eea347883e6f779a2e63e","datavalue":{"value":{"entity-type":"item","numeric-id":1857112,"id":"Q1857112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e70bc45a662ddb67aecc9e48701cbbf8d694591","datavalue":{"value":{"amount":"+0.7953230142593384","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":"Q2884424$B09C3453-4AA7-4302-A005-88BCAE325531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab204fba350a20302e5aa0a7e20c6dbfebeacf98","datavalue":{"value":{"entity-type":"item","numeric-id":5251602,"id":"Q5251602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e70bc45a662ddb67aecc9e48701cbbf8d694591","datavalue":{"value":{"amount":"+0.7953230142593384","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":"Q2884424$AEF3848E-C0C2-471E-BE43-E0D13503750B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(A\\)-hypergeometric systems that come from geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(A%5C)-hypergeometric_systems_that_come_from_geometry"}}}}}