{"entities":{"Q738833":{"pageid":740682,"ns":120,"title":"Item:Q738833","lastrevid":63971892,"modified":"2026-04-11T16:47:11Z","type":"item","id":"Q738833","labels":{"en":{"language":"en","value":"Hoffmann's conjecture for totally singular forms of prime degree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617180"}},"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":"Q738833$994F995B-B6D4-4A7E-89D4-225E0A82B668","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99410aeb2cf35ab1ee88198660d89b4739b9afff","datavalue":{"value":{"text":"Hoffmann's conjecture for totally singular forms of prime degree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q738833$63187A5F-7173-4B9E-9AA8-F61EE29EE9BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"392f3bcbc1186496598156fd45f7c98eddf22612","datavalue":{"value":"1350.11049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$43EE923B-45AA-44FE-90ED-298E82E9E18D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a11ded1f50bf405e511da317899f4fd773846de","datavalue":{"value":{"entity-type":"item","numeric-id":274653,"id":"Q274653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q738833$CBEA628F-A40D-4EF2-8E2C-74C278A9C632","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q738833$66A1C194-B982-473A-A6F8-BB1597A1435B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b90302cfd79444c67a0e2bd284145e6865846ef","datavalue":{"value":{"time":"+2016-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q738833$1B04D1AC-D63A-4387-B352-026ACB967F0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6158fafa320c1088b72724f2c1817ec6c2b44889","datavalue":{"value":"https://arxiv.org/abs/1410.8785","type":"string"},"datatype":"url"},"type":"statement","id":"Q738833$43DFD06A-9D31-4784-9BB0-AA15C83E274D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d13fc56c9986c67bc29cb177555afb95b940e4c","datavalue":{"value":"In the present paper the author continues his study of so-called quasilinear \\(p\\)-forms that he began in [Compos. Math. 149, No. 3, 333--355 (2013; Zbl 1315.11025); J. Reine Angew. Math. 713, 49--83 (2016; Zbl 1343.11047)] building on work by the reviewer [Contemp. Math. 344, 135--183 (2004; Zbl 1074.11023)]. Let \\(F\\) be a field of characteristic \\(p>0\\). A quasilinear \\(p\\)-form (or \\(p\\)-form for short) on a finite-dimensional \\(F\\)-vector space \\(V\\) is a map \\(\\phi:V\\to F\\) satisfying \\(\\phi(\\lambda v)=\\lambda^p\\phi(v)\\) and \\(\\phi(v+w)=\\phi(v)+\\phi(w)\\) for all \\(\\lambda\\in F\\) and all \\(v,w\\in V\\). Isomorphism, isotropy, subform, etc., are defined in analogy to the theory of quadratic forms. Up to isomorphism, nonzero such forms a classified by their dimension and their value set \\(D(\\phi)=\\{\\phi(v)\\mid v\\in V\\}\\) which is an \\(F^p\\)-vector subspace of \\(F\\) of dimension \\(\\leq\\dim(\\phi)=\\dim V\\), and one defines the defect index \\(i_0(\\phi):=\\dim V-\\dim_{F^p}D(\\phi)\\). For \\(p=2\\), the theory of \\(p\\)-forms is in fact the theory of totally singular quadratic forms. In analogy to Pfister forms in the theory of bilinear and quadratic forms over fields, one can define quasi-Pfister forms which are \\(p\\)-forms \\(\\pi\\) of dimension \\(p^s\\) for some \\(s\\geq 0\\) and such that \\(D(\\pi)\\) is a field, in which case \\(\\pi\\) is called an \\(s\\)-fold quasi-Pfister form. A quasi-Pfister neighbor \\(\\phi\\) is a \\(p\\)-form that is similar to a subform of some quasi-Pfister form \\(\\pi\\) such that \\(p\\dim\\phi>\\dim\\pi\\).  To each \\(p\\)-form \\(\\phi\\), one obtains a projective hypersurface \\(X_{\\phi}\\subset \\mathbb P(V)\\) given by the equation \\(\\phi =0\\). \\(X_{\\phi}\\) is integral if the anisotropic part of \\(\\phi\\) has dimension \\(\\geq 2\\), in which case one defines the function field of the \\(p\\)-form \\(F(\\phi):=F(X_{\\phi})\\). In analogy to Knebusch's generic splitting tower for (nonsingular) quadratic forms, one can define the Knebusch splitting tower of a \\(p\\)-form \\(\\phi\\) by putting \\(F_0:=F\\) and \\(\\phi_0:=\\phi_{\\mathrm{an}}\\), its anisotropic part. If \\(\\dim\\phi_0\\geq 2\\), then \\(\\phi_0\\) becomes isotropic over \\(F_1:=F_0(\\phi_0)\\) and one puts \\(\\phi_1:=((\\phi_0)_{F_1})_{\\mathrm{an}}\\). Continuing like this, one obtains a field tower \\(F_0\\subset F_1\\subset\\ldots \\subset F_h\\) and anisotropic forms \\(\\phi_i\\) over \\(F_i\\) with \\(h\\) being the first index for which \\(\\dim\\phi_h=1\\). \\(h\\) is called the height of \\(\\phi\\) and the Knebusch splitting pattern is given by the sequence of the values \\(i_r(\\phi)=i_0((\\phi_{r-1})_{F_r})\\), \\(1\\leq r\\leq h\\).  In the present paper, the author answers various questions raised in the above mentioned papers concerning the splitting pattern and the first index \\(i_1(\\phi)\\). In his paper [Zbl 1343.11047], he characterized quasi-Pfister neighbors by their Knebusch splitting pattern. The main theorem (Theorem 5.1) of the present paper deals with the case of non-neighbors. It states that if \\(\\phi\\) is a \\(p\\)-form of dimension \\(>2\\) over \\(F\\) that is not a quasi-Pfister neighbor, and if \\(s\\) is the smallest integer with \\(p^s\\geq i_1(\\phi)\\), then \\(\\phi_1\\) is divisible by an \\(s\\)-fold quasi-Pfister form. From this, the author derives a complete description of the possible Knebusch splitting patterns of \\(p\\)-forms. In the case \\(p=2\\), i.e., for totally singular quadratic forms, this implies that \\(i_1(\\phi)-1\\) is the remainder modulo \\(2^s\\) of \\(\\dim\\phi -1\\) for some \\(s>\\log_2(\\dim\\phi)\\). It should be noted that for (nonsingular) quadratic forms in characteristic not \\(2\\) and with \\(i_1\\) denoting the first Witt index, this latter statement was first conjectured by the reviewer and fully proved by \\textit{N. A. Karpenko} [Invent. Math. 153, No. 2, 455--462 (2003; Zbl 1032.11016)]. It is still open if this result also holds in characteristic \\(2\\) in all generality for quadratic forms that are not totally singular.  A further application concerns the canonical dimension \\(\\mathrm{cdim}(X)\\) of a \\(p\\)-hypersurface \\(X\\), where \\(\\mathrm{cdim}(X)\\) is defined to be the minimum dimension of the image of a rational map from \\(X\\) to itself. It is shown that there exists an integer \\(s\\geq 0\\) such that \\(p^s-1\\leq\\dim X<p^s+\\mathrm{cdim}(X)\\) and that \\(p^s\\) divides \\(\\mathrm{cdim}(X)+1\\). Another application concerns maximal splitting. Let \\(\\phi\\) be an anisotropic \\(p\\)-form with \\(p^n<\\dim\\phi \\leq p^{n+1}\\). Then one always has \\(i_1(\\phi)\\leq \\dim\\phi-p^n\\), and \\(\\phi\\) is said to have maximal splitting if equality holds. Quasi-Pfister neighbors always have maximal splitting. The author shows that the converse also holds provided \\(p^n+p^{n-1}<\\dim\\phi\\leq p^{n+1}\\) for \\(p>2\\) and \\(2^n+2^{n-2}<\\dim\\phi\\leq 2^{n+1}\\) for \\(p=2\\), thus solving a conjecture by the reviewer [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$0D3D6C62-ADE6-45D9-923F-27EE1940D900","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$3FF5FC20-49C5-4610-94A8-49A9E066F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fd98ee712f85e43ff9029fa787b8edfa82ce1eb","datavalue":{"value":"11E76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$178EE6D5-F45A-4FA5-A3FF-3792348BDE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a1cad158d855a2e8ea1a990792bb1979d58b9a7","datavalue":{"value":"14E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$E020C3A0-3848-4748-9F5B-DFBC5BBD5268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba5f7486cfb64f062d1b1d8e48f356198d5bc8e7","datavalue":{"value":"15A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$78B5C00D-8D9B-4CB7-9543-C9549F7B650D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f972a56542ac0026e52370f42bebff0af0b9f2","datavalue":{"value":"6617180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$60815FB6-F4DE-43C6-A354-A32F9D4BC352","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947a9ac6ad51dc19c6420fc76629c16e24206255","datavalue":{"value":"quasilinear \\(p\\)-form","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$8241289E-E8D7-4B2C-BDE6-57011428E8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3e73c24772e902cf11aab242e36ba85220b008","datavalue":{"value":"totally singular quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$685588F6-A2F2-4E5B-AE32-732F0AB4B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815ffe640199ea24b0b5de1b7d3c521bcff69772","datavalue":{"value":"quasi-Pfister form","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$83312BFC-3481-4D06-8C83-6F4F7638B661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969ea986a2da2f309398af76f6863075ecea8800","datavalue":{"value":"quasi-Pfister neighbor","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$978A58A3-21CF-408F-B4CE-64711B10CC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ac8710ee59091da9e822ca8184d92153a19ae5","datavalue":{"value":"splitting pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$F5127A44-62BC-4C8F-BB3F-C3C7B65EA386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e3a62fdd3b83b6cbe784076e1d73ea61a8c8ed","datavalue":{"value":"canonical dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q738833$E9600009-2B6A-4A20-AE29-AEA15A3FFE3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad152bbc66653a400e4df4d9269c6b66781cf33c","datavalue":{"value":{"entity-type":"item","numeric-id":185831,"id":"Q185831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q738833$38EC641F-3712-4F59-BB2A-D86F7C7831D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"552aa4a20a1d40cb1b2a715d48e4492f9b2ad020","datavalue":{"value":"Q123151380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$F0A5C9DA-918F-4446-8D66-A1462A9051B3","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":"Q738833$D0B96C21-023A-4DD1-B83F-EAD56543D1CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a260a23cf2c880259ae0c28b05996f67c88b243d","datavalue":{"value":"W3098724141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$5729AD4B-A842-4E02-8488-85B448018297","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d08c01e25358f7d5e81b0c92f5f5050a8948ad","datavalue":{"value":"10.2140/ANT.2016.10.1091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738833$1BFC1EE5-6EDA-4F97-833D-22B610097380","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bb245627dae9c643166ac90e24308bae89890a","datavalue":{"value":{"entity-type":"item","numeric-id":2098202,"id":"Q2098202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323cf7ad469cdec7cbe07d3ad4f36e8173d32945","datavalue":{"value":{"amount":"+0.8150594234466553","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":"Q738833$03C9382B-09D7-40D2-A43C-70D3D1DFE2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37828632cebf2648d70df96091e4e593b0b2f768","datavalue":{"value":{"entity-type":"item","numeric-id":2569860,"id":"Q2569860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c770a30b67571c1823fc6c86487633cf951c9b0d","datavalue":{"value":{"amount":"+0.8005045652389526","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":"Q738833$8018BEF7-7657-499C-9C65-982D7E89FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1eed00a0cc5fe755dd3d015b4078f3a9bee4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1411968,"id":"Q1411968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483301251a8d41212f12ac2d816b77c96b241758","datavalue":{"value":{"amount":"+0.7844569683074951","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":"Q738833$06A3DA33-DF67-4B28-BC9D-78A84141F299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a475ac3e9f55f2c6f3c57b512d3e7b36fccc3","datavalue":{"value":{"entity-type":"item","numeric-id":274654,"id":"Q274654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434968324495a5c4af4f373655d6ec6f2a146cd5","datavalue":{"value":{"amount":"+0.770788311958313","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":"Q738833$56E0877C-7815-4540-8B5A-E077CC92257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f133338b29f0f24fa9cb27fc968c73690b9a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4866713,"id":"Q4866713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2967601977846924f45445cccba5e9d7295cceeb","datavalue":{"value":{"amount":"+0.7675662040710449","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":"Q738833$11AE516F-0340-45DD-AAB6-1C7ED52926F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hoffmann's conjecture for totally singular forms of prime degree","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hoffmann%27s_conjecture_for_totally_singular_forms_of_prime_degree"}}}}}