{"entities":{"Q1958996":{"pageid":1969738,"ns":120,"title":"Item:Q1958996","lastrevid":57632385,"modified":"2026-03-31T16:58:07Z","type":"item","id":"Q1958996","labels":{"en":{"language":"en","value":"Genericity of nondegenerate geodesics with general boundary conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794091"}},"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":"Q1958996$558B89DD-4A4E-456D-A803-13C2F85FB5FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ab6a7a56aba9b5364a10366275e84b7929b05d","datavalue":{"value":{"text":"Genericity of nondegenerate geodesics with general boundary conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1958996$001E8D2B-FF01-4C5E-A672-30F971CA9207","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c70dfb4ce349dcd9e2b7977895a5afdfdb650b4e","datavalue":{"value":"1213.58012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958996$D3019DD2-C186-4607-97B7-185C193B4216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae10ec44720a953a4040e7b6650af59513d6a18","datavalue":{"value":{"entity-type":"item","numeric-id":353115,"id":"Q353115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958996$436670C2-F984-4D7B-A5A9-312FFEBF721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"926d54bad0ccee9710c0eabd62624ca3dcf1c3e4","datavalue":{"value":{"entity-type":"item","numeric-id":244573,"id":"Q244573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958996$2E3805FE-403A-4C2C-978E-139BE5E5A7B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01eb2c5e259132ef0dfbc372164f95043947edb0","datavalue":{"value":{"entity-type":"item","numeric-id":172113,"id":"Q172113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958996$1924EF76-5DDF-47B9-B357-49FDA6C93588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1958996$208D4E3E-12F6-4661-AC7C-5EB7CA2F869A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6a905183c1a094a65ea677f09ff974fb02eea1b","datavalue":{"value":"https://arxiv.org/abs/0910.4175","type":"string"},"datatype":"url"},"type":"statement","id":"Q1958996$91DCDFF8-0CD2-4278-B387-472BCB2B18A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7bdc7ab53084883b2f0afff5207066e5523d724","datavalue":{"value":"Let \\(M\\) be a possibly noncompact manifold of dimension \\(n\\). For each \\(\\nu\\in\\{0,\\dots,n\\}\\), consider the set \\(\\text{Met}_{\\nu}^{k}(M)\\) of all semi-Riemannian \\(C^{k}\\) metrics of index \\(\\nu\\), which is a subset of \\(\\Gamma_{\\text{sym}}^{k}(T^{*}M\\otimes T^{*}M)\\), the set of \\(C^{k}\\) sections \\(s\\) such that \\(s_{x}:T_{x}M\\times T_{x}M\\to\\mathbb R\\) is symmetric for all \\(x\\in M\\).   If \\(M\\) is compact, \\(\\Gamma_{\\text{sym}}^{k}(T^{*}M\\otimes T^{*}M)\\) has a natural Banach space structure, and \\(\\text{Met}_{\\nu}^{k}(M)\\) is an open subset. In order to endow the space of tensors over a noncompact manifold \\(M\\) with a Banach space structure the authors, consider a vector subspace \\(\\mathcal E\\) of \\(\\Gamma_{\\text{sym}}^{k}(T^{*}M\\otimes T^{*}M)\\), called a \\(C^{k}\\)-Whitney type Banach space of tensor fields over \\(M\\), satisfying the conditions: {\\parindent=6mm \\begin{itemize}\\item[(a)] \\(\\mathcal E\\) contains all tensor fields having compact support;  \\item[(b)] \\(\\mathcal E\\) is endowed with a Banach space norm \\(\\|\\cdot\\|_{\\mathcal E}\\) with the property that \\(\\|\\cdot\\|_{\\mathcal E}\\)-convergence of a sequence implies convergence in the weak Whitney \\(C^{k}\\)-topology.   \\end{itemize}} Using an auxiliary Riemannian metric \\(g_{\\text{R}}\\) on \\(M\\), it is possible to construct a \\(C^{k}\\)-Whitney type Banach space of tensors on \\(M\\). Such a space \\(\\mathcal E\\) will be fixed in the sequel. Let \\(\\mathcal A_{\\nu}\\subset\\mathcal E\\cap\\text{Met}_{\\nu}^{k}(M)\\) be an open subset of the intersection.   Let \\(\\mathcal M\\) be the product \\(M\\times M\\). For all semi-Riemannian metrics \\(g\\) on \\(M\\) define \\(\\bar g=g\\oplus(-g)\\) on \\(T\\mathcal M=TM\\oplus TM\\). For all submanifolds \\(\\mathcal P\\subset \\mathcal M\\), define \\(\\mathcal A_{\\nu,\\mathcal P}=\\{g\\in\\mathcal A_{\\nu}\\,:\\, \\mathcal P \\text{ is nondegenerate with respect to }\\bar g=g\\oplus(-g)\\}\\). If \\(\\mathcal P\\) is compact, then \\(\\mathcal A_{\\nu,\\mathcal P}\\) is open in \\(\\mathcal A_{\\nu}\\). A \\(\\nu\\)-general boundary condition on \\(M\\) is a compact submanifold \\(\\mathcal P\\subset M\\times M\\) such that \\(\\mathcal A_{\\nu,\\mathcal P}\\) is nonempty.  It is well-known that the set \\(H^{1}([0,1],M)\\) of all curves of Sobolev class \\(H^{1}\\) in \\(M\\) has a canonical Hilbert manifold structure. The subset  \\[ \\Omega_{\\mathcal P}(M)=\\{\\gamma\\in H^{1}([0,1],M)\\,:\\, (\\gamma(0),\\gamma(1))\\in\\mathcal P\\} \\]  is a submanifold of \\(H^{1}([0,1],M)\\). Fix \\(g\\in\\mathcal A_{\\nu,\\mathcal P}\\). A \\(g\\)-geodesic \\(\\gamma\\in\\Omega_{\\mathcal P}(M)\\) is a \\((g,\\mathcal P)\\)-geodesic if it satisfies \\((\\dot\\gamma(0),\\dot\\gamma(1))\\in (T_{(\\gamma(0),\\gamma(1))}\\mathcal P)^{\\perp}\\), where \\(\\perp\\) denotes orthogonality relative to \\(\\bar g\\).  A \\((g,\\mathcal P)\\)-geodesic \\(\\gamma\\) is a critical point of the generalized energy \\(C^{k}\\)-functional \\(f:\\mathcal A_{\\nu,\\mathcal P}\\times\\Omega_{\\mathcal P}(M)\\to\\mathbb R\\) defined by \\(f(g,\\gamma)=\\frac{1}{2}\\int_{0}^{1}g(\\dot\\gamma,\\dot\\gamma)\\,dt\\). A \\((g,\\mathcal P)\\)-geodesic is nondegenerate if it is a nondegenerate critical point of \\(f\\).  A \\(\\nu\\)-general boundary condition \\(\\mathcal P\\) is admissible if, for every \\(g_{0}\\in\\mathcal A_{\\nu,\\mathcal P}\\), there exists an open neighbourhood \\(\\mathcal V\\) of \\(g_{0}\\) in \\(\\mathcal A_{\\nu,\\mathcal P} \\) and \\(a>0\\), such that for all \\(g\\in\\mathcal V\\), an every \\((g,\\mathcal P)\\)-geodesic \\(\\gamma\\), the \\(g_{\\text{R}}\\)-length \\(L_{\\text{R}}(\\gamma)\\geq a\\).  With this definitions the main result of the paper is the following:  Theorem 5.10: Let \\(M\\) be a smooth \\(n\\)-dimensional manifold and \\(\\nu\\in\\{0,\\dots,n\\}\\) an index. Fix \\(\\mathcal E\\subset\\Gamma_{\\text{sym}}^{k}(T^{*}M\\otimes T^{* }M)\\) a \\(C^{k}\\)-Whitney type Banach space of tensor fields over \\(M\\) and \\(\\mathcal A_{\\nu}\\subset\\mathcal E\\cap\\text{Met}_{\\nu}^{k}(M)\\) an open subset. Consider \\(\\mathcal P\\) an admissible \\(\\nu\\)-general boundary condition. Then the following is a generic subset in \\(\\mathcal A_{\\nu,\\mathcal P}\\)  \\[ \\mathcal G_{\\mathcal P}(M)=\\{g\\in \\mathcal A_{\\nu,\\mathcal P}\\,:\\, \\text{ all } (g,\\mathcal P)\\text{-geodesics }\\gamma\\in\\Omega_{\\mathcal P}(M)\\text{ are nondegenerate}\\}. \\]  The paper ends with an extension of the above genericity in the \\(C^{\\infty}\\)-context. Renaming \\(\\mathcal A_{\\nu,\\mathcal P}\\) and \\(\\mathcal G_{\\mathcal P}(M)\\) as \\(\\mathcal A_{\\nu,\\mathcal P}^{k}\\) and \\(\\mathcal G_{\\mathcal P}^{k}(M)\\) to stress the dependence on \\(C^{k}\\)-regularity of tensor fields, the authors show that \\(\\mathcal G_{\\mathcal P}^{\\infty}(M):=\\bigcap_{k\\in\\mathbb N}\\mathcal G_{ \\mathcal P}^{k}(M)\\) is generic in \\(\\mathcal A_{\\nu,\\mathcal P}^{\\infty}=\\bigcap_{k\\in\\mathbb N}\\mathcal A_{\\nu,\\mathcal P}^{k}\\) in the \\(C^{\\infty}\\)-topology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958996$EDA3A8A6-8800-418B-ABC0-E9E0CE74CA88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b5ce133c9bbb306e64821391db9174d7567cf93","datavalue":{"value":{"entity-type":"item","numeric-id":1958995,"id":"Q1958995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958996$159F0301-C351-4603-962F-6656AF0FA058","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0608a4d4ef1c7e8f6f3ffaea50c8a1b75866f5","datavalue":{"value":"58E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958996$3ED67631-8356-498E-ADE1-3ACC910EA647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cba7ad267868666b1aee2992746bc16d7ac85340","datavalue":{"value":"53C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958996$A2BC9BEE-4A52-4999-AACD-07E1E2C98EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69bc43d6ffaa6f546a394f4ddf9e1d5081ec0ef2","datavalue":{"value":"57R70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958996$FF959193-AE48-4B7F-A1B4-9A778F10A38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4973e7e433540ca2865e9daaf9c967b9bda700f9","datavalue":{"value":"58D17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958996$1D2C369E-12BA-40D8-BAB8-20BE597FED0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d8bdd8fd7604a431ad385b5c055e8ce26a4cbb9","datavalue":{"value":"5794091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958996$5E4080A6-66E9-45A4-86A9-9E717184C8F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9acd55939c7b8013735f06c33ece8d376760ff","datavalue":{"value":"generic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958996$7946FCE3-256E-4B8D-B1EE-5E8A1856ACC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1953693c7147d6e1d9532b543573f564ac80eb","datavalue":{"value":"semi-Riemannian geodesic flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958996$53B1545F-DE44-40ED-B4A0-DB7CCBD37782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36231868b0c1289290c3789325eb7637eca8baf3","datavalue":{"value":"nondegenerate geodesics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958996$8688D93F-9D3B-462A-AA28-44FEFEBD9298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccaaa46d12310ecc13c208814aee5bd0e4fd2088","datavalue":{"value":"general endpoints conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958996$F704E9FD-949E-4E7E-8242-573ACB349BC6","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":"Q1958996$49A44560-87D4-440C-8190-83330AFE9A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee5ffbe3ac1eef5d94d515304ad531e943edc2e","datavalue":{"value":{"entity-type":"item","numeric-id":3395907,"id":"Q3395907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c5df2cd6081b4bf47f4c14ba470b936093839d","datavalue":{"value":{"amount":"+0.8435677886009216","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":"Q1958996$22DA026A-6D26-4652-8765-B9966CD335AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9783ddcf879894b7c18f6936b90188b5646a942","datavalue":{"value":{"entity-type":"item","numeric-id":5199342,"id":"Q5199342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0afefadd2db0b1611502d8a91daa526bc91340","datavalue":{"value":{"amount":"+0.7759712934494019","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":"Q1958996$B89D3D50-8AA2-4AB0-9051-27E1E8480660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3427f3081e65eb1f463cd4133cf6102f899f92a","datavalue":{"value":{"entity-type":"item","numeric-id":1328481,"id":"Q1328481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9339d4fcef0566fe03bb9b76236e85c4f173f8","datavalue":{"value":{"amount":"+0.7686181664466858","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":"Q1958996$B7A04171-F652-4C1A-B1BE-5C22D4F6F230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ae22e1278e7a96e54a8c7a5ab5b9ba183af81d","datavalue":{"value":{"entity-type":"item","numeric-id":1318122,"id":"Q1318122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f516edf04e484bfc02658d8c3902d7d879a773","datavalue":{"value":{"amount":"+0.751555860042572","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":"Q1958996$03BD51D5-37F8-4771-90C9-3CCA9AF21F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b5f9a98cebeb29ac9e1d727f75cae250fa21d9","datavalue":{"value":{"entity-type":"item","numeric-id":4320392,"id":"Q4320392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31a78b1d1ada765ee7123f27867cb7e8dbe5767","datavalue":{"value":{"amount":"+0.736150324344635","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":"Q1958996$0A8E5D2C-8D60-429E-BD68-3FC609DB3F57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1958996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1958996"}}}}}