{"entities":{"Q795121":{"pageid":796969,"ns":120,"title":"Item:Q795121","lastrevid":64396485,"modified":"2026-04-11T19:34:47Z","type":"item","id":"Q795121","labels":{"en":{"language":"en","value":"Quadrics of rank four in the ideal of a canonical curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861323"}},"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":"Q795121$EDABCEC0-AB2F-4BBE-ADD8-6DD174A97614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"089fe430289a3c718fffee8d53b0f51f7b06ff40","datavalue":{"value":{"text":"Quadrics of rank four in the ideal of a canonical curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795121$D80D29B2-9AFA-4BCA-BF65-56CA8CE655F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3addb2659d7f33b5717518dca8a85accc7a2603e","datavalue":{"value":"0542.14018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795121$7E039AA5-5592-40C6-B10F-7E8207BA086F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb90f27a88a6344df27906c5fd328558e4fa93d1","datavalue":{"value":"10.1007/BF01403092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795121$95B34316-88B5-4069-BD36-B7EBF6B25970","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795121$5D6C32AD-134A-4A8F-875F-280A8BFB90D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q795121$D04BDCD3-4D4C-4459-B7D3-6514843E621B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfecdbf7f1050489ff36cb4a436b57e78f351115","datavalue":{"value":"https://eudml.org/doc/143090","type":"string"},"datatype":"url"},"type":"statement","id":"Q795121$1921D00A-2729-4856-BB8A-E66197CC316D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed3691bfa340a710dce73c1c26ecc52fb7eb9ee8","datavalue":{"value":"Let C denote a smooth curve of genus g, K its canonical bundle and \\(\\phi:C\\to P(H^ 0(C,K)^*),\\) the canonical map. If J(C) is the Jacobian of line bundles of degree g-1 on C and \\(\\Theta\\) a (suitably chosen) Theta-divisor on J(C) then according to a theorem of Riemann we have for any line bundle \\(L\\in J(C): mult_ L\\Theta =\\dim H^ 0(C,L)=\\dim H^ 0(C,K\\otimes L^{-1}).\\) In particular if D is an effective divisor of degree g-1 on C such that \\({\\mathcal O}_ C(D)\\) is a double point of \\(\\Theta\\), the space of rational functions \\(g_ 1\\) with \\((g_ 1)\\geq -D\\) has a base \\(\\{\\) 1,\\(f\\}\\) and \\(H^ 0(C,K(-D))\\) has a base \\(\\{w_ 1,w_ 2\\}\\). It follows that \\(\\eta_ i=fw_ i\\quad(i=1,2)\\) are holomorphic differentials and one can show that the 2 quadratic differentials \\(\\eta_ 1w_ 2\\) and \\(\\eta_ 2w_ 1\\) are equal. - This implies that \\(q_ D=\\eta_ 1w_ 2-\\eta_ 2w_ 1,\\) considered as a quadratic form on \\(H^ 0(C,K)^*\\), vanishes on the affine cone over \\(\\phi\\) (C). Thus to every double point of \\(\\Theta\\) one can associate in a natural way a quadric (of rank 4) in \\(P(H^ 0(C,K)^*)\\) vanishing on \\(\\phi\\) (C). In the paper in question it is proven that the space of all quadrics in \\(P(H^ 0(C,K)^*)\\) through \\(\\phi\\) (C) is spanned by the above quadrics arizing from double points of \\(\\Theta\\). - This was proven for hyperelliptic and trigonal curves by \\textit{A. Andreotti} and \\textit{A. L. Mayer} [Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat., III. Ser. 21, 189- 238 (1967; Zbl 0222.14024)] for \\(g\\leq 6\\) by \\textit{E. Arbarello} and \\textit{J. Harris} [Compos. Math. 43, 145-179 (1981; Zbl 0494.14011)] and was a long standing question in general. A consequence is an alternate proof of Torelli's theorem for curves which are neither hyperelliptic, nor trigonal nor plane quintics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$53D8154F-322D-42AA-85AD-FBCF88D9EFC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db0dbf998ec968d05be3040fdfa9d5b474901d27","datavalue":{"value":"14H40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795121$72043CAF-80BE-4F3B-A3A1-FEAB851321F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71b53bd5230740f8f46fee6f6328b7cb32b9c3e8","datavalue":{"value":"14K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795121$FC14D069-9141-45BF-9FB0-F60A3C9D07F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31461bd18eda9bff06581245073777de6a125236","datavalue":{"value":"14C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795121$AED1C6E4-F153-48C7-B5F6-69719B05A243","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8372d51f6e959b27d4f13a034f7343d2cdb4275d","datavalue":{"value":"3861323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795121$41B7D5FD-9D0E-4AA4-BF71-1B33FAAAC71A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19600f1086943ccb9534111946ae11dc1b7525bb","datavalue":{"value":"ideal of canonical curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$9300B330-9FD7-43E6-884B-5F29DCB2FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869c1dfe9ca0c0d9627ec130945eee540b035e2b","datavalue":{"value":"Torelli theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$E2930208-734E-49AA-85F0-FC6DB8710594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26fe280d9ba0c66bc2018023fa85866c48ad3a2","datavalue":{"value":"Jacobian","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$C216AD25-EE3C-4812-8D37-D74CD499540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b9508531f79f7679d1af9d92284434a836083b","datavalue":{"value":"Theta-divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$545DAF7A-7C5C-48DF-BFF5-925C1B7C6B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de3a5b204e05e104c89e22a8a7ee0a89b520a65","datavalue":{"value":"quadrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$CDE2D514-9627-4964-BBF7-3B8B928DC9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324f82a1787bb1ee3ad4ce6fb4a282e3afd18d8d","datavalue":{"value":"double points","type":"string"},"datatype":"string"},"type":"statement","id":"Q795121$29C9D8E2-B85F-4373-A618-2328C9238729","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e77234e17fbdea27225db78d09860dc70c96bd","datavalue":{"value":{"entity-type":"item","numeric-id":1298081,"id":"Q1298081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795121$B431E359-6679-4980-9698-124EA6CF34E9","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":"Q795121$07378A38-59D4-4195-B669-0B6BF1CFA87C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adb1c70dd2dd5852dc46354d918c7b156e6c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5895730,"id":"Q5895730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795121$3048BDA4-C4B3-4B14-908D-3CC088F19A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e5715ef2c7a766ec364467546f7cf4fc75ad01","datavalue":{"value":{"entity-type":"item","numeric-id":5626856,"id":"Q5626856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795121$08600340-3A58-42DC-97DD-AC9BF7EE4138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6e31287b376d46e7915e9553c0132931353328","datavalue":{"value":{"entity-type":"item","numeric-id":3957067,"id":"Q3957067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795121$89C1A516-558C-48B5-BFE3-3A57FB9FF416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa90e276939c717ace0ff6e62479fb30794bb61","datavalue":{"value":{"entity-type":"item","numeric-id":3347989,"id":"Q3347989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795121$C14FF243-D945-4C71-91B4-E139E1639F5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1878609471f347aeb1e198a8c53e9e0270a3d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3971128,"id":"Q3971128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f206588025e3b9f81e1093bb8e4cb2b854dff5f","datavalue":{"value":{"amount":"+0.871407687664032","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":"Q795121$B8659919-E982-49EA-B670-8995E6BADE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3db1a384775c93de9d0ead9b163f78c1c2de8af","datavalue":{"value":{"entity-type":"item","numeric-id":3726251,"id":"Q3726251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e615836a99f7786be5aae997ec0ac101fe86b77","datavalue":{"value":{"amount":"+0.8686398863792419","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":"Q795121$21D62A58-68AF-41E5-AEC3-38A4CBA4406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0432bf3ed689b7f5fd106b391c0fee7e369c3e61","datavalue":{"value":{"entity-type":"item","numeric-id":3816191,"id":"Q3816191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e417169963a042db1a473dab19169dadacf9b225","datavalue":{"value":{"amount":"+0.8358104228973389","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":"Q795121$B5637476-2418-4141-8187-D03DAC024A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a8f6846dc6f2d808c738d37e0cdece424e4398","datavalue":{"value":{"entity-type":"item","numeric-id":5631242,"id":"Q5631242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da70d1771e37bd163af43cc47287633a37683799","datavalue":{"value":{"amount":"+0.8161455392837524","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":"Q795121$9956E54B-CA1F-420A-8A90-0E2501E8DB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0392f659bd85e6bdec2737615387ed4e7732d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4254122,"id":"Q4254122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d430964aab7f007873c69dfe2116228d0c8479","datavalue":{"value":{"amount":"+0.8149669170379639","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":"Q795121$48F52071-D563-4AB0-875D-1152ACB10529","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quadrics of rank four in the ideal of a canonical curve","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quadrics_of_rank_four_in_the_ideal_of_a_canonical_curve"}}}}}