Pub Date : 2024-01-22DOI: 10.1007/s40598-023-00243-4
Peter Gibson, Nicolau Saldanha, Carlos Tomei
We present higher dimensional versions of the classical results of Euler and Fuss, both of which are special cases of the celebrated Poncelet porism. Our results concern polytopes, specifically simplices, parallelotopes and cross polytopes, inscribed in a given ellipsoid and circumscribed to another. The statements and proofs use the language of linear algebra. Without loss, one of the ellipsoids is the unit sphere and the other one is also centered at the origin. Let A be the positive symmetric matrix taking the outer ellipsoid to the inner one. If ({text {tr}}, A = 1), there exists a bijection between the orthogonal group O(n) and the set of such labeled simplices. Similarly, if ({text {tr}}, A^2 = 1), there are families of parallelotopes and of cross polytopes, also indexed by O(n).
我们提出了欧拉和福斯经典结果的高维版本,这两个结果都是著名的庞斯莱孔主义的特例。我们的结果涉及多面体,特别是简面、平行多面体和交叉多面体,它们都刻在给定的椭球体上,并以另一个椭球体为圆心。陈述和证明使用线性代数语言。在不损失任何信息的情况下,其中一个椭圆体是单位球面,另一个椭圆体也以原点为中心。设 A 是将外椭球面取为内椭球面的正对称矩阵。如果 ({text {tr}}, A = 1), 那么在正交群 O(n) 和这样的标注简约集之间存在一个双射。类似地,如果 ({text {tr}}, A^2 = 1), 则存在平行多面体族和交叉多面体族,同样以 O(n) 为索引。
{"title":"Higher Dimensional Versions of Theorems of Euler and Fuss","authors":"Peter Gibson, Nicolau Saldanha, Carlos Tomei","doi":"10.1007/s40598-023-00243-4","DOIUrl":"10.1007/s40598-023-00243-4","url":null,"abstract":"<div><p>We present higher dimensional versions of the classical results of Euler and Fuss, both of which are special cases of the celebrated Poncelet porism. Our results concern polytopes, specifically simplices, parallelotopes and cross polytopes, inscribed in a given ellipsoid and circumscribed to another. The statements and proofs use the language of linear algebra. Without loss, one of the ellipsoids is the unit sphere and the other one is also centered at the origin. Let <i>A</i> be the positive symmetric matrix taking the outer ellipsoid to the inner one. If <span>({text {tr}}, A = 1)</span>, there exists a bijection between the orthogonal group <i>O</i>(<i>n</i>) and the set of such labeled simplices. Similarly, if <span>({text {tr}}, A^2 = 1)</span>, there are families of parallelotopes and of cross polytopes, also indexed by <i>O</i>(<i>n</i>).</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 3","pages":"409 - 421"},"PeriodicalIF":0.0,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142413037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"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/s40598-023-00242-5
Anton Ayzenberg, Vladimir Gorchakov
We characterize the actions of compact tori on smooth closed manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds, the result was originally proved by Styrt in 2009. We give a new proof for closed manifolds which is also applicable to manifolds with boundary. In our arguments, we use the result of Provan and Billera who characterized matroid complexes which are pseudomanifolds. We study the combinatorial structure of torus actions whose orbit spaces are manifolds. In two appendix sections, we give an overview of two theories related to our work. The first one is the combinatorial theory of Leontief substitution systems from mathematical economics. The second one is the topological Kaluza–Klein model of Dirac’s monopole studied by Atiyah. The aim of these sections is to draw some bridges between disciplines and motivate further studies in toric topology.
{"title":"Toric Orbit Spaces Which are Manifolds","authors":"Anton Ayzenberg, Vladimir Gorchakov","doi":"10.1007/s40598-023-00242-5","DOIUrl":"10.1007/s40598-023-00242-5","url":null,"abstract":"<div><p>We characterize the actions of compact tori on smooth closed manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds, the result was originally proved by Styrt in 2009. We give a new proof for closed manifolds which is also applicable to manifolds with boundary. In our arguments, we use the result of Provan and Billera who characterized matroid complexes which are pseudomanifolds. We study the combinatorial structure of torus actions whose orbit spaces are manifolds. In two appendix sections, we give an overview of two theories related to our work. The first one is the combinatorial theory of Leontief substitution systems from mathematical economics. The second one is the topological Kaluza–Klein model of Dirac’s monopole studied by Atiyah. The aim of these sections is to draw some bridges between disciplines and motivate further studies in toric topology.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 3","pages":"387 - 408"},"PeriodicalIF":0.0,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142409577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-08DOI: 10.1007/s40598-023-00241-6
Jesús Palma-Márquez
We generalize the construction of a toric variety associated with an integer convex polyhedron to construct generalized analytic varieties associated with polyhedra with not necessarily rational vertices. For germs of generalized analytic functions with a given Newton polyhedron (Gamma ), the generalized analytic variety associated with (Gamma ) provides a stratified resolution of singularities of these functions; also ensuring a full resolution for almost all of them. Thus, this constructive and elementary approach replaces the non-effective previous proof of this result based on consecutive blow-ups.
{"title":"Newton Polyhedra and Stratified Resolution of Singularities in the Class of Generalized Power Series","authors":"Jesús Palma-Márquez","doi":"10.1007/s40598-023-00241-6","DOIUrl":"10.1007/s40598-023-00241-6","url":null,"abstract":"<div><p>We generalize the construction of a toric variety associated with an integer convex polyhedron to construct generalized analytic varieties associated with polyhedra with not necessarily rational vertices. For germs of generalized analytic functions with a given Newton polyhedron <span>(Gamma )</span>, the generalized analytic variety associated with <span>(Gamma )</span> provides a stratified resolution of singularities of these functions; also ensuring a full resolution for almost all of them. Thus, this constructive and elementary approach replaces the non-effective previous proof of this result based on consecutive blow-ups.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 3","pages":"371 - 386"},"PeriodicalIF":0.0,"publicationDate":"2023-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138587734","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-28DOI: 10.1007/s40598-023-00240-7
Antonio Lerario, Michele Stecconi
We explain how to use the probabilistic method to prove the existence of real polynomial singularities with rich topology, i.e., with total Betti number of the maximal possible order. We show how similar ideas can be used to produce real algebraic projective hypersurfaces with a rich structure of umbilical points.
{"title":"The Probabilistic Method in Real Singularity Theory","authors":"Antonio Lerario, Michele Stecconi","doi":"10.1007/s40598-023-00240-7","DOIUrl":"10.1007/s40598-023-00240-7","url":null,"abstract":"<div><p>We explain how to use the probabilistic method to prove the existence of real polynomial singularities with rich topology, i.e., with total Betti number of the maximal possible order. We show how similar ideas can be used to produce real algebraic projective hypersurfaces with a rich structure of umbilical points.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 3","pages":"355 - 370"},"PeriodicalIF":0.0,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-023-00240-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139353370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-24DOI: 10.1007/s40598-023-00239-0
V. A. Vassiliev
We develop a technique for calculating the cohomology groups of spaces of complex parametric knots in ({{mathbb {C}}}^k), (k ge 3), and obtain these groups of low dimensions.
我们开发了一种计算 ({{mathbb {C}}^k),(k ge 3) 中复杂参数结空间的同调群的技术,并得到了这些群的低维度。
{"title":"Cohomology of Spaces of Complex Knots","authors":"V. A. Vassiliev","doi":"10.1007/s40598-023-00239-0","DOIUrl":"10.1007/s40598-023-00239-0","url":null,"abstract":"<div><p>We develop a technique for calculating the cohomology groups of spaces of complex parametric knots in <span>({{mathbb {C}}}^k)</span>, <span>(k ge 3)</span>, and obtain these groups of low dimensions.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 3","pages":"323 - 353"},"PeriodicalIF":0.0,"publicationDate":"2023-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135273712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-13DOI: 10.1007/s40598-023-00238-1
L. A. Lichtenfelz, T. Tauchi, T. Yoneda
The existence of a conjugate point on the volume-preserving diffeomorphism group of a compact Riemannian manifold M is related to the Lagrangian stability of a solution of the incompressible Euler equation on M. The Misiołek curvature is a reasonable criterion for the existence of a conjugate point on the volume-preserving diffeomorphism group corresponding to a stationary solution of the incompressible Euler equation. In this article, we introduce a class of stationary solutions on an arbitrary Riemannian manifold whose behavior is nice with respect to the Misiołek curvature and give a positivity result of the Misiołek curvature for solutions belonging to this class. Moreover, we also show the existence of a conjugate point in the three-dimensional ellipsoid case as its corollary.
紧凑黎曼流形 M 的保体积衍射群上共轭点的存在与 M 上不可压缩欧拉方程解的拉格朗日稳定性有关。Misiołek 曲率是不可压缩欧拉方程静止解对应的保体积衍射群上共轭点存在的合理标准。在本文中,我们介绍了一类任意黎曼流形上的静止解,其行为与米西奥韦克曲率有关,并给出了属于该类解的米西奥韦克曲率的正定结果。此外,我们还证明了在三维椭球体情况下共轭点的存在,作为其推论。
{"title":"Existence of a Conjugate Point in the Incompressible Euler Flow on a Three-Dimensional Ellipsoid","authors":"L. A. Lichtenfelz, T. Tauchi, T. Yoneda","doi":"10.1007/s40598-023-00238-1","DOIUrl":"10.1007/s40598-023-00238-1","url":null,"abstract":"<div><p>The existence of a conjugate point on the volume-preserving diffeomorphism group of a compact Riemannian manifold <i>M</i> is related to the Lagrangian stability of a solution of the incompressible Euler equation on <i>M</i>. The Misiołek curvature is a reasonable criterion for the existence of a conjugate point on the volume-preserving diffeomorphism group corresponding to a stationary solution of the incompressible Euler equation. In this article, we introduce a class of stationary solutions on an arbitrary Riemannian manifold whose behavior is nice with respect to the Misiołek curvature and give a positivity result of the Misiołek curvature for solutions belonging to this class. Moreover, we also show the existence of a conjugate point in the three-dimensional ellipsoid case as its corollary.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 2","pages":"281 - 307"},"PeriodicalIF":0.0,"publicationDate":"2023-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135853005","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-20DOI: 10.1007/s40598-023-00237-2
David Burrell, William Cocke, Ryan McCulloch
We investigate the question of how many subgroups of a finite group are not in its Chermak–Delgado lattice. The Chermak–Delgado lattice for a finite group is a self-dual lattice of subgroups with many intriguing properties. Fasolă and Tărnăuceanu (Bull Aust Math Soc 107(3):451–455, 2023) asked how many subgroups are not in the Chermak–Delgado lattice and classified all groups with two or less subgroups not in the Chermak–Delgado lattice. We extend their work by classifying all groups with less than five subgroups not in the Chermak–Delgado lattice. In addition, we show that a group with less than five subgroups not in the Chermak–Delgado lattice is nilpotent. In this vein, we also show that the only non-nilpotent group with five or fewer subgroups in the Chermak–Delgado lattice is (S_3).
{"title":"On Groups with Few Subgroups not in the Chermak–Delgado Lattice","authors":"David Burrell, William Cocke, Ryan McCulloch","doi":"10.1007/s40598-023-00237-2","DOIUrl":"10.1007/s40598-023-00237-2","url":null,"abstract":"<div><p>We investigate the question of how many subgroups of a finite group are not in its Chermak–Delgado lattice. The Chermak–Delgado lattice for a finite group is a self-dual lattice of subgroups with many intriguing properties. Fasolă and Tărnăuceanu (Bull Aust Math Soc 107(3):451–455, 2023) asked how many subgroups are not in the Chermak–Delgado lattice and classified all groups with two or less subgroups not in the Chermak–Delgado lattice. We extend their work by classifying all groups with less than five subgroups not in the Chermak–Delgado lattice. In addition, we show that a group with less than five subgroups not in the Chermak–Delgado lattice is nilpotent. In this vein, we also show that the only non-nilpotent group with five or fewer subgroups in the Chermak–Delgado lattice is <span>(S_3)</span>.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 2","pages":"265 - 279"},"PeriodicalIF":0.0,"publicationDate":"2023-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136309293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-13DOI: 10.1007/s40598-023-00236-3
Manish Kumar
In this paper, the normality of a family of meromorphic functions is deduced from the normality of a given family. Precisely, we have proved: Let ({mathcal {F}}) and ({mathcal {G}}) be two families of meromorphic functions on a domain D, and (a, b, c) be three finite complex numbers such that (ane 0) and (bne c). Suppose that ({mathcal {G}}) is normal in D such that no sequence in ({mathcal {G}}) converges locally uniformly to infinity in D. If (nge 3) and for each function (fin {mathcal {F}}) there exists (gin {mathcal {G}}) such that (f^{'}-af^{n}) and (g^{'}-ag^{n}) partially share the values b and c, then ({mathcal {F}}) is normal in D. Further, examples are given to establish the sharpness of the result.
{"title":"Normality of Two Families of Meromorphic Functions Concerning Partially Shared Values","authors":"Manish Kumar","doi":"10.1007/s40598-023-00236-3","DOIUrl":"10.1007/s40598-023-00236-3","url":null,"abstract":"<div><p>In this paper, the normality of a family of meromorphic functions is deduced from the normality of a given family. Precisely, we have proved: Let <span>({mathcal {F}})</span> and <span>({mathcal {G}})</span> be two families of meromorphic functions on a domain <i>D</i>, and <span>(a, b, c)</span> be three finite complex numbers such that <span>(ane 0)</span> and <span>(bne c)</span>. Suppose that <span>({mathcal {G}})</span> is normal in <i>D</i> such that no sequence in <span>({mathcal {G}})</span> converges locally uniformly to infinity in <i>D</i>. If <span>(nge 3)</span> and for each function <span>(fin {mathcal {F}})</span> there exists <span>(gin {mathcal {G}})</span> such that <span>(f^{'}-af^{n})</span> and <span>(g^{'}-ag^{n})</span> partially share the values <i>b</i> and <i>c</i>, then <span>({mathcal {F}})</span> is normal in <i>D</i>. Further, examples are given to establish the sharpness of the result.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 2","pages":"257 - 264"},"PeriodicalIF":0.0,"publicationDate":"2023-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135691373","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-22DOI: 10.1007/s40598-023-00235-4
Alperen A. Ergür, Jesus Rebollo Bueno, Petros Valettas
We investigate the effect of an (varepsilon )-room of perturbation tolerance on symmetric tensor decomposition. To be more precise, suppose a real symmetric d-tensor f, a norm (leftVert cdot rightVert ) on the space of symmetric d-tensors, and (varepsilon >0) are given. What is the smallest symmetric tensor rank in the (varepsilon )-neighborhood of f? In other words, what is the symmetric tensor rank of f after a clever (varepsilon )-perturbation? We prove two theorems and develop three corresponding algorithms that give constructive upper bounds for this question. With expository goals in mind, we present probabilistic and convex geometric ideas behind our results, reproduce some known results, and point out open problems.
{"title":"Approximate Real Symmetric Tensor Rank","authors":"Alperen A. Ergür, Jesus Rebollo Bueno, Petros Valettas","doi":"10.1007/s40598-023-00235-4","DOIUrl":"10.1007/s40598-023-00235-4","url":null,"abstract":"<div><p>We investigate the effect of an <span>(varepsilon )</span>-room of perturbation tolerance on symmetric tensor decomposition. To be more precise, suppose a real symmetric <i>d</i>-tensor <i>f</i>, a norm <span>(leftVert cdot rightVert )</span> on the space of symmetric <i>d</i>-tensors, and <span>(varepsilon >0)</span> are given. What is the smallest symmetric tensor rank in the <span>(varepsilon )</span>-neighborhood of <i>f</i>? In other words, what is the symmetric tensor rank of <i>f</i> after a clever <span>(varepsilon )</span>-perturbation? We prove two theorems and develop three corresponding algorithms that give constructive upper bounds for this question. With expository goals in mind, we present probabilistic and convex geometric ideas behind our results, reproduce some known results, and point out open problems.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"9 4","pages":"455 - 480"},"PeriodicalIF":0.0,"publicationDate":"2023-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45683166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-14DOI: 10.1007/s40598-023-00233-6
Johannes Hofscheier, Askold Khovanskii, Leonid Monin
The celebrated BKK Theorem expresses the number of roots of a system of generic Laurent polynomials in terms of the mixed volume of the corresponding system of Newton polytopes. In Pukhlikov and Khovanskiĭ (Algebra i Analiz 4(4):188–216, 1992), Pukhlikov and the second author noticed that the cohomology ring of smooth projective toric varieties over ({mathbb {C}}) can be computed via the BKK Theorem. This complemented the known descriptions of the cohomology ring of toric varieties, like the one in terms of Stanley–Reisner algebras. In Sankaran and Uma (Comment Math Helv 78(3):540–554, 2003), Sankaran and Uma generalized the “Stanley–Reisner description” to the case of toric bundles, i.e., equivariant compactifications of (not necessarily algebraic) torus principal bundles. We provide a description of the cohomology ring of toric bundles which is based on a generalization of the BKK Theorem, and thus extends the approach by Pukhlikov and the second author. Indeed, for every cohomology class of the base of the toric bundle, we obtain a BKK-type theorem. Furthermore, our proof relies on a description of graded-commutative algebras which satisfy Poincaré duality. From this computation of the cohomology ring of toric bundles, we obtain a description of the ring of conditions of horospherical homogeneous spaces as well as a version of Brion–Kazarnovskii theorem for them. We conclude the manuscript with a number of examples. In particular, we apply our results to toric bundles over a full flag variety G/B. The description that we get generalizes the corresponding description of the cohomology ring of toric varieties as well as the one of full flag varieties G/B previously obtained by Kaveh (J Lie Theory 21(2):263–283, 2011).
{"title":"Cohomology Rings of Toric Bundles and the Ring of Conditions","authors":"Johannes Hofscheier, Askold Khovanskii, Leonid Monin","doi":"10.1007/s40598-023-00233-6","DOIUrl":"10.1007/s40598-023-00233-6","url":null,"abstract":"<div><p>The celebrated BKK Theorem expresses the number of roots of a system of generic Laurent polynomials in terms of the mixed volume of the corresponding system of Newton polytopes. In Pukhlikov and Khovanskiĭ (Algebra i Analiz 4(4):188–216, 1992), Pukhlikov and the second author noticed that the cohomology ring of smooth projective toric varieties over <span>({mathbb {C}})</span> can be computed via the BKK Theorem. This complemented the known descriptions of the cohomology ring of toric varieties, like the one in terms of Stanley–Reisner algebras. In Sankaran and Uma (Comment Math Helv 78(3):540–554, 2003), Sankaran and Uma generalized the “Stanley–Reisner description” to the case of toric bundles, i.e., equivariant compactifications of (not necessarily algebraic) torus principal bundles. We provide a description of the cohomology ring of toric bundles which is based on a generalization of the BKK Theorem, and thus extends the approach by Pukhlikov and the second author. Indeed, for every cohomology class of the base of the toric bundle, we obtain a BKK-type theorem. Furthermore, our proof relies on a description of graded-commutative algebras which satisfy Poincaré duality. From this computation of the cohomology ring of toric bundles, we obtain a description of the ring of conditions of horospherical homogeneous spaces as well as a version of Brion–Kazarnovskii theorem for them. We conclude the manuscript with a number of examples. In particular, we apply our results to toric bundles over a full flag variety <i>G</i>/<i>B</i>. The description that we get generalizes the corresponding description of the cohomology ring of toric varieties as well as the one of full flag varieties <i>G</i>/<i>B</i> previously obtained by Kaveh (J Lie Theory 21(2):263–283, 2011).</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":"10 2","pages":"171 - 221"},"PeriodicalIF":0.0,"publicationDate":"2023-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11265003/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49669473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}