{"entities":{"Q1727881":{"pageid":1738622,"ns":120,"title":"Item:Q1727881","lastrevid":68866656,"modified":"2026-04-13T02:44:29Z","type":"item","id":"Q1727881","labels":{"en":{"language":"en","value":"Galois descent for the gonality of curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7027232"}},"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":"Q1727881$22888337-B575-4A87-ADD3-6BE8AC603C67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c63800e4459e3022aa131f04c052ddcf107b7e2","datavalue":{"value":{"text":"Galois descent for the gonality of curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1727881$31F752A1-1DE5-4A6C-B814-54633E003834","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80e257368c52948f05a7084e1776a2e63a0b5ada","datavalue":{"value":"1409.14056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$B620C63A-883E-4777-A3C5-EDA600169026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d37dd32a796efc2d3f91b4c1d0911b901930d21","datavalue":{"value":{"entity-type":"item","numeric-id":170385,"id":"Q170385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1727881$3DEB1993-1947-4948-8947-71B813BF2FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8784e07409b5a0ff05bebf478545f3420609ffba","datavalue":{"value":{"entity-type":"item","numeric-id":394274,"id":"Q394274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1727881$E5C3DCE6-DC79-40A7-93B9-A9A71B09E737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1727881$12A1E151-4EAD-48C7-8276-DF0BE7716D56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c9332c1f846d5049945df8d203c7d1a4a521fd3","datavalue":{"value":{"time":"+2019-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1727881$F91E0A29-1DAF-4112-BA95-C5987F68979F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ada6a6d71d2df1e0344d8d1a3060ff87fd3f9ec0","datavalue":{"value":"https://arxiv.org/abs/1405.5991","type":"string"},"datatype":"url"},"type":"statement","id":"Q1727881$7ACEA08B-CF0A-48BD-B568-4457883C358D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"547423c557bcfbded99e82f0d3561e4c46fc15e2","datavalue":{"value":"By a curve we mean a smooth, projective, geometrically connected curve over a field $k$. The gonality of $C$ over $k$, denoted by $\\gamma(C)$, is defined to be an integer $\\gamma\\geq 1$ such that the number $\\gamma$ turns to be the degree of a rational non-constant map $f: C\\rightarrow \\mathbb{P}^1$ which is defined over $k$ and there is no rational map from $C$ to $\\mathbb{P}^1$ of degree less than $\\deg(f)$. The gonality over an algebraic closure $\\bar{k}$ (resp. a separable closure $k^{\\mathrm{sep}}$), denoted by $\\bar{\\gamma}(C)$ (resp. $\\gamma(C(k^{\\mathrm{sep}}))$), is called the geometric gonality (resp. separable gonality). Replacing $\\mathbb{P}^1$ by an arbitrary genus zero curve $D$, one obtains the conic gonality $\\gamma^{\\mathrm{con}}(C)$. One has clearly \\[\\bar{\\gamma}(C)\\leq \\gamma(C(k^{\\mathrm{sep}}))\\leq \\gamma^{\\mathrm{con}}(C)\\leq \\gamma(C).\\] \\textit{J. Ro\u00e9} and \\textit{X. Xarles} [Math. Res. Lett. 25, No. 5, 1567--1589 (2018; Zbl 07027232)] studied conditions under which the stated inequalities within the invariants $\\gamma(C(k^{\\mathrm{sep}}))$, $\\gamma^{\\mathrm{con}}(C)$ and $\\gamma(C)$ turn to be equalities. Their results, interestingly, generalize known existing results specifically the result attributed to \\textit{J.-F. Mestre} [Prog. Math. 94, 313--334 (1991; Zbl 0752.14027)] stating that a curve of even genus $g\\geq 2$ which has conic gonality $\\gamma^{\\mathrm{con}}=2$ has to be a $2$-gonal curve. They mean a gonal map $f: C\\rightarrow \\mathbb{P}^1$ unique if there exists a unique subfield $F$ of $k(C)$ which is isomorphic to $k(\\mathbb{P}^1)$ and with $[k(C):F]=\\gamma$. With these pre-assumptions, as their main result, they prove: \\par {Theorem 1}. Let $C$ be a curve with genus $g$ and separable gonality $\\gamma^{\\mathrm{sep}}$. Suppose that the gonal map $f_{k^{\\mathrm{sep}}}$ over $k^{\\mathrm{sep}}$ is unique. Then \\begin{itemize} \\item[(1)] $\\gamma^{\\mathrm{con}}=\\gamma^{\\mathrm{sep}}$, \\item[(2)] If the curve $C$ has a $k$-rational divisor of odd degree, then $\\gamma=\\gamma^{\\mathrm{con}}=\\gamma^{\\mathrm{sep}}$. \\item[(3)] There exists some degree $2$ extension $L/k$ such that $\\gamma(C_L)=\\gamma^{\\mathrm{con}}=\\gamma^{\\mathrm{sep}}$. \\item[(4)] If $\\gamma^{\\mathrm{sep}}\\equiv g (\\mathrm{mod} 2)$, then $\\gamma=\\gamma^{\\mathrm{sep}}$. \\end{itemize} \\par Using the facts (I) and (II) as \\begin{itemize} \\item[Fact I:] If $k$ is algebraically closed and $C$ is a curve on $k$ admitting a simple pencil $g^1_d$ giving a morphism $f: C\\rightarrow \\mathbb{P}^1_k$ and if $g>(d-1)^2$, then the given series is the unique simple pencil $g^1_d$ on $C$. \\item[Fact II:] If $k$ is an arbitrary field, $C$ is a genus $g$ curve on $k$ and $f:C\\rightarrow D$ is a $k$-morphism on projective curves, then if $f_{k^{sep}}$ is simple then so is $f_{\\bar{k}}$, \\end{itemize} they obtain a uniqueness result as \\par {Theorem 2}. Let $C$ be a curve with genus $g$ and separable gonality $\\gamma^{\\mathrm{sep}}$. The gonal map over $k^{\\mathrm{sep}}$ is unique if it is simple and $(\\gamma^{\\mathrm{sep}}-1)^2< g$. \\par While the {Fact I} was known to Riemann for curves on the field of complex numbers, for arbitrary algebraically closed fields this is a special case of the authors' {Theorem 8}. The {Fact II} is also a case of their {Lemma 10}. \\par The Brill-Noether theory gives various evidences to the existence and uniqueness of the gonality maps, but {Theorem 2} of their paper gives a useful criteria to determine the uniqueness of the gonal maps in the situations that the Brill-Noether theory fails to be efficient. \\par The authors prove {Theorem 1} in two different ways, each of them with enlightening nature. The first one relies on the theory of Brauer-Severi varieties, which naturally leads to analogous results for maps from $C$ to $\\mathbb{P}^r$. Particularly, they obtain their {Theorem 3} which is a generalization of {Theorem 1} to maps from curves to $\\mathbb{P}^2$. \\par Their second proof in {Section 5}, it seems there exists a typo in their addressing because they address the second proof to {Section 4}, is based on the study of Galois descent for rational normal scrolls.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1727881$28EA9539-0AC1-4418-85B5-97B48743BA56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f1864aa3123aa264585a7edf2f94e99c87fb566","datavalue":{"value":{"entity-type":"item","numeric-id":501155,"id":"Q501155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1727881$0BD93787-BFEF-4AFF-B027-53D8BE3C2F18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1876289fcd7fdd28d6988b3dc43fe5876c9e6c1b","datavalue":{"value":"14H51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$889C3133-7D11-4B9D-9CB6-AFEE7BB1C28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b67b5a7df3c22d84d00258acadf9bdea3a63c34","datavalue":{"value":"14G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$60AA531D-43A3-4A90-88EC-0E2DDAE209FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86f8d35c1565f252670810ace8ec15198b00a13b","datavalue":{"value":"14H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$8E2E7802-99C7-4B2F-B0A2-E4E57F71F237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e071c3100db3036b0f27666d437b81e97e514725","datavalue":{"value":"7027232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$544CFFF0-A56A-484D-A2AC-37FFB360FF56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1dd989a23b85a4b73ce2fd2e3ea74d677b4b7cf","datavalue":{"value":"curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1727881$75F0AA05-A870-4FA7-AA2B-7F589AEBB947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bfbc1a6aa8a283e03f6762e2e72172268b66170","datavalue":{"value":"gonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1727881$DE7C2661-0062-4FE4-B87F-3C85471DAC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083a8d4bcc677332215684f575873b6cb949b214","datavalue":{"value":"separable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1727881$53CE88F1-4A75-44D3-8F89-C672335D0F87","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":"Q1727881$372DDEC3-3F32-4EB9-B489-990D54AAE8FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f72b7444e88586b6f48a9a8fe2eaccbf25c00717","datavalue":{"value":"W2964338316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$39D4DA38-8166-4DDB-B4F0-AFB0F6CF9FE8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e4426fcaa0c9417e7a2ef22ba8f2f51522aef8bd","datavalue":{"value":"Q128479911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$66B58E59-B760-480C-9BE7-98F488260051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917de127ff07a9924901e1f656a8fbe3f6facb44","datavalue":{"value":"10.4310/MRL.2018.V25.N5.A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1727881$AC3B4A2F-E222-4F6A-A124-937D1B41E0C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab9abaadd20c2e0263a6112ebbec4d074a9965e","datavalue":{"value":{"entity-type":"item","numeric-id":2833154,"id":"Q2833154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64127892fdc874d44fea8f2a7e0d044a5d61c83","datavalue":{"value":{"amount":"+0.7441884875297546","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":"Q1727881$43C0190E-74E5-4D16-BC6F-7C10FDA49577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ff2155330c27e3b66331d42a7da021be17925b","datavalue":{"value":{"entity-type":"item","numeric-id":2856658,"id":"Q2856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bccbd7d61c426377c14e4ced8c1a66b157f9aea","datavalue":{"value":{"amount":"+0.7302606701850891","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":"Q1727881$3DE6DCAF-21B8-46D9-AE7D-A0B9512AD708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5851db6b0b8b2559f8355367d5ccfbe1cd38a7","datavalue":{"value":{"entity-type":"item","numeric-id":2004036,"id":"Q2004036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12545f73f2aa03f14222254cab2307702a9e3c5a","datavalue":{"value":{"amount":"+0.7188913226127625","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":"Q1727881$8B47285D-E413-467B-808C-9D0806DE0026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c1c42678df83b4f249c10716175030d68a850e","datavalue":{"value":{"entity-type":"item","numeric-id":659889,"id":"Q659889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3e102353f2c6fc616fbd7f367feae86f1240a3","datavalue":{"value":{"amount":"+0.7137019634246826","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":"Q1727881$13378A53-DF70-4ACA-A0CC-9B66C58D8961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b3f93b32e3757cfb354d1cab8bae6cc4d5013c","datavalue":{"value":{"entity-type":"item","numeric-id":663304,"id":"Q663304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59aaa297a848fad4c6b530a03114c4a50a73969","datavalue":{"value":{"amount":"+0.7094422578811646","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":"Q1727881$9AA22D84-D934-4749-ACE5-62622DBE0900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Galois descent for the gonality of curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Galois_descent_for_the_gonality_of_curves"}}}}}