Nielsen-Borsuk-Ulam number for maps between tori (Q6171185)

From MaRDI portal
scientific article; zbMATH DE number 7713369
Language Label Description Also known as
English
Nielsen-Borsuk-Ulam number for maps between tori
scientific article; zbMATH DE number 7713369

    Statements

    Nielsen-Borsuk-Ulam number for maps between tori (English)
    0 references
    17 July 2023
    0 references
    \textbf{Definition:} Let \((X,\tau;Y)\) be a triple where \(X\) and \(Y\) are finite \(n\)-dimensional complexes and \(\tau\) is a free simplical involution on \(X\). For any map \(f:X\rightarrow Y\) with Coin\((f,f\circ \tau)=\{x_1,\tau(x_1),\dots,x_m,\tau(x_m)\}\), we define the Borsuk-Ulam coincidence set for the pair \((f,\tau)\), as the set of pairs: \[ BUCoin(f;\tau)=\{(x_1,\tau(x_1));\dots;(x_m,\tau(x_m))\} \] and we say that two pairs \((x_i,\tau(x_i)),(x_j,\tau(x_j))\) are in the same Borsuk-Ulam coincidence class if there exists a path \(\gamma\) from a point in \(\{x_i,\tau(x_i)\}\) to a point in \(\{x_j,\tau(x_j)\}\) such that \(f\circ \gamma\) is homotopic to \(f\circ \tau \circ\gamma\) with fixed endpoints. \textbf{Definition:} In Definition 2.4 of the paper, the authors also give the definition of the pseudo-index \(|ind|(f,\tau;C)\) of \(C=\{(x_1,\tau(x_1)),\dots,(x_k,\tau(x_k))\}\) which is a Borsuk-Ulam coincidence class of the pair \((f,\tau)\). \textbf{Definition:} The authors call a Borsuk-Ulam coincidence class \(C\) essential if \(|ind|(f,\tau;C)\ne 0\) and define \(NBU(f,\tau)\), the Nielsen-Borsuk-Ulam number of the pair \((f,\tau)\), as the number of essential Borsuk-Ulam coincidence classes. The authors obtain that \textbf{Main results:} The authors compute the Nielsen-Borsuk-Ulam number for any self map of the \(n\)-torus, \(\mathbb{T}^n\), as well as any free involution \(\tau\) in \(\mathbb{T}^n\), with \(n\leq 3\). They conclude that the tori \(\mathbb{T}^1, \mathbb{T}^2\) and \(\mathbb{T}^3\), are Wecken spaces for the Nielsen-Borsuk-Ulam theorem. In the end, the authors give a conjecture: \textbf{Conjecture 6.1} Let \(f:\mathbb{T}^n\rightarrow \mathbb{T}^n\) be a map and \(\tau\) a free involution in \(\mathbb{T}^n\). Then \(NBU(f,\tau)=2^{n-1}\) or \(0\).
    0 references
    0 references
    Borsuk-Ulam theorem
    0 references
    Nielsen-Borsuk-Ulam number
    0 references
    involutions
    0 references
    torus
    0 references

    Identifiers