J 2017

Decidability of the Extension Problem for Maps into Odd-Dimensional Spheres

VOKŘÍNEK, Lukáš

Základní údaje

Originální název

Decidability of the Extension Problem for Maps into Odd-Dimensional Spheres

Autoři

VOKŘÍNEK, Lukáš (203 Česká republika, garant, domácí)

Vydání

Discrete & Computational Geometry, New York, Springer, 2017, 0179-5376

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.672

Kód RIV

RIV/00216224:14310/17:00094700

Organizační jednotka

Přírodovědecká fakulta

UT WoS

000393700500001

Klíčová slova anglicky

Homotopy class; Computation; Higher difference

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 31. 3. 2018 11:13, Ing. Nicole Zrilić

Anotace

V originále

In a recent paper (Cadek et al., Discrete Comput Geom 51: 24- 66, 2014), it was shown that the problem of the existence of a continuous map X -> Y extending a given map A -> Y, defined on a subspace A subset of X , is undecidable, even for Y an even-dimensional sphere. In the present paper, we prove that the same problem for Y an odd-dimensional sphere is decidable. More generally, the same holds for any d-connected target space Y whose homotopy groups pi_n(Y) are finite for 2d < n < dim X. We also prove an equivariant version, where all spaces are equipped with free actions of a given finite group G and all maps are supposed to respect these actions. This yields the computability of the Z/2-index of a given space up to an uncertainty of 1.

Návaznosti

GBP201/12/G028, projekt VaV
Název: Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku
Investor: Grantová agentura ČR, Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku