Search results for "Homotopy."

A note on a generalization of Françoise's algorithm for calculating higher order Melnikov functions

2004

In [J. Differential Equations 146 (2) (1998) 320–335], Françoise gives an algorithm for calculating the first nonvanishing Melnikov function M of a small polynomial perturbation of a Hamiltonian vector field and shows that M is given by an Abelian integral. This is done under the condition that vanishing of an Abelian integral of any polynomial form ω on the family of cycles implies that the form is algebraically relatively exact. We study here a simple example where Françoise’s condition is not verified. We generalize Françoise’s algorithm to this case and we show that M belongs to the C[log t, t, 1/t] module above the Abelian integrals. We also establish the linear differential system ver…

Miscellaneous Periods: An Outlook

2017

In this chapter, we collect several other important examples of periods in the literature for the convenience of the reader.

Construction of Fibred Categories

2019

In Section 5, we introduce methods from classical homological algebra (i.e. using mostly the language of derived categories of abelian categories and their Verdier quotients) to construct the main examples of premotivic categories of interest in this book, while, in Section 6, we study how to check that the localization axiom holds in practice. Section 7 is devoted to the process of obtaining new fibred categories from old ones, by considering homotopy theoretic modules over a ring object.

A note on conjugation involutions on homotopy complex projective spaces

1986

The identity type weak factorisation system

2008

We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.

Counterexamples to the Kneser conjecture in dimension four.

1995

We construct a connected closed orientable smooth four-manifold whose fundamental group is the free product of two non-trivial groups such that it is not homotopy equivalent toM 0#M 1 unlessM 0 orM 1 is homeomorphic toS 4. LetN be the nucleus of the minimal elliptic Enrique surfaceV 1(2, 2) and putM=N∪ ∂NN. The fundamental group ofM splits as ℤ/2 * ℤ/2. We prove thatM#k(S 2×S2) is diffeomorphic toM 0#M 1 for non-simply connected closed smooth four-manifoldsM 0 andM 1 if and only ifk≥8. On the other hand we show thatM is homeomorphic toM 0#M 1 for closed topological four-manifoldsM 0 andM 1 withπ 1(Mi)=ℤ/2.

Introduction to Homotopy Theory

2001

Consider two manifolds X and Y together with a set of continuous maps f, g,... $$ f:X \to Y,x \to f(x) = y;x \in X,y \in Y. $$

Topology guaranteeing manifold reconstruction using distance function to noisy data

2006

Given a smooth compact codimension one submanifold S of Rk and a compact approximation K of S, we prove that it is possible to reconstruct S and to approximate the medial axis of S with topological guarantees using unions of balls centered on K. We consider two notions of noisy-approximation that generalize sampling conditions introduced by Amenta & al. and Dey & al. Our results are based upon critical point theory for distance functions. For the two approximation conditions, we prove that the connected components of the boundary of unions of balls centered on K are isotopic to S. Our results allow to consider balls of different radii. For the first approximation condition, we also prove th…

A non-g-contractible uniformly path connected continuum

1999

Abstract An example of a uniformly path connected, plane continuum P is constructed and proved to admit no continuous surjection onto P homotopic to the constant map. This answers a question of D.P. Bellamy in the negative.

A homotopy fixed point theorem in 0-complete partial metric space

2015

We generalize a result of Feng and Liu, on multi-valued contractive mappings, for studying the relationship between fixed point sets and homotopy fixed point sets. The presented results are discussed in the generalized setting of 0-complete partial metric spaces. An example and a nonlinear alternative of Leray-Schauder type are given to support our theorems.