Pub Date : 2024-01-30DOI: 10.1007/s10711-023-00874-z
Nicola Cavallucci, Andrea Sambusetti
We prove a quantitative version of the classical Tits’ alternative for discrete groups acting on packed Gromov-hyperbolic spaces supporting a convex geodesic bicombing. Some geometric consequences, as uniform estimates on systole, diastole, algebraic entropy and critical exponent of the groups, will be presented. Finally we will study the behaviour of these group actions under limits, providing new examples of compact classes of metric spaces.
{"title":"Discrete groups of packed, non-positively curved, Gromov hyperbolic metric spaces","authors":"Nicola Cavallucci, Andrea Sambusetti","doi":"10.1007/s10711-023-00874-z","DOIUrl":"https://doi.org/10.1007/s10711-023-00874-z","url":null,"abstract":"<p>We prove a quantitative version of the classical Tits’ alternative for discrete groups acting on packed Gromov-hyperbolic spaces supporting a convex geodesic bicombing. Some geometric consequences, as uniform estimates on systole, diastole, algebraic entropy and critical exponent of the groups, will be presented. Finally we will study the behaviour of these group actions under limits, providing new examples of compact classes of metric spaces.</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"11 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139644583","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-30DOI: 10.1007/s10711-023-00881-0
Merlin Incerti-Medici
We show that every cross ratio preserving homeomorphism between boundaries of Hadamard manifolds extends to a map, called circumcenter extension, provided that the manifolds satisfy certain visibility conditions. We describe regions on which this map is Hölder-continuous. Furthermore, we show that this map is a rough isometry, whenever the manifolds admit cocompact group actions by isometries and we improve previously known quasi-isometry constants, provided by Biswas, in the case of 2-dimensional (mathrm {CAT(-1)}) manifolds. Finally, we provide a sufficient condition for this map to be an isometry in the case of Hadamard surfaces.
{"title":"Circumcenter extension maps for non-positively curved spaces","authors":"Merlin Incerti-Medici","doi":"10.1007/s10711-023-00881-0","DOIUrl":"https://doi.org/10.1007/s10711-023-00881-0","url":null,"abstract":"<p>We show that every cross ratio preserving homeomorphism between boundaries of Hadamard manifolds extends to a map, called circumcenter extension, provided that the manifolds satisfy certain visibility conditions. We describe regions on which this map is Hölder-continuous. Furthermore, we show that this map is a rough isometry, whenever the manifolds admit cocompact group actions by isometries and we improve previously known quasi-isometry constants, provided by Biswas, in the case of 2-dimensional <span>(mathrm {CAT(-1)})</span> manifolds. Finally, we provide a sufficient condition for this map to be an isometry in the case of Hadamard surfaces.\u0000</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"5 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139644942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-30DOI: 10.1007/s10711-024-00884-5
Kyounghee Kim, Eric P. Klassen
This article develops a method to compute the action induced on the fundamental group by an automorphism of a real rational surface. Then, it uses this method to compute the induced actions for a certain family of basic quadratic real automorphisms. By utilizing an invariant set in the fundamental group, we introduce a method to estimate a lower bound of the action’s growth rate on the fundamental group. The growth rate of this induced action provides a lower bound for the entropy of the real surface automorphism. These calculations are carried out for an important family of real surface automorphisms, and new lower bounds are obtained for the entropy of these automorphisms.
{"title":"Entropy of real rational surface automorphisms: actions on the fundamental groups","authors":"Kyounghee Kim, Eric P. Klassen","doi":"10.1007/s10711-024-00884-5","DOIUrl":"https://doi.org/10.1007/s10711-024-00884-5","url":null,"abstract":"<p>This article develops a method to compute the action induced on the fundamental group by an automorphism of a real rational surface. Then, it uses this method to compute the induced actions for a certain family of basic quadratic real automorphisms. By utilizing an invariant set in the fundamental group, we introduce a method to estimate a lower bound of the action’s growth rate on the fundamental group. The growth rate of this induced action provides a lower bound for the entropy of the real surface automorphism. These calculations are carried out for an important family of real surface automorphisms, and new lower bounds are obtained for the entropy of these automorphisms.\u0000</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"67 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139644945","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-27DOI: 10.1007/s10711-023-00877-w
Talia Fernós, David Futer, Mark Hagen
A finite-dimensional CAT(0) cube complex X is equipped with several well-studied boundaries. These include the Tits boundary(partial _TX) (which depends on the CAT(0) metric), the Roller boundary({partial _R}X) (which depends only on the combinatorial structure), and the simplicial boundary(partial _triangle X) (which also depends only on the combinatorial structure). We use a partial order on a certain quotient of ({partial _R}X) to define a simplicial Roller boundary ({mathfrak {R}}_triangle X). Then, we show that (partial _TX), (partial _triangle X), and ({mathfrak {R}}_triangle X) are all homotopy equivalent, (text {Aut}(X))-equivariantly up to homotopy. As an application, we deduce that the perturbations of the CAT(0) metric introduced by Qing do not affect the equivariant homotopy type of the Tits boundary. Along the way, we develop a self-contained exposition providing a dictionary among different perspectives on cube complexes.
{"title":"Homotopy equivalent boundaries of cube complexes","authors":"Talia Fernós, David Futer, Mark Hagen","doi":"10.1007/s10711-023-00877-w","DOIUrl":"https://doi.org/10.1007/s10711-023-00877-w","url":null,"abstract":"<p>A finite-dimensional CAT(0) cube complex <i>X</i> is equipped with several well-studied boundaries. These include the <i>Tits boundary</i> <span>(partial _TX)</span> (which depends on the CAT(0) metric), the <i>Roller boundary</i> <span>({partial _R}X)</span> (which depends only on the combinatorial structure), and the <i>simplicial boundary</i> <span>(partial _triangle X)</span> (which also depends only on the combinatorial structure). We use a partial order on a certain quotient of <span>({partial _R}X)</span> to define a simplicial Roller boundary <span>({mathfrak {R}}_triangle X)</span>. Then, we show that <span>(partial _TX)</span>, <span>(partial _triangle X)</span>, and <span>({mathfrak {R}}_triangle X)</span> are all homotopy equivalent, <span>(text {Aut}(X))</span>-equivariantly up to homotopy. As an application, we deduce that the perturbations of the CAT(0) metric introduced by Qing do not affect the equivariant homotopy type of the Tits boundary. Along the way, we develop a self-contained exposition providing a dictionary among different perspectives on cube complexes.\u0000</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"28 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139582817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-27DOI: 10.1007/s10711-023-00883-y
Duc-Manh Nguyen, Vincent Koziarz
Let (mathbb {P}Omega ^dmathcal {M}_{0,n}(kappa )), where (kappa =(k_1,dots ,k_n)), be a stratum of (projectivized) d-differentials in genus 0. We prove a recursive formula which relates the volume of (mathbb {P}Omega ^dmathcal {M}_{0,n}(kappa )) to the volumes of other strata of lower dimensions in the case where none of the (k_i) is divisible by d. As an application, we give a new proof of the Kontsevich’s formula for the volumes of strata of quadratic differentials with simple poles and zeros of odd order, which was originally proved by Athreya–Eskin–Zorich. In another application, we show that up to some power of (pi ), the volume of the moduli spaces of flat metrics on the sphere with prescribed cone angles is a continuous piecewise polynomial with rational coefficients function of the angles, provided none of the angles is an integral multiple of (2pi ). This generalizes the results of Koziarz and Nguyen (Ann Sci l’Éc Normale Supér 51(6):1549–1597, 2018) and McMullen (Am J Math 139(1):261–291, 2017).
{"title":"Intersection theory and volumes of moduli spaces of flat metrics on the sphere","authors":"Duc-Manh Nguyen, Vincent Koziarz","doi":"10.1007/s10711-023-00883-y","DOIUrl":"https://doi.org/10.1007/s10711-023-00883-y","url":null,"abstract":"<p>Let <span>(mathbb {P}Omega ^dmathcal {M}_{0,n}(kappa ))</span>, where <span>(kappa =(k_1,dots ,k_n))</span>, be a stratum of (projectivized) <i>d</i>-differentials in genus 0. We prove a recursive formula which relates the volume of <span>(mathbb {P}Omega ^dmathcal {M}_{0,n}(kappa ))</span> to the volumes of other strata of lower dimensions in the case where none of the <span>(k_i)</span> is divisible by <i>d</i>. As an application, we give a new proof of the Kontsevich’s formula for the volumes of strata of quadratic differentials with simple poles and zeros of odd order, which was originally proved by Athreya–Eskin–Zorich. In another application, we show that up to some power of <span>(pi )</span>, the volume of the moduli spaces of flat metrics on the sphere with prescribed cone angles is a continuous piecewise polynomial with rational coefficients function of the angles, provided none of the angles is an integral multiple of <span>(2pi )</span>. This generalizes the results of Koziarz and Nguyen (Ann Sci l’Éc Normale Supér 51(6):1549–1597, 2018) and McMullen (Am J Math 139(1):261–291, 2017).\u0000</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"163 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139582919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-03DOI: 10.1007/s10711-023-00875-y
Brian Allen
In this paper we provide a way of taking (L^p), (p > frac{m}{2}) bounds on a (m-) dimensional Riemannian metric and transforming that into Hölder bounds for the corresponding distance function. One can think of this new estimate as a type of Morrey inequality for Riemannian manifolds where one thinks of a Riemannian metric as the gradient of the corresponding distance function so that the (L^p), (p > frac{m}{2}) bound analogously implies Hölder control on the distance function. This new estimate is then used to state a compactness theorem, another theorem which guarantees convergence to a particular Riemmanian manifold, and a new scalar torus stability result. We expect these results to be useful for proving geometric stability results in the presence of scalar curvature bounds when Gromov–Hausdorff convergence can be achieved.
{"title":"From $$L^p$$ bounds to Gromov–Hausdorff convergence of Riemannian manifolds","authors":"Brian Allen","doi":"10.1007/s10711-023-00875-y","DOIUrl":"https://doi.org/10.1007/s10711-023-00875-y","url":null,"abstract":"<p>In this paper we provide a way of taking <span>(L^p)</span>, <span>(p > frac{m}{2})</span> bounds on a <span>(m-)</span> dimensional Riemannian metric and transforming that into Hölder bounds for the corresponding distance function. One can think of this new estimate as a type of Morrey inequality for Riemannian manifolds where one thinks of a Riemannian metric as the gradient of the corresponding distance function so that the <span>(L^p)</span>, <span>(p > frac{m}{2})</span> bound analogously implies Hölder control on the distance function. This new estimate is then used to state a compactness theorem, another theorem which guarantees convergence to a particular Riemmanian manifold, and a new scalar torus stability result. We expect these results to be useful for proving geometric stability results in the presence of scalar curvature bounds when Gromov–Hausdorff convergence can be achieved.\u0000</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"22 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139082688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2024-09-30DOI: 10.1007/s10711-024-00954-8
Thomas A Ivey, Spiro Karigiannis
We consider the existence of cohomogeneity one solitons for the isometric flow of -structures on the following classes of torsion-free -manifolds: the Euclidean with its standard -structure, metric cylinders over Calabi-Yau 3-folds, metric cones over nearly Kähler 6-manifolds, and the Bryant-Salamon -manifolds. In all cases we establish existence of global solutions to the isometric soliton equations, and determine the asymptotic behaviour of the torsion. In particular, existence of shrinking isometric solitons on is proved, giving support to the likely existence of type I singularities for the isometric flow. In each case, the study of the soliton equation reduces to a particular nonlinear ODE with a regular singular point, for which we provide a careful analysis. Finally, to simplify the derivation of the relevant equations in each case, we first establish several useful Riemannian geometric formulas for a general class of cohomogeneity one metrics on total spaces of vector bundles which should have much wider application, as such metrics arise often as explicit examples of special holonomy metrics.
我们考虑了以下几类无扭转 G 2 -manifolds 上 G 2 -structures 等距流的同构一孤子的存在:欧几里得 R 7 及其标准 G 2 -structures 、Calabi-Yau 3-folds 上的度量圆柱体、近似 Kähler 6-manifolds 上的度量圆锥以及 Bryant-Salamon G 2 -manifolds 。在所有情况下,我们都确定了等距孤子方程全局解的存在性,并确定了扭转的渐近行为。特别是,我们证明了 R 7 上收缩等距孤子的存在性,为等距流可能存在 I 型奇点提供了支持。在每种情况下,对孤子方程的研究都简化为一个具有规则奇点的特殊非线性 ODE,我们对此进行了仔细分析。最后,为了简化每种情况下相关方程的推导,我们首先建立了几条有用的黎曼几何公式,用于向量束总空间上的一类同质性一度量,这些公式的应用范围应该更广,因为这类度量经常作为特殊全局度量的明确例子出现。
{"title":"<ArticleTitle xmlns:ns0=\"http://www.w3.org/1998/Math/MathML\">Cohomogeneity one solitons for the isometric flow of <ns0:math><ns0:msub><ns0:mtext>G</ns0:mtext> <ns0:mn>2</ns0:mn></ns0:msub> </ns0:math> -structures.","authors":"Thomas A Ivey, Spiro Karigiannis","doi":"10.1007/s10711-024-00954-8","DOIUrl":"https://doi.org/10.1007/s10711-024-00954-8","url":null,"abstract":"<p><p>We consider the existence of cohomogeneity one solitons for the isometric flow of <math><msub><mtext>G</mtext> <mn>2</mn></msub> </math> -structures on the following classes of torsion-free <math><msub><mtext>G</mtext> <mn>2</mn></msub> </math> -manifolds: the Euclidean <math> <msup><mrow><mi>R</mi></mrow> <mn>7</mn></msup> </math> with its standard <math><msub><mtext>G</mtext> <mn>2</mn></msub> </math> -structure, metric cylinders over Calabi-Yau 3-folds, metric cones over nearly Kähler 6-manifolds, and the Bryant-Salamon <math><msub><mtext>G</mtext> <mn>2</mn></msub> </math> -manifolds. In all cases we establish existence of global solutions to the isometric soliton equations, and determine the asymptotic behaviour of the torsion. In particular, existence of shrinking isometric solitons on <math> <msup><mrow><mi>R</mi></mrow> <mn>7</mn></msup> </math> is proved, giving support to the likely existence of type I singularities for the isometric flow. In each case, the study of the soliton equation reduces to a particular nonlinear ODE with a regular singular point, for which we provide a careful analysis. Finally, to simplify the derivation of the relevant equations in each case, we first establish several useful Riemannian geometric formulas for a general class of cohomogeneity one metrics on total spaces of vector bundles which should have much wider application, as such metrics arise often as explicit examples of special holonomy metrics.</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"218 5","pages":"102"},"PeriodicalIF":0.5,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11442535/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142367550","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2023-11-17DOI: 10.1007/s10711-023-00862-3
Michael Dymond, Vojtěch Kaluža
We introduce a hierarchy of equivalence relations on the set of separated nets of a given Euclidean space, indexed by concave increasing functions . Two separated nets are called -displacement equivalent if, roughly speaking, there is a bijection between them which, for large radii R, displaces points of norm at most R by something of order at most . We show that the spectrum of -displacement equivalence spans from the established notion of bounded displacement equivalence, which corresponds to bounded , to the indiscrete equivalence relation, corresponding to , in which all separated nets are equivalent. In between the two ends of this spectrum, the notions of -displacement equivalence are shown to be pairwise distinct with respect to the asymptotic classes of for . We further undertake a comparison of our notion of -displacement equivalence with previously studied relations on separated nets. Particular attention is given to the interaction of the notions of -displacement equivalence with that of bilipschitz equivalence.
{"title":"Divergence of separated nets with respect to displacement equivalence.","authors":"Michael Dymond, Vojtěch Kaluža","doi":"10.1007/s10711-023-00862-3","DOIUrl":"https://doi.org/10.1007/s10711-023-00862-3","url":null,"abstract":"<p><p>We introduce a hierarchy of equivalence relations on the set of separated nets of a given Euclidean space, indexed by concave increasing functions <math><mrow><mi>ϕ</mi><mo>:</mo><mo>(</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo><mo>→</mo><mo>(</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></math>. Two separated nets are called <math><mi>ϕ</mi></math>-<i>displacement equivalent</i> if, roughly speaking, there is a bijection between them which, for large radii <i>R</i>, displaces points of norm at most <i>R</i> by something of order at most <math><mrow><mi>ϕ</mi><mo>(</mo><mi>R</mi><mo>)</mo></mrow></math>. We show that the spectrum of <math><mi>ϕ</mi></math>-displacement equivalence spans from the established notion of <i>bounded displacement equivalence</i>, which corresponds to bounded <math><mi>ϕ</mi></math>, to the indiscrete equivalence relation, corresponding to <math><mrow><mi>ϕ</mi><mo>(</mo><mi>R</mi><mo>)</mo><mo>∈</mo><mi>Ω</mi><mo>(</mo><mi>R</mi><mo>)</mo></mrow></math>, in which all separated nets are equivalent. In between the two ends of this spectrum, the notions of <math><mi>ϕ</mi></math>-displacement equivalence are shown to be pairwise distinct with respect to the asymptotic classes of <math><mrow><mi>ϕ</mi><mo>(</mo><mi>R</mi><mo>)</mo></mrow></math> for <math><mrow><mi>R</mi><mo>→</mo><mi>∞</mi></mrow></math>. We further undertake a comparison of our notion of <math><mi>ϕ</mi></math>-displacement equivalence with previously studied relations on separated nets. Particular attention is given to the interaction of the notions of <math><mi>ϕ</mi></math>-displacement equivalence with that of <i>bilipschitz equivalence</i>.</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"218 1","pages":"15"},"PeriodicalIF":0.5,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10656347/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138464551","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-29DOI: 10.1007/s10711-023-00876-x
Idrissa Ba, Mohamed Elhamdadi
This paper gives a new way of characterizing L-space 3-manifolds by using orderability of quandles. Hence, this answers a question of Clay et al. (Question 1.1 of Can Math Bull 59(3):472–482, 2016). We also investigate both the orderability and circular orderability of dynamical extensions of orderable quandles. We give conditions under which the conjugation quandle on a group, as an extension of the conjugation of a bi-orderable group by the conjugation of a right orderable group, is right orderable. We also study the right circular orderability of link quandles. We prove that the n-quandle (Q_n(L)) of the link quandle of a link L in the 3-sphere is not right circularly orderable and hence it is not right orderable. But on the other hand, we show that there are infinitely many links for which the p-enveloping group of the link quandle is right circularly orderable for any prime integer p.
本文给出了一种利用阶数的有序性来表征 L 空间 3-manifolds(3-manifolds)的新方法。因此,这回答了克莱等人的一个问题(Can Math Bull 59(3):472-482, 2016 问题 1.1)。我们还研究了可排序阶元的动态扩展的可排序性和循环可排序性。我们给出了群上的共轭簇作为双有序群的共轭簇由右有序群的共轭簇扩展是右有序的条件。我们还研究了链接簇的右循环可排序性。我们证明了 3 球中链路 L 的链路 quandle 的 n-quandle (Q_n(L))不是右循环可排序的,因此它不是右可排序的。但另一方面,我们证明了对于任意素整数 p,有无限多的链接的链接 quandle 的 p-enveloping group 是右旋可排序的。
{"title":"Knot groups, quandle extensions and orderability","authors":"Idrissa Ba, Mohamed Elhamdadi","doi":"10.1007/s10711-023-00876-x","DOIUrl":"https://doi.org/10.1007/s10711-023-00876-x","url":null,"abstract":"<p>This paper gives a new way of characterizing L-space 3-manifolds by using orderability of quandles. Hence, this answers a question of Clay et al. (Question 1.1 of Can Math Bull 59(3):472–482, 2016). We also investigate both the orderability and circular orderability of dynamical extensions of orderable quandles. We give conditions under which the conjugation quandle on a group, as an extension of the conjugation of a bi-orderable group by the conjugation of a right orderable group, is right orderable. We also study the right circular orderability of link quandles. We prove that the <i>n</i>-quandle <span>(Q_n(L))</span> of the link quandle of a link <i>L</i> in the 3-sphere is not right circularly orderable and hence it is not right orderable. But on the other hand, we show that there are infinitely many links for which the <i>p</i>-enveloping group of the link quandle is right circularly orderable for any prime integer <i>p</i>.</p>","PeriodicalId":55103,"journal":{"name":"Geometriae Dedicata","volume":"25 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2023-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139061686","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}