arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.03608

The Squire complex and its extensions revisited

Elton Pasku
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Squier complex $\mathcal{D}(\cP)$ has been defined in \cite{LDHM1} as a combinatorial 2-complex. Also several extensions of $\mathcal{D}(\cP)$ are defined and used extensively in \cite{LDHM2}, \cite{SES} and \cite{EP}. Since the results obtained in those papers rely on the assumption that $\mathcal{D}(\cP)$ and its extensions in \cite{LDHM2} and \cite{SES} are CW-complexes of dimensions 2 and 3, respectively, and no proofs are given to support these preconditions, we provide the respective proofs in the present paper.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Elton Pasku. 2026-10-02. The Squire complex and its extensions revisited. https://arxiv.org/abs/2610.03608

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

KEEP EXPLORING

Related papers

arXiv2026

Uniform Lefschetz fixed-point theory

We develop a Lefschetz fixed-point theory for uniformly continuous self-maps of noncompact manifolds of bounded geometry. For a uniform, simply-connected, complete Riemannian manifold $M$ of bounded geometry and a uniformly continuous map $f\colon M\to M$ satisfying $d(f,1)<\infty$, we define a uniform Lefschetz class $\mathscr{L}(f)$ and show that $\mathscr{L}(f)=0$ if and only if $f$ is uniformly homotopic to a map having neither fixed points nor fixed points at infinity; an analogous obstruction class characterizes the existence of a nonvanishing bounded uniformly continuous vector field on $M$. Both classes take values in the $0$-th uniformly finite homology of Block and Weinberger, and hence vanish automatically when $M$ is nonamenable. When $M$ is a Galois covering of a closed manifold, we further establish a Lefschetz-Hopf-type formula for $\mathscr{L}(f)$ and an extension of the Poincaré-Hopf theorem for vector fields. The key new tool is \emph{uniform bounded cohomology}, a variant of Gromov's bounded cohomology for metric spaces satisfying uniform homotopy invariance, excision and Poincaré duality. As a further application, we show that uniform and Lipschitz homotopy theory coincide for uniform simplicial complexes; combined with our obstruction theory, this allows us to obtain Lipschitz analogues of the above results.

math.AT↗
arXiv2026

Embedding, compression, and the relative Hopf invariant

We establish Poincaré embedding results in the relative setting, generalizing previously known results in the absolute case. Our primary motivation comes from applications to non-simply connected Poincaré surgery, which will be developed in a forthcoming paper. Along the way, we introduce a new tool: the relative Hopf invariant in the equivariant setting.

math.AT↗
arXiv2026

The zeroth stable homotopy groups of motivic spheres over the integers

The main result determines the zeroth integral Milnor-Witt stem of the motivic sphere spectrum in the Morel-Voevodsky motivic stable homotopy category of the integers. The component in weight zero is the Grothendieck-Witt ring of nondegenerate symmetric bilinear forms over the integers. Along the way, cellularity of various motivic spectra, including the integral motivic Eilenberg-MacLane spectrum, is established over arbitrary fields, as well as an absolute purity result for the η-inverted motivic sphere spectrum over Dedekind domains of mixed characteristic.

math.AT↗