Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.04234

Homotopy rigidity for quasitoric manifolds over a product of simplices

Xin Fu·Tseleung So·Jongbaek Song·Stephen Theriault
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider a variation of the Cohomological Rigidity Problem: whether two quasitoric manifolds whose cohomology rings are isomorphic are homotopy equivalent. We show that if two quasitoric manifolds have isomorphic cohomology rings and the associated polytope of one of them is a product of simplices, then they are homotopy equivalent after localizing away from an explicit list of primes.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xin Fu, Tseleung So, Jongbaek Song, Stephen Theriault. 2026-10-03. Homotopy rigidity for quasitoric manifolds over a product of simplices. https://arxiv.org/abs/2610.04234

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Characterizing model structures on finite lattices

Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all model category structures on a finite lattice, using transfer systems as our main tool, resulting in new connections between abstract homotopy theory and equivariant methods.

math.AT↗
arXiv2026

Integral string topology of the symplectic group and BV rigidity for compact Lie groups

We compute the integral Batalin-Vilkovisky (BV) algebra $\mathbb{H}_*(L\mathrm{Sp}(n);\mathbb{Z})$ of the free loop space of the symplectic group. We then show that for a connected compact Lie group $G$ whose homology over a commutative ring $R$ is exterior on odd primitive generators, $\mathbb{H}_*(LG;R)$ is the BV algebra of the free loop space of the product of odd spheres with the classical exponents of $G$, tensored with the group ring of the torsion of $π_1(G)$. Conversely, over an integral domain the graded algebra $\mathbb{H}_*(LG;R)$ already determines the exponents and the group ring, hence the BV algebra. If moreover $G$ is simply connected, then $\mathbb{H}_*(LG;R)$, as a BV algebra, is the Hochschild cohomology of $H^*(G;R)$ with the BV operator induced by Poincaré duality.

math.AT↗
arXiv2026

Torsion of every finite order in the homology of graph braid groups

We determine the torsion subgroup of $H_{m-1}(\mathbb{B}_mK_{m+1,m+r-1};\mathbb{Z})$ for $m\ge2$ and $r\ge0$: top homology with arbitrary coefficients is the kernel of an unsigned subset-inclusion matrix, and its integral diagonal form determines all primary summands. Every finite order occurs, with explicit representatives. Generalized theta classes span an embedded copy of the cokernel of the inclusion matrix, containing all torsion; for $r\ge m$ they generate the torsion, each of order $\operatorname{lcm}(1,\ldots,m)$. For every prime power $q$ and $m\ge q$, the graph $K_{m+1,m+q-1}$ is minimal in the minor order for order-$q$ torsion in $H_{m-1}(\mathbb{B}_m)$. In particular, odd torsion first appears in $H_2(\mathbb{B}_3K_{4,5})\cong\mathbb{Z}^{155}\oplus(\mathbb{Z}/2)^4\oplus\mathbb{Z}/3$, and no proper minor of $K_{4,5}$ has odd torsion in $H_2(\mathbb{B}_3)$. For arbitrary part sizes, we give a multiplicity-free decomposition of $H_m(\mathbb{B}_mK_{a,b};\mathbb{Q})$ under vertex permutations and prove that $H_{m-1}(\mathbb{B}_mK_{a,b};\mathbb{Z})$ has no $p$-primary torsion when $a,b\ge2m-1$ and $p\ge m$ is an odd prime. The explicit order-$q$ class retains its order under every enlargement of the second part of the graph, while for $m=q=p$ an odd prime it is killed by a specified enlargement of the first part.

math.AT↗