{"entities":{"Q461294":{"pageid":463061,"ns":120,"title":"Item:Q461294","lastrevid":62004987,"modified":"2026-04-11T03:08:03Z","type":"item","id":"Q461294","labels":{"en":{"language":"en","value":"Hermitian categories, extension of scalars and systems of sesquilinear forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6353677"}},"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":"Q461294$9FFCB47C-9E80-4BF8-8565-0C71A9EA39C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcba332186acf6e2433c050619d4032f4692025d","datavalue":{"value":{"text":"Hermitian categories, extension of scalars and systems of sesquilinear forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q461294$6FADF200-CAD2-4335-AF3B-38850E749A6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6fb68d1551df3fe80e3514b028b998abd42fb05","datavalue":{"value":"1317.11036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q461294$10ADC531-AED1-42C3-829C-BCB7C688CDAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c04046371be3326c1c5478bcc83347513c2ecde1","datavalue":{"value":{"entity-type":"item","numeric-id":194711,"id":"Q194711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q461294$3F7477A2-22D3-4914-963E-D57C0CD8B2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b91058933d035cd637b1b95790c6569747a5fc6","datavalue":{"value":{"entity-type":"item","numeric-id":373871,"id":"Q373871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q461294$1E8B61CF-3B5A-4663-8161-A3668DF9532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28e89980415d3ebd91d5ad9a34eb4db9d19d94ed","datavalue":{"value":{"entity-type":"item","numeric-id":392435,"id":"Q392435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q461294$4D1C54C3-4862-4017-A657-365D5A193B33","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":"Q461294$968716CB-4067-4A50-A60A-30F7D01B69C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d8dd11abefcac9e8dab1e7b271e7d8b6f83d94b","datavalue":{"value":{"time":"+2014-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q461294$7536E3D8-FA48-484D-ADE6-2971BD6D014E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148c5f34cb146caf2df35e299bd9fa1abd8ef6d0","datavalue":{"value":"https://arxiv.org/abs/1304.6888","type":"string"},"datatype":"url"},"type":"statement","id":"Q461294$305966EA-0C8C-45E0-A596-A5113B826446","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49a29d11b997f2b783fb08e11787d00faaac88b6","datavalue":{"value":{"entity-type":"item","numeric-id":273870,"id":"Q273870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q461294$F0A5EB61-1D6F-435A-823F-AAEC96C0A8BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13ef8187a011f42cc6b77fd8b3c722c78fee8b0e","datavalue":{"value":"11E39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q461294$6DDC5BCB-676E-482B-8ABF-01A6260BDE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q461294$2D910AEC-21DC-439D-963A-EAAE0664247E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f4bdb237ddadc4face2c8b867ae8047adcb5a21","datavalue":{"value":"6353677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q461294$0FDB16DB-E182-4437-9866-4915CA90E5F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42cd6152362fd29bda9f27db5bf140f4a57685f2","datavalue":{"value":"sesquilinear forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$A534559B-8B68-424F-8498-7549A8238286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a43159d243c43b037eabf2e6e50af415892697","datavalue":{"value":"Hermitian forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$E8E4AF8B-EEEC-4952-B125-15E50460A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31fad9a3f0fae32ba90658b5021e141c5adff8ed","datavalue":{"value":"systems of sesquilinear forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$26D4F4A5-C911-43CB-B0E6-30E6AC4EFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c60867f4a13157c0cd62e9b6b8966425c95dbc7","datavalue":{"value":"Hermitian categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$71A8C53B-F394-49E2-AFC9-C5836257F0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e06620bfb5f2d200b9b8d75ae382a6e48c36a47","datavalue":{"value":"additive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$32D5A4E3-09C1-4D4A-86E8-E43A64A6FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d06570c029cbd1ed3dbe900c764043984b4796f","datavalue":{"value":"\\(K\\)-linear categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$F4A0D148-BE0B-41D8-AC76-15F3BA629B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684ca5de06e615f55926b9fe4bdc698b02c12464","datavalue":{"value":"Witt group","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$483671F1-1A49-4905-A242-E298777570D2","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":"Q461294$F01A785D-F8F5-4DA5-A790-F6A668947060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba9a0421fa0c2069340452f5bb7a92dd6a8c8f24","datavalue":{"value":"W3104854121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q461294$42B24A66-7DB9-433F-968A-D30AB902FF4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28898d81c509cd800e1d25aac890c71ac8a3cc52","datavalue":{"value":"10.2140/PJM.2014.270.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q461294$CC648910-065A-43A0-86CB-AF233FA9200B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57e22ca4cc4b2ae76b5c81f54b053f4b51e64cb0","datavalue":{"value":"Sesquilinear and Hermitian forms can, as in this paper, be studied through a category theoretical approach, using the notion of a \\textit{Hermitian category}. The latter is a triple \\((\\mathcal{C},\\ast,\\omega)\\) consisting of an additive category \\(\\mathcal{C}\\), a contravariant functor \\(\\ast: \\mathcal{C}\\to \\mathcal{C}\\) and a natural transformation \\(\\omega : \\mathrm{id}\\to \\ast\\ast\\) satisfying \\(\\omega_C^\\ast \\omega_{C^\\ast}=\\mathrm{id}_{C^\\ast}\\) for all \\(C\\in \\mathcal{C}\\). A \\textit{sesquilinear form} over \\((\\mathcal{C},\\ast,\\omega)\\) is a pair \\((C,s)\\) of an object of \\(\\mathcal{C}\\) and a morphism \\(s: C \\to C^\\ast\\). A sesquilinear form \\((C,s)\\) is called Hermitian (and unimodular), if \\(s=s^\\ast\\omega_C\\) (and these morphisms happen to be invertible).NEWLINENEWLINEThe most important example is formed by the Hermitian category associated to a ring with involution \\((A,\\sigma)\\), where \\(\\mathcal{C}\\) is the category of right \\(A\\)-modules and \\(\\ast\\) takes a right \\(A\\)-module to its dual. Here sesquilinear and (unimodular) Hermitian forms correspond to the classical notion.NEWLINENEWLINEThe first main result of the paper states that, for any Hermitian category \\((\\mathcal{C},\\ast,\\omega)\\), the category of sesquilinear forms is equivalent to the category of unimodular Hermitian forms over another Hermitian category \\(\\mathcal{C}'\\), called the \\textit{category of twisted double arrows} in \\(\\mathcal{C}\\). The latter Hermitian category is \\textit{reflexive}, i.e., the corresponding natural transformation \\(\\omega'\\) is a natural isomorphism. This extends a result from a paper from the first and third authors [J. Pure Appl. Math. 218, No. 3, 417--423 (2014; Zbl 1307.11046)], in which \\((\\mathcal{C},\\ast,\\omega)\\) comes from a ring with involution as above. This paper also served as a starting point for many other results of the present paper.NEWLINENEWLINEMoreover the above equivalence is extended to systems of sesquilinear forms \\((M,(s_i)_{i\\in I})\\). Here the forms in the system can be defined with respect to different Hermitian structures \\((\\ast_i, \\omega_i)\\) on the given additive category. This equivalence is then used to prove a Witt cancellation theorem and other results like Hasse principle, Springer theorem and some finiteness results for systems of sesquilinear forms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q461294$BBF875AA-98F1-4583-B2FD-CC028C407EC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d678512b63ccea8bd79df561d776d92c756da5","datavalue":{"value":{"entity-type":"item","numeric-id":1909570,"id":"Q1909570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba845e18e588d406e282b5ade743962dacdb257e","datavalue":{"value":{"amount":"+0.8230968713760376","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":"Q461294$FFECBD43-F325-46A4-8517-9C3FF2840A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01b2b4675ca194a38d4917502d48e5c97556d8a","datavalue":{"value":{"entity-type":"item","numeric-id":392436,"id":"Q392436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029b5bcda2048457516bdced94f928affd2fb970","datavalue":{"value":{"amount":"+0.7661945223808289","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":"Q461294$F60CCC11-48C4-4B94-9257-C272F53D1C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3177baa94ab9f8fd1851202854b88514b11e94a","datavalue":{"value":{"entity-type":"item","numeric-id":1303345,"id":"Q1303345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860e6ff03af7ecd4af9b418d3d5344fdaf12d00c","datavalue":{"value":{"amount":"+0.7611089944839478","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":"Q461294$E040AEDC-6A33-4C8B-809D-0EA460380EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e3267bba8d75b8e2ba39a4d9439e742ae5cd45","datavalue":{"value":{"entity-type":"item","numeric-id":1656220,"id":"Q1656220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb44a9bf66383feadd7301185f0a97f4a5e3d87d","datavalue":{"value":{"amount":"+0.7609238028526306","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":"Q461294$DA9E95D2-198E-433D-AF3E-CDE69B546271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3281fb8d55b659c153eddea838270c83aa80e912","datavalue":{"value":{"entity-type":"item","numeric-id":3748344,"id":"Q3748344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059b8316d254b9a80ee267d79ccbb11c948b63ff","datavalue":{"value":{"amount":"+0.7555675506591797","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":"Q461294$894CB582-931E-4270-8284-C7E50656C27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hermitian categories, extension of scalars and systems of sesquilinear forms","badges":[]}}}}}