Related papers: Localization with respect to a class of maps II - …
We show that if A is a simply connected, finite, pointed CW-complex then the mapping spaces Map(A, -) are preserved by the localization functors only if A has the rational homotopy type of a wedge of spheres of a fixed dimension.
The development of cubical type theory inspired the idea of "extension types" which has been found to have applications in other type theories that are unrelated to homotopy type theory or cubical type theory. This article describes these…
We develop the notion of left and right Bousfield localizations in proper, cellular symmetric monoidal model categories with cofibrant unit, using homotopy function complexes defined by internal Hom objects instead of Hom sets.
We construct homotopically non-trivial maps from S^m to S^n with arbitrarily small 3-dilation for certain pairs (m,n). The simplest example is m=4, n=3. Other examples include arbitrarily large values of m and n. We show that a homotopy…
Given a simplicial idempotent augmented endofunctor $F$ on a simplicial combinatorial model category $M$, under the assumption of Vopenka's principle, we exhibit a set $A$ of cofibrant objects in $M$ such that $F$ is equivalent to $\CW_A$,…
The paper is devoted to the study of homotopy properties of stabilizers of smooth functions on oriented surfaces, i.e., groups of diffeomorphisms of surfaces preserving a given function. For some class of smooth functions which is a…
In this note, we prove that the holonomy map from the set of equivalence classes of projective structures of parabolic type on non compact surfaces to the set of equivalence classes of parabolic representations of the fundamental group of…
We present a way of constructing and deforming diffeomorphisms of manifolds endowed with a Lie group action. This is applied to the study of exotic diffeomorphisms and involutions of spheres and to the equivariant homotopy of Lie groups.
We study the $H$-convergence of nonlocal linear operators in fractional divergence form, where the oscillations of the matrices are prescribed outside the reference domain. Our compactness argument bypasses the failure of the classical…
We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.
Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every…
This paper develops the exact linear relationship between the leading eigenvector of the unnormalized modularity matrix and the eigenvectors of the adjacency matrix. We propose a method for approximating the leading eigenvector of the…
Equivariant cohomology is a mathematical framework particularly well adapted to a kinematical understanding of topological gauge theories of the cohomological type. It also sheds some light on gauge fixing, a necessary field theory…
We extend Schaeffer's bijection between rooted quadrangulations and well-labeled trees to the general case of Eulerian planar maps with prescribed face valences, to obtain a bijection with a new class of labeled trees, which we call…
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…
Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops…
We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…
In this paper, by reviewing the concept of semicovering maps, we present some conditions under which a local homeomorphism becomes a semicovering map. We also obtain some conditions under which a local homeomorphism is a covering map.
We introduce the concept of homotopy iterators for performing polynomial homotopy continuation tasks in a memory efficient manner. The main idea is to push forward an iterator for the start solutions of a homotopy via the function which…
Consider an extension of groups 1 -> K -> G -> Q -> 1 which enjoys the property that the quotient by the lower central series Gamma_{c+1} produces another extension 1 -> K/ Gamma_{c+1} K -> G /Gamma_{c+1} G -> Q / Gamma_{c+1} Q -> 1, of…