{"title":"Intersection probabilities for flats in hyperbolic space","authors":"Ercan Sönmez, Panagiotis Spanos, Christoph Thäle","doi":"10.1016/j.aim.2025.110415","DOIUrl":null,"url":null,"abstract":"<div><div>Consider the <em>d</em>-dimensional hyperbolic space <span><math><msubsup><mrow><mi>M</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>d</mi></mrow></msubsup></math></span> of constant curvature <span><math><mi>K</mi><mo><</mo><mn>0</mn></math></span> and fix a point <em>o</em> playing the role of an origin. Let <strong>L</strong> be a uniform random <em>q</em>-dimensional totally geodesic submanifold (called <em>q</em>-flat) in <span><math><msubsup><mrow><mi>M</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>d</mi></mrow></msubsup></math></span> passing through <em>o</em> and, independently of <strong>L</strong>, let <strong>E</strong> be a random <span><math><mo>(</mo><mi>d</mi><mo>−</mo><mi>q</mi><mo>+</mo><mi>γ</mi><mo>)</mo></math></span>-flat in <span><math><msubsup><mrow><mi>M</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>d</mi></mrow></msubsup></math></span> which is uniformly distributed in the set of all <span><math><mo>(</mo><mi>d</mi><mo>−</mo><mi>q</mi><mo>+</mo><mi>γ</mi><mo>)</mo></math></span>-flats intersecting a hyperbolic ball of radius <span><math><mi>u</mi><mo>></mo><mn>0</mn></math></span> around <em>o</em>. We are interested in the distribution of the random <em>γ</em>-flat arising as the intersection of <strong>E</strong> with <strong>L</strong>. In contrast to the Euclidean case, the intersection <span><math><mi>E</mi><mo>∩</mo><mi>L</mi></math></span> can be empty with strictly positive probability. We determine this probability and the full distribution of <span><math><mi>E</mi><mo>∩</mo><mi>L</mi></math></span>. Thereby, we elucidate crucial differences to the Euclidean case. Moreover, we study the limiting behavior as <span><math><mi>d</mi><mo>↑</mo><mo>∞</mo></math></span> and also <span><math><mi>K</mi><mo>↑</mo><mn>0</mn></math></span>. Thereby we obtain a phase transition with three different phases which we completely characterize, including a critical phase with distinctive behavior and a phase recovering the Euclidean results. In the background are methods from hyperbolic integral geometry.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"479 ","pages":"Article 110415"},"PeriodicalIF":1.5000,"publicationDate":"2025-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0001870825003135","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Consider the d-dimensional hyperbolic space of constant curvature and fix a point o playing the role of an origin. Let L be a uniform random q-dimensional totally geodesic submanifold (called q-flat) in passing through o and, independently of L, let E be a random -flat in which is uniformly distributed in the set of all -flats intersecting a hyperbolic ball of radius around o. We are interested in the distribution of the random γ-flat arising as the intersection of E with L. In contrast to the Euclidean case, the intersection can be empty with strictly positive probability. We determine this probability and the full distribution of . Thereby, we elucidate crucial differences to the Euclidean case. Moreover, we study the limiting behavior as and also . Thereby we obtain a phase transition with three different phases which we completely characterize, including a critical phase with distinctive behavior and a phase recovering the Euclidean results. In the background are methods from hyperbolic integral geometry.
期刊介绍:
Emphasizing contributions that represent significant advances in all areas of pure mathematics, Advances in Mathematics provides research mathematicians with an effective medium for communicating important recent developments in their areas of specialization to colleagues and to scientists in related disciplines.