Rational Homotopy Type and Computability

نویسندگان

چکیده

Given a simplicial pair (X, A), complex Y, and map $$f:A \rightarrow Y$$ , does f have an extension to X? We show that for fixed this question is algorithmically decidable all X, A, if Y has the rational homotopy type of H-space. As corollary, many questions related bundle structures over finite are likely decidable. Conversely, other at least as hard certain special cases Hilbert’s tenth problem which known or suspected be undecidable.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

4 Homotopy Operations and Rational Homotopy Type

In [HS] and [F1] Halperin, Stasheff, and Félix showed how an inductively-defined sequence of elements in the cohomology of a graded commutative algebra over the rationals can be used to distinguish among the homotopy types of all possible realizations, thus providing a collection of algebraic invariants for distinguishing among rational homotopy types of spaces. There is also a dual version, in...

متن کامل

Rational homotopy type of subspace arrangements

Remerciements La première personne que je souhaite remercier est évidemment mon cher promoteur, Yves Félix. C'est grâce à sa patience et à sa vision que j'ai appris et apprécié le monde de la topologie algébrique. Une autre personne qui a joué un rôle important dans mon éducation mathématique est certainement Pascal Lambrechts, qui mérite toute ma gratitude pour m'avoir enseigné tellement de ch...

متن کامل

Disconnected Rational Homotopy Theory

We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an application of the developed technology we obtain results on the structure of Maurer-Cartan spaces of complete differential graded Lie algebras.

متن کامل

On Rational Computability and Communication Complexity

We investigate the power of market mechanisms { and auctions in particular { to compute various functions. The speciic contributions of this paper are twofold. From the conceptual standpoint, we identify a new type of computational resource in a distributed setting { namely willingness of various parties to disclose information necessary for the computation. From the technical standpoint, we pr...

متن کامل

Rational Homotopy Perturbation Method

The solution methods of nonlinear differential equations are very important because most of the physical phenomena are modelled by using such kind of equations. Therefore, this work presents a rational version of homotopy perturbation method RHPM as a novel tool with high potential to find approximate solutions for nonlinear differential equations. We present two case studies; for the first exa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Foundations of Computational Mathematics

سال: 2022

ISSN: ['1615-3383', '1615-3375']

DOI: https://doi.org/10.1007/s10208-022-09582-8