{"entities":{"Q864995":{"pageid":866843,"ns":120,"title":"Item:Q864995","lastrevid":64963266,"modified":"2026-04-11T23:24:18Z","type":"item","id":"Q864995","labels":{"en":{"language":"en","value":"The Grothendieck group of a quantum projective space bundle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5125381"}},"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":"Q864995$47051BA1-92F4-4B65-A5E5-C64FB2AE6853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"102825fbde81517a24e230f339b1177aadeda3c3","datavalue":{"value":{"text":"The Grothendieck group of a quantum projective space bundle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q864995$50EE4969-29AE-4ACC-A5D1-3C74EE7FB68F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"454a3df109627a22e7d41b3b189d0c4dc57b7b13","datavalue":{"value":"1114.14003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$00275DB5-B1BB-49EB-83FD-04E0CCAE4EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9b22ef46c7173d9669217ff4fd81690ff0f705","datavalue":{"value":{"entity-type":"item","numeric-id":284859,"id":"Q284859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$3673145E-747D-46EC-AEB1-7C8BB8CF6BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c434047318d34167bb68f7c283b871742657745d","datavalue":{"value":{"entity-type":"item","numeric-id":864994,"id":"Q864994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$6C0F48DF-B461-4B37-96B2-01F88908859F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$CD2155C2-355C-4F5F-BD3F-1255187DC182","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6774d6ab22787c63fbf9dfb9bb080cedf0202a59","datavalue":{"value":{"time":"+2007-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q864995$327D40DC-D43B-4629-B800-D2D2DBCAE633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"144717fb811a4722ecbd8e51c6e070b72b5bc412","datavalue":{"value":"https://arxiv.org/abs/math/0305276","type":"string"},"datatype":"url"},"type":"statement","id":"Q864995$80EA20C1-78A5-484D-B43C-7992BD503D6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"844f136c17c141e2ae3c3c184132bfc8bd38a680","datavalue":{"value":"A basic result in the \\(K\\)-theory of algebraic varieties is the computation of the \\(K\\)-groups for projective space bundles. In this article the authors compute \\(K_0\\) for non-commutative analogues of projective space bundles.   The motivation comes from the problem of classifying non-commutative surfaces. This is in its early stages, but the non-commutative analogues of ruled surfaces play a central role. An intersection theory is essential in this study, this can be developed by defining an intersection multiplicity as a bilinear \\(\\mathbb{Z}\\)-valued form, the Euler form, on the Grothendieck group of the surface. The authors give a formula for the Grothendieck group for quantum ruled surfaces, and this is used to show that the associated intersection theory gives natural analogues of the commutative results: If \\(X\\) is a smooth commutative projective curve and \\(f:\\mathbb{P}(\\mathcal{E})\\rightarrow X\\) a quantum ruled surface over \\(X\\), then the fibers do not meet and a section meets a fiber exactly once.   The last two sentences represent the main results of the article, but on the way getting there, a lot of other interesting results and theories appears.  First of all, the terminology and notation generalizes the commutative scheme theory: For abelian categories \\(L\\) and \\(K\\), the category \\(\\text{BIMOD}(K,L)\\) of weak \\(K\\)-\\(L\\)-bimodules is the opposite of the category of left exact functors \\(L\\to K.\\) If \\(\\mathcal F\\) is is a weak \\(K\\)-\\(L\\)-bimodule, the notation is \\(\\text{Hom}_L(\\mathcal F,-)\\) for the corresponding left exact functor. \\(\\mathcal F\\) is called a bimodule if \\(\\text{Hom}_L(\\mathcal F,-)\\) has a left adjoint, denoted \\(-\\otimes_K\\mathcal F.\\) This terminology leads to generalizations of algebras \\(A\\) as objects in \\(\\text{BIMOD}(K,K)\\), and an \\(A\\)-module as an element \\(M\\in K\\) together with a morphism \\(M\\otimes_K A\\rightarrow M\\) in \\(\\text{BIMOD}(\\text{Ab},K)\\) making the obvious diagrams commute.   A quasi-scheme \\(X\\) is then a Grothendieck category, called \\(X\\) when thought of as a geometric object, \\(\\text{Mod}X\\) when thought about as a category. The authors define graded \\(X\\)-modules and graded \\(X\\)-algebras, leading directly to the quasi-scheme \\(\\text{Proj}_{\\text{nc}}A=\\text{GrMod}A/ \\text{Tors}A\\). Then definitions of \\(\\mathcal{O}_X\\)-bimodule algebras follows, and finally the definition of the analogue of a \\(\\mathbb{P}^n\\)-bundle over a scheme \\(X\\), the quantum \\(\\mathbb{P}^n\\)-bundles.   This last definition makes the study of quantum ruled surfaces possible, leading up to the main results mentioned earlier. The sections of the rest of the article are ``Connected graded algebras over a quasi-scheme'' including a nice generalization of Nakayama's lemma, ``Flat connected graded \\(X\\)-algebras'', ``Grothendieck groups'' including the explicit expressions of the \\(K_0\\)-groups, and finally ``Applications to quantum projective space bundles over a commutative scheme'' defining the intersection theory and proving its main results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q864995$638687B3-A80F-4572-A3C7-862CB6E57C24","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"15e8132d5208c80254329aabe9cd99f2be445217","datavalue":{"value":{"entity-type":"item","numeric-id":209624,"id":"Q209624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$4A40E953-7B49-47B7-8978-542C29D32F40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb826c1697b897b59d341e39765fd806963eea19","datavalue":{"value":"14A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$7806D509-63A7-44E1-BDC3-06C558FCEF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65e0d1a695ac653af4127479cfdcfa876a4303fc","datavalue":{"value":"14C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$18B53031-6518-45E2-95A3-D6D964C92238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41aee48f34312e78aac73945efaed2ea3ce56017","datavalue":{"value":"19E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$1D727285-CB05-4B5E-A864-0BA963901381","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcc755003e74571d14a4c5af659bf5882fe985f8","datavalue":{"value":"5125381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$44766C9E-B54D-4795-8EE0-BD2B4C694557","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0a236b34b85c0b2a48b637b9e81b45bad6062a2","datavalue":{"value":"non-commutative surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q864995$3036A001-FA3B-46C1-A53A-DE440BE6C546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"296a2368e0cbda11c18e6ddc8b73f88b0cfd7c1a","datavalue":{"value":"noncommutative bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q864995$77794AF0-E9C1-41AE-B412-25454FB33596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d189d206d65757fc25e51c74c89670dcf24e61","datavalue":{"value":"intersection theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q864995$D51E9E21-6FCB-4D22-B087-C8ABA5674873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551f6f80c2f822b2da86699d45caba402bd77106","datavalue":{"value":"Grothendieck group","type":"string"},"datatype":"string"},"type":"statement","id":"Q864995$F0A0A0BD-0690-448D-8174-BFD9DE44ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e8933f538d781c899d7d68d4625612b9066d3ce","datavalue":{"value":"noncommutative algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q864995$A0541AA6-B2F7-4498-94F5-43AFAA1ECF40","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":"Q864995$509CFF2E-D5C0-4826-9F4C-1FD7F97D24E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e4f30bc7cafe2a2142a34e5520fa8fe8ac71755","datavalue":{"value":"W2019487252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$8CCCFE4E-EB12-4394-B01C-207A3FB6281B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ff806455424a7ffcb1e7cbd96cfa17ac5af468","datavalue":{"value":{"entity-type":"item","numeric-id":4357492,"id":"Q4357492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$F08E6A64-CAA7-47F1-84E3-1D94DD62A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$C3382873-99CC-49EE-9334-6A0B6BBFCD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62996cc7b6c63869b678f846b050a47db3ff3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4508146,"id":"Q4508146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$8C8F9339-05C3-428A-BB32-2D9062E0413E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a2c4eee6ba0ff79fc08afdfa5db45ee0471e55","datavalue":{"value":{"entity-type":"item","numeric-id":5602610,"id":"Q5602610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$B9466CEE-1EB4-4274-825D-6C945936DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85368157852573608a218ecf7cf0e7f81210862c","datavalue":{"value":{"entity-type":"item","numeric-id":5931437,"id":"Q5931437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$9C8FE0A3-DB86-4799-A253-52E4A180F5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a5c34d610353703e6625cb7c84cd43ef0333e99","datavalue":{"value":{"entity-type":"item","numeric-id":3155963,"id":"Q3155963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$D1BA20C1-2DE3-4311-9AFB-B3F53E2D608A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78b4d96cdd824271ae531d7f7228f0ad7400d93","datavalue":{"value":{"entity-type":"item","numeric-id":1879653,"id":"Q1879653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$52E02F5D-133C-44BC-BF2D-BF20FC70734E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfb82c6fbde1c383c86c596bccbe6da8007a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4043211,"id":"Q4043211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$7CF938E4-FC27-4A6C-ABCD-11A8A94D8E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a197015d383e7b0dd5072c03c651443d0c03a6","datavalue":{"value":{"entity-type":"item","numeric-id":4850053,"id":"Q4850053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$B06512A0-94FE-45D8-94AE-6B21AD8021B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d1136ca538e923943b5fb52ca2195162e94468","datavalue":{"value":{"entity-type":"item","numeric-id":1922890,"id":"Q1922890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$A47C0703-3D74-43AB-9746-A5352A880378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4404689d2dcf7051fc1ecfd57ba6fc8ea9f6d030","datavalue":{"value":{"entity-type":"item","numeric-id":2755132,"id":"Q2755132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$6FAFCFA1-2F05-4800-B7D8-9856F20831B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6818154b24746d09ddb176c0809a0854abaa1eca","datavalue":{"value":{"entity-type":"item","numeric-id":2844839,"id":"Q2844839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864995$E2853AB9-692F-4D27-95A8-EBBCBFF086CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abdb6d6da3916e4e362f0d821c9e981958c95d6","datavalue":{"value":"10.1007/S10977-006-0020-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864995$3F7D6D54-E0F2-4588-8DE4-0D58E25DC5EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf4c703e168b28f5542a6e804d2e78a415e3cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2371810,"id":"Q2371810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92271593adceb56eafdec55be2dd27a03c663cc2","datavalue":{"value":{"amount":"+0.7765262722969055","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":"Q864995$F839850C-A4E9-4F3B-988B-E6863E1DF9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391233a44411997cca3a85ad2b599a367ae63cd","datavalue":{"value":{"entity-type":"item","numeric-id":2988754,"id":"Q2988754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ccf8369e54b1548aaa5180cf5000d18b8c29fb","datavalue":{"value":{"amount":"+0.7754335999488831","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":"Q864995$61CEB3F4-55D6-4498-89E2-11A03133A1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56a835de65e9eeafcb5b1eb4cb3d02368f5f0d4","datavalue":{"value":{"entity-type":"item","numeric-id":4373604,"id":"Q4373604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e707e59b2e55ae2bab776cd111d188dc45efc3ec","datavalue":{"value":{"amount":"+0.765903115272522","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":"Q864995$EADC2EB8-29DB-4AB0-BEB1-3F4ECE1E96DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b584d4ce927a0c065c110dac62eb54adbce80edb","datavalue":{"value":{"entity-type":"item","numeric-id":1711399,"id":"Q1711399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e707e59b2e55ae2bab776cd111d188dc45efc3ec","datavalue":{"value":{"amount":"+0.765903115272522","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":"Q864995$D0F7D407-0DC5-4BAF-A20F-51CD94E32379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d534541a92a7481fc0cb24eb60d8b07a068868","datavalue":{"value":{"entity-type":"item","numeric-id":2255066,"id":"Q2255066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716929d3d802acad26e8157222117646ca93c663","datavalue":{"value":{"amount":"+0.7629615068435669","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":"Q864995$1D012068-623D-4FBD-A064-8AD91B012564","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Grothendieck group of a quantum projective space bundle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Grothendieck_group_of_a_quantum_projective_space_bundle"}}}}}