{"entities":{"Q2851618":{"pageid":2862338,"ns":120,"title":"Item:Q2851618","lastrevid":58037526,"modified":"2026-04-03T13:35:12Z","type":"item","id":"Q2851618","labels":{"en":{"language":"en","value":"A general halfspace theorem for constant mean curvature surfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215452"}},"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":"Q2851618$BA68142A-D51A-4853-AB99-0792505965D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be84c393a96c7786765168fa858d3877cdb9911b","datavalue":{"value":{"text":"A general halfspace theorem for constant mean curvature surfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851618$22A5EF7A-2CF6-469B-8E9D-F743130957EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a3a87e87c44ab2269fc2a7ac9f420d0eab2aedd","datavalue":{"value":"1281.53060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851618$198C3EBA-A40D-48E5-8424-C6CD2A7173F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851618$3B7B9E23-A8F2-4CF7-A6FA-0EDDE0794487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab5f079f94fc59c25b32048756ea341b6c5fa759","datavalue":{"value":{"time":"+2013-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851618$91247AD2-9C41-49AA-9334-CBCD71C7938C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e155d3ef8349a4158993c42d6cc7eac482e5978c","datavalue":{"value":"https://arxiv.org/abs/1007.2559","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851618$22B4944D-228B-497B-9C59-0A7CAFF770F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad2bea194cb36f34b2e2a68830264ee529822587","datavalue":{"value":"53C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851618$94AE3CEC-F032-410A-AF5E-68284854FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc017709646ef16ca12bd1be91bc933686869604","datavalue":{"value":"53A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851618$276AF9E5-22EA-4753-9E30-7806B7630906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b32c341484526f7fd1750f51114af46cea5a4a1","datavalue":{"value":"6215452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851618$A218B18F-5632-4696-B27B-D99E73CDCE4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3346e5d304b3cbea0eaacc97d702446a531bd43b","datavalue":{"value":"halfspace theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$03D2EB1D-BA96-4B7B-975D-708C73C372E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f787fbe2b970c31c38fe9cd2c6109ff5c6125e","datavalue":{"value":"mean curvature","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$90AC6F3D-712D-4F1F-8D66-3D48EAA9CB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3625954f8ac45ec3bb15dbde6020bf1b89c3fc","datavalue":{"value":"immersion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$45DC258C-8EA0-4E9B-957B-937E5619FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163c26d41f6f21ed8139ece19c7da877a3dcc90d","datavalue":{"value":"stability operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$46981F96-A7F4-4A04-86DF-654A89482664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274d7f6368c68e89b207fac44b22a9312854a5a7","datavalue":{"value":"parabolic manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$E7B30BED-1BF0-48CB-A84F-0EB12122D210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b03ac65f258ddf346373267911b2025e99e9e8","datavalue":{"value":"equidistant surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$FEB584F5-5B03-430F-9069-0B82B3F5A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76726d43d2942ba152ddd89a349b56887908a7e","datavalue":{"value":"minimal surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$2B1A3B2D-E4A6-4A28-9C7A-87C29198512D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a382c529cb827f242374a5ecb9a0eeae0689058","datavalue":{"value":{"entity-type":"item","numeric-id":484261,"id":"Q484261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851618$E1183B12-F921-41A2-A674-99BF919FB951","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":"Q2851618$B0414F00-EC57-4221-B5DE-388AB88C3DE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89f05a502dbfefb033f0f207b410f57d7e783d2d","datavalue":{"value":"W2069507235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851618$2DDC212C-5343-492D-A91C-D2EA289F4898","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a7a91083575647298086e13356a31f70b71d36e","datavalue":{"value":"10.1353/AJM.2013.0027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851618$8E89C937-C9A4-409E-8809-B67B940256DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c6db5e890036e9b4c59d7a1c3dcdb67e8cc84fb","datavalue":{"value":"A surface \\(S\\) of constant mean curvature in a 3-dimensional Riemannian manifold \\(M\\) is called stable, if for every smooth function \\(u\\) with compact support on \\(S\\), NEWLINE\\[NEWLINE \\int_S \\|\\nabla u\\|^2-[2\\text{Ric}(\\vec{n},\\vec{n})+|A|^2]u^2\\geq 0,NEWLINE\\]NEWLINE where Ric denotes the Ricci tensor of \\(M\\), \\(\\vec{n}\\) a unit normal vector field to \\(S\\), and \\(|A|\\) the norm of the second fundamental form of \\(S\\). NEWLINENEWLINENEWLINEA continuous function \\(u\\) on a domain \\(\\Omega\\subseteq M\\) is called superharmonic, if for every domain \\(U\\subset\\Omega\\) which is relatively compact in \\(\\Omega\\), and for every harmonic function \\(v\\in C^2(U)\\cap C^0(\\overline{U})\\), \\(v|_{\\partial U}\\leq u|_{\\partial U}\\) implies \\(v\\leq u\\).NEWLINENEWLINEThe manifold \\(M\\) is called parabolic, if every bounded superharmonic function on \\(M\\) is constant. If \\(N\\) is a manifold with boundary, \\(N\\) is called parabolic at infinity, if every bounded non-positive superharmonic function \\(u\\) on \\(N\\) with \\(u|_{\\partial N}=0\\) is constant. NEWLINENEWLINENEWLINELet \\((\\Sigma, \\text{d}\\sigma_0^2)\\) be a 2-dimensional complete Riemannian manifold. The 3-dimensional manifold with boundary \\(M_+(\\varepsilon):=\\Sigma\\times[0, \\varepsilon]\\) \\((\\varepsilon>0)\\) with a Riemannian metric \\(\\text{d}s^2=\\text{d}\\sigma_t^2+\\text{d}t^2\\) \\((0\\leq t\\leq\\varepsilon)\\), \\(t\\mapsto\\text{d}\\sigma_t^2\\) being a smooth family of Riemannian metrics such that \\(\\text{d}s^2\\) is complete, is called outside \\(\\varepsilon\\)-half neighborhood of \\(\\Sigma\\). Analogously, \\(M_-(\\varepsilon):=\\Sigma\\times [-\\varepsilon,0]\\) is called inside \\(\\varepsilon\\)-half neighborhood of \\(\\Sigma\\).NEWLINENEWLINENEWLINELet \\(\\Sigma_t:=\\Sigma\\times\\{t\\}\\). \\(M_+(\\varepsilon)\\) is said to satisfy the \\(H\\leq H_0\\) hypothesis \\((H_0\\geq 0)\\), if for every \\(t\\in [0,\\varepsilon]\\) the mean curvature of \\(\\Sigma_t\\) is everywhere at most \\(H_0\\). \\(M_-(\\varepsilon)\\) is said to satisfy the \\(H\\geq H_0\\) hypothesis, if for every \\(t\\in [-\\varepsilon, 0]\\) the mean curvature of \\(\\Sigma_t\\) is everywhere at least \\(H_0\\).NEWLINENEWLINELet \\(\\pi_t:\\Sigma_t\\rightarrow\\Sigma\\) be the projection onto the first component. An (inside or outside) \\(\\varepsilon\\)-half neighborhood \\(M_\\pm(\\varepsilon)\\) of \\(\\Sigma\\) is called regular, if the following conditions are satisfied: NEWLINENEWLINENEWLINE(1) There exists \\(k\\geq 1\\) such that for every \\(t\\), \\(\\pi_t\\) is \\(k\\)-quasi-isometric (which means that the norms of \\(\\text{d}\\pi_t\\) and its inverse are everywhere bounded by \\(k\\)). NEWLINENEWLINENEWLINE(2) There exists \\(C>0\\) such that for every \\(t\\), the norm of the second fundamental form of \\(\\Sigma_t\\) is bounded by \\(C\\).NEWLINENEWLINENEWLINE(3) \\(M_\\pm(\\varepsilon)\\) is geometrically bounded. NEWLINENEWLINENEWLINEFinally, let \\(S\\) be a surface of constant mean curvature \\(H_0\\) \\((H_0\\geq 0)\\) in \\(M_\\pm(\\varepsilon)\\setminus\\Sigma_0\\) (more generally, \\(S\\) can be the image of an immersion into \\(M\\), a proper one as a mapping), \\(D\\) the connected component of \\(M_\\pm(\\varepsilon)\\setminus S\\) that contains \\(\\Sigma_0\\). \\(S\\) is said to be well oriented, if for every point in \\(S\\cap\\partial D\\) the mean curvature vector of \\(S\\) points into \\(D\\) (resp. not into \\(D\\)) in the case \\(S\\subset M_+(\\varepsilon)\\) (resp. \\(S\\subset M_-(\\varepsilon)\\)).NEWLINENEWLINENEWLINEAfter these preparations, the main theorem of the author is stated as follows.NEWLINENEWLINENEWLINELet \\((\\Sigma,\\text{d}\\sigma_0^2)\\) be a complete orientable parabolic 2-dimensional Riemannian manifold, \\(\\varepsilon>0\\) and \\(H_0\\geq 0\\). Let \\(S\\subset M_\\pm(\\varepsilon)\\setminus\\Sigma_0\\) be a surface of constant mean curvature \\(H_0\\) in the more general sense described above, which may have a boundary in \\(\\Sigma_\\varepsilon\\). It is assumed that \\(M_\\pm(\\varepsilon)\\) is regular.NEWLINENEWLINENEWLINE(1) If \\(S\\subset M_+(\\varepsilon)\\), \\(S\\) is well oriented and \\(M_+(\\varepsilon)\\) satisfies the \\(H\\leq H_0\\) hypothesis, then there exists \\(t\\in\\,]0,\\varepsilon]\\) such that \\(S\\subseteq\\Sigma_t\\).NEWLINENEWLINENEWLINE(2) If \\(S\\subset M_-(\\varepsilon)\\) and \\(M_-(\\varepsilon)\\) satisfies the \\(H\\geq H_0\\) hypothesis, then there exists \\(t\\in [-\\varepsilon,0[\\) such that \\(S\\subseteq\\Sigma_t\\).NEWLINENEWLINENEWLINEIn the last section of the article the author establishes an analogous result in the case where the ambient manifold is a Lie group with a left invariant Riemannian metric. He also presents some applications of it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851618$6E7FFAD1-4A1C-4A6F-B3D3-C25F43FB1B3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"61af414852cef5cf51f1154df6b7fec52c5d90ff","datavalue":{"value":{"entity-type":"item","numeric-id":539337,"id":"Q539337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851618$6A46ABB8-81A1-430B-98F2-EA5384448C99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52240a4b766d2bc49ca021d74db707c745779a5","datavalue":{"value":{"entity-type":"item","numeric-id":847761,"id":"Q847761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e6b9d3c0266741ac80468dfe59d18d3e8e059a","datavalue":{"value":{"amount":"+0.8725962042808533","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":"Q2851618$0E96F71A-52A2-4A75-8DA0-1B4006F38CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9d0c6ef229c6733edeb41606e3cfab982b1422","datavalue":{"value":{"entity-type":"item","numeric-id":3584018,"id":"Q3584018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052a49466c6a60ac374800c56c5a25dc1bd63ec9","datavalue":{"value":{"amount":"+0.8684531450271606","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":"Q2851618$59117650-BCAA-4E47-9BBE-897CBEAEC662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad375566f1ef39c18a03edb4aaa826ce946714b","datavalue":{"value":{"entity-type":"item","numeric-id":1288025,"id":"Q1288025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e71537812bbe543ef65ad4560a239976791743","datavalue":{"value":{"amount":"+0.8425678610801697","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":"Q2851618$7EF75BE4-C4D8-421E-9693-09A55E420F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcb38e5fce205bafb16a2fe0fc31266106fa09b","datavalue":{"value":{"entity-type":"item","numeric-id":6044144,"id":"Q6044144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf877ff48027bbe049df2ba34d0e823846819513","datavalue":{"value":{"amount":"+0.836216390132904","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":"Q2851618$EFC83B44-9B8A-44A8-9207-0A38BADBF735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bfa4cee758fdef914ba8da9399421b3e0866b0","datavalue":{"value":{"entity-type":"item","numeric-id":4211004,"id":"Q4211004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cb2176396c60e27c4679c17817b96c39a8bc24","datavalue":{"value":{"amount":"+0.826846182346344","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":"Q2851618$B1923921-232C-4725-9595-A362B6FD9DE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851618"}}}}}