Search arXiv⌕ Search

arXiv · 2610.07631

A Finite-Geometric Obstruction and a Polytopal Separation of Buchstaber Invariants

Abstract

We construct a polytopal simplicial sphere that admits a mod 2 characteristic map but no mod 3 characteristic map, and hence no integral one. This shows that the Buchstaber number of a polytopal sphere can be strictly smaller than its real Buchstaber number, and gives a negative answer to the toric lifting problem.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Suyoung Choi, Hyeontae Jang. 2026-10-06. A Finite-Geometric Obstruction and a Polytopal Separation of Buchstaber Invariants. https://arxiv.org/abs/2610.07631

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

KEEP EXPLORING

Related papers

Second homotopy classes associated with non-cancellative monoids

We develop a method for constructing certain second homotopy classes in a topological space from NC-twins in the monoid associated with a semi-positive presentation of its fundamental group. The construction is achieved by lifting the algebraic defining relations to geometric relations. To each NC-twin we associate a set of second homotopy classes, called the $Π$-class, which forms a single coset of a subgroup of $π_2$, called the inertia group. We apply the construction to Yoshinaga's positive presentations for line-arrangement complements and show that, for the generic three-line arrangement, the resulting classes recover Hattori's second homotopy class. We also associate with each NC-twin of an abstract monoid a canonical second homotopy class in its classifying space, and formulate its comparison problems with the $Π$-class and the inertia group.

math.AT↗

$K$-Theoretic Obstructions to Linearizing QCA Representations

Projective representations arise naturally in physics and representation theory, and determining whether they can be linearized has been a fundamental problem. In this work, we study the analogous problem for quantum cellular automata (QCA) representations, which incorporate locality constraints imposed by a metric space $X$. Over an arbitrary field $\mathbb{F}$, we develop an obstruction theory for the linearization of QCA representations, using the algebraic $K$-theory spectrum of QCA constructed in previous work of the authors. The resulting obstructions are governed by the homotopy type of the QCA spaces, from which we extract universal obstruction classes to linearization. In the complex algebraic and unitary case, we also fully compute the homotopy types of the QCA spaces over a point, a line, and a plane.

math.AT↗

Profinite completions and cohomology jump loci

Let $X$ be a connected finite-type CW-complex with fundamental group $G$. We show that the profinite completion $\widehat{G}$ determines the cohomology jump loci $\mathcal{V}^q_s(X,\mathbb{C})$ under two hypotheses: that the loci are finite unions of torsion-translated subtori, as for smooth quasi-projective varieties, and that $\widehat{G}$ determines the Betti numbers of the finite cyclic covers of $X$ in degrees $\le q$, which holds unconditionally for $q=1$, and in all degrees when $X$ is aspherical and $G$ is good in the sense of Serre. When the isomorphism of completions is compatible with an identification of the abelianizations, the loci correspond exactly; in general, they correspond up to an isogeny. Applied to finite covers, this shows that the tropical bounds for the Bieri--Neumann--Strebel--Renz invariants are profinite invariants, and recovers the profinite invariance of the BNS invariant of Kähler groups due to Hughes, Llosa Isenrich, Py, Stover, and Vidussi. We also show that $\widehat{G}$ determines the graded abelian groups $\mathrm{gr}_r(G/W(G))$, torsion included, for every verbal subgroup $W(G)$; the cases $W(G)=1$ and $W(G)=G''$ give the lower central series quotients and the Chen groups. For hyperplane arrangements, it follows that no arithmetic Zariski pair is distinguished by any of these invariants, while two known lattice-isomorphic pairs show, respectively, that the profinite completion of an arrangement group is not combinatorially determined, and that it does not determine the group.

math.AT↗