Homotopy type of mapping spaces and existence of geometric exponents

2010 ◽  
Vol 22 (3) ◽  
Author(s):  
Jaka Smrekar
Keyword(s):  
Homotopy Type ◽  
Mapping Spaces

The smooth case

2017 ◽  
Author(s):  
Ehud Hrushovski ◽  
François Loeser
Keyword(s):  
Homotopy Type ◽  
Unit Vector ◽  
Smooth Case ◽  
Open Set ◽  
Birational Invariant

This chapter examines the simplifications occurring in the proof of the main theorem in the smooth case. It begins by stating the theorem about the existence of an F-definable homotopy h : I × unit vector X → unit vector X and the properties for h. It then presents the proof, which depends on two lemmas. The first recaps the proof of Theorem 11.1.1, but on a Zariski dense open set V₀ only. The second uses smoothness to enable a stronger form of inflation, serving to move into V₀. The chapter also considers the birational character of the definable homotopy type in Remark 12.2.4 concerning a birational invariant.

scholarly journals Homotopy type-theoretic interpretations of constructive set theories

2019 ◽  
pp. 1-32
Author(s):  
Cesare Gallozzi
Keyword(s):  
Comparative Analysis ◽  
Set Theory ◽  
Homotopy Type ◽  
Type Theory ◽  
Axiom Of Choice ◽  
Homotopy Type Theory ◽  
Constructive Set Theory

Abstract We introduce a family of (k, h)-interpretations for 2 ≤ k ≤ ∞ and 1 ≤ h ≤ ∞ of constructive set theory into type theory, in which sets and formulas are interpreted as types of homotopy level k and h, respectively. Depending on the values of the parameters k and h, we are able to interpret different theories, like Aczel’s CZF and Myhill’s CST. We also define a proposition-as-hproposition interpretation in the context of logic-enriched type theories. The rest of the paper is devoted to characterising and analysing the interpretations considered. The formulas valid in the prop-as-hprop interpretation are characterised in terms of the axiom of unique choice. We also analyse the interpretations of CST into homotopy type theory, providing a comparative analysis with Aczel’s interpretation. This is done by formulating in a logic-enriched type theory the key principles used in the proofs of the two interpretations. Finally, we characterise a class of sentences valid in the (k, ∞)-interpretations in terms of the ΠΣ axiom of choice.

scholarly journals Homotopy type of posets and lattice complementation

1981 ◽  
Vol 30 (1) ◽  
pp. 90-100 ◽  
Author(s):  
Anders Björner
Keyword(s):  
Homotopy Type

scholarly journals Spherical posets from commuting elements

2018 ◽  
Vol 21 (4) ◽  
pp. 593-628 ◽  
Author(s):  
Cihan Okay
Keyword(s):  
Homotopy Type ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Universal Cover ◽  
Homotopy Equivalent ◽  
Classifying Space ◽  
Partially Ordered ◽  
Abelian Subgroups

AbstractIn this paper, we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial p-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of r-spheres where {2r\geq 4} is the rank of its Frattini quotient. This determines the homotopy type of the universal cover of the classifying space of transitionally commutative bundles as introduced in [2].

scholarly journals Criteria for components of a function space to be homotopy equivalent

2008 ◽  
Vol 145 (1) ◽  
pp. 95-106 ◽  
Author(s):  
GREGORY LUPTON ◽  
SAMUEL BRUCE SMITH
Keyword(s):  
Function Space ◽  
Homotopy Type ◽  
Homotopy Equivalent ◽  
General Method

AbstractWe give a general method that may be effectively applied to the question of whether two components of a function space map(X, Y) have the same homotopy type. We describe certain group-like actions on map(X, Y). Our basic results assert that if maps f, g: X → Y are in the same orbit under such an action, then the components of map(X, Y) that contain f and g have the same homotopy type.

Homotopy invariants and continuous mappings

1950 ◽  
Vol 202 (1069) ◽  
pp. 253-263 ◽  
Keyword(s):  
Homotopy Type ◽  
Betti Numbers ◽  
Continuous Mappings ◽  
Numerical Invariants ◽  
Homotopy Invariants

This paper contributes new numerical invariants to the topology of a certain class of polyhedra. These invariants, together with the Betti numbers and coefficients of torsion, characterize the homotopy type of one of these polyhedra. They are also applied to the classification of continuous mappings of an ( n + 2)-dimensional polyhedron into an ( n + 1)-sphere ( n > 2).

Sign in / Sign up

Export Citation Format

Share Document