{"entities":{"Q2211019":{"pageid":2221762,"ns":120,"title":"Item:Q2211019","lastrevid":56880879,"modified":"2026-03-24T10:19:02Z","type":"item","id":"Q2211019","labels":{"en":{"language":"en","value":"Computation of \u00e9tale cohomology on curves in single exponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7272142"}},"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":"Q2211019$055EC00D-0AE8-4860-BB34-50962AE9E381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30c46577704351c7c85b7e13b4be54426da2ea93","datavalue":{"value":{"text":"Computation of \u00e9tale cohomology on curves in single exponential time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2211019$27455142-71E4-409C-9977-F1BBF403E011","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b377c67d103127f1298e3190b6b904181d005ae","datavalue":{"value":"1464.14024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$8B99A0F3-ACA4-43F5-B192-5CDDC1C24953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85de975460b74fa71d199ed3dfb936adca3f1415","datavalue":{"value":{"entity-type":"item","numeric-id":2211018,"id":"Q2211018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$924360D0-1735-43FB-90A7-3A6BC15CD290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$F38B81C9-7848-400C-B78D-67633BE16728","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9f22268837797e046dca0302ad58b944858f292","datavalue":{"value":{"time":"+2020-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2211019$0447C648-5870-4976-81D0-0532DBB5FE0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"928c0a3cfa572b5ae1fbffde6cf5c67fa85c3453","datavalue":{"value":"Let \\(X\\) be a smooth connected curve over a field \\(k\\). Consider a finite locally constant sheaf \\(A\\) on \\(X_{et}\\) of abelian groups of torsion invertible in \\(k\\). Denote by \\(p_a(X)\\) the arithmetic genus of curve \\(X\\) and \\(p_a(A)\\) the arithmetic genus of the normal completion \\(Y\\) of the smooth curve representing \\(A\\). As a final point of notation, let \\(n\\) be the degree of \\(Y\\) over \\(X\\).  This paper, presents an algorithm computing for smooth connected curves, the first \u00e9tale cohomology group (proper support or not) with coefficients in a finite locally constant sheaf of abelian groups (of torsion invertible in k), together with theoretical upper bounds for the complexity.  It comes as a natural extension of the result showing that the \u00e9tale cohomology groups are computable if \\(X\\) is a smooth, projective, geometrically irreducible variety over a field of characteristic 0 (proved by \\textit{B. Poonen} et al. [Compos. Math. 151, No. 4, 713--734 (2015; Zbl 1316.14017)]).  More precisely, the statement shown in this paper is given as follows:  {Theorem.} There exist an algorithm that takes as input a smooth connected curve X over k, and a (curve representing a) finite locally constant sheaf \\(A\\) of abelian groups of degree \\(n\\) over \\(X\\) with \\(n\\) invertible in \\(k\\), and return as output \\(H^1(X_{k^{\\mathrm{sep}}} , A|_{X_{k^{\\mathrm{sep}}}}\\)) (resp. \\(H_c^1(X_{k^{\\mathrm{sep}}},A|_{X_{k^{\\mathrm{sep}}}}\\))) as \\(\\mathrm{Gal}(k^{\\mathrm{sep}}/k)\\)- modules in a number of field operations exponential in \\(n\\log n, p_a(X),\\) and \\(pa(A)\\), where \\(p_a\\) denotes the arithmetic genus of the normal completion.  The complexity of this algorithm is exponential in \\(n\\log n\\), \\(p_a(X)\\), and \\(p_a(A)\\). The computation in this algorithm is done via the computation of a groupoid scheme classifying the \\(A\\)-torsors with some extra rigidifying data.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211019$E7086ACA-A5E0-427A-9FED-1DA1B93906F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db681c51a362c283bff5027364240993556533c7","datavalue":{"value":{"entity-type":"item","numeric-id":1991084,"id":"Q1991084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$684B9444-163E-4E57-83D4-33879178AC84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$68D749BA-11C8-4597-8CA1-A370FA7C9823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"216939729202fc4b9c96cf3f62d6f618570d6e85","datavalue":{"value":"14Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$F62E9032-1ED0-4FFA-BA63-2BBD84AA6C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$2BBA6990-A9F2-4D11-8203-2FA56A0D3A84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e140bec41d9404342e99899385619231cead57c1","datavalue":{"value":"7272142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$421F02EC-5BD4-434B-81C5-3A2099B1F978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211019$09F5A4E8-D064-4653-8B5D-DFBEEBC066B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211019$5331DAA2-0D98-408A-907C-B3FE1257909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3efa7f43fbd6086e36fff67ca9a3693610d7641a","datavalue":{"value":"\u00e9tale cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211019$E68E272D-C544-4051-A234-5311B07DA45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b85234a4088d208056ca17e9813378a6ff0b75","datavalue":{"value":"curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211019$C4BC5909-5290-438B-A42E-88E60C6732E4","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":"Q2211019$2A453FFA-40A6-4A0D-BB84-2D559D922A3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f42f7e2ac172b6c854f3252a1348aac8fc0d285","datavalue":{"value":"https://doi.org/10.5802/jtnb.1124","type":"string"},"datatype":"url"},"type":"statement","id":"Q2211019$ED658133-E269-4E87-A5F6-A22D675F9840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6baae4489245966de185d72d2ccb0a30ea2fdb3","datavalue":{"value":"W3097684472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$432F03EF-2DFF-45B6-B928-558A7FDF953F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"586f83072f7c688e37a8700a0eb16c9fe882e340","datavalue":{"value":"Q115479234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$1EC3865A-0E09-46D8-A057-273AF33C016C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c7a78759148ce6b1abced42ef4a952f4334dd8","datavalue":{"value":{"entity-type":"item","numeric-id":794429,"id":"Q794429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$9CABDC67-78A8-41C3-B1EA-F6DEA56A7183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccf9a2c48ecb7797b3a19d24710f3211eecf954","datavalue":{"value":{"entity-type":"item","numeric-id":1078247,"id":"Q1078247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$3ACBF70E-1897-46F4-A9B9-F96AB122BF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e1bbbb8372543405da29237238456266420f99","datavalue":{"value":{"entity-type":"item","numeric-id":3008949,"id":"Q3008949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$337D8738-FEA7-4806-AF55-4DD2F8DDFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8320106176529d5b9aaee10c76d3044f15e7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":4119314,"id":"Q4119314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$513F6BD0-8629-4BF7-823A-CB0605F17DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a89e019b8d0cffbc08c99a117d13dcfdddb7d7","datavalue":{"value":{"entity-type":"item","numeric-id":3765893,"id":"Q3765893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$542CBFCF-46A7-4D8C-A747-18567BA64046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3cf6a48f44d71bd321814f5927bb2fefe5f421","datavalue":{"value":{"entity-type":"item","numeric-id":1180154,"id":"Q1180154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$A3B6B194-F2C4-4F90-8920-CE0F7D8E3AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a12e9e941bf9070726f1a96a9bd5bb532a7ebdf","datavalue":{"value":{"entity-type":"item","numeric-id":2968779,"id":"Q2968779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$9F681F84-5E70-4E74-A6F9-7D0011B0C212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdc9905df3c6109d4952fd74ca8d381c862ae80","datavalue":{"value":{"entity-type":"item","numeric-id":4225825,"id":"Q4225825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$D3ABD2D0-618D-4ADC-9D4E-E84877E2DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b35fafe8b21ac98362972ac47ba0b123a93bbe9","datavalue":{"value":{"entity-type":"item","numeric-id":4982862,"id":"Q4982862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$A2BB4CE2-2595-4675-8F4A-5D9766370BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a489728c95410779f72453ed8a9b283e1846d204","datavalue":{"value":{"entity-type":"item","numeric-id":5322842,"id":"Q5322842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$3B1375D8-F945-4F28-8153-C67608B242CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b2560e8e1ffd4b0a68c6067c0b1d2405070cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2445320,"id":"Q2445320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$8894298C-EAD3-4DA2-80D6-46B5ECFC1630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2394942c837983037328c625b94bf25f07b9a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1600041,"id":"Q1600041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$E92E89E2-8D98-4B35-8E2C-E2D31F60D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2359bbf72928d5a5d4373ebacb8db66a5e2a235","datavalue":{"value":{"entity-type":"item","numeric-id":3743372,"id":"Q3743372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$04E41E1C-B890-4D9F-9338-E3FE4886AB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1142a13dc568d66ea794032649036ee250e93d","datavalue":{"value":{"entity-type":"item","numeric-id":4542306,"id":"Q4542306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$4ACA495B-4FE5-4A10-A49F-ED8F1F71B87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2ab44c6f37e169e07cc899385bd7213c9cb28b","datavalue":{"value":{"entity-type":"item","numeric-id":3592703,"id":"Q3592703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$A3465C4A-D032-445A-94D4-BCE7AC0D0534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3952b9a9a384134e39f2740309369dfdbaec5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3615934,"id":"Q3615934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$B80E95CA-6A45-45A0-930E-B4B875D21C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad09a35bbd2ddd5506116b6cc3e564a6d8e08323","datavalue":{"value":{"entity-type":"item","numeric-id":745090,"id":"Q745090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$5D6CE6C9-4170-4A5B-ABFD-8D6DD30F8736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46f2298f5ac46affd0c769ecaefd7429a34afc2","datavalue":{"value":{"entity-type":"item","numeric-id":5251377,"id":"Q5251377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$B90484C4-0595-4D1D-BF4D-5099959F6798","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"766de31ab998b2a2ffd0f3c4065ab6161fe2746b","datavalue":{"value":"10.5802/JTNB.1124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211019$3F1C1FB9-6347-4FFF-83C4-339FEC1228CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0423c47f23a64ccf751767a05ff01842c87e329e","datavalue":{"value":{"entity-type":"item","numeric-id":745090,"id":"Q745090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85616196032efc94ff945bf8191b367281ef30a","datavalue":{"value":{"amount":"+0.7690942287445068","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":"Q2211019$89B2FC9F-9D05-4A07-8DC1-12C7D77260DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3620e23bb8c30af618af76e1c5b54c251fdeb6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3091983,"id":"Q3091983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8293d78dfe25f47115c9b652ddf33edfa82dfb91","datavalue":{"value":{"amount":"+0.7342650294303894","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":"Q2211019$95462C82-8B7A-4494-81AA-712981DE4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc40d0e6ebe8de11994c59b9073e6e8a9b1fb421","datavalue":{"value":{"entity-type":"item","numeric-id":4210172,"id":"Q4210172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611ee5a921425e42a72cd1ea2b814f5b845ed0cd","datavalue":{"value":{"amount":"+0.7216319441795349","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":"Q2211019$8601D2B6-21C2-47BF-9655-ACF4062E184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6e0b11db7cb4a59e92eb442461680c8e1db460","datavalue":{"value":{"entity-type":"item","numeric-id":2364350,"id":"Q2364350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094006f746af2e04af536409a3b73650421abd8a","datavalue":{"value":{"amount":"+0.708891749382019","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":"Q2211019$28F933AC-ED59-4950-A357-A6F4AB5CDD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f716cae4f0a5df3a6a2d32dbe4d5da87782d0c5","datavalue":{"value":{"entity-type":"item","numeric-id":5251377,"id":"Q5251377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c10c34da95485df03fa29f984af34c3f3dcc863","datavalue":{"value":{"amount":"+0.7053141593933105","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":"Q2211019$00063D6E-44AC-4DA7-8AC3-F18C0FB88F92","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211019$E4248A02-5C20-428F-A68F-3AEC600C06F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2211019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2211019"}}}}}