{"entities":{"Q782856":{"pageid":784705,"ns":120,"title":"Item:Q782856","lastrevid":64295973,"modified":"2026-04-11T18:54:22Z","type":"item","id":"Q782856","labels":{"en":{"language":"en","value":"Isometry-dual flags of AG codes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225548"}},"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":"Q782856$EB79FA44-CAAE-4287-A5D2-DBE25821E05F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d13bdfda24dd119462b8940c90d86eec53f4b2","datavalue":{"value":{"text":"Isometry-dual flags of AG codes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782856$FF3007A0-09DB-4387-9F9F-2FFD53C3EB87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e75a67b15e3de9db0893d7da3e3dbee8aca950e","datavalue":{"value":"1446.14013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$50E18F81-2161-41B8-9849-A6B48B2E05F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f84acc6ad9537303664b4aede7b7b1cdd8d1d44a","datavalue":{"value":{"entity-type":"item","numeric-id":415530,"id":"Q415530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$B63715FF-AF27-4BF6-B815-BD14C7168DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b65592ee9315c3353671ce425bc80d64b0d11f13","datavalue":{"value":{"entity-type":"item","numeric-id":714448,"id":"Q714448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$E1059CAD-244E-44A0-AAFE-4A02713FD085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789c333c49cb4aa12caca6d0345170cf6efafef","datavalue":{"value":{"entity-type":"item","numeric-id":782855,"id":"Q782855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$9A104F1F-1AD5-45E8-9638-C48BBBE403EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb34abbf39f11094509111953e4c62a22b1e3897","datavalue":{"value":{"entity-type":"item","numeric-id":115940,"id":"Q115940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$C83703EC-1DF0-4F66-AC24-E2C74C698446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"190028e8c6b2870d933bdeb8569c0d0d71bc86f7","datavalue":{"value":{"time":"+2020-07-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":"Q782856$CC21C582-6DA5-4CA9-B010-48995B8F72A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3004104fb2f4bb63bb29f55177a60fac87625260","datavalue":{"value":"https://arxiv.org/abs/1906.10620","type":"string"},"datatype":"url"},"type":"statement","id":"Q782856$937CFCC7-FA19-426F-B5C5-F67A2BCDB5F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb11bf55889de702ab10882f2c86ebcfc903662d","datavalue":{"value":"For a smooth absolutely irreducible projective curve \\(X\\) of genus \\(g\\) over a finite field \\({\\mathbb F}_q\\), a set \\(P_1,\\ldots, P_n\\) of distinct \\({\\mathbb F}_q\\)-rational points on \\(X\\), the divisor \\(D=P_1+\\cdots+P_n\\) and a point \\(Q\\) not in the support of \\(D\\), a \\textit{one-point Goppa code} \\(C_L(D,mQ)\\subseteq{\\mathbb F}_q^n\\) is the image of the evaluation map \\[\\text{ev}_D:L(G)\\rightarrow {\\mathbb F}_q^n\\] on the Riemann-Roch space \\(L(mQ)\\) for \\(m\\) an integer.   Now, for \\(m_0=-1\\) let \\(C_0=C_L(D,m_0G)=0\\) and for \\(1\\leq i\\leq n\\) let \\(C_i=C_L(D,m_iQ)\\) with the \\(m_i\\) minimal integers such that \\(\\dim C_L(D,m_iQ)=i\\). Hence, \\(m_1=0\\) and the nested sequence of codes \\[0=C_0\\subset C_1\\subset \\cdots\\subset C_n={\\mathbb F}_q^n\\] is a \\textit{complete flag of linear codes}. The integers \\(m_i\\) are called the \\textit{geometric non-gaps} corresponding to \\(D\\) and \\(G\\), and for \\(m=m_n\\) the pair \\((n,m)\\) is called an \\textit{admissible pair}. For a complete flag of one-point Goppa  codes  over a curve of genus \\(g\\), the main theorem of the paper under review shows that \\(m\\leq n+2g-1\\) and the admissible pairs are restricted, first to two cases for general complete flags of one-point Goppa codes: \\begin{itemize} \\item[(a)] \\(n=1\\) if and only if \\(m=0\\). \\item[(b)] \\(\\displaystyle n\\leq \\frac{m}{2}+1\\leq g+1\\) for \\(0<m\\leq 2g\\). \\end{itemize} And then to two cases for isometry-dual complete flags of one-point Goppa codes: \\begin{itemize} \\item[(c)] \\(\\displaystyle n\\leq \\frac{m}{2}+\\frac{3}{2}< 2g+2\\) for \\(2g<m\\leq 4g\\). \\item[(d)] \\( n=m+1-2g\\geq 2g+2\\) for \\(m>4g\\). \\end{itemize} There is a converse property:  A complete flag of one-point Goppa codes with \\(n=m+1-2g\\geq 2g+2\\) is isometry-dual. The first two cases are proved using the Riemann-Roch and Clifford theorems and the remaining two cases are proved via a generalization of Proposition 4.3 of \\textit{O. Geil} et al. [Adv. Math. Commun. 5, No. 3, 489--504 (2011; Zbl 1239.94084)] originally proved for \\(n>2g+2\\) and showing that indeed holds for \\(n\\geq 2g+2\\). Moreover, the authors construct an example using a Hermitian curve over \\({\\mathbb F}_4\\) that shows that the weaker condition is best possible.  Additionally, the authors prove that given an isometry-dual complete flag of one-point Goppa codes, the flag of punctured one-point Goppa codes is also isometry-dual if the number of punctured coordinates is a Weierstrass non-gap of the curve \\(X\\) at the point \\(Q\\). Moreover, there is also a characterization, in terms of maximum sparse ideals of the Weierstrass semigroup of \\(X\\) at \\(Q\\), for a flag of punctured one-point Goppa codes to inherit the isometry-dual property from the original flag.","type":"string"},"datatype":"string"},"type":"statement","id":"Q782856$CFFEB143-9390-4F37-8D5C-7DF280006C98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"332a7ca0fc2503044cbe5299ecaa975484163791","datavalue":{"value":"14G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$BBBC5003-2200-4A2B-90A9-68991A98F8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5120626c87fbc492ba1414fde6695c15d7ff0d86","datavalue":{"value":"94B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$956B3F73-5CC2-4155-B50C-A1F46984FA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcefd1e200eae54420c5080733f6b5a349da9f6a","datavalue":{"value":"11T71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$191D4986-D840-400D-9C0E-1407F6495D47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c2d80cfba1602c3780c9c210132f773d6f6f5bf","datavalue":{"value":"7225548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$4D847F49-D5CB-4F82-96D3-D28FBAB4D267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c167c9dd02f16b16c66c54b1356958f29c3b141","datavalue":{"value":"Goppa codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q782856$55D1E702-9C5C-4D00-9F90-5B0539598973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4d496342579ef2eb6f2213fae07713da6258ab","datavalue":{"value":"complete flag of codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q782856$F3B874E3-ADB1-4DBD-ADF5-62E07DA0051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1060b9526442db5166cc9a73d35cb5ba11128f57","datavalue":{"value":"punctured code","type":"string"},"datatype":"string"},"type":"statement","id":"Q782856$A332328C-3416-4F9C-AEDA-7B0EE6297AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58156e729672890af28acda5528763689a6807c8","datavalue":{"value":"dual code","type":"string"},"datatype":"string"},"type":"statement","id":"Q782856$959435EC-6FAD-4A16-AD59-614A7EB438DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d94dae787f317c57466cc952655789d40d28891b","datavalue":{"value":{"entity-type":"item","numeric-id":326286,"id":"Q326286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$AADD8E4B-8509-4A86-A753-7558DF6FF888","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$64C6FE74-FA56-46D2-A566-223244281D4E","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":"Q782856$48D04268-2E0E-417E-A5EB-7608BA6C4053","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1db5bcb421fcc730235a8dbbe0798cd0b10cb2b4","datavalue":{"value":"W3014822492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$614E2861-53BD-490B-81AD-EC39CA609512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$78503F7C-F830-4767-990F-AA05E525C750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad46c9095b20ed5e2101bef1cf998b598308a91","datavalue":{"value":{"entity-type":"item","numeric-id":2464346,"id":"Q2464346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$5A49580F-AC89-4429-8037-7D0240B73467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10cf227b5ec04c02b74ad0eff0cbfd676177d102","datavalue":{"value":{"entity-type":"item","numeric-id":2983389,"id":"Q2983389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$87372DFE-C0A7-4697-BDF5-A218524730DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d1cfeac5a3962da126cf901419d335db043fd2","datavalue":{"value":{"entity-type":"item","numeric-id":644324,"id":"Q644324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$83AE0E05-ABF6-450F-9D57-E8D1F2A197D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f268ffdc24678cc4482761cbf87b339c73899eb","datavalue":{"value":{"entity-type":"item","numeric-id":4146667,"id":"Q4146667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$3A2680B9-CBE6-437B-AE57-C910808A167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d00a7defd485812d2bfae81c081b66981ca50db","datavalue":{"value":{"entity-type":"item","numeric-id":1313797,"id":"Q1313797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782856$6427BF63-34C8-4333-8CA0-C3ABF02119DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dec644c840cdd0180eeb7e236f829488d50ebb38","datavalue":{"value":"10.1007/S10623-020-00752-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782856$2FBA41F4-7079-49AC-BF8B-0157C0EC1679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26cd693119748ae0a2075027b42d463a192c16e","datavalue":{"value":{"entity-type":"item","numeric-id":1313797,"id":"Q1313797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5604e719cfccb001e3b83c3ad68e5f5b66387714","datavalue":{"value":{"amount":"+0.7796914577484131","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":"Q782856$5804D255-FF28-443D-844B-787775D2F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094d58393c05982b8fcd63cee8f10c8cca60725c","datavalue":{"value":{"entity-type":"item","numeric-id":1109011,"id":"Q1109011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf91c305a8a00c3c48bdf89f0101f7a5ee31587","datavalue":{"value":{"amount":"+0.778784990310669","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":"Q782856$9EB798F0-DAD8-45F6-8C92-4E7E801FE872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ec6e7a79d96ed883cb56542c5e8631e9a37702","datavalue":{"value":{"entity-type":"item","numeric-id":5946455,"id":"Q5946455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8930b82faedfa66de97ed154fd4c30070e3cb3eb","datavalue":{"value":{"amount":"+0.7677268981933594","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":"Q782856$836010EC-050C-47BE-83FF-6DDEC59428D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede67d9db7a530c5237b1a9dba0b2c23c28daff4","datavalue":{"value":{"entity-type":"item","numeric-id":4552423,"id":"Q4552423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8930b82faedfa66de97ed154fd4c30070e3cb3eb","datavalue":{"value":{"amount":"+0.7677268981933594","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":"Q782856$C6A1A099-8432-475B-B35D-171DFDCA2F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32eb5cd7e81c3b786bba693fffe8e552e60a672c","datavalue":{"value":{"entity-type":"item","numeric-id":1781001,"id":"Q1781001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68545487b289fe71936fc5c122fc0df384d05ec9","datavalue":{"value":{"amount":"+0.7622212767601013","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":"Q782856$D21FED0C-F60D-4852-A45E-94C643153A78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isometry-dual flags of AG codes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isometry-dual_flags_of_AG_codes"}}}}}