arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.34013

A study of $n$-valued non-split maps and applications

Daciberg Lima Gonçalves·Bartira Maués·Daniel Vendrúscolo
View original source ↗Read source document ↗Export metadata ↓

Abstract

For a given $n$-valued map, there exists a suitable minimal covering of the domain such that the composition of this covering with the map yields a split map, composed of $n$ single-valued maps, called the lift factors. Using the group action of the deck-transformation group we construct intermediate covering spaces as well as intermediate configuration spaces, allowing the original map to lift to these spaces, building a tower to illustrate at which level the lift factors split off. We then display two applications of these new tools. The first is to derive results concerning the Borsuk-Ulam property for certain coverings of the tower. The second is to obtain a sharp formula for the Nielsen number of an $n$-valued non-split map, using the coincidence number of specific single-valued maps that arise in the lifts of the tower.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daciberg Lima Gonçalves, Bartira Maués, Daniel Vendrúscolo. 2026-09-27. A study of $n$-valued non-split maps and applications. https://arxiv.org/abs/2609.34013

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

KEEP EXPLORING

Related papers

arXiv2026

On Poincaré Surgery

We exhibit a homotopy theoretic proof of the Fundamental Theorem of Poincaré surgery in the simply connected case. We also deduce the Poincaré transversality exact sequence.

math.AT↗
arXiv2026

Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions

We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$. We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.

math.AT↗
arXiv2026

Algebraically and geometrically minimal DG-models of diagrams of spaces

We extend Sullivan's rational homotopy theory by constructing geometrically and algebraically minimal models for diagrams of simply connected spaces over a class of finite indexing categories. Both classes classify rational diagram homotopy types, but their minimality conditions can differ. We also show that, in contrast to classical rational homotopy theory, H-diagrams need not split into products of Eilenberg--MacLane diagrams, and characterize the indexing categories for which every H-diagram admits such a splitting. Also we apply this to computation of automorphism groups of rational homotopy types of certain diagrams of spaces.

math.AT↗