{"entities":{"Q968612":{"pageid":970460,"ns":120,"title":"Item:Q968612","lastrevid":65815479,"modified":"2026-04-12T05:33:45Z","type":"item","id":"Q968612","labels":{"en":{"language":"en","value":"Witt groups of Hermitian forms over a Brauer-Severi variety"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5704136"}},"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":"Q968612$475A48C7-9EA4-4B61-8264-8DABAB735758","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e2bf2faa421fabdd18be13949f632d1ffe52579","datavalue":{"value":{"text":"Witt groups of Hermitian forms over a Brauer-Severi variety","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968612$EF902702-D842-4809-9A11-BD85DDB8F3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdd9a9e8bf7036721f11c4e119ab8b79f96b3d55","datavalue":{"value":"1201.11043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$9A3730AB-6D66-4DC5-9FD2-5E5C97BB9336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968612$8EF059CC-4646-427E-940D-BF3821D3106B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968612$8922CCCD-E5F7-4DF4-84E8-C1C0B7283DFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae8241d959835c8cbd98756b01afe11ac389f8f0","datavalue":{"value":"Let \\(k\\) be a field with \\(\\text{char}\\,k \\neq 2\\), let \\(X\\) be a scheme such that \\(2 \\in H^0(X, {\\mathcal O}_X^*)\\), and let \\({\\mathcal A}\\) be an algebra over the scheme \\(X\\) with a \\({\\mathcal O}_X\\)-linear involution \\(\\sigma\\) (here an \\({\\mathcal O}_X\\)-algebra is always assumed to be an associative \\({\\mathcal O}_X\\)-algebra that is unital and locally free of finite constant rank as an \\({\\mathcal O}_X\\)-module). For a given locally free \\({\\mathcal A}\\)-module \\({\\mathcal M}\\) of constant finite rank, denote by \\(\\{\\text{Ext}^i({\\mathcal M}, \\cdot)\\}\\) the right derived functor of the group of \\({\\mathcal A}\\)-module homomorphisms \\({\\mathcal H}om_{\\mathcal A}({\\mathcal M}, \\cdot)\\), that is a universal contravariant \\(\\delta\\)-functor from locally free right \\({\\mathcal A}\\)-modules of constant finite rank to abelian groups.   In the paper under review the author starts with proving the following theorem: If \\(({\\mathcal G}, b)\\) is a hermitian space over \\({\\mathcal A}\\), if \\(0 \\rightarrow {\\mathcal N} \\overset{\\iota}{\\rightarrow} {\\mathcal B} \\overset{\\pi}{\\rightarrow} {\\mathcal G} \\rightarrow 0\\) is a short exact sequence of locally free right \\({\\mathcal A}\\)-modules of constant finite rank, and if \\(\\text{Ext}^1({\\mathcal N}^*, {\\mathcal N}) = \\text{Ext}^2({\\mathcal N}^*, {\\mathcal N}) = 0\\), then there exist a hermitian space \\(({\\mathcal M}, h)\\) and identifications of \\({\\mathcal N}\\) and \\({\\mathcal B}\\) in \\({\\mathcal M}\\) such that \\({\\mathcal B} = {\\mathcal N}^{\\perp}\\) in \\(({\\mathcal M}, h)\\) and \\(({\\mathcal G}, b) \\cong (\\overline{{\\mathcal M}}, \\overline{h})\\), where \\(\\overline{{\\mathcal M}} = {\\mathcal N}^{\\perp}/{\\mathcal N}\\), and \\(\\overline{h}\\) is uniquely determined by \\(\\iota^* \\circ h \\circ \\iota = \\pi^* \\circ \\overline{h} \\circ \\pi\\). This generalizes a result previously proven by \\textit{J. Arason} [Math. Ann. 253, No. 3, 205--212 (1980; Zbl 0431.10011)] for symmetric bilinear spaces over schemes.   Secondly, let \\(D\\) be a division algebra over \\(k\\), let \\(X = {\\mathbb P}^n_k\\), let \\({\\mathcal D} = D \\otimes_k {\\mathcal O}_X\\), and, for a locally free right \\({\\mathcal D}\\)-module \\({\\mathcal E}\\) and \\(m \\in {\\mathbb Z}\\), denote \\({\\mathcal E}(m) = {\\mathcal O}_X(m) \\otimes_{{\\mathcal O}_X} {\\mathcal E}\\) and \\(\\text{Ext}^ i({\\mathcal D}, {\\mathcal E}(*)) = \\bigoplus_{j \\in {\\mathbb Z}} \\text{Ext}^i({\\mathcal D}, {\\mathcal E}(j))\\), for integers \\(j \\geq 0\\). The author then proves that a locally free right \\({\\mathcal D}\\)-module \\({\\mathcal E}\\) satisfies \\({\\mathcal E} \\cong {\\mathcal D}(m_1) \\oplus \\ldots \\oplus {\\mathcal D} (m_t)\\) if and only if \\(\\text{Ext}^i({\\mathcal D}, {\\mathcal E}(*)) = 0\\) for \\(i \\in {\\mathbb Z}\\) and \\(0 < i < n\\). This generalizes the classical Horrock's theorem as stated in [\\textit{W. Barth} and \\textit{K. Hulek}, Manuscr. Math. 25, No. 4, 323--347 (1978; Zbl 0395.14007)]. These two theorems, along with some additional observations on extension groups, are used to prove the main result of the paper:   Let \\(k_s\\) denote a separable closure of \\(k\\), let \\(X\\) be a Brauer-Severi variety with the structure morphism \\(\\tau: X \\rightarrow \\text{Spec}(k)\\), let \\(l/k\\) be a separable extension with a \\(k\\)-linear involution \\(\\sigma\\), let \\(Y = X \\times_k l\\) and \\(X_s = X \\times_k k_s \\cong {\\mathbb P}_{k_s}^{n-1}\\). If \\(X = {\\mathbb P}_k^{n-1}\\), then the canonical group homomorphism \\(U_{\\tau}: W^1(l) \\rightarrow W^1(l \\otimes_k {\\mathcal O}_X)\\) is surjective.   Again, this generalizes a result previously proven by \\textit{J. Arason} [loc. cit.] for symmetric bilinear spaces over schemes. The proof essentially follows the method from \\textit{S. Pumpl\u00fcn} [Manuscr. Math. 97, No. 1, 93--108 (1998; Zbl 0924.14008)] and \\textit{J. Arason} [loc. cit.] where killing of cohomology groups and Horrock's theorem are used to reduce to the case of direct sum of line bundles; here killing of cohomology groups corresponds to the aforementioned results on extension groups, and the generalized version of Horrock's theorem is applied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q968612$92AA35DA-A17C-4FA5-B1C7-86E2896AB07A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$27F2123C-47C1-4C39-A100-82EC2F8B0A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$543F67F0-442D-404F-90AC-F8590CA459A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27cd5cf76bb3bd6c998e45e64b7f0865e17d5bb8","datavalue":{"value":"19G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$ED4B82B7-1639-4416-A64D-3B8BDEB026FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be0452b223cfb748b8471cf6e7003149dfe83de9","datavalue":{"value":"5704136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$88B52A6D-0232-4780-8267-5B872415014C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684ca5de06e615f55926b9fe4bdc698b02c12464","datavalue":{"value":"Witt group","type":"string"},"datatype":"string"},"type":"statement","id":"Q968612$3B2CC361-290D-4B1A-BCB4-AB8707560205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a43159d243c43b037eabf2e6e50af415892697","datavalue":{"value":"Hermitian forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q968612$7522956D-D6BD-4BC9-AE50-898EAF4A4058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ed59f764be92f2df515b7f2e3f1d438c5f8dd2","datavalue":{"value":"Brauer-Severi variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q968612$C8678C77-0F8F-4DBB-AB99-0BB0FA8BC45B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2958fa71d487999c88f0b8ba7fc04d563f6a0592","datavalue":{"value":{"entity-type":"item","numeric-id":418439,"id":"Q418439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968612$CD043F8C-E733-46E1-9593-05954B8A641B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc0b369bc69d1f4123fe4b071275caf5e5e87dce","datavalue":{"value":{"entity-type":"item","numeric-id":448394,"id":"Q448394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968612$50ECAA55-1F4E-4272-815E-27B5BC7D8EA0","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":"Q968612$0A27241A-6533-402C-ACA8-E5698F3F1BCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"060b28cadaea82b948f9e0b723872a4b84278e45","datavalue":{"value":"https://doi.org/10.2140/pjm.2010.246.227","type":"string"},"datatype":"url"},"type":"statement","id":"Q968612$512EF278-C8C1-4B14-99FB-AC0D078A9B94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2a4427c0d1516481573c99da91af643386b0b39","datavalue":{"value":"W2072861888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$8DC60014-2A12-4F9B-B9AF-1C312480E962","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1327585815ac543271f81d4e45960975298457ea","datavalue":{"value":"10.2140/PJM.2010.246.227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968612$BC93095E-891C-484F-9220-6BC74CB89D2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c3a6515ff743072c590e9cab7eb4cd58aa64e","datavalue":{"value":{"entity-type":"item","numeric-id":1818750,"id":"Q1818750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad650a6b540d70f29b7a3684f93874c998710bd6","datavalue":{"value":{"amount":"+0.8363469839096069","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":"Q968612$C1E8649E-40C5-484D-AA5B-EA3BA4A58B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f09b8c097a8195484b1a3d4fa9b5ef5f06896de","datavalue":{"value":{"entity-type":"item","numeric-id":2708181,"id":"Q2708181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac83aab4631837ea58e846a2b6e88f8b1cf6c3a7","datavalue":{"value":{"amount":"+0.7678579092025757","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":"Q968612$AE510E0C-586F-4666-9479-99641319610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1276cc24a62b871d2b2e7ca8fe1a9816238bce0f","datavalue":{"value":{"entity-type":"item","numeric-id":4427531,"id":"Q4427531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad77bbda19619acc567cd6100b02cc24c3216641","datavalue":{"value":{"amount":"+0.7598180174827576","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":"Q968612$01EAC4D8-1AF6-4CAF-9D33-040745761465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3cbbd58db1461a94cc0b392fe59417a87fa849","datavalue":{"value":{"entity-type":"item","numeric-id":719674,"id":"Q719674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a427615f1e7a038b2e6cee21dcd24ed86a74472","datavalue":{"value":{"amount":"+0.7592383623123169","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":"Q968612$FC17BA03-D615-4602-8BED-522EF1470FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9748e288d89f3633f0aa905743cb1465ab54bf88","datavalue":{"value":{"entity-type":"item","numeric-id":3788084,"id":"Q3788084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89cc586e697e4d1c503bd9416c18b7763d67257","datavalue":{"value":{"amount":"+0.755702018737793","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":"Q968612$23F01310-C480-4808-AFC5-17B996E539A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Witt groups of Hermitian forms over a Brauer-Severi variety","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Witt_groups_of_Hermitian_forms_over_a_Brauer-Severi_variety"}}}}}