{"entities":{"Q882542":{"pageid":884390,"ns":120,"title":"Item:Q882542","lastrevid":65073720,"modified":"2026-04-12T00:08:04Z","type":"item","id":"Q882542","labels":{"en":{"language":"en","value":"Completeness and compactness for varieties over a local field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156718"}},"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":"Q882542$2B70F647-B4C0-4DD3-961C-7E3CA3044AD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5155182c7d91129a325045f006b5d536cb5dc848","datavalue":{"value":{"text":"Completeness and compactness for varieties over a local field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882542$55432F7E-CF72-4BCE-8E9A-2EE1619EB252","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d5a86b9e3a465c7b8bd7ed79e74a16d916f033","datavalue":{"value":"1163.14002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$A5BAD62C-242C-471A-A468-A15E6FCF8F34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db9c942443d24c2f578d035239baf92bf7fa7ff0","datavalue":{"value":{"entity-type":"item","numeric-id":391290,"id":"Q391290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882542$1C05BD08-7063-4566-970E-81B7E204E881","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":"Q882542$1C416060-6FBD-416B-8782-C42BDEB22FD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecce73f4884f6a2fe871988edb8b3687afc90a97","datavalue":{"value":{"time":"+2007-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882542$56851195-18A2-4B7B-9D3C-8D11F0C0D6F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0d3cb5c23eb4aacaa5937d8dcbaf934fe1b244f","datavalue":{"value":"https://arxiv.org/abs/math/0410346","type":"string"},"datatype":"url"},"type":"statement","id":"Q882542$882EA3C3-8EDF-4691-B324-E4EF86E50EFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7abc508e88547bad39976dca2485f944a4bb7d0a","datavalue":{"value":"Let \\(K\\) be a local field (i.e. topological field that is locally compact) and \\(k\\) be any subfield of \\(K\\). In this paper the author gives the characterization of completeness of arbitrary variety \\(X\\) defined over \\(k\\). This characterization is given in terms of strong compactness (i.e. compactness in the strong topology) of \\(X(K')\\), where \\(K'\\) goes over all finite field extensions of \\(K\\) and \\(X(K')\\) means the set of \\(K'\\)-rational points of \\(X\\). Namely, the author shows that \\(X\\) is complete if and only if \\(X(K)\\) is strongly compact for every finite extension \\(K'|K\\) of fields. As the author mentioned this result was know for the specialists, but in the literature there was a gap concerning the proof of the result.   The main tools of the proof are: Chow's Lemma, Implicit Function Theorem and the result of Nagata about embedding of variety in a complete one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q882542$32018D3A-5EE7-40C8-9EDD-4E8F624A11ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80e9dfaed82fe5f928b678d488a182694dc0d83","datavalue":{"value":{"entity-type":"item","numeric-id":876353,"id":"Q876353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882542$DB3F8B0E-BA29-415F-B743-0CC0D930E5CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"761024d34be2f704afd714dbab1ead3e4dd5efe7","datavalue":{"value":"14A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$13D8E7D5-3BBC-4DC9-9721-36A8F47D892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a34080d6e1d663615882ff871e04330e61f89ca9","datavalue":{"value":"14A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$307C8524-EA85-46C6-8328-10C393F2CA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fda67124f5cab049dd5667315a74bf87fdf7c975","datavalue":{"value":"11G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$F60E5F30-C13F-415C-840E-A54ACD25F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd029899168f4905895f56a378c394db3cd8ed62","datavalue":{"value":"14G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$0D96E9CA-A7F0-4298-A794-29130C74E646","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e6182464abe5a9c1a1568debf56a85b765e1bcc","datavalue":{"value":"5156718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$072A846F-284C-4B84-A9CA-37E89026312A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35db7aed26663c26f65ed3738d3fd883cf8319f0","datavalue":{"value":"complete variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q882542$CDABAFDB-5FF0-444A-84F4-5B0B47D32A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f598c111d19fc20e356d2b89ece51954ebe05e","datavalue":{"value":"local field","type":"string"},"datatype":"string"},"type":"statement","id":"Q882542$D5DC34CE-C57E-4DB5-94AC-B7D5246D3CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e09da450def71975f1974dba641ef20091a090","datavalue":{"value":"topological field","type":"string"},"datatype":"string"},"type":"statement","id":"Q882542$3BDF7DE0-20A5-49FF-84D9-D4088137E712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b20ed7bd8cdc1dd91a25f15249043861ea5b145","datavalue":{"value":"strong topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q882542$4171E04F-B9EF-40EA-839F-568C8A54E6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd12ed23062a45acdea81a54231a9c0aead39b5e","datavalue":{"value":"compact variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q882542$13D4052C-52CB-4609-9B6D-D8CB7B81B037","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":"Q882542$7B5B662D-8C1E-4B7A-B9C7-051C7C8A034B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aba451603a939f489df7efdf7be60f8104f6b22","datavalue":{"value":"W2050588186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$4A92CC7D-A20A-40CA-A6FA-A4B37668BDD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"833faa74551c321ece624d6d90850fa40f051bdb","datavalue":{"value":"10.1007/S00013-006-1987-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882542$A05D3C91-ACC7-4775-9015-AD635FF8BA4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0193db7ac12af4bebbabfc63c08c415581a303","datavalue":{"value":{"entity-type":"item","numeric-id":4870215,"id":"Q4870215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f674ce555f9a891d9103434b2a39254898b4eee4","datavalue":{"value":{"amount":"+0.6953657865524292","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":"Q882542$849DBE5E-2E46-4D3C-B9CB-28FB266B1563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c71537439949eca6be7f461fb0a4ea5a534def","datavalue":{"value":{"entity-type":"item","numeric-id":1701018,"id":"Q1701018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6e3a2c8da0d78e8ad3eb4100284a6fb45982c6","datavalue":{"value":{"amount":"+0.6934898495674133","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":"Q882542$7942A309-A129-4EAE-ABCF-A3181B15B04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb666dfc905154b635571f9ca0aa427a0262bab1","datavalue":{"value":{"entity-type":"item","numeric-id":3861511,"id":"Q3861511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705b5a6e80bf781c9b6b9292503ce779346a244b","datavalue":{"value":{"amount":"+0.693447470664978","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":"Q882542$1267F04C-8685-44F7-9807-AB1987D6D23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce52d58ab4cf0c6c01f94a9f878d2dbd2784c0e","datavalue":{"value":{"entity-type":"item","numeric-id":1279636,"id":"Q1279636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53860da6b1f85ae8413890cdd593cdccd82b58f2","datavalue":{"value":{"amount":"+0.6870201826095581","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":"Q882542$255155DC-A15A-4F0D-91E0-34ABCE7EC6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62e17393e770f5ccc79d67fba452254d9261ea2","datavalue":{"value":{"entity-type":"item","numeric-id":5201410,"id":"Q5201410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59f64fac06e9b0041e192fcda463ae9faf77633","datavalue":{"value":{"amount":"+0.678553581237793","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":"Q882542$9D5AED80-B845-4891-A026-F61548F30928","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882542$2F77A4D7-6D22-4C92-BADF-DDFAD106B61A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness and compactness for varieties over a local field","badges":[]}}}}}