{"entities":{"Q884665":{"pageid":886513,"ns":120,"title":"Item:Q884665","lastrevid":65088615,"modified":"2026-04-12T00:13:55Z","type":"item","id":"Q884665","labels":{"en":{"language":"en","value":"Cohomological invariants of quaternionic skew-hermitian forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162049"}},"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":"Q884665$55AC723E-E444-4C22-8A53-AB5DB51C1CF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9ac08ff230487ea5de6cbb1bed6df41841f675c","datavalue":{"value":{"text":"Cohomological invariants of quaternionic skew-hermitian forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884665$16709F6C-E8A6-4708-BF3C-CC27F3619010","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adf67cd3c3dcbd5260e60b462ef719a4b5b494a0","datavalue":{"value":"1125.11027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$755C780B-48B4-42C9-844E-51CC26FDE8C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957adc00fe62bdcab818a6fc40dd246fbdf93f68","datavalue":{"value":{"entity-type":"item","numeric-id":194681,"id":"Q194681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884665$97F33CCD-6DBD-4961-822D-F5A3891F2CEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884665$5807CF1D-2586-456E-87FF-41F6066BB000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884665$9426B7E1-9DA2-4619-A335-BB7135F89780","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c4063c2f04fa237f14b2c961b55c01e738e1208","datavalue":{"value":"Let \\(k\\) be a field of characteristic different from \\(2\\), let \\(I^nk\\) be the \\(n\\)th power of the fundamental ideal of classes of even-dimensional quadratic forms in the Witt ring \\(Wk\\) of \\(k\\), and denote by \\(H^n(k,\\mu_2)\\) the \\(n\\)th Galois cohomology group with mod \\(2\\) coefficients. The Milnor conjecture, as proved by Voevodsky, implies that there are well-defined group homomorphisms \\(e_n:I^nk\\to H^n(k,\\mu_2)\\), \\(n\\geq 1\\), mapping an \\(n\\)-fold Pfister form \\(\\langle 1,-a_1\\rangle \\otimes\\cdots\\otimes \\langle 1,-a_n\\rangle\\) to the \\(n\\)-fold cup product \\((a_1)\\cup\\cdots\\cup(a_n)\\), and the kernel of \\(e_n\\) is \\(I^{n+1}k\\). Together with \\(e_0(q)=\\dim q\\bmod 2\\in {\\mathbb Z}/2{\\mathbb Z}\\), these invariants \\(e_n\\) form a complete set of invariants of quadratic forms in the sense that a form \\(q\\) over \\(k\\) is hyperbolic iff \\(e_n(q)=0\\) for all \\(n\\geq 0\\)  The author's aim in the present article is to get an analogous complete set of cohomological invariants for skew-hermitian forms over a quaternion \\(k\\)-algebra \\(Q\\) with canonical involution \\(\\gamma\\). To achieve this, the basic idea is roughly as follows. If \\(Q\\) is split, then by Morita equivalence, any skew-hermitian form over \\((Q,\\gamma)\\) of rank \\(n\\) corresponds to a \\(2n\\)-dimensional quadratic form \\(q_h\\) over \\(k\\) such that \\(h\\) is isometric (resp. Witt equivalent) to another skew-hermitian form \\(h'\\) iff \\(q_h\\) is isometric (resp. Witt equivalent) to \\(q_{h'}\\). Since \\(Q\\) is split over \\(k(Q)\\), the function field of the Severi-Brauer variety of \\(Q\\) (which is nothing but the function field of a certain conic), one thus can attach to any skew-hermitian form a quadratic form \\(q_{h_{k(Q)}}\\) over \\(k(Q)\\). Using known facts concerning unramified cohomology for the function field of a conic, the author then shows that for \\(d\\geq 1\\), the residue map in cohomology yields a group isomorphism  \\[ \\text{Res}_{k(Q)/k}: H^d(k,{\\mathbb Q}/{\\mathbb Z}(d-1))/[Q]\\cup H^{d-2}(k,\\mu_2)\\to H^d_{nr}(k(Q),{\\mathbb Q}/{\\mathbb Z}(d-1)) \\]  (where in case \\(d=1\\), \\([Q]\\cup H^{d-2}(k,\\mu_2)\\) is considered to be trivial). He then shows that for any skew-hermitian form \\(h\\) over \\((Q,\\gamma)\\), there exists a unique \\(e_{d,Q}(h)\\in H^d(k,\\mu_4^{\\otimes d})/[Q]\\cup H^{d-2}(k,\\mu_2)\\) for \\(d\\geq 2\\) (resp. a unique \\(e_{1,Q}(h)\\in H^d(k,{\\mathbb Z}/2{\\mathbb Z})\\) for \\(d=1\\)) such that \\(\\text{Res}_{k(Q)/k}(e_{d,Q}(h))=e_d(q_{h_{k(Q)}})\\). Together with \\(e_{0,Q}(h)=\\dim q_{h_{k(Q)}}\\bmod 4\\in {\\mathbb Z}/4{\\mathbb Z}\\), this now yields a complete set of cohomological invariants, i.e., \\(h\\) is hyperbolic iff \\(e_{n,Q}(h)=0\\) for all \\(n\\geq 0\\).  The author also shows that the invariants \\(e_{n,Q}\\) for \\(1\\leq n\\leq 3\\) correspond to analogues of the discriminant \\((n=1)\\), the Clifford invariant (\\(n=2\\)), and the Rost invariant (\\(n=3\\)) as previously defined for hermitian forms. As an application, it is shown that over fields of \\(2\\)-cohomological dimension at most \\(3\\), skew-hermitian forms over quaternion algebras with canonical involution are classified by their rank, discriminant, Clifford invariant and Rost invariant.","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$BF0D7A61-6C8E-44F5-A539-3112650244F8","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":"Q884665$15CC0A80-DB9B-478F-9487-427C3EE63DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13ef8187a011f42cc6b77fd8b3c722c78fee8b0e","datavalue":{"value":"11E39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$D17F4243-5AFF-4D08-8F35-D92BA98DFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$9C8D360D-0DAF-4D1C-9EA2-FAA369F6F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c92381e539112a9b32831187109bce44cd9d507a","datavalue":{"value":"11E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$1BFCFBF8-5C69-44E1-9C11-EE823F8253F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$B332E8C9-2506-4E3E-B381-359D31958EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2433877086b958f0e60fc6faacb6ea264a8c1204","datavalue":{"value":"12G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$E98AC64D-490F-4D5F-8354-4FD825468A5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"540a91bf59a5108b71792ec0b6cb5bf1ca93a219","datavalue":{"value":"5162049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$F155B4E6-6718-40F4-96FB-A68883018BC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf0543fcce619bfc3cf179d5ae24972eae31b24","datavalue":{"value":"quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$D744822F-5E34-4C34-A61C-51D2E43FD0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1ec15f0e776bec50ef6c6b86e99d259c9defb45","datavalue":{"value":"skew-hermitian form","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$0226E803-AE9E-48EB-B97E-91586964777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f6391ce037b7e97d9e47ff8ff2c68b18e74789","datavalue":{"value":"quaternion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$CAE542B8-4CAF-44FB-991C-B664CEE3D07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c84a37522c4b2348089fa82eb7fe34d36063351","datavalue":{"value":"involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$7864BFC8-205B-4759-8736-F581187C77CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34bf1dc907aa39275e4d07594fdc610b6d36c023","datavalue":{"value":"cohomological invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$2D09B6C0-1034-4C8B-9155-D91D8550B534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7063c41242828af442f4f80e81d906e3906e3276","datavalue":{"value":"discriminant","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$94DAC640-F2D9-4F3A-9A32-BA41559EF484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ae39a1c0262fedd38d382486ab130ddbc9115d","datavalue":{"value":"Clifford invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$279A5727-3E8C-45B9-A529-91C4D5729AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576af16c61ee6419177cae2510f9aa6bd4113792","datavalue":{"value":"Rost invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$B1A6F7F8-2399-4F8C-8436-037C28D089A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9adf4b19582e91b5288c5c9bc6dd35c29aef24","datavalue":{"value":"unramified cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q884665$C9D9BD89-1D88-42B4-8D8A-D2A316763898","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":"Q884665$E5DA0F35-FDFF-4EC3-AD93-8C123AB2C7AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6b125488701bb214f5ba4da1016d3f6fbd09a40","datavalue":{"value":"https://doi.org/10.1007/s00013-006-2001-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q884665$76C2E83A-9B13-4F07-A6EA-57EF9BC9BA92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1041ed94f33af70ac0fd15c1350fcb8dfbbfe7f3","datavalue":{"value":"W2122337041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$749683B1-D172-4D6D-9D88-63A9D4058A44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e604897c34e0d6fd0764cfd26f7451ef84058e05","datavalue":{"value":"10.1007/S00013-006-2001-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884665$A9A496C6-A3B8-4886-99E2-3ADC154BE1FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ba709b2ce57e1c24af08957d7c580e8ceaa945","datavalue":{"value":{"entity-type":"item","numeric-id":961985,"id":"Q961985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4209cd09577efb206fa442e31c40b1146b1c1e","datavalue":{"value":{"amount":"+0.7812857627868652","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":"Q884665$17DC789B-50DF-483D-8191-CBE0EC6C71CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb10092515eb852118b7e45d6b3e347ad1f636e","datavalue":{"value":{"entity-type":"item","numeric-id":4681535,"id":"Q4681535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ab7cbe5fc11cf833c03737cf731b317647866c","datavalue":{"value":{"amount":"+0.7715497016906738","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":"Q884665$9D5FE625-9308-4E9E-8096-5E3DF27367DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76421d19ae1550db219581de7f231cd3c41c9ff","datavalue":{"value":{"entity-type":"item","numeric-id":5173072,"id":"Q5173072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb707a382bbf047743ad7756a0043ea64d5b1561","datavalue":{"value":{"amount":"+0.7658776640892029","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":"Q884665$F34DF23A-F886-446E-B9DB-78CDFB7A4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f143262af84424dcda741bebdb6cd21be620dd","datavalue":{"value":{"entity-type":"item","numeric-id":971859,"id":"Q971859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12e1d2488c8615b5dbfbff97b32fed6ba79b642","datavalue":{"value":{"amount":"+0.7591822743415833","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":"Q884665$16B19DA9-FB60-4FD5-BB23-AC1885E648A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a335714cbb4ceecdb9719ef5fa72c0e4e6eccdb","datavalue":{"value":{"entity-type":"item","numeric-id":5949810,"id":"Q5949810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f04afecc01174b66d9b996cdea45b9f665a2722","datavalue":{"value":{"amount":"+0.7588205933570862","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":"Q884665$6036C3BF-F176-459A-B6EC-4DAB0F92C5D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cohomological invariants of quaternionic skew-hermitian forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cohomological_invariants_of_quaternionic_skew-hermitian_forms"}}}}}