{"entities":{"Q867374":{"pageid":869222,"ns":120,"title":"Item:Q867374","lastrevid":57179739,"modified":"2026-03-27T09:36:43Z","type":"item","id":"Q867374","labels":{"en":{"language":"en","value":"Quartic \\(K3\\) surfaces without nontrivial automorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127177"}},"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":"Q867374$64AAB191-BDC2-40A6-A31B-25A1DA422A21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a341da7e9aff341374de922ce2a1ebd16cf95f5","datavalue":{"value":{"text":"Quartic \\(K3\\) surfaces without nontrivial automorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q867374$BBF6843E-8273-4058-8F1A-3B289757F8CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d0b51804e0419a44986a8de486b4112299066b","datavalue":{"value":"1112.14046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$F4D8EA21-6679-4D51-B2A4-128A1BF71B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a785a1f7dff59a0f36c4390430f514c40b9e4248","datavalue":{"value":{"entity-type":"item","numeric-id":626847,"id":"Q626847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867374$4550E103-0562-4420-A57E-26340023F67B","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":"Q867374$57F3D6D3-177C-4D0B-9413-5A7F4DD39F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b3ead6168ee7e4a65e07f7e44713ef795f1233","datavalue":{"value":{"time":"+2007-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q867374$AF45365C-E3C5-4C0D-A8A0-FD0BEEE8B6F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a52c303d669633eeeafe25e78b7b74ebfc58870","datavalue":{"value":"https://arxiv.org/abs/math/0511542","type":"string"},"datatype":"url"},"type":"statement","id":"Q867374$9FA2DEB8-C0E9-432C-A7A2-4DD053D90776","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6936831d7f646d5621c2ce5dbab0508f7cd5b5df","datavalue":{"value":"Let \\(k\\) be a field of arbitrary characteristic, let \\(\\overline{k}\\) be a fixed algebraic closure of \\(k\\). Let \\(X\\) be a hypersurface of degree \\(d\\) in \\({\\mathbb P}^{n+1}\\). Let \\(\\overline{X}:=X \\times_k \\overline{k}\\) be the hypersurface considered over \\(\\overline{k}\\). The starting point of the paper under review is a corollary of a theorem proved by \\textit{B. Poonen} [Finite Fields Appl. 11, No. 2, 230--268 (2005; Zbl 1076.14053)]: For any field \\(k\\) and integers \\(n\\geq 1, d\\geq 3\\) with \\((n,d)\\not \\in \\{(1,3),(2,4)\\}\\) there exists a smooth hypersurface \\(X\\subset {\\mathbb P}^{n+1}\\) such that \\(\\Aut(\\overline{X})=\\{1\\}\\). If \\((n,d)=(1,3)\\) then it is known that \\(\\Aut(\\overline{X})\\supset X\\), hence this group is non-trivial. The author studies the missing case \\((n,d)=(2,4)\\).   The main theorem of the paper under review reads: Let \\(k\\) be any field of characteristic at most 19. Then there exists a smooth quartic surface \\(X\\subset {\\mathbb P}^3\\) with \\(\\Aut(X)={1}\\).   The construction of these surfaces is as follows: First the author describes conditions on \\(X\\) such that all automorphisms of \\(X\\) extend to \\({\\mathbb P}^3\\). E.g., if the group NS\\((X)\\) of divisors on \\(X\\) modulo linear equivalence is generated by the hyperplane section and a line then this is the case. The author then poses for all positive characteristics \\(p\\leq 19\\) an explicit quartic surface \\(X_{p}\\) containing a line. He uses the knowledge of the zeta-function of \\(X_{p}\\) to prove that NS\\((X)\\) is generated by the hyperplane section and a line. Furthermore, he shows that there is no non-trivial automorphim of \\({\\mathbb P}^4\\) that fixes \\(X\\). This implies that \\(\\Aut(X_p)=1\\). A lift of any of these surfaces to characteristic 0 gives the desired example in characteristic 0. To determine the zeta-function an algorithm of Kedlaya is used. This algorithm has exponential complexity in the characteristic of the field, and works only in small characteristics. A second result in the paper concerns a hypersurface \\(X\\) defined over \\(\\mathbb Q\\) such that \\(X(\\mathbb Q)\\) is Zariski dense in \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q867374$89F53F2A-767F-425B-BAAD-D9EDAB3364FF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fa17582d5eb41c7dc81cc1acf9f640fa42d791ca","datavalue":{"value":{"entity-type":"item","numeric-id":351799,"id":"Q351799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867374$6AD129F1-D36E-42D5-895D-CC404911D6B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$1F8E397B-CD2D-4651-BDAF-A532684948B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28fa461aeb4930aa157b063fa36c39645dfdfe32","datavalue":{"value":"14G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$879AFA87-2003-4651-BA70-A4DD45A15320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$97896C73-816E-4C6D-9798-8CBD1DE489E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$0EA05546-8AFC-4041-9D84-B3B29BB00E54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d3604b9b5a1cb55d1a2ef557a4511cccbde07b7","datavalue":{"value":"5127177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$43EDEFFB-2600-4A79-85EF-1467CA93AD3A","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":"Q867374$009D06C8-52AC-4C75-8477-71E7B61CB5C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b03a3ff1169a07a391947aab831d85c8e58e04c","datavalue":{"value":"W2096074570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$05F546EA-CA21-4E5B-A940-D286B3E7A26B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abd2149ce2ef61eaa4001c5b38091556ac0657ff","datavalue":{"value":"10.4310/MRL.2006.V13.N3.A7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867374$B2C97092-CED0-4BBA-93C3-0D71B992397C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52d0b250667cecf9097c9bce02d2c553160a146","datavalue":{"value":{"entity-type":"item","numeric-id":1779328,"id":"Q1779328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0dbe58a5742a606d7b5ce40927c65ea774e6962","datavalue":{"value":{"amount":"+0.7928124666213989","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":"Q867374$4F2845D3-979A-4F1C-9317-66CE63637B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0e8914d5f84c8d8aeadd6d17b4864dbc8d8b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2926125,"id":"Q2926125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dd2780bf08c4b50c262d1e03b51aa0d6940800","datavalue":{"value":{"amount":"+0.7780390977859497","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":"Q867374$4CA6DA9C-F1BF-4075-BA32-9059698DE328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef49516797de1c2163f2a333f5d22e5fb1f0e54","datavalue":{"value":{"entity-type":"item","numeric-id":2114203,"id":"Q2114203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be64bebb007b6670443e37f01dffd63b7befbd4","datavalue":{"value":{"amount":"+0.7685437202453613","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":"Q867374$6CD8DC78-820B-4B37-8FE4-375C7604D19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4580fd2d8988a09df839754a0472bb42da480f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2001419,"id":"Q2001419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ad73b9016c59ef9b96c70b8e096c3cb1dd8922","datavalue":{"value":{"amount":"+0.7640392184257507","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":"Q867374$F703EC84-AEDE-4395-927F-2786A0FD21D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7237200ae2b9bb1835a93862093e230a91a7abe4","datavalue":{"value":{"entity-type":"item","numeric-id":2213784,"id":"Q2213784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38edc8269f390c4c3bed9a783b67add5fd39bdb","datavalue":{"value":{"amount":"+0.758758008480072","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":"Q867374$6DA5215A-1269-4C2A-B761-F01290CA333A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:867374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:867374"}}}}}